Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited
-
Updated
Oct 31, 2020 - OCaml
Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited
An abstract interpreter
a safety verifier for Solidity smart contracts
Static analysis of IEC 61131-3 programs
A static analyzer for Java, C, C++, and Objective-C.
Pure Demand Operational Semantics
ProveNFix is a program analysis/repair tool for temporal properties for C language.
Binary Analysis Platform
Static analysis framework for C
Performant type-checking for python.
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."