GitHub / jungs1 / solidity-static-code-analyzer
exploring the basics of static code analysis for fun
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jungs1%2Fsolidity-static-code-analyzer
Stars: 0
Forks: 0
Open issues: 0
License: None
Language: Python
Size: 1.48 MB
Dependencies parsed at: Pending
Created at: over 1 year ago
Updated at: about 1 year ago
Pushed at: about 1 year ago
Last synced at: about 1 year ago
Topics: formal-methods, formal-verification, program-analysis, solidity, static-analysis, static-code-analysis
Loading...