TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
1612 Commits
97 Branches
171 Tags
59 MiB
 
 
 
 
 
 
Tag: Branch: Tree: 2c405144cc
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '2c405144cc'
${ noResults }
mythril/.github/ISSUE_TEMPLATE/analysis-module.md

863 B
Raw Blame History

name about
Analysis module Create an analysis module feature request

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

Description

Replace this text with a description of an vulnerability that should be detected by a Mythril analysis module.

Tests

This section is optional.

Replace this text with suggestions on how to test the feature, if it is not obvious. This might require certain Solidity source, bytecode, or a Truffle project. You can also provide links to existing code.

Implementation details

This section is optional.

If you have thoughts about how to implement the analysis, feel free replace this text with that.

Links

This section is optional.

Replace this text with any links describing the issue or pointing to resources that can help in implementing the analysis

Thanks for helping!