GrammaTech / gtirb-rewriting
Python API for rewriting GTIRB files
☆16Updated last month
Related projects ⓘ
Alternatives and complementary repositories for gtirb-rewriting
- Pretty printer from GTIRB to assembly code☆48Updated this week
- Pangine disassembly ground truth benchmark☆11Updated 3 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆28Updated 3 years ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- KLEE / CSE Project☆43Updated 4 years ago
- ☆16Updated last year
- Configurable instrumentation of LLVM bitcode☆33Updated this week
- AIL: The angr Intermediate Language.☆31Updated this week
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆31Updated 6 months ago
- An interactive tool for better understanding and intervening fuzzing process via real-time visualization.☆75Updated 2 years ago
- cinspector - a static C source code analysis framework☆21Updated 5 months ago
- TracerX Symbolic Virtual Machine☆31Updated this week
- A blanked execution framework based on the Unicorn engine☆18Updated 7 years ago
- Fuzzing Parsers with Tokens☆32Updated 3 years ago
- BinTuner☆59Updated 2 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 4 years ago
- Sys, but no longer in Haskell☆17Updated 2 years ago
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆46Updated last month
- Challenge binaries (CBs) and tools from DARPA's Cyber Grand Challenge (CGC)☆17Updated 2 years ago
- Vine: The BitBlaze Static Analysis Component☆24Updated 10 years ago
- TRACER Symbolic Execution Tool☆28Updated 4 years ago
- Signedness-Agnostic Strided-Interval☆35Updated 5 years ago
- llvm crash analysis☆41Updated 4 months ago
- A symbolic execution engine for LLVM IR☆34Updated 2 years ago
- ☆11Updated 3 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- ☆39Updated 3 years ago
- ☆60Updated 2 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Updated 3 years ago
- Symbolic Execution Over Processor Traces☆116Updated 3 months ago