Function interposition for Linux and Mac OS
☆76Feb 28, 2024Updated 2 years ago
Alternatives and similar repositories for interpose
Users that are interested in interpose are comparing it to the libraries listed below
Sorting:
- Static range analysis for the LLVM compiler infrastructure.☆56Oct 8, 2019Updated 6 years ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- A tool to pull C++ object names from kernel memory☆16Aug 13, 2021Updated 4 years ago
- ☆21Feb 15, 2022Updated 4 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆51Feb 3, 2021Updated 5 years ago
- Radamsa written in c ported to Rust☆11May 10, 2023Updated 2 years ago
- ☆42Aug 4, 2020Updated 5 years ago
- Implementation of Taint Tracking in LLVM compiler.☆10Jan 1, 2013Updated 13 years ago
- bmod parses binaries for modification/patching and disassembles machine code sections.☆12Apr 19, 2018Updated 7 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Oct 3, 2022Updated 3 years ago
- POC for cve-2019-1458☆21Mar 4, 2020Updated 6 years ago
- clang-based search engine for C/C++ data structures, classes, prototypes & macros☆103Jul 15, 2025Updated 8 months ago
- A WebAssembly test case generator☆44Oct 21, 2020Updated 5 years ago
- Dynamically discover the commands used to create a piece of software☆58Oct 24, 2025Updated 4 months ago
- A simple, web based dashboard to use with LibAFL + OnDiskJSONMonitor☆24Feb 3, 2026Updated last month
- The Use of Likely Invariants as Feedback for Fuzzers☆94Jan 19, 2022Updated 4 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆84Mar 16, 2023Updated 3 years ago
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated last year
- Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019☆10Jul 6, 2023Updated 2 years ago
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- A Python library for easy and fast program transformation/repair☆15Oct 26, 2021Updated 4 years ago
- Playground for testing feedback☆16Aug 12, 2020Updated 5 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆102Jul 14, 2022Updated 3 years ago
- Dr. Disassembler☆38Jan 5, 2022Updated 4 years ago
- A collection of widely-fuzzed targets☆46Aug 4, 2019Updated 6 years ago
- ☆48Oct 28, 2021Updated 4 years ago
- Code for PathAFL on ASIACCS 2020. Please see README_CN.md. Please wait for README_EN.md.☆18Nov 11, 2020Updated 5 years ago
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆65Feb 28, 2022Updated 4 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- Porting Windows Dynamic Link Libraries to Linux☆43Dec 26, 2025Updated 2 months ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆156Oct 4, 2021Updated 4 years ago
- ☆39Sep 27, 2022Updated 3 years ago
- Code lifting for executing a visionOS library os macOS using QBDL and QBDI☆22Sep 30, 2024Updated last year
- CClyzer port to souffle lang☆19Jan 29, 2024Updated 2 years ago
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆32Feb 26, 2026Updated 3 weeks ago
- Always-Correct and Fast Incremental Builds from Simple Specifications☆93Jun 21, 2024Updated last year
- A cheat sheet that summarises "strategies" (or techniques) to use with angr.☆32Jan 24, 2021Updated 5 years ago