Yingtong-Liu's repositories
Language:Solidity000
s2e
S2E: A platform for multi-path program analysis with selective symbolic execution.
NOASSERTION000
000
NOASSERTION000
linux
Linux kernel source tree
NOASSERTION000
android-shmem
System V shared memory emulation on Android, using ashmem. That includes shmget, shmat, shmdt and shmctl functions.
Language:CBSD-3-Clause000
Language:C++000
klee
KLEE Symbolic Execution Engine
Language:C++NOASSERTION000
oss-fuzz
OSS-Fuzz - continuous fuzzing of open source software
Language:ShellApache-2.0000
syzkaller
syzkaller is an unsupervised, coverage-guided kernel fuzzer
Language:GoApache-2.0000
awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
CC0-1.0000
panda
Deprecated repo for PANDA 1.0 – see PANDA 2.0 repository
Language:C000
symexbib
A bibliography of papers related to symbolic execution
000
opersys-hal-hw
Adds a new HAL type to the AOSP
Language:Java000