Search results
Slither is a Python framework that detects vulnerabilities and provides information about smart contracts written in Solidity and Vyper. It integrates with GitHub, Hardhat, Foundry, Dapp and Brownie, and supports custom analyses and printers.
- Issues 366
Static Analyzer for Solidity and Vyper. Contribute to...
- Discussions
Explore the GitHub Discussions forum for crytic slither....
- Projects
GitHub is where people build software. More than 100 million...
- Security
GitHub is where people build software. More than 100 million...
- Detector Documentation
Contract storage/state-variables are indexed by a 256-bit...
- Releases
With the release of crytic-compile 0.3.5, support for...
- Issues 366
Conquer the Slither.io universe unblocked, ad-free, and in full-screen mode. Grow your snake without interruptions. Join the action now!
People also ask
How does Slither work?
What is Slither & Vyper?
What is solidity Slither?
How do I use Slither?
Slither is a tool for static analysis of Solidity smart contracts. It detects bugs, security vulnerabilities, and best practices. See the latest releases, features, bug fixes, and contributors on GitHub.
SlithIR. Slither translates Solidity an intermediate representation, SlithIR, to enable high-precision analysis via a simple API. It supports taint and value tracking to enable detection of complex patterns. SlithIR is a work in progress, although it is usable today.
Args: target (str | CryticCompile) Keyword Args: solc (str): solc binary location (default 'solc') disable_solc_warnings (bool): True to disable solc warnings (default false) solc_args (str): solc arguments (default '') ast_format (str): ast format (default '--ast-compact-json') filter_paths (list(str)): list of path to filter (default []) triage_mode (bool): if true, switch to triage mode (default false) exclude_dependencies (bool): if true, exclude results that are only related to ...
Slither is a Python3 tool that detects vulnerabilities and enhances code comprehension for smart contracts. It supports Solidity >= 0.4, Vyper, and integrates with Github's code scanning in CI.
Slither offers two ways to remove results: By adding //slither-disable-next-line DETECTOR_NAME before the issue. By adding // slither-disable-start [detector] ... // slither-disable-end [detector] around the code to disable the detector on a large section.