CyberGrandChallenge / gdb
GNU Debugger with DARPA Cyber Grand Challenge CB support
☆12Updated 10 years ago
Alternatives and similar repositories for gdb:
Users that are interested in gdb are comparing it to the libraries listed below
- DARPA Cyber Grand Challenge Linux source code☆17Updated 9 years ago
- DARPA Cyber Grand Challenge Challenge Binary Testing tools☆30Updated 7 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 years ago
- DARPA Cyber Grand Challenge Documentation☆116Updated 8 years ago
- Convert Challenge Binaries to shared objects so service pollers can make use of the algorithm implementations☆14Updated 8 years ago
- A Retargettable CFI implementation in LLVM. Authors: Joseph Battaglia and Oulin Yao☆18Updated 9 years ago
- [DEPRECATED] A symbolic execution engine for the VEX IR☆79Updated 6 years ago
- Path based Dynamic Analysis☆115Updated 8 years ago
- A proposed hardware-based method for stopping known memory corruption exploitation techniques. #nsacyber☆155Updated 7 years ago
- A Genetic File, Syscall and Network Fuzzer.☆59Updated 7 years ago
- Tracing framework for full system simulators☆55Updated 9 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆33Updated 3 years ago
- Fast and efficient binary translator☆58Updated 6 years ago
- Python concolic execution framework for program analysis☆65Updated 10 years ago
- Uncovering Class Hierarchies in C++ Programs☆126Updated 2 years ago
- Concolic tracer to detect flag leaks and create Type-2 POVs.☆13Updated last week
- ☆63Updated 5 years ago
- FuzzBALL: Vine-based Binary Symbolic Execution☆215Updated last year
- QEMU modified to run CGC binaries.☆13Updated 2 years ago
- Generic Decoder Specification Language Toolkit☆32Updated 6 years ago
- Dynamic security analysis of embedded systems’ firmwares☆80Updated 8 years ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 8 years ago
- Differential fuzzing for the masses!☆150Updated 7 years ago
- Automated Return-Oriented Programming Chaining☆83Updated 8 years ago
- The Z3 Theorem Prover - repository for staging python distributions☆56Updated 5 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆64Updated 7 years ago
- Synesthesia, implemented as Yices scripts☆94Updated 7 years ago
- Tools built using Dyninst or Dyninst component libraries.☆25Updated 2 years ago
- Binary Analysis Platform☆73Updated 11 years ago
- Repository in which the CGC team will post technical answers during the scored events and qualification event.☆17Updated 8 years ago