Contract source code

solc

Solc version: {{solc_out.version}}

                            {{solc_err}}
                        

{% for issue in solium_out %}

• {{issue.filename}}

  Line-Column: {{issue.line}}-{{issue.column}}

  Type: {{issue.type_}}

  Message: {{issue.message}}

{% endfor %}

No issues found

                            {{solium_err}}
                        

Issues found

No issues encountered

                                        {{myth_out.error}}
                                    

                                {{myth_err}}
                            

{% for filename, file in oyente_out %}

{{filename}}

{% for contract_name, contract in file %}

{{contract_name}}

EVM Coverage: {{contract.evm_code_coverage}}% {% if contract.evm_code_coverage | float < 80 %}(this is a low coverage value, consider running oyente locally with a higher depth setting){% endif %}

Integer Underflow: {{contract.vulnerabilities.integer_underflow | length > 0}}

Integer Overflow: {{contract.vulnerabilities.integer_underflow | length > 0}}

Callstack Depth Attack Vulnerability: {{contract.vulnerabilities.callstack | length > 0}}

Transaction-Ordering Dependence (TOD): {{contract.vulnerabilities.money_concurrency | length > 0}}

Timestamp Dependency: {{contract.vulnerabilities.time_dependency | length > 0}}

Re-Entrancy Vulnerability: {{contract.vulnerabilities.reentrancy | length > 0}}

Assertion failure: {{contract.vulnerabilities.assertion_failure | length > 0}}

Parity MultiSig Bug 2: {{contract.vulnerabilities.parity_multisig_bug_2 | length > 0}}

{% endfor %} {% endfor %}

                                {{oyente_err}}
                            

solc

{% if solc_out is defined %}

OK

{% else %}

Failed

{% endif%}

solium

{% if solium_out is defined %} {% if solium_out | length == 0 %}

OK

{% else %}

Some issues found

{% endif %} {% else %}

Failed

{% endif%}

mythril

{% if myth_out is defined and myth_out.success %} {% if myth_out.issues | length == 0 %}

OK

{% else %}

Some issues found

{% endif %} {% else %}

Failed

{% endif%}

oyente

{% if oyente_out is defined %} {% if oyente_issues is defined and oyente_issues %}

Some issues found

{% else %}

OK

{% endif %} {% else %}

Failed

{% endif%}