Program Analysis
Showing 14 of 14 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.
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.