Program Analysis
Showing 25 of 25 projects
A high-performance theorem prover and satisfiability modulo theories (SMT) solver from Microsoft Research.
A cross-platform file type identification tool for malware analysts and reverse engineers, using signature-based and heuristic analysis.
A platform-agnostic binary analysis framework for disassembly, symbolic execution, and program analysis.
A performant, incremental type checker for Python with integrated security analysis via Pysa.
A symbolic-execution-based security analysis tool for detecting vulnerabilities in Ethereum and EVM-compatible smart contracts.
A dynamic binary analysis library for building program analysis tools, automating reverse engineering, and emulating code.
A reverse engineering framework and command-line toolset for binary analysis, disassembly, debugging, and forensic tasks.
A static analyzer for C/C++ that detects runtime errors using abstract interpretation theory.
A static analyzer for C/C++ that detects runtime errors using abstract interpretation theory.
GUI and console sources for Detect It Easy (DiE), a program for determining file types and packers.
Guidelines, best practices, and training material for writing secure smart contracts across multiple blockchain platforms.
Guidelines, best practices, and training material for writing secure smart contracts across multiple blockchain platforms.
A suite of utilities and libraries for analyzing binary programs, supporting multiple architectures and offering symbolic execution.
A metaprogramming library for analyzing and transforming Java source code via a well-designed AST.
A static analysis tool that detects Common Weakness Enumerations (CWEs) in binary executables across multiple CPU architectures.
A mutation-based coverage-guided fuzzer that increases branch coverage by solving path constraints without symbolic execution.
A comprehensive static analysis library for Java bytecode and JavaScript, supporting interprocedural dataflow, pointer analysis, and call graph construction.
A debugger for the Go programming language designed to be simple, full-featured, and easy to use.
A front-end for the C programming language that simplifies code for analysis and transformation.
A debug adapter for OCaml programs that implements the Debug Adapter Protocol for VS Code integration.
A static and symbolic analysis tool for finding memory safety bugs in browser code and other software.
An OCaml API for static analysis, dynamic analysis, code visualization, navigation, and style-preserving source-to-source transformations.
An extensible static analysis platform for Rust that detects memory safety bugs and performs advanced program analysis beyond rustc.
An online debugger and visualizer for Go programs that captures execution steps and variable states using the Delve debugger.
A multi-backend SMT solver frontend for OCaml providing a consistent interface to various solvers.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.