slither in analysis-tools-dev/static-analysis

Static Analyzer for Solidity and Vyper

created at Sept. 5, 2018, 9:56 p.m.

68 +0

5,355 +15

973 +3

tealer in awesome-algorand/awesome-algorand

Static Analyzer for Teal

created at Nov. 24, 2020, 5:11 p.m.

7 +0

62 +0

14 +0