[addtool] mythril

[gwen001]

[tags]blockchain,web3,ethereum[/tags]
[short_descr]Security analysis tool for EVM bytecode that supports smart contracts builds.[/short_descr]
[link] https://mythx.io/ [/link]
[link] https://github.com/Consensys/mythril [/link]
[long_descr]
Mythril is a security analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains. It uses symbolic execution, SMT solving and taint analysis to detect a variety of security vulnerabilities.
[/long_descr]
[image] https://raw.githubusercontent.com/gwen001/offsectools_www/main/tmp/ade29a68d1f1c4e95b6050a84a131d93.png [/image]

[gwen001]

Issue correctly handled, tool is waiting for human validation.

[gwen001]

Tool has been accepted by the team: https://offsec.tools/tool/mythril

Thank you for your contribution!