A source code static analyzer to find bugs in computer programs and smart contracts.
Primary LanguageOCamlOtherNOASSERTION
No one’s star this repository yet.