{"library":"slither-analyzer","title":"Slither","description":"Slither is a Solidity and Vyper static analysis framework written in Python 3. It provides a suite of vulnerability detectors, visualizes contract details via printers, and includes tools for upgradeability checks, mutation testing, and code flattening. Current version: 0.11.5 (requires Python >=3.10). Releases occur several times per year.","language":"python","status":"active","last_verified":"Mon Apr 27","install":{"commands":["pip install slither-analyzer"],"cli":{"name":"slither","version":"0.11.5"}},"imports":["from slither import Slither","from slither.detectors import all_detectors","from slither.__main__ import main"],"auth":{"required":false,"env_vars":[]},"quickstart":{"code":"from slither import Slither\n\n# Analyze a Solidity file\nslither = Slither('path/to/contract.sol')\nfor contract in slither.contracts:\n    print(f\"Contract: {contract.name}\")\n    for function in contract.functions:\n        print(f\"  Function: {function.name}\")\n\n# Run all detectors\nfrom slither.detectors import all_detectors\nresults = slither.run_detectors(all_detectors)\nfor detector_result in results:\n    print(detector_result)","lang":"python","description":"Basic usage: load a contract, iterate over its structure, and run all built-in detectors.","tag":null,"tag_description":null,"last_tested":null,"results":[]},"compatibility":null}