Add explanation comment

6 years ago · 57377799a6
parent f4da38a2c1
commit 57377799a6
1 changed files with 1 additions and 0 deletions
--- a/mythril/laser/ethereum/svm.py
+++ b/mythril/laser/ethereum/svm.py
@ -141,6 +141,7 @@ class LaserEVM:
            assert len(new_states) <= 1
            for state in new_states:
                self._new_node_state(state, JumpType.CALL)
+                # Keep track of added contracts so the graph can be generated properly
                if state.environment.active_account.contract_name not in self.world_state.accounts.keys():
                    self.world_state.accounts[state.environment.active_account.contract_name] = state.environment.active_account
        elif opcode == "RETURN":