GrammaTech / gtirb-rewritingLinks
Python API for rewriting GTIRB files
☆19Updated 2 weeks ago
Alternatives and similar repositories for gtirb-rewriting
Users that are interested in gtirb-rewriting are comparing it to the libraries listed below
Sorting:
- KLEE / CSE Project☆45Updated 5 years ago
- Pretty printer from GTIRB to assembly code☆48Updated last week
- AIL: The angr Intermediate Language.☆32Updated last month
- TracerX Symbolic Virtual Machine☆33Updated last month
- Scalable Validator for Binary Lifters☆56Updated 5 years ago
- Sys, but no longer in Haskell☆18Updated 3 years ago
- ☆24Updated 2 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆28Updated 4 years ago
- LLVM meets Code Property Graphs☆92Updated 4 years ago
- Signedness-Agnostic Strided-Interval☆38Updated 6 years ago
- Pangine disassembly ground truth benchmark☆11Updated 4 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆33Updated 5 months ago
- Vine: The BitBlaze Static Analysis Component☆25Updated 10 years ago
- llvm crash analysis☆44Updated last year
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆20Updated 2 years ago
- A blanked execution framework based on the Unicorn engine☆19Updated 8 years ago
- Constraint solver based on coverage-guided fuzzing☆248Updated last year
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 6 years ago
- Configurable instrumentation of LLVM bitcode☆34Updated 3 months ago
- Software artifact for incremental CFG patching paper appearing in ASPLOS 21☆12Updated 2 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Updated 5 years ago
- FoRTE-Research's fuzzing benchmarks☆57Updated 6 years ago
- ☆38Updated 2 years ago
- Replication package for Mining Input Grammars From Dynamic Control Flow☆25Updated 4 years ago
- A coverage-based software testing tool☆34Updated 4 years ago
- ☆27Updated 2 years ago
- Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.☆22Updated 2 years ago
- Symbolic Execution Over Processor Traces☆121Updated 11 months ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆68Updated 3 years ago
- A suite of experiments for evaluating open-source binary taint trackers.☆32Updated 3 years ago