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:
- ☆12May 8, 2020Updated 5 years ago
- Dynamic analysis tool to find memory overlaps in an executable☆10Apr 25, 2022Updated 3 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆25Nov 21, 2024Updated last year
- 智慧財產權題目的解答資料庫☆14Dec 6, 2023Updated 2 years ago
- frozenkp's CTF Writeups & useful tools☆19Jun 29, 2020Updated 5 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆38May 11, 2020Updated 5 years ago
- Capture The Flag for practice and contest☆17Dec 9, 2022Updated 3 years ago
- frozenkp's blog☆13Aug 25, 2023Updated 2 years ago
- Dynamic Control Flow Recovery☆25Apr 15, 2018Updated 7 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆51Feb 3, 2021Updated 5 years ago
- Yet another IDA Pro real time syncing plugin☆16Mar 27, 2018Updated 7 years ago
- Scalable Validator for Binary Lifters☆62Jun 28, 2020Updated 5 years ago
- Intel x86 bare metal hypervisor for researching snapshot fuzzing ideas.☆171Dec 2, 2020Updated 5 years ago
- Emulation and Feedback Fuzzing of Firmware with Memory Sanitization☆166Jun 26, 2021Updated 4 years ago
- Collection of images and examples to use with Shoggoth.☆19Aug 24, 2020Updated 5 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Oct 3, 2022Updated 3 years ago
- LLVM-based ROP obfuscated compiler☆13Mar 24, 2022Updated 3 years ago
- This repository contains the currently implemented angr concrete targets.☆34Sep 1, 2023Updated 2 years ago
- Basic packer using XOR encryption☆31Mar 29, 2024Updated last year
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 2 years ago
- Proof-of-concept implementation for the paper "Hammulator: Simulate Now - Exploit Later" (DRAMSec 2023)☆17Sep 15, 2025Updated 6 months 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
- 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
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆20Apr 1, 2025Updated 11 months ago
- Linux crash harness with runtime process instrumentation☆22Nov 7, 2020Updated 5 years ago
- A Ghidra processor module for the EFI Byte Code (EBC)☆35Jun 20, 2020Updated 5 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆28Jun 1, 2019Updated 6 years ago
- An implementation of IDS (Interpretable Decision Sets) algorithm.☆24Mar 13, 2021Updated 5 years ago
- SymGDB - symbolic execution plugin for gdb☆218May 15, 2018Updated 7 years ago
- Breaking secure checksums in the scudo heap allocator☆13Apr 9, 2020Updated 5 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated 2 years ago
- Rewriting functions in compiled binaries using McSema☆93Aug 6, 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
- automated-arancino is a lightweight analysis framework to automate malware experiments.☆16Apr 17, 2017Updated 8 years ago
- UNMAINTAINED: I am now developing and using https://github.com/GhidraJupyter/ghidra-jupyter-kotlin instead, PRs still welcome☆16May 6, 2020Updated 5 years ago
- Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE☆20Jan 29, 2020Updated 6 years ago
- a command line tool that let you express commands in natural language using openai api..☆39Dec 4, 2025Updated 3 months ago
- ☆20Dec 23, 2019Updated 6 years ago
- Static instrumentation tool for efficient binary-level coverage analysis.☆152Jan 25, 2021Updated 5 years ago