{"library":"mythril","type":"library","category":null,"description":"Mythril is a security analysis tool for Ethereum smart contracts. It detects common vulnerabilities using symbolic execution, taint analysis, and SMT solving. Current version 0.24.8 targets Solidity 0.8.x and is released with moderate cadence (every few months).","language":"python","status":"active","version":"0.24.8","tags":["ethereum","smart-contracts","security","static-analysis","symbolic-execution"],"install":[{"cmd":"pip install mythril","imports":["from mythril import Mythril","from mythril import MythrilDisassembler"]}],"homepage":"https://github.com/ConsenSys/mythril","github":"https://github.com/ConsenSys/mythril","docs":null,"changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null,"provenance":{"verified_status":"install_fail","verified_at":"Mon Jun 29","last_verified":"Mon Jun 29","next_check":"Thu Jul 09","install_tag":null}}