A Python library for easy and fast program transformation/repair
☆15Oct 26, 2021Updated 4 years ago
Alternatives and similar repositories for tourniquet
Users that are interested in tourniquet are comparing it to the libraries listed below
Sorting:
- Underconstrained symbolic execution for cryptography verification☆19Mar 26, 2021Updated 4 years ago
- link a linux ELF .so library into memory with python and call functions in it, even if you're not on linux☆10Feb 5, 2020Updated 6 years ago
- poststructural fuzzing☆31Jan 29, 2020Updated 6 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
- Linear IL view for Binary Ninja☆13Feb 28, 2017Updated 9 years ago
- BAP python bindings☆22Dec 1, 2023Updated 2 years ago
- WIP Java decompiler☆24Dec 3, 2025Updated 3 months ago
- The C parser for GumTree☆14Sep 25, 2020Updated 5 years ago
- Playground for testing feedback☆16Aug 12, 2020Updated 5 years ago
- Measure branching along code paths☆18Oct 25, 2016Updated 9 years ago
- Signedness-Agnostic Strided-Interval☆38Jun 21, 2019Updated 6 years ago
- ☆18Sep 12, 2019Updated 6 years ago
- CClyzer port to souffle lang☆19Jan 29, 2024Updated 2 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- Counterexample-Driven Genetic Programming☆18Jun 11, 2022Updated 3 years ago
- A library of assemblers and disassemblers derived from LLVM TableGen data☆26Aug 12, 2025Updated 6 months ago
- Hex editor for bit-level occultism☆22Jul 28, 2018Updated 7 years ago
- Plugin for BinaryNinja that provides bookmarking functionality☆21Feb 11, 2021Updated 5 years ago
- Static range analysis for the LLVM compiler infrastructure.☆56Oct 8, 2019Updated 6 years ago
- Generation-based, context-free grammar fuzzer.☆55Aug 14, 2022Updated 3 years ago
- Symbolic Execution over Falcon IL☆30Aug 28, 2021Updated 4 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆30Jul 9, 2024Updated last year
- ☆29Sep 27, 2019Updated 6 years ago
- grep for C/C++ source files.☆30Aug 8, 2025Updated 6 months ago
- a grammar-based data generator☆61Jan 10, 2019Updated 7 years ago
- AIL: The angr Intermediate Language.☆33May 28, 2025Updated 9 months ago
- Programmatic disassembly and patching☆69Dec 30, 2016Updated 9 years ago
- LLVM Assembler adding Debug Information at IR Level.☆33Oct 31, 2018Updated 7 years ago
- BugsJS benchmark framework and data files.☆30Nov 27, 2019Updated 6 years ago
- ☆26Sep 21, 2022Updated 3 years ago
- Dr. Disassembler☆38Jan 5, 2022Updated 4 years ago
- A framework for instrumenting build tools☆90Feb 13, 2026Updated 2 weeks ago
- The SuperC Parsing Framework☆35May 21, 2025Updated 9 months ago
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆131Feb 13, 2022Updated 4 years ago
- Pandemic binary program analysis framework in OCaml (abandoned)☆71May 28, 2019Updated 6 years ago
- A coverage-based software testing tool☆34Dec 11, 2020Updated 5 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆39Updated this week
- Declarative MLIR compilers in Python!☆36Oct 9, 2020Updated 5 years ago
- Self-hosting C toolchain, from scratch☆36Feb 7, 2025Updated last year