angr / ailmentLinks
AIL: The angr Intermediate Language.
☆32Updated 4 months ago
Alternatives and similar repositories for ailment
Users that are interested in ailment are comparing it to the libraries listed below
Sorting:
- An approximate solver for concolic execution☆19Updated 5 months ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆37Updated last week
- ☆72Updated last year
- Scalable Validator for Binary Lifters☆57Updated 5 years ago
- ☆39Updated 3 years ago
- LLVM meets Code Property Graphs☆94Updated 4 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆51Updated 4 years ago
- ☆27Updated 2 years ago
- Target-centric program analysis.☆77Updated last week
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 10 months ago
- KLEE / CSE Project☆46Updated 5 years ago
- Challenging testcases for fuzzers☆72Updated last year
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- ☆16Updated 2 years ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆53Updated 5 months ago
- FunSeeker: Binary Function Identification Tool☆26Updated last year
- BinRec: Dynamic Binary Lifting and Recompilation☆144Updated 2 years ago
- A versatile and easy-to-use static binary patching tool.☆45Updated last month
- Triton-based DSE library with loading and exploration capabilities (and more!)☆131Updated last month
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆32Updated 3 years ago
- exec interceptor☆29Updated 3 years ago
- ☆43Updated 3 years ago
- An example fuzzer about how to fuzz a JS engine combinign Nautilus with Token-level fuzzing☆47Updated last year
- Library to manipulate and create Sourcetrail databases☆23Updated 4 months ago
- CPython bytecode instrumentation and forkserver tools for fuzzing pure python and mixed python/c code using AFL☆31Updated 4 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆93Updated 3 years ago
- ☆44Updated 3 years ago
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆202Updated last week
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆85Updated last week
- ☆25Updated 3 years ago