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:
- ☆72Updated last year
- An approximate solver for concolic execution☆18Updated 5 months ago
- Scalable Validator for Binary Lifters☆57Updated 5 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆36Updated 2 weeks ago
- ☆39Updated 3 years ago
- ☆27Updated 2 years ago
- Target-centric program analysis.☆77Updated last week
- ☆44Updated 3 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 9 months ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆51Updated 4 years ago
- ☆43Updated 3 years ago
- exec interceptor☆29Updated 3 years ago
- LLVM meets Code Property Graphs☆94Updated 4 years ago
- CPython bytecode instrumentation and forkserver tools for fuzzing pure python and mixed python/c code using AFL☆31Updated 4 years ago
- lxfuzz is a grey-box kernel fuzzer used for linux. it is scalable because of qemu being used to emulate in a way to be able to freely cho…☆22Updated last year
- Flex 'em lexers☆40Updated 4 years ago
- ☆25Updated 3 years ago
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆201Updated last week
- KLEE / CSE Project☆46Updated 5 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆31Updated 3 years ago
- Challenging testcases for fuzzers☆72Updated last year
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆53Updated 4 months ago
- BinRec: Dynamic Binary Lifting and Recompilation☆144Updated 2 years ago
- Library to manipulate and create Sourcetrail databases☆23Updated 4 months ago
- An example fuzzer about how to fuzz a JS engine combinign Nautilus with Token-level fuzzing☆47Updated last year
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆130Updated 3 years ago
- The parser-directed Fuzzer☆39Updated 5 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆127Updated 3 weeks ago
- Signedness-Agnostic Strided-Interval☆38Updated 6 years ago
- A cheat sheet that summarises "strategies" (or techniques) to use with angr.☆32Updated 4 years ago