mythril

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

blockchain ethereum smart-contracts solidity security program-analysis security-analysis symbolic-execution

1.4 KiB

Raw Blame History

name	about
Bug report	Tell us about Mythril bugs to help us improve

Note: did you notice that there is now a template for requesting new features?

Please remove any of the optional sections if they are not applicable.

Description

Replace this text with a clear and concise description of the bug.

How to Reproduce

Please show both the input you gave and the output you got in describing how to reproduce the bug:

Go to '...'
Click on '....'
Scroll down to '....'
See error

or give a complete console log with input and output

$ myth <command-line-options>
==== Exception state ====
Type: ...
Contract: ...
Function name: ...
...
$

If there is a Solidity source code, a truffle project, or bytecode that is involved, please provide that or links to it.

Expected behavior

A clear and concise description of what you expected to happen.

Screenshots

This section is optional.

If applicable, add screenshots to help explain your problem.

Environment

This section sometimes is optional but helpful to us.

Please modify for your setup

Mythril version: output from myth --version or pip show mythril
Solidity compiler and version: solc --version
Python version: python -V
OS: [e.g. iOS]
OS Version [e.g. 22]

Additional Environment or Context