CMUSTRUDEL / DIRELinks
☆68Updated 7 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☆61Updated 5 years ago
- ☆61Updated last year
- Neural Variable Renaming for Decompiled Binaries☆44Updated 5 years ago
- Flex 'em lexers☆41Updated 5 years ago
- KLEE Symbolic Execution Engine☆60Updated 6 years ago
- Symbolic Execution Over Processor Traces☆126Updated last year
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆60Updated 4 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated last year
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆131Updated 3 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆37Updated 2 months ago
- Binary Code Similarity Analysis (BCSA) Tool☆124Updated 7 months ago
- A patched version of VEX to work with PyVEX.☆112Updated 3 months ago
- The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.☆29Updated 2 years ago
- Utilities for generating dynamic traces☆93Updated 9 months ago
- BinTuner☆65Updated 3 years ago
- Clone of "Compiler-Agnostic Function Detection in Binaries" source code☆86Updated 4 years ago
- This implements a 64-bit version of vusec/vuzzer fuzzing tool.☆178Updated 3 years ago
- A Low Level IL emulator for Binary Ninja☆40Updated 6 years ago
- AntiFuzz: Impeding Fuzzing Audits of Binary Executables☆104Updated 4 years ago
- Target-centric program analysis.☆77Updated 2 weeks ago
- ROP Benchmark is a tool to compare ROP compilers☆43Updated 2 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆102Updated 3 years ago
- a few Ghidra scripts for dumping PCode data☆50Updated 6 years ago
- LLVM meets Code Property Graphs☆96Updated 4 years ago
- Challenging testcases for fuzzers☆72Updated last year
- Compiler-assisted Code Randomization (CCR) Toolchain☆64Updated 3 years ago
- ☆21Updated 3 years ago
- Hashashin: A Fuzzy Matching Tool for Binary Ninja☆94Updated 2 years ago
- Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints☆127Updated 5 years ago
- ☆85Updated last year