Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
-
Updated
Jun 2, 2024 - C++
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
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.
Finds all the user defined identifier names in source code file(s). Works for C, C++, C#, and Java files.
A LLVM-based static analysis framework.
An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.
A compiler frontend for the C programming language
A library for building abstract interpretation-based analyses
Reverse engineered API for Microsoft's Time Travel Debugger
Implementation of different forms of static program analysis techniques
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
TSAR (Traits Static AnalyzeR)
gradient-based symbolic execution engine implemented from scratch
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Standalone static version of Triton's x86/x64 translator
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22
Tool for detecting violations of ordering axioms in STL comparators
Symbolic Execution Engine based on Ghidra's PCode
DYNA (DYNamic Analyzer)
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."