Utilities for generating dynamic traces
☆94Mar 24, 2025Updated 11 months ago
Alternatives and similar repositories for tracer
Users that are interested in tracer are comparing it to the libraries listed below
Sorting:
- A pip wrapper around our ridiculous amount of qemu forks.☆51Feb 9, 2026Updated 3 weeks ago
- Targeted patcher for CGC binaries. CGrex was used only during the CGC qualifier event, and is OBSOLETE. For the CFE, we used patcherex (g…☆15Sep 2, 2016Updated 9 years ago
- A patched version of VEX to work with PyVEX.☆113Feb 1, 2026Updated last month
- Handy utilities for the angr binary analysis framework, most notably CFG visualization☆299Mar 15, 2019Updated 6 years ago
- A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!☆46Jun 11, 2022Updated 3 years ago
- Driller: augmenting AFL with symbolic execution!☆965Mar 24, 2025Updated 11 months ago
- This implements a 64-bit version of vusec/vuzzer fuzzing tool.☆179Mar 29, 2022Updated 3 years ago
- Universal Trace Debugger Engine. Currently, only support windbg on Windows, but the long term goal is to also support GDB or LLDB☆13Dec 30, 2013Updated 12 years ago
- A pip wrapper around AFL.☆87Apr 12, 2021Updated 4 years ago
- Shellphish's automated exploitation engine, originally created for the Cyber Grand Challenge.☆655Jan 12, 2026Updated last month
- QEMU modified to run CGC binaries.☆13Apr 12, 2022Updated 3 years ago
- Some helper scripts to set up an environment for angr development.☆123Feb 25, 2026Updated last week
- A version of AFL tailored for Driller's use in analyzing CGC binaries.☆80Mar 20, 2017Updated 8 years ago
- Python bindings for Valgrind's VEX IR.☆375Updated this week
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Oct 26, 2022Updated 3 years ago
- Our backup exploitation technique: fuzzing for POVs!☆24Aug 20, 2016Updated 9 years ago
- Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).☆35Oct 23, 2017Updated 8 years ago
- Basic x86 Symbolic Execution for educational purposes☆18May 8, 2017Updated 8 years ago
- A repository with binaries for angr tests and examples.☆63Feb 24, 2026Updated last week
- QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing☆655Nov 23, 2022Updated 3 years ago
- An AFL implementation with UnTracer (our coverage-guided tracer)☆124Jul 7, 2022Updated 3 years ago
- Source code of HAL-fuzz☆157Feb 4, 2021Updated 5 years ago
- AFL, with scripts to support other architectures.☆97Nov 7, 2018Updated 7 years ago
- Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86)☆13Sep 4, 2019Updated 6 years ago
- source code for savior fuzzer☆127Oct 1, 2020Updated 5 years ago
- An abstraction layer for constraint solvers.☆327Feb 24, 2026Updated last week
- HeapHopper is a bounded model checking framework for Heap-implementations☆225Jul 2, 2025Updated 8 months ago
- Source code for paper 'Automatic Heap Layout Manipulation for Exploitation'☆103Nov 24, 2019Updated 6 years ago
- [DEPRECATED] A symbolic execution engine for the VEX IR☆80Sep 27, 2018Updated 7 years ago
- AFL/QEMU fuzzing with full-system emulation.☆640Sep 9, 2018Updated 7 years ago
- Classes with architecture-specific information useful to other projects.☆95Updated this week
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆156Oct 4, 2021Updated 4 years ago
- ☆809Feb 5, 2026Updated last month
- IDAPython script in order to auto-rename subs☆20May 17, 2017Updated 8 years ago
- ☆386Oct 28, 2019Updated 6 years ago
- Windows builds for use with angr framework☆29Feb 12, 2016Updated 10 years ago
- libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)☆270Feb 21, 2025Updated last year
- A collection of extensions to angr to handle new platforms☆69Nov 21, 2025Updated 3 months ago