Performant type-checking for python.
-
Updated
Jun 12, 2024 - OCaml
Performant type-checking for python.
A new version of Soot with a completely overhauled architecture
UNIX-like reverse engineering framework and command-line toolset.
Formal verification tool for Solidity
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.
Static analysis framework for C
DIE engine
The Ultimate program analysis framework.
Program for determining types of files for Windows, Linux and MacOS.
Semgrep rules registry
Corax for Java: A general static analysis framework for java code checking.
A LLVM-based static analysis framework.
A curated list of awesome LLVM (including Clang, etc) related resources.
Lists of must-read papers (mainly security papers)
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
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.
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
A binary analysis framework written in Rust.
Java code commit impact, java code change impact analysis,java代码改动影响范围分析工具,精准测试,回归测试范围划定
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."