Yahoo India Web Search

Search results

  1. 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...

  2. Conquer the Slither.io universe unblocked, ad-free, and in full-screen mode. Grow your snake without interruptions. Join the action now!

  3. People also ask

  4. 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.

  5. 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.

  6. 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 ...

  7. 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.

  8. 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.