Performant type-checking for python.

Symbolic execution tool

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

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

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.

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

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

Binary Analysis Platform

A LLVM-based static analysis framework.

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

DIE engine

T.J. Watson Libraries for Analysis

Binary Analysis Framework in Rust

Static Analysis Compiler Plugin for Scala

cwe_checker finds vulnerable patterns in binary executables

SeaHorn Verification Framework

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

The CodeQL extractor and libraries for Go.

Type Analyzer for JavaScript

Malware Behavior Analyzer

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Static program analysis for TIP

A binary analysis framework

A Program Analysis Toolkit for Android

Dynamic Program Slicing in LLVM Compiler

CoRnucopia of ABstractions: a language-agnostic library for abstract interpretation

Find the ideal fuzz targets in a Rust codebase

A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.

Yet another crippled decompiler project