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
- GNU Debugger with DARPA Cyber Grand Challenge CB support☆12Updated 9 years ago
- Convert Challenge Binaries to shared objects so service pollers can make use of the algorithm implementations☆14Updated 7 years ago
- DARPA Cyber Grand Challenge Documentation☆115Updated 7 years ago
- Dynamic security analysis of embedded systems’ firmwares☆80Updated 8 years ago
- kCFI Documentation☆14Updated 7 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 7 years ago
- Samples of Avatar firmware analysis (including NDSS'14 cases)☆20Updated 7 years ago
- A ROP and binary analysis exploit challenge for edurange☆15Updated 9 years ago
- Z3 Symbolic Execution python☆28Updated 7 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
- Python concolic execution framework for program analysis☆65Updated 10 years ago
- Uncategorized utilities☆56Updated 6 years ago
- ropc-llvm is a PoC of a Turing complete ROP compiler with support for a subset of LLVM IR. It is an extension of ropc.☆67Updated 11 years ago
- Adds symbols to a ELF file.☆62Updated 9 years ago
- A Genetic File, Syscall and Network Fuzzer.☆59Updated 7 years ago
- Uncovering Class Hierarchies in C++ Programs☆126Updated 2 years ago
- ☆114Updated 7 years ago
- DARPA Cyber Grand Challenge Linux source code☆17Updated 9 years ago
- Automated Return-Oriented Programming Chaining☆83Updated 8 years ago
- [DEPRECATED] A symbolic execution engine for the VEX IR☆79Updated 6 years ago
- Dynamic instrumentation of the Linux kernel☆41Updated 9 years ago
- ☆28Updated 2 years ago
- Creating function call graphs based on radare2 framwork, plot fancy graphs and extract behavior indicators☆31Updated 8 years ago
- Classes with architecture-specific information useful to other projects.☆89Updated this week
- Collection of scripts for radare2☆28Updated 6 years ago
- De Mysteriis Dom jemalloc☆64Updated 7 years ago
- A "general-purpose" tracing tool☆38Updated 9 years ago
- Ida Pro Ultimate Qt Build Guide☆26Updated 6 years ago
- Tools for analyzing hexagon code☆38Updated 8 years ago
- capstone based disassembler for extracting to binnavi☆226Updated 8 years ago