Similar repositories to uwplse/concerto:

• uwplse/concerto github similar
• aquynh/capstone github similar
• arnobastenhof/prolog-jvm github similar
• specs-feup/lara-framework github similar
• ShiftLeftSecurity/fuzzyc2cpg github similar
• CodeShield-Security/SPDS github similar
• LLVM-but-worse/maple-ir github similar
• campagnola/pycca github similar
• specs-feup/clava github similar
• lucasallan/LuaTruffle github similar
• djn3m0/debit github similar
• QilinPTA/Qilin github similar
• fasten-project/fasten github similar
• CertiCoq/certicoq github similar
• pnfsoftware/jeb-golang-analyzer github similar
• SB-GC-Labs/hAFL1 github similar
• prismmodelchecker/prism github similar
• ropas/sparrow github similar
• themaplelab/swan github similar
• Fraunhofer-AISEC/cpg github similar
• gvansickle/ucg github similar
• gmu-swe/phosphor github similar
• seahorn/sea-dsa github similar
• codespecs/daikon github similar
• ultimate-pa/ultimate github similar
• ocelot-ide/Stopify github similar
• revapi/revapi github similar
• seahorn/crab github similar
• Sable/heros github similar
• sosy-lab/cpachecker github similar
• demantz/frizzer github similar
• seahorn/clam github similar
• Comsecuris/shannonRE github similar
• fuzzitdev/javafuzz github similar
• kelthuzadx/yvm github similar
• edix/LoadDll github similar
• google/kafel github similar
• munificent/bantam github similar
• Tencent/TencentKona-11 github similar
• nimble-code/Spin github similar