TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'develop' into hzzhang/fix-bvmul-overflow-check

Browse Source
pull/648/head
JoranHonig 6 years ago committed by GitHub
parent a982a7d7fd 412e5bb3f9
commit a0f9af540a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 4
      mythril/analysis/modules/dependence_on_predictable_vars.py

4
mythril/analysis/modules/dependence_on_predictable_vars.py
Unescape View File

@ -66,7 +66,7 @@ def execute(statespace):
function_name=call.node.function_name, function_name=call.node.function_name,
address=address, address=address,
swc_id=swc_type, swc_id=swc_type,
bytecode=state.environment.code.bytecode, bytecode=call.state.environment.code.bytecode,
title="Dependence on predictable environment variable", title="Dependence on predictable environment variable",
_type="Warning", _type="Warning",
description=description, description=description,
@ -144,7 +144,7 @@ def execute(statespace):
contract=call.node.contract_name, contract=call.node.contract_name,
function_name=call.node.function_name, function_name=call.node.function_name,
address=address, address=address,
bytecode=state.environment.code.bytecode, bytecode=call.state.environment.code.bytecode,
title="Dependence on predictable variable", title="Dependence on predictable variable",
_type="Informational", _type="Informational",
description=description, description=description,

Write Preview
Loading…
Cancel
Save