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
- Repository for understanding and writing LLVM passes.☆34Jul 29, 2019Updated 6 years ago
- ☆21Feb 15, 2022Updated 4 years ago
- ☆42Aug 4, 2020Updated 5 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Oct 3, 2022Updated 3 years ago
- bmod parses binaries for modification/patching and disassembles machine code sections.☆12Apr 19, 2018Updated 7 years ago
- Radamsa written in c ported to Rust☆11May 10, 2023Updated 2 years ago
- Dynamically discover the commands used to create a piece of software☆58Oct 24, 2025Updated 4 months ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆51Feb 3, 2021Updated 5 years ago
- ☆26Sep 21, 2022Updated 3 years ago
- This is an example library to show how to fuzz with AFL++ only the code modified by the last commit.☆17Mar 2, 2020Updated 6 years ago
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated last year
- Implementation of Taint Tracking in LLVM compiler.☆10Jan 1, 2013Updated 13 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- leetcode in rust lang.☆10Sep 19, 2024Updated last year
- 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
- a python BVH tree builder using slangpy to call cuda kernels, no optix build problems.☆17Apr 5, 2025Updated 10 months ago
- Draft of generic instrumentation tool based on QEMU using eBPF to implement trivial instrumentations with trivial code☆18Feb 17, 2020Updated 6 years ago
- clang-based search engine for C/C++ data structures, classes, prototypes & macros☆103Jul 15, 2025Updated 7 months ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Feb 22, 2019Updated 7 years ago
- DYLD shared cache loader for Hopper☆36Apr 17, 2017Updated 8 years ago
- A WebAssembly test case generator☆44Oct 21, 2020Updated 5 years ago
- A tool to pull C++ object names from kernel memory☆16Aug 13, 2021Updated 4 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆102Jul 14, 2022Updated 3 years ago
- ☆39Sep 27, 2022Updated 3 years ago
- CClyzer port to souffle lang☆19Jan 29, 2024Updated 2 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Oct 31, 2022Updated 3 years ago
- Rudac is a Rust Data structure and Algorithm Crate. It aims to be a comprehensive crate of useful data structure and algorithms.☆18Oct 14, 2021Updated 4 years ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆156Oct 4, 2021Updated 4 years ago
- Simple python library for dealing with Apple device's firmwares☆16Dec 30, 2021Updated 4 years ago
- Restructor Prototype☆21Jun 10, 2017Updated 8 years ago
- Rules for writing academic papers and checking them using LTex-ls and LanguageTool☆19Feb 18, 2025Updated last year
- QTrace, a "zero knowledge" system call tracer☆54Jan 3, 2015Updated 11 years ago
- ☆48Oct 28, 2021Updated 4 years ago
- Tool and library for performing automated modifications to Xcode project files☆47Dec 6, 2009Updated 16 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆84Mar 16, 2023Updated 2 years ago