CyberGrandChallenge / cb-testing
DARPA Cyber Grand Challenge Challenge Binary Testing tools
☆30Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for cb-testing
- Convert Challenge Binaries to shared objects so service pollers can make use of the algorithm implementations☆14Updated 7 years ago
- Python concolic execution framework for program analysis☆65Updated 10 years ago
- DARPA Cyber Grand Challenge Documentation☆115Updated 7 years ago
- Dynamic security analysis of embedded systems’ firmwares☆80Updated 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
- Our backup exploitation technique: fuzzing for POVs!☆25Updated 8 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆64Updated 7 years ago
- [DEPRECATED] A symbolic execution engine for the VEX IR☆79Updated 6 years ago
- A version of AFL tailored for Driller's use in analyzing CGC binaries.☆80Updated 7 years ago
- DARPA Cyber Grand Challenge Linux source code☆17Updated 9 years ago
- Lightweight Symbolic Execution Engine☆22Updated 9 years ago
- INACTIVE - http://mzl.la/ghe-archive - Framboise is a fuzzer for in-depth testing of WebAPIs.☆20Updated 7 years ago
- GNU Debugger with DARPA Cyber Grand Challenge CB support☆12Updated 9 years ago
- A ROP and binary analysis exploit challenge for edurange☆15Updated 9 years ago
- Python bindings for Intel's XED☆29Updated 4 months ago
- ☆61Updated 9 years ago
- Z3 Symbolic Execution python☆28Updated 6 years ago
- Programmable instrumentation framework for COTS binary☆10Updated 7 years ago
- Path based Dynamic Analysis☆113Updated 7 years ago
- Adds symbols to a ELF file.☆61Updated 9 years ago
- A pip wrapper around our ridiculous amount of qemu forks.☆48Updated 9 months 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
- Automated Return-Oriented Programming Chaining☆83Updated 8 years ago
- Classes with architecture-specific information useful to other projects.☆87Updated this week
- Python module to detect, analyze and id application bugs☆21Updated 4 months ago
- REIL translation library☆36Updated 8 years ago
- Dynamic instrumentation of the Linux kernel☆41Updated 9 years ago
- Code for the paper EvilCoder: Automated Bug Insertion at ACSAC 2016☆44Updated 7 years ago