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.

90+ Awesome Solidity Resources

A systematic literature review of undiscovered vulnerabilities and

SmartGraph: Static Analysis Tool for Solidity Smart Contracts

TaintGuard: Preventing implicit privilege leakage in smart

Applied Sciences, Free Full-Text

Static Analysis of Smart Contracts with Slither & GitHub Actions

A Solicitous Approach to Smart Contract Verification

Slither – a Solidity static analysis framework

Tools for Security Audit and Vulnerability Analysis of Smart Contracts

TOP 30 Solidity Open Source Projects in 2023

Analysis of Ethereum Smart Contracts - A Security Perspective

Smart Contract Security Resources — Secureum #2

Nat (@0xicingdeath) / X