Flex 'em lexers
☆42Oct 19, 2020Updated 5 years ago
Alternatives and similar repositories for reflex
Users that are interested in reflex are comparing it to the libraries listed below
Sorting:
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆25Nov 21, 2024Updated last year
- Dynamic Control Flow Recovery☆25Apr 15, 2018Updated 7 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆38May 11, 2020Updated 5 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 2 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆28Jun 1, 2019Updated 6 years ago
- Proof-of-concept implementation for the paper "Hammulator: Simulate Now - Exploit Later" (DRAMSec 2023)☆17Sep 15, 2025Updated 5 months ago
- Collection of images and examples to use with Shoggoth.☆19Aug 24, 2020Updated 5 years ago
- Flounder is an old corpus collector I wrote, but it still works. Just need a Bing API key☆17Oct 25, 2019Updated 6 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…☆22Jul 21, 2024Updated last year
- Linux crash harness with runtime process instrumentation☆22Nov 7, 2020Updated 5 years ago
- Scalable Validator for Binary Lifters☆62Jun 28, 2020Updated 5 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Oct 3, 2022Updated 3 years ago
- Emulation and Feedback Fuzzing of Firmware with Memory Sanitization☆165Jun 26, 2021Updated 4 years ago
- Intel x86 bare metal hypervisor for researching snapshot fuzzing ideas.☆169Dec 2, 2020Updated 5 years ago
- ☆13May 5, 2018Updated 7 years ago
- Small portable regex in C (cbmc verified, and extended)☆13Jun 6, 2023Updated 2 years ago
- Dynamic analysis tool to find memory overlaps in an executable☆10Apr 25, 2022Updated 3 years ago
- LLVM-based ROP obfuscated compiler☆13Mar 24, 2022Updated 3 years ago
- IDA recompiler☆31Dec 8, 2014Updated 11 years ago
- Default query sets for Joern☆27Oct 23, 2021Updated 4 years ago
- Static instrumentation tool for efficient binary-level coverage analysis.☆151Jan 25, 2021Updated 5 years ago
- VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.☆12Sep 14, 2017Updated 8 years ago
- Group coding repository of PltCov, a tool to instrument ELF binaries for fuzzing with ngram coverage of imported APIs☆12Jan 18, 2022Updated 4 years ago
- Malware analysis tool based on taint analysis.☆14Jan 29, 2022Updated 4 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated this week
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated last year
- gradient-based symbolic execution engine implemented from scratch☆37Dec 16, 2023Updated 2 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆51Feb 3, 2021Updated 5 years ago
- Fast and efficient binary translator☆58Jan 17, 2019Updated 7 years ago
- Static range analysis for the LLVM compiler infrastructure.☆56Oct 8, 2019Updated 6 years ago
- Rewriting functions in compiled binaries using McSema☆92Aug 6, 2019Updated 6 years ago
- Brainfuck architecture module and loader for Binary Ninja☆20Jan 13, 2026Updated last month
- AFL with QEMU 3.1.0 + optimizations (thread safe this time) from https://github.com/abiondo/afl☆10Mar 12, 2019Updated 6 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- Dr. Disassembler☆38Jan 5, 2022Updated 4 years ago
- A Clang/LLVM add-on to enforce coding rules☆33Nov 15, 2013Updated 12 years ago
- Yet another IDA Pro real time syncing plugin☆16Mar 27, 2018Updated 7 years ago
- Mimojas Firmware Toolkit for unpacking and analysis firmware images☆14May 23, 2020Updated 5 years ago
- A simple cross-platform speed & memory-efficiency benchmark for the most common hash-table implementations in the C++ world☆12Dec 9, 2022Updated 3 years ago