Silver: Smart contract static analyzer and formal verifier
A static analyzer and formal verifier for Stratis smart contracts integrated with Visual Studio for analyzing both C# and CIL code and providing knowledge about potential bugs and vulnerabilities.
Log in or sign up for Devpost to join the conversation.