Configurable instrumentation of LLVM bitcode
☆35Mar 31, 2025Updated 11 months ago
Alternatives and similar repositories for sbt-instrumentation
Users that are interested in sbt-instrumentation are comparing it to the libraries listed below
Sorting:
- Static program slicer used in Symbiotic tool☆12Mar 31, 2025Updated 11 months ago
- A set of tools for visualizing and inspecting LLVM bitcode modules☆31Jan 4, 2015Updated 11 years ago
- [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.☆524May 21, 2025Updated 9 months ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆334Feb 25, 2026Updated last week
- Frida Python Tool☆14Sep 29, 2020Updated 5 years ago
- Android hook by so inject☆11Aug 28, 2017Updated 8 years ago
- ☆25Aug 9, 2021Updated 4 years ago
- Staging area for work on Integer Overflow Checker (IOC), a clang extension that provides compiler flags to insert check for various sourc…☆22Oct 31, 2012Updated 13 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Feb 19, 2019Updated 7 years ago
- Replication package for Mining Input Grammars From Dynamic Control Flow☆27Aug 14, 2020Updated 5 years ago
- Yet another IDA Pro real time syncing plugin☆16Mar 27, 2018Updated 7 years ago
- Tools for IDA☆13May 25, 2016Updated 9 years ago
- Convert a raw firmware image to an ELF file.☆14Feb 6, 2019Updated 7 years ago
- Static Slicer for LLVM☆67Jan 9, 2016Updated 10 years ago
- A simple VM to play with OSR in LLVM☆15Jun 11, 2017Updated 8 years ago
- Library for constructing data-centric processing pipelines☆12Feb 23, 2026Updated last week
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 7 years ago
- ☆14Dec 9, 2015Updated 10 years ago
- Hooking & Executing Code ---hooking Swift methods☆15Oct 23, 2017Updated 8 years ago
- Create an outbound stream over a message transport.☆21Jun 16, 2025Updated 8 months ago
- Babelfish Python client☆17Nov 6, 2019Updated 6 years ago
- S2E Core Engine Library☆15Jan 7, 2020Updated 6 years ago
- An analyzer of JNI code that matches native code information with Java code☆23Nov 12, 2021Updated 4 years ago
- AFL, modified to support multi-CB challenge sets for CGC.☆19Aug 20, 2016Updated 9 years ago
- Whole Program LLVM: wllvm ported to go☆334Apr 28, 2024Updated last year
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Feb 22, 2019Updated 7 years ago
- AFL coverage tool using Clang SanitizerCoverage☆37Nov 13, 2016Updated 9 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆102Jul 14, 2022Updated 3 years ago
- IDAPython compatibility library. idasix aims to create a smooth ida development process and allow a single codebase to function with mult…☆25Aug 2, 2018Updated 7 years ago
- Aim to be a simple, easy-to-use programming language. Let's write relatively safe code without too much cognitive load.☆23Updated this week
- ☆30Jan 28, 2021Updated 5 years ago
- A symbolic execution engine for LLVM IR☆51Apr 25, 2022Updated 3 years ago
- S2E plugins library☆17Jan 7, 2020Updated 6 years ago
- Small fuzzing library with an example script using it.☆21Feb 12, 2021Updated 5 years ago
- Project for learning about llvm☆18Sep 13, 2022Updated 3 years ago
- ☆22Jul 6, 2018Updated 7 years ago
- Dynamic Program Slicing in LLVM Compiler☆143Aug 1, 2018Updated 7 years ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆31Apr 30, 2024Updated last year
- IDA反-反调试插件 IDAStealth v1.3.3, created 06/28/2011, Jan Newger☆21Apr 4, 2018Updated 7 years ago