CyberGrandChallenge / cb-testing
DARPA Cyber Grand Challenge Challenge Binary Testing tools
☆30Updated 7 years ago
Alternatives and similar repositories for cb-testing:
Users that are interested in cb-testing are comparing it to the libraries listed below
- Convert Challenge Binaries to shared objects so service pollers can make use of the algorithm implementations☆14Updated 8 years ago
- Python concolic execution framework for program analysis☆65Updated 10 years ago
- DARPA Cyber Grand Challenge Documentation☆116Updated 8 years ago
- Creating function call graphs based on radare2 framwork, plot fancy graphs and extract behavior indicators☆31Updated 8 years ago
- GNU Debugger with DARPA Cyber Grand Challenge CB support☆12Updated 10 years ago
- Automated Return-Oriented Programming Chaining☆84Updated 8 years ago
- Dynamic security analysis of embedded systems’ firmwares☆81Updated 8 years ago
- [DEPRECATED] A symbolic execution engine for the VEX IR☆79Updated 6 years ago
- Testing Intermediate Representations for Binary Analysis (ASE '17)☆81Updated 6 years ago
- Binary analysis platform based on Octopus and Radare2☆78Updated 8 years ago
- ksfinder - Retrieve exported kernel symbols from physical memory dumps☆44Updated 8 years ago
- Nosy Newt is a simple concolic execution tool for exploring the input space of a binary executable program based in Triton☆61Updated 7 years ago
- ☆123Updated 4 years ago
- ☆63Updated 6 years ago
- ☆48Updated 3 years ago
- AFL, modified to support multi-CB challenge sets for CGC.☆18Updated 8 years ago
- ☆36Updated last month
- ☆105Updated 10 years ago
- BinSourcerer☆90Updated 3 years ago
- Path based Dynamic Analysis☆115Updated 8 years ago
- Classes with architecture-specific information useful to other projects.☆90Updated last week
- KLEE-TAINT - Klee with taint analysis support☆70Updated 7 years ago
- Symbolic execution for LLVM traces produced by PANDA☆40Updated 6 years ago
- Code coverage analysis tools for the PIN Toolkit☆59Updated 11 years ago
- ☆114Updated 7 years ago
- Programmatic disassembly and patching☆67Updated 8 years ago
- Z3 Symbolic Execution python☆28Updated 7 years ago
- Binary Analysis Platform☆74Updated 11 years ago
- Synesthesia, implemented as Yices scripts☆94Updated 7 years ago
- ☆63Updated 9 years ago