DIE engine
-
Updated
May 25, 2024 - C++
DIE engine
Performant type-checking for python.
UNIX-like reverse engineering framework and command-line toolset.
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.
Program for determining types of files for Windows, Linux and MacOS.
Static analysis framework for C
Java code commit impact, java code change impact analysis,java代码改动影响范围分析工具,精准测试,回归测试范围划定
Quickly find differences and similarities in disassembled code
Semgrep rules registry
Quarkslab Bindiffer but not only !
SeaHorn Verification Framework
Finds all the user defined identifier names in source code file(s). Works for C, C++, C#, and Java files.
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
The Ultimate program analysis framework.
Static Code Analysis - 静态代码分析
A LLVM-based static analysis framework.
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
A static analyzer of variable value growth for C programs.
Formal verification tool for Solidity
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."