Similar repositories to secure-software-engineering/phasar:

• secure-software-engineering/phasar github similar
• aquynh/capstone github similar
• danistefanovic/build-your-own-x github similar
• SVF-tools/SVF github similar
• eurecom-s3/symcc github similar
• microsoft/llvm-mctoll github similar
• mchalupa/dg github similar
• trailofbits/polytracker github similar
• tuvtran/project-based-learning github similar
• lifting-bits/remill github similar
• QBDI/QBDI github similar
• GJDuck/e9patch github similar
• sslab-gatech/qsym github similar
• travitch/whole-program-llvm github similar
• seahorn/clam github similar
• AngoraFuzzer/Angora github similar
• GrammaTech/ddisasm github similar
• lifting-bits/anvill github similar
• ksluckow/awesome-symbolic-execution github similar
• klee/klee github similar
• staticafi/symbiotic github similar
• banach-space/llvm-tutor github similar
• seahorn/sea-dsa github similar
• GrammaTech/gtirb github similar
• revng/revng github similar
• googleprojectzero/TinyInst github similar
• hecrj/iced github similar
• Eugeny/terminus github similar
• lifting-bits/rellic github similar
• PLSysSec/haybale github similar
• andreafioraldi/qasan github similar
• SheLLVM/SheLLVM github similar
• strongcourage/uafuzz github similar
• aflgo/aflgo github similar
• lifting-bits/mcsema github similar
• NASA-SW-VnV/ikos github similar
• aflsmart/aflsmart github similar
• HexHive/retrowrite github similar
• nyx-fuzz/libxdc github similar
• airbus-seclab/bincat github similar