PublicStatistics Solidity Static Analysis Tool Benchmark of solidity static analysis tool is released under directory solidity_static_analysis_tool.