program-analysis

Performant type-checking for python.

Program for determining types of files for Windows, Linux and MacOS.

Symbolic execution tool

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

Binary Analysis Platform

UNIX-like reverse engineering framework and command-line toolset.

DIE engine

Static Code Analysis - 静态代码分析

Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.

cwe_checker finds vulnerable patterns in binary executables

Tai-e assignments for static program analysis

A LLVM-based static analysis framework.

The official angr GUI.

T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses

Binary Analysis Framework in Rust

Semgrep rules registry

The CodeQL extractor and libraries for Go.