Top 44 program-analysis open source projects

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

The CodeQL extractor and libraries for Go.

Symbolic execution tool

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

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

Type Analyzer for JavaScript

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.

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Static program analysis for TIP

Semgrep rules registry

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

Malware Behavior Analyzer

A binary analysis framework

Binary Analysis Platform

CoRnucopia of ABstractions: a library for building abstract interpretation-based analyses

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

A Program Analysis Toolkit for Android

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.

Incremental Program Analysis Framework

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

DIE engine

Performant type-checking for python.

A LLVM-based static analysis framework.

T.J. Watson Libraries for Analysis

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

cwe_checker finds vulnerable patterns in binary executables

Binary Analysis Framework in Rust

Static Analysis Compiler Plugin for Scala

SeaHorn Verification Framework

COM S 413/513 and CPR E 513 Foundations and Applications of Program Analysis @ Iowa State University

Program analysis playground for a simple, imperative language

Assorted pintools

Java Code Instrumenter and Execution Tracer

Lists of must-read papers (mainly security papers)

Extracting high level semantic information from binary code

Static Analyzer for LLVM bitcode based on Abstract Interpretation

No description or website provided.

Source code for the ICLR 2021 work "Generating Adversarial Computer Programs using Optimized Obfuscations"

A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs

TIRO - A hybrid iterative deobfuscation framework for Android applications

Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.

Signedness-Agnostic Strided-Interval

Static analysis of IEC 61131-3 programs