Mythril

Latest version: v0.24.8

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

Scan your dependencies

Page 9 of 23

Not secure

- Fix issues with integer arithemetic
- Fix issues with assertion failures

Not secure

- Fix issues with opcodes
- Support native calls for delegate call
- Fix z3 constraint issue
- Fix source mapping for yul files

Not secure

- Use the corresponding source file mappings over internal file solc mappings
- Add feature to support locating safe functions

Not secure

- Support BASEFEE opcode
- support Panic(uint256) calls on assert

Not secure

- Fix bug related to potentialIssues 1507

Not secure

- Fix issue with json standard format
- Fix issue with optimiser

Has known vulnerabilities

Previous Next