Similar repositories to secure-software-engineering/PointerBench:
secure-software-engineering/PointerBench
github
similar
threedr3am/JSP-Webshells
github
similar
secure-software-engineering/boomerang
github
similar
secure-software-engineering/secucheck
github
similar
themaplelab/probe
github
similar
thufv/CMinor-Verifier
github
similar
codeplutos/MySQL-JDBC-Deserialization-Payload
github
similar
amaurremi/IDE
github
similar
SVF-tools/SVF-Teaching
github
similar
swissiety/JimpleLSP
github
similar
thanhminhmr/JavaCIA
github
similar
mogwailabs/deserialization-filter-blacklists
github
similar
wala/WALA-start
github
similar
plast-lab/sound-modulo-analysis-openjdk-8
github
similar
Anemone95/taint-benchmark
github
similar
ceclin/0ctf-2021-finals-soln-buggy-loader
github
similar
secure-software-engineering/ideal
github
similar
CodeShield-Security/SPDS
github
similar
silverbullettt/zipper
github
similar
ivicanikolicsg/SivoFuzzer
github
similar
Fraunhofer-AISEC/codyze
github
similar
aquynh/capstone
github
similar
richardxx/pestrie
github
similar
bzEq/afl-j
github
similar
yihozhang/peg
github
similar
teamssix/cf
github
similar
fiigii/k-cfa
github
similar
zhanghongce/pdr-prototype-tests
github
similar
wcphkust/sound-modulo-analysis-openjdk-8
github
similar
april1989/origin-go-tools
github
similar
litho17/STAC
github
similar
songyahui/FirstOrderEffect
github
similar
bmarwritescode/oopsla-19-artifact
github
similar
QRXqrx/awesome-symbolic-execution
github
similar
bennostein/WALA-callgraph
github
similar
too4words/securibench-micro
github
similar
Graspan/graspan-java
github
similar
olivo/performance-bug-detector
github
similar
obastani/atlas
github
similar
Sengming/Alias-Analysis
github
similar