Utilities for generating dynamic traces
☆94Mar 24, 2025Updated last year
Alternatives and similar repositories for tracer
Users that are interested in tracer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A pip wrapper around our ridiculous amount of qemu forks.☆51Feb 9, 2026Updated last month
- 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 tool to add simple inline patches to a binary to rearrange its stack frames, and other things!☆46Jun 11, 2022Updated 3 years ago
- A patched version of VEX to work with PyVEX.☆114Feb 1, 2026Updated last month
- Driller: augmenting AFL with symbolic execution!☆965Mar 24, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Handy utilities for the angr binary analysis framework, most notably CFG visualization☆300Mar 15, 2019Updated 7 years ago
- Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86)☆13Sep 4, 2019Updated 6 years ago
- QEMU modified to run CGC binaries.☆13Apr 12, 2022Updated 3 years ago
- Python bindings for Valgrind's VEX IR.☆375Mar 17, 2026Updated last week
- Our backup exploitation technique: fuzzing for POVs!☆24Aug 20, 2016Updated 9 years ago
- This implements a 64-bit version of vusec/vuzzer fuzzing tool.☆180Mar 29, 2022Updated 3 years ago
- A repository with binaries for angr tests and examples.☆64Mar 18, 2026Updated last week
- A pip wrapper around AFL.☆87Apr 12, 2021Updated 4 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An AFL implementation with UnTracer (our coverage-guided tracer)☆124Jul 7, 2022Updated 3 years ago
- Shellphish's automated exploitation engine, originally created for the Cyber Grand Challenge.☆655Jan 12, 2026Updated 2 months ago
- A version of AFL tailored for Driller's use in analyzing CGC binaries.☆80Mar 20, 2017Updated 9 years ago
- An abstraction layer for constraint solvers.☆327Updated this week
- A collection of extensions to angr to handle new platforms☆69Nov 21, 2025Updated 4 months ago
- AFL, with scripts to support other architectures.☆97Nov 7, 2018Updated 7 years ago
- A Python interface to AFL, allowing for easy injection of testcases and other functionality.☆645Apr 30, 2019Updated 6 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
- [DEPRECATED] A symbolic execution engine for the VEX IR☆80Sep 27, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Some helper scripts to set up an environment for angr development.☆123Mar 15, 2026Updated last week
- Classes with architecture-specific information useful to other projects.☆96Mar 17, 2026Updated last week
- Automatic vulnerability detection and exploit generation☆16Jul 24, 2019Updated 6 years ago
- QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing☆655Nov 23, 2022Updated 3 years ago
- run AFL with pintool☆67Feb 24, 2020Updated 6 years ago
- AFL, modified to support multi-CB challenge sets for CGC.☆19Aug 20, 2016Updated 9 years ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Oct 26, 2022Updated 3 years ago
- Basic x86 Symbolic Execution for educational purposes☆18May 8, 2017Updated 8 years ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆156Oct 4, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- INACTIVE - http://mzl.la/ghe-archive - A Python3 bridge for implementing custom libFuzzer mutators☆74May 24, 2019Updated 6 years ago
- Source code for paper 'Automatic Heap Layout Manipulation for Exploitation'☆103Nov 24, 2019Updated 6 years ago
- Documentation for the angr suite☆847Apr 27, 2023Updated 2 years ago
- libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)☆270Feb 21, 2025Updated last year
- ☆387Oct 28, 2019Updated 6 years ago
- Produce code coverage results with gcov from afl-fuzz test cases☆490Jun 22, 2024Updated last year
- Source code of HAL-fuzz☆157Feb 4, 2021Updated 5 years ago