Similar repositories to uni-bremen-agst/javaee-entry-point:
uni-bremen-agst/javaee-entry-point
github
similar
themaplelab/probe
github
similar
secure-software-engineering/Jimple-Interpreter
github
similar
tech-srl/safe
github
similar
regehr/pldi22-llvm-tutorial
github
similar
floyd-fuh/AFL_GCJ_Fuzzing_Simple
github
similar
grievejia/tpa
github
similar
XMUsuny/symbolic-execution-papers
github
similar
firolino/clang-tool
github
similar
vaivaswatha/debugir
github
similar
vhscampos/range-analysis
github
similar
CodeShield-Security/SPDS
github
similar
rohanpadhye/vasco
github
similar
amishne/llvm-ir-editor
github
similar
SVF-tools/Test-Suite
github
similar
Cisco-Talos/covnavi
github
similar
ShiftLeftSecurity/llvm2cpg
github
similar
secure-software-engineering/soot-infoflow
github
similar
Fraunhofer-AISEC/codyze
github
similar
ezrac/POLAR
github
similar
osl/jcute
github
similar
gmu-swe/phosphor
github
similar
pietrobraione/jbse
github
similar
Sable/jasmin
github
similar
sampsyo/quala
github
similar
polyglot-compiler/polyglot
github
similar
GJDuck/EffectiveSan
github
similar
ropas/sparrow
github
similar
Fraunhofer-AISEC/cpg
github
similar
Sable/heros
github
similar
cojocar/bin2llvm
github
similar
seahorn/sea-dsa
github
similar
rettichschnidi/clang-tidy-misra
github
similar
SoftSec-KAIST/Eclipser
github
similar
ItzSomebody/stopdecompilingmyjava
github
similar
grievejia/andersen
github
similar
HexHive/magma
github
similar
SRI-CSL/gllvm
github
similar
baikaishiuc/fastvm
github
similar
seahorn/clam
github
similar