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.
UNIX-like reverse engineering framework and command-line toolset.
An official book about Rizin
DIE engine
Program for determining types of files for Windows, Linux and MacOS.
Performant type-checking for python.
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 new version of Soot with a completely overhauled architecture
Solidity parser in Go, designed to transform Solidity code into a structured format for enhanced analysis, particularly beneficial for developers using Go to analyze Solidity smart contracts.
Java code commit impact, java code change impact analysis,java代码改动影响范围分析工具,精准测试,回归测试范围划定
Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to fuzzing, static analysis and program repair.
PASTIS: Collaborative Fuzzing Framework
Static Code Analysis - 静态代码分析
Semgrep rules registry
The Ultimate program analysis framework.
Finds all the user defined identifier names in source code file(s). Works for C, C++, C#, and Java files.
Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
Quickly find differences and similarities in disassembled code
Static analysis framework for C
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."