Performant type-checking for python.
Binary Analysis Platform
A modern supercompiler for call-by-value functional languages
Static analysis framework for C
a safety verifier for Solidity smart contracts
Static analysis of IEC 61131-3 programs
Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited
WASP was superseded by: https://github.com/OCamlPro/owi
Pure Demand Operational Semantics
An abstract interpreter
A static analyzer for Java, C, C++, and Objective-C.
ProveNFix is a program analysis/repair tool for temporal properties for C language.
Binary Analysis Framework for Datalog
Add a description, image, and links to the program-analysis topic page so that developers can more easily learn about it.
To associate your repository with the program-analysis topic, visit your repo's landing page and select "manage topics."