angr / ailment
AIL: The angr Intermediate Language.
☆31Updated this week
Alternatives and similar repositories for ailment:
Users that are interested in ailment are comparing it to the libraries listed below
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- CPython bytecode instrumentation and forkserver tools for fuzzing pure python and mixed python/c code using AFL☆30Updated 3 years ago
- ☆24Updated last year
- ☆35Updated 2 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 3 weeks ago
- ☆30Updated 4 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 3 years ago
- Fuzzing Parsers with Tokens☆32Updated 4 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- ☆23Updated 2 years ago
- Superion Mutator for AFLPlusPlus☆32Updated last year
- An approximate solver for concolic execution☆17Updated 2 years ago
- Tutorial to write qemu plugins☆31Updated 7 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- ☆39Updated 3 years ago
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆54Updated 3 years ago
- A monitoring script for AFL☆39Updated 7 years ago
- Linux kernel branches for confidential compute research☆17Updated 2 months ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆46Updated 4 years ago
- The parser-directed Fuzzer☆38Updated 4 years ago
- Target-centric program analysis.☆73Updated this week
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- A suite of experiments for evaluating open-source binary taint trackers.☆32Updated 2 years ago
- ☆69Updated last year
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 3 years ago
- Flex 'em lexers☆39Updated 4 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Updated 5 years ago
- A symbolic execution engine for LLVM IR☆34Updated 2 years ago
- Pretty printer from GTIRB to assembly code☆48Updated last month