google / syzygyLinks
Syzygy Transformation Toolchain
☆373Updated 6 years ago
Alternatives and similar repositories for syzygy
Users that are interested in syzygy are comparing it to the libraries listed below
Sorting:
- Library for structured fuzzing with protobuffers☆619Updated 2 months ago
- A Turing complete ROP compiler☆323Updated 11 years ago
- Combining Unit Tests, Fuzzing, and AI☆302Updated 6 years ago
- A static binary rewriter that does not use heuristics☆304Updated 7 years ago
- Some C++ example code to demonstrate how to perform code similarity searches using SimHashing.☆561Updated 5 years ago
- Python code to parse Microsoft PDB files☆324Updated 10 months ago
- Open source library that implements translator and tools for REIL (Reverse Engineering Intermediate Language)☆509Updated 4 years ago
- An optimizing decompiler☆727Updated 4 years ago
- libipt - an Intel(R) Processor Trace decoder library☆682Updated 2 weeks ago
- SmartDec decompiler☆404Updated 4 years ago
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆314Updated 4 years ago
- Simple Intel CPU processor tracing on Linux☆349Updated 2 years ago
- A lightweight dynamic instrumentation library☆1,259Updated 2 months ago
- Clang instrumentation module for tracing variable and buffer comparisons in C/C++ and saving the coverage data to .sancov files☆201Updated 6 years ago
- A static checker for identifying unstable code.☆361Updated 10 years ago
- Intermediate Representation for Binary analysis and transformation☆338Updated last month
- ☆281Updated 2 years ago
- Interactive Disassembler GUI - This Repository is NOT a supported MongoDB product☆248Updated 8 years ago
- An amd64 symbolic emulator☆313Updated 3 years ago
- A unit test-like interface for fuzzing and symbolic execution☆834Updated 5 months ago
- The Windows Library for Intel Process Trace (WinIPT) is a project that leverages the new Intel Processor Trace functionality exposed by W…☆384Updated 2 years ago
- Utilities for automated crash sample processing/analysis, easy afl-fuzz job management and corpus optimization☆419Updated 7 years ago
- Produce code coverage results with gcov from afl-fuzz test cases☆477Updated last year
- Rellic produces goto-free C output from LLVM bitcode☆561Updated last month
- A Bochs-based instrumentation project designed to log kernel memory references, to identify "double fetches" and other OS vulnerabilities☆337Updated 6 years ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆581Updated 6 years ago
- Notes on various topics I'm interested in☆158Updated 9 years ago
- Safely execute an arbitrary x86 instruction☆180Updated last year
- A user-friendly fuzzing and crash triage tool for Windows☆131Updated 5 years ago
- High-throughput fuzzer and emulator of DECREE binaries☆242Updated 5 years ago