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.

An comprehensive overview of smart contract audit tools

Altier Capital ✨ (@AltierCapital) / X

TOP 30 Solidity Open Source Projects in 2023

SlithIR · crytic/slither Wiki · GitHub

Applied Sciences, Free Full-Text

An comprehensive overview of smart contract audit tools

Breaking the Solidity Compiler with a Fuzzer

TaintGuard: Preventing implicit privilege leakage in smart

ethereum · GitHub Topics · GitHub

SmartGraph: Static Analysis Tool for Solidity Smart Contracts

Enhancing Ethereum smart-contracts static analysis by computing a