Mythril

Latest version: v0.24.8

Safety actively analyzes 629765 Python packages for vulnerabilities to keep your Python projects secure.

Scan your dependencies

Page 11 of 23

Not secure

- Catch the z3 push Exception.

Not secure

- Fix the issue when using python 3.9

Not secure

- Display source location of yul internal files in issues
- Fix Z3 push canceled error
- Fix version dependency issues

Not secure

- Temporary fix for 1442 till this is dealt https://github.com/ethereum/solidity/issues/10300

Not secure

- Upgrade docker container to ubuntu 20.04

- Fix plugin variable names

Has known vulnerabilities

Previous Next