adelaide
The SECBIT Static Analysis Extension to Solidity Compiler
19 stars
9 watching
5 forks
Language: C++
last commit: over 5 years ago
Linked from 3 awesome lists
compilersoliditystatic-analysis
The SECBIT Static Analysis Extension to Solidity Compiler