GitHub - crytic/slither: Static Analyzer for Solidity and Vyper

Static Analyzer for Solidity and Vyper. Contribute to crytic/slither development by creating an account on GitHub.

PDF) AutoMESC: Automatic Framework for Mining and Classifying

Slither: a static analysis tool for Vyper and Solidity

A Comprehensive List Of Ethereum Tools, and Frameworks

Slither: Smart Contract security tools

solidity · GitHub Topics · GitHub

Enhancing Ethereum smart-contracts static analysis by computing a

Slither – a Solidity static analysis framework

First steps in protecting smart contracts

A Solicitous Approach to Smart Contract Verification