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.