Demo video 2 Using the command-line disassembler and browsing a contract CFG in Visual Studio:
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.