An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
DIE engine
A LLVM-based static analysis framework.
A compiler frontend for the C programming language
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.
LLVM based static binary analysis framework
A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
Dynamic Program Slicing in LLVM Compiler
Symbolic Execution Engine based on Ghidra's PCode
A collection of code based on LLVM/Clang compilation libraries and tools
gradient-based symbolic execution engine implemented from scratch
Reverse engineered API for Microsoft's Time Travel Debugger
Assorted pintools
FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22
Standalone static version of Triton's x86/x64 translator
Add a description, image, and links to the program-analysis topic page so that developers can more easily learn about it.
To associate your repository with the program-analysis topic, visit your repo's landing page and select "manage topics."