mirror of https://github.com/ConsenSys/mythril
blockchainethereumsmart-contractssoliditysecurityprogram-analysissecurity-analysissymbolic-execution
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.
36 lines
807 B
36 lines
807 B
---
|
|
name: Analysis module
|
|
about: Create an analysis module feature request
|
|
|
|
---
|
|
|
|
<!-- Please remove any of the optional sections if they are not applicable. -->
|
|
|
|
## Description
|
|
|
|
<!-- Add a description of an vulnerability that should be
|
|
detected by a Mythril analysis module. -->
|
|
|
|
## Tests
|
|
|
|
<!-- This section is optional.
|
|
|
|
Suggest 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, add
|
|
this here. -->
|
|
|
|
## Links
|
|
|
|
<!-- This section is optional.
|
|
|
|
Add links describing the issue or pointing to resources that can help
|
|
in implementing the analysis.
|
|
|
|
Thanks for helping! -->
|
|
|