phulin / symbolic-traceLinks
Symbolic execution of LLVM IR traces for program understanding.
☆27Updated 11 years ago
Alternatives and similar repositories for symbolic-trace
Users that are interested in symbolic-trace are comparing it to the libraries listed below
Sorting:
- ☆45Updated 4 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 3 years ago
- ☆59Updated 2 years ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- ☆31Updated 5 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 4 years ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆58Updated 5 months ago
- Some Rust bindings for Binary Ninja☆31Updated 2 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆37Updated 2 weeks ago
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆31Updated 4 years ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆47Updated this week
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- Python bindings for BochsCPU☆37Updated 2 months ago
- Sample programs that illustrate how to use Control Flow Guard, VS2015's control flow integrity implementation☆52Updated 8 years ago
- Symbolic Execution over Falcon IL☆29Updated 4 years ago
- Dr. Disassembler☆37Updated 3 years ago
- A library for dynamic binary rewriting☆58Updated 4 years ago
- Binary Ninja MLIL to LLVM IR lifter☆15Updated 4 years ago
- ☆13Updated 3 years ago
- Recover compile-units from stripped binary executables☆52Updated 3 weeks ago
- suite of binaries used to test function identification☆29Updated 7 years ago
- Clone of "Compiler-Agnostic Function Detection in Binaries" source code☆86Updated 4 years ago
- Output high level Pcode (PcodeAST) in Ghidra☆16Updated 2 years ago
- Tantō slices functions into more consumable chunks☆72Updated 6 months ago
- AIL: The angr Intermediate Language.☆33Updated 5 months ago
- Intel x86 bare metal hypervisor for researching snapshot fuzzing ideas.☆167Updated 4 years ago
- Apply ROP protection to a binary using binary rewriting with GTIRB☆34Updated 4 months ago
- VSCode extension for the LLVM IR language☆60Updated last year
- Exemplary LLVM function pass implementing Control Flow Flattening.☆17Updated 7 years ago
- TracerX Symbolic Virtual Machine☆31Updated last month