GrammaTech / gtirb-rewriting
Python API for rewriting GTIRB files
☆18Updated 3 months ago
Alternatives and similar repositories for gtirb-rewriting:
Users that are interested in gtirb-rewriting are comparing it to the libraries listed below
- Pretty printer from GTIRB to assembly code☆48Updated this week
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- ☆69Updated last year
- A symbolic execution engine for LLVM IR☆34Updated 2 years ago
- ☆23Updated 2 years ago
- AIL: The angr Intermediate Language.☆31Updated this week
- KLEE / CSE Project☆43Updated 4 years ago
- Signedness-Agnostic Strided-Interval☆35Updated 5 years ago
- TRACER Symbolic Execution Tool☆28Updated 4 years ago
- ☆16Updated last year
- TracerX Symbolic Virtual Machine☆31Updated last week
- Symbolic Execution Over Processor Traces☆119Updated 5 months ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆28Updated 3 years ago
- A blanked execution framework based on the Unicorn engine☆19Updated 8 years ago
- ☆40Updated 3 years ago
- An approximate solver for concolic execution☆17Updated 2 years ago
- ☆13Updated 4 months ago
- A coverage-based software testing tool☆33Updated 4 years ago
- Sydr benchmark applications☆17Updated 2 years ago
- A versatile and easy-to-use static binary patching tool.☆33Updated 2 weeks ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆65Updated 3 years ago
- Pangine disassembly ground truth benchmark☆11Updated 4 years ago
- A suite of experiments for evaluating open-source binary taint trackers.☆32Updated 2 years ago
- Challenge binaries (CBs) and tools from DARPA's Cyber Grand Challenge (CGC)☆17Updated 2 years ago
- LLVM meets Code Property Graphs☆90Updated 3 years ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Updated 2 years ago
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆65Updated 2 years ago
- Vine: The BitBlaze Static Analysis Component☆25Updated 10 years ago
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago
- ☆11Updated 3 years ago