google / syzygyLinks
Syzygy Transformation Toolchain
☆376Updated 6 years ago
Alternatives and similar repositories for syzygy
Users that are interested in syzygy are comparing it to the libraries listed below
Sorting:
- Python code to parse Microsoft PDB files☆326Updated last year
- Some C++ example code to demonstrate how to perform code similarity searches using SimHashing.☆560Updated 5 years ago
- Library for structured fuzzing with protobuffers☆627Updated 6 months ago
- Combining Unit Tests, Fuzzing, and AI☆302Updated 6 years ago
- An optimizing decompiler☆727Updated 4 years ago
- A Turing complete ROP compiler☆327Updated 12 years ago
- SmartDec decompiler☆407Updated 4 years ago
- Open source library that implements translator and tools for REIL (Reverse Engineering Intermediate Language)☆509Updated 4 years ago
- A static binary rewriter that does not use heuristics☆306Updated 7 years ago
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆311Updated 5 years ago
- Clang instrumentation module for tracing variable and buffer comparisons in C/C++ and saving the coverage data to .sancov files☆202Updated 6 years ago
- ☆281Updated 2 years ago
- An amd64 symbolic emulator☆312Updated 4 years ago
- An event driven multi-core process debugging, tracing, and manipulation framework.☆175Updated 5 years ago
- An instruction trace visualisation tool for dynamic program analysis☆371Updated 2 years ago
- The Windows Library for Intel Process Trace (WinIPT) is a project that leverages the new Intel Processor Trace functionality exposed by W…☆401Updated 2 years ago
- A patch analysis tool☆363Updated 5 years ago
- TLB splitting VMM☆168Updated 9 years ago
- Intermediate Representation for Binary analysis and transformation☆345Updated last week
- Interactive Disassembler GUI - This Repository is NOT a supported MongoDB product☆248Updated 8 years ago
- A hypervisor for fuzzing built with WHVP and Bochs☆377Updated 6 years ago
- A decompiler with multiple backend support, written in Python. Works with IDA and Capstone.☆531Updated 9 years ago
- A Bochs-based instrumentation project designed to log kernel memory references, to identify "double fetches" and other OS vulnerabilities☆340Updated 6 years ago
- Rellic produces goto-free C output from LLVM bitcode☆573Updated 4 months ago
- Visualization of heap operations.☆611Updated 10 months ago
- Notes on various topics I'm interested in☆160Updated 10 years ago
- libipt - an Intel(R) Processor Trace decoder library☆695Updated 3 months ago
- A lightweight dynamic instrumentation library☆1,281Updated 6 months ago
- Reverse engineering tool for automatic structure recovering and memory use analysis based on DynamoRIO and Capstone☆322Updated 6 years ago
- A static checker for identifying unstable code.☆361Updated 10 years ago