CMUSTRUDEL / DIRELinks
☆69Updated 8 months ago
Alternatives and similar repositories for DIRE
Users that are interested in DIRE are comparing it to the libraries listed below
Sorting:
- ☆61Updated last year
- Scalable Validator for Binary Lifters☆62Updated 5 years ago
- KLEE Symbolic Execution Engine☆60Updated 6 years ago
- Neural Variable Renaming for Decompiled Binaries☆44Updated 5 years ago
- ☆74Updated 2 years ago
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆131Updated 3 years ago
- Symbolic Execution Over Processor Traces☆126Updated last year
- Binary Code Similarity Analysis (BCSA) Tool☆124Updated 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
- ☆86Updated last year
- Flex 'em lexers☆42Updated 5 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆61Updated 5 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆25Updated last year
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated last year
- ☆26Updated 3 years ago
- tool for multi-execution jump coverage introspection☆68Updated last year
- ☆144Updated last year
- Challenging testcases for fuzzers☆72Updated last year
- This is the home of the raindrop obfuscator. It transforms program functions into obfuscated ROP chains that coexist seamlessly with the …☆64Updated 4 years ago
- BinTuner☆65Updated 3 years ago
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆231Updated 5 years ago
- The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.☆29Updated 3 years ago
- A patched version of VEX to work with PyVEX.☆113Updated last week
- LLVM meets Code Property Graphs☆96Updated 4 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 2 months ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆66Updated 3 years ago
- Rewriting functions in compiled binaries using McSema☆91Updated 6 years ago
- Build your emulation environment as needed☆66Updated 4 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆38Updated 2 weeks ago