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.

Slither – a Solidity static analysis framework

An comprehensive overview of smart contract audit tools

SmartGraph: Static Analysis Tool for Solidity Smart Contracts

solidity · GitHub Topics · GitHub

solidity · GitHub Topics · GitHub

TOP 30 Solidity Open Source Projects in 2023

Slither: Smart Contract security tools

Ethereum Smart Contract Security: Fortifying Decentralized Code

MPro: Combining Static and Symbolic Analysis for Scalable Testing

vyper · GitHub Topics · GitHub

vyper · GitHub Topics · GitHub

Printer documentation · crytic/slither Wiki · GitHub

Mathematics, Free Full-Text