CMUSTRUDEL / DIRELinks
☆68Updated 6 months ago
Alternatives and similar repositories for DIRE
Users that are interested in DIRE are comparing it to the libraries listed below
Sorting:
- Scalable Validator for Binary Lifters☆60Updated 5 years ago
- ☆61Updated last year
- KLEE Symbolic Execution Engine☆60Updated 6 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆59Updated 4 years ago
- Symbolic Execution Over Processor Traces☆126Updated last year
- Binary Code Similarity Analysis (BCSA) Tool☆124Updated 6 months ago
- Neural Variable Renaming for Decompiled Binaries☆44Updated 5 years ago
- The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.☆29Updated 2 years ago
- a few Ghidra scripts for dumping PCode data☆50Updated 6 years ago
- A collection of extensions to angr to handle new platforms☆69Updated 3 weeks ago
- ☆73Updated last year
- tool for multi-execution jump coverage introspection☆67Updated 10 months ago
- Flex 'em lexers☆41Updated 5 years ago
- Target-centric program analysis.☆77Updated this week
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆230Updated 5 years ago
- Challenging testcases for fuzzers☆72Updated last year
- A patched version of VEX to work with PyVEX.☆112Updated 2 months ago
- This implements a 64-bit version of vusec/vuzzer fuzzing tool.☆178Updated 3 years ago
- ☆25Updated 3 years ago
- ROP Benchmark is a tool to compare ROP compilers☆43Updated 2 years ago
- ☆96Updated 6 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆102Updated 3 years ago
- LLVM meets Code Property Graphs☆96Updated 4 years ago
- Utilities for generating dynamic traces☆93Updated 8 months ago
- Official implementation of AsmDepictor, "A Transformer-based Function Symbol Name Inference Model from an Assembly Language for Binary Re…☆29Updated last year
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆205Updated this week
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆131Updated 3 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆84Updated 2 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆91Updated last year
- AFL bindings for Unicorn-Engine☆87Updated 2 months ago