Similar repositories to secure-software-engineering/secucheck:
secure-software-engineering/secucheck
github
similar
QRXqrx/awesome-symbolic-execution
github
similar
HaofLi/DiskDroid
github
similar
secure-software-engineering/SPDS-experiments
github
similar
secure-software-engineering/secucheck-core
github
similar
swissiety/JimpleLSP
github
similar
themaplelab/probe
github
similar
secure-software-engineering/PointerBench
github
similar
thanhminhmr/JavaCIA
github
similar
wuliang142857/sya
github
similar
softwarelanguageslab/maf
github
similar
Anemone95/taint-benchmark
github
similar
wala/ML
github
similar
amaurremi/IDE
github
similar
xai4se/xai4se.github.io
github
similar
Graspan/graspan-java
github
similar
CodeShield-Security/SPDS
github
similar
advanced-security/custom-codeql-bundle
github
similar
bigBestWay/taycan-sdk
github
similar
Fraunhofer-AISEC/codyze
github
similar
MagpieBridge/MagpieBridge
github
similar
QilinPTA/Qilin
github
similar
silverbullettt/zipper
github
similar
CROSSINGTUD/SPDS
github
similar
zhunki/skyfire
github
similar
microsoft/sarif-web-component
github
similar
microsoft/sarif-vscode-extension
github
similar
Fraunhofer-AISEC/cpg
github
similar
plume-oss/plume
github
similar
CROSSINGTUD/CryptoAnalysis
github
similar
miwong/IntelliDroid
github
similar
joana-team/joana
github
similar
pietrobraione/jbse
github
similar
lizhuohua/rust-mir-checker
github
similar
ricardojlrufino/eclipse-cdt-standalone-astparser
github
similar
goblint/analyzer
github
similar
gmu-swe/phosphor
github
similar
szabta89/IncA
github
similar
antoinemine/apron
github
similar
rohanpadhye/vasco
github
similar