bug/constructor-arguments
Nathan 5 years ago
parent a265b06627
commit 3979cc27f2
  1. 2
      mythril/laser/ethereum/instructions.py

@ -1051,7 +1051,7 @@ class Instruction:
if ( if (
isinstance(global_state.current_transaction, ContractCreationTransaction) isinstance(global_state.current_transaction, ContractCreationTransaction)
and code_offset >= len(global_state.environment.code.bytecode) // 2 and code_offset >= len(global_state.environment.code.bytecode) // 2
):ce ):
# Treat creation code after the expected disassembly as calldata. # Treat creation code after the expected disassembly as calldata.
# This is a slightly hacky way to ensure that symbolic constructor # This is a slightly hacky way to ensure that symbolic constructor
# arguments work correctly. # arguments work correctly.

Loading…
Cancel
Save