{"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"],"last_verified":"Sun Jun 07","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}