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

Merge pull request #390 from ConsenSys/bugfix/fix_fallback

Browse Source 
Bugfix/fix fallback
pull/392/merge
JoranHonig 6 years ago committed by GitHub
parent edecca0c65 3756cdbf3d
commit b991f93497
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 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. 2
      mythril/laser/ethereum/transaction.py

2
mythril/laser/ethereum/transaction.py
Unescape View File

@ -42,7 +42,6 @@ class MessageCall:
self.origin, self.origin,
calldata_type=CalldataType.SYMBOLIC, calldata_type=CalldataType.SYMBOLIC,
) )
new_node = Node(environment.active_account.contract_name) new_node = Node(environment.active_account.contract_name)
evm.instructions_covered = [False for _ in environment.code.instruction_list] evm.instructions_covered = [False for _ in environment.code.instruction_list]
@ -51,6 +50,7 @@ class MessageCall:
evm.edges.append(Edge(open_world_state.node.uid, new_node.uid, edge_type=JumpType.Transaction, condition=None)) evm.edges.append(Edge(open_world_state.node.uid, new_node.uid, edge_type=JumpType.Transaction, condition=None))
global_state = GlobalState(open_world_state.accounts, environment, new_node) global_state = GlobalState(open_world_state.accounts, environment, new_node)
global_state.environment.active_function_name = 'fallback()'
new_node.states.append(global_state) new_node.states.append(global_state)
evm.work_list.append(global_state) evm.work_list.append(global_state)

Write Preview
Loading…
Cancel
Save