thebabush / reflex
Flex 'em lexers
☆39Updated 4 years ago
Alternatives and similar repositories for reflex:
Users that are interested in reflex are comparing it to the libraries listed below
- Abstract library to generate angr states from a debugger state☆59Updated 4 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆58Updated 4 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 4 years ago
- Utilities for generating dynamic traces☆91Updated 3 weeks ago
- a few Ghidra scripts for dumping PCode data☆50Updated 5 years ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆137Updated 3 years ago
- ☆38Updated 4 years ago
- ☆96Updated 6 years ago
- This repository contains the currently implemented angr concrete targets.☆33Updated last year
- GDB plugin to dump SECCOMP rules set via prctnl(PR_SET_SECCOMP, SECCOMP_MODE_FILTER)☆22Updated 9 years ago
- Repo for various angr ipython features to give it more of a cli feeling☆55Updated 3 months ago
- Recover mutation graph from an AFL seed☆59Updated 4 years ago
- ☆15Updated 5 years ago
- ☆49Updated 4 years ago
- Ghidra Emulates Functions☆54Updated 4 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Snapshot fuzzing with KVM and LibAFL☆94Updated 2 years ago
- Exploitation techniques to bypass Clang CFI when applied to Chromium☆113Updated 7 years ago
- KLEE-TAINT - Klee with taint analysis support☆70Updated 7 years ago
- InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing☆82Updated 4 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 4 months ago
- Nampa - FLIRT for (binary) ninjas☆94Updated 4 months ago
- ☆99Updated 4 years ago
- ☆53Updated 5 years ago
- Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code☆51Updated 9 years ago
- Scalable Validator for Binary Lifters☆56Updated 4 years ago
- Clone of "Compiler-Agnostic Function Detection in Binaries" source code☆86Updated 3 years ago
- ROPMate is the first Visual Analytics system specifically designed to assist human in composing ROP chains with the desired semantics.☆25Updated 4 years ago
- ☆63Updated 6 years ago
- A PCode Emulator for Ghidra.☆108Updated 4 years ago