An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.
-
Updated
Jun 3, 2024 - C++
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.
DIE engine
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
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.
A library for building abstract interpretation-based analyses
Dynamic Program Slicing in LLVM Compiler
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
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
Signedness-Agnostic Strided-Interval
Assorted pintools
Reverse engineered API for Microsoft's Time Travel Debugger
FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22
An automatic framework to remove unneeded and unsafe code from Bluetooth stacks of Android and Linux, using both source code analysis (LLVM) and binary analysis (angr).
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."