CyberGrandChallenge / linux-source-3.13.2-cgc
DARPA Cyber Grand Challenge Linux source code
☆17Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for linux-source-3.13.2-cgc
- GNU Debugger with DARPA Cyber Grand Challenge CB support☆12Updated 9 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 7 years ago
- Sydr benchmark applications☆17Updated 2 years ago
- A symbolic execution engine for LLVM IR☆34Updated 2 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Updated 5 years ago
- Applied Symbolic Execution with KLEE/LLVM☆24Updated 11 years ago
- Explore LLVM Bitcode interactively using a graph database☆58Updated 4 years ago
- A blanked execution framework based on the Unicorn engine☆18Updated 7 years ago
- Challenge binaries (CBs) and tools from DARPA's Cyber Grand Challenge (CGC)☆17Updated 2 years ago
- DARPA Cyber Grand Challenge Challenge Binary Testing tools☆30Updated 6 years ago
- TRACER Symbolic Execution Tool☆28Updated 4 years ago
- AST - Extractor for LLVM☆18Updated 3 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Updated 5 years ago
- Software artifact for incremental CFG patching paper appearing in ASPLOS 21☆12Updated last year
- TracerX Symbolic Virtual Machine☆31Updated this week
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆35Updated 2 years ago
- UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages☆42Updated 3 years ago
- ☆61Updated 4 months ago
- Pretty printer from GTIRB to assembly code☆48Updated this week
- Debugging library to quickly get the minimal crashing test case☆34Updated 6 years ago
- rev.ng configuration for orchestra. The starting point for any development.☆32Updated this week
- QEMU VM with generic KVM extensions for symbolic execution☆23Updated 8 months ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- ☆25Updated 6 years ago
- Preventing code-reuse attacks by stopping code pointer leakages☆35Updated 8 years ago
- AIL: The angr Intermediate Language.☆31Updated this week
- POV templates and compilation support for CGC binaries.☆10Updated 2 years ago
- ☆10Updated 3 years ago
- Experimental translation of llvm to smt.☆56Updated 4 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 10 years ago