static analysis tools mythril EVM bytecode assessment tool for detecting contract vulnerabilities using taint analysis, concolic analysis, and control flow checking. slither Python-based Solidity static analysis framework for finding vulnerabilities, enhancing code comprehension, and writing custom analyses for smart contracts. rattle EVM bytecode static analysis framework designed to work on deployed smart contracts. solhunt solidity analyzer in rust resources codeQL, powerful static analysis framework