google / syzygy
Syzygy Transformation Toolchain
☆365Updated 6 years ago
Alternatives and similar repositories for syzygy:
Users that are interested in syzygy are comparing it to the libraries listed below
- Some C++ example code to demonstrate how to perform code similarity searches using SimHashing.☆561Updated 4 years ago
- Library for structured fuzzing with protobuffers☆605Updated this week
- A Turing complete ROP compiler☆319Updated 11 years ago
- SmartDec decompiler☆400Updated 3 years ago
- Python code to parse Microsoft PDB files☆319Updated 6 months ago
- An optimizing decompiler☆715Updated 3 years ago
- Combining Unit Tests, Fuzzing, and AI☆300Updated 6 years ago
- ☆280Updated last year
- Clang instrumentation module for tracing variable and buffer comparisons in C/C++ and saving the coverage data to .sancov files☆200Updated 5 years ago
- Open source library that implements translator and tools for REIL (Reverse Engineering Intermediate Language)☆499Updated 3 years ago
- A static binary rewriter that does not use heuristics☆302Updated 6 years ago
- Notes on various topics I'm interested in☆157Updated 9 years ago
- An amd64 symbolic emulator☆313Updated 3 years ago
- High-throughput fuzzer and emulator of DECREE binaries☆243Updated 5 years ago
- Interactive Disassembler GUI - This Repository is NOT a supported MongoDB product☆247Updated 8 years ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆179Updated 6 years ago
- Binary coverage tool without binary modification for Windows☆431Updated 4 years ago
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆314Updated 4 years ago
- A lightweight dynamic instrumentation library☆1,207Updated 2 months ago
- Instructions database and utilities for X86/X64 and ARM (THUMB/A32/A64) architectures.☆331Updated last year
- A Bochs-based instrumentation project designed to log kernel memory references, to identify "double fetches" and other OS vulnerabilities☆334Updated 5 years ago
- Rellic produces goto-free C output from LLVM bitcode☆548Updated 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…☆377Updated last year
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆577Updated 6 years ago
- Safely execute an arbitrary x86 instruction☆179Updated last year
- A patch analysis tool☆360Updated 4 years ago
- A Bochs-based instrumentation performing kernel memory taint tracking to detect disclosure of uninitialized memory to ring 3☆301Updated 5 years ago
- Produce code coverage results with gcov from afl-fuzz test cases☆475Updated 7 months ago
- An event driven multi-core process debugging, tracing, and manipulation framework.☆172Updated 5 years ago
- A user-friendly fuzzing and crash triage tool for Windows☆131Updated 5 years ago