Similar repositories to cscott/Harpoon:
cscott/Harpoon
github
similar
vazexqi/JFlow
github
similar
Graspan/graspan-java
github
similar
usethesource/vallang
github
similar
ftsrg/theta
github
similar
CodeShield-Security/SPDS
github
similar
Fraunhofer-AISEC/codyze
github
similar
joana-team/joana
github
similar
pietrobraione/jbse
github
similar
polyglot-compiler/polyglot
github
similar
uwol/proleap-cobol-parser
github
similar
Fraunhofer-AISEC/cpg
github
similar
gmu-swe/phosphor
github
similar
seahorn/sea-dsa
github
similar
codespecs/daikon
github
similar
seahorn/clam
github
similar
riscv/v8
github
similar
polyglot-compiler/JLang
github
similar
abertschi/graalphp
github
similar
verifast/verifast
github
similar
usethesource/rascal
github
similar
seahorn/seahorn
github
similar
cs3110/textbook
github
similar
Samsung/jalangi2
github
similar
smackers/smack
github
similar
enzet/symbolic-execution
github
similar
diffblue/cbmc
github
similar
banach-space/clang-tutor
github
similar
facebook/SPARTA
github
similar
wala/WALA
github
similar
microsoft/llvm-mctoll
github
similar
CodeIntelligenceTesting/jazzer
github
similar
rswier/swieros
github
similar
Restream/reindexer
github
similar
fcambus/spleen
github
similar
facebookexperimental/MIRAI
github
similar
Mercury-Language/mercury
github
similar
JackOfMostTrades/gadgetinspector
github
similar
jserv/amacc
github
similar
typetools/checker-framework
github
similar