## static analysis tools

<br>

### [mythril](https://github.com/ConsenSys/mythril)

* EVM bytecode assessment tool for detecting contract vulnerabilities using taint analysis, concolic analysis, and control flow checking

<br>

---

### [slither](https://github.com/crytic/slither)

* python-based Solidity static analysis framework for finding vulnerabilities, enhancing code comprehension, and writing custom analyses for smart contracts

<br>

---

### [rattle](https://github.com/crytic/rattle)

* EVM bytecode static analysis framework designed to work on deployed smart contracts

<br>

---

### [solhunt](https://github.com/iFrostizz/solhunt#readme)

* solidity analyzer in rust

<br>

---

### [codeql](https://codeql.github.com/)

* powerful static analysis framework allowing query codebases for specific code patterns
* **[trail of bits docs](https://appsec.guide/docs/static-analysis/codeql/)**