|
|
@ -11,6 +11,7 @@ from mythril.support.support_utils import get_code_hash |
|
|
|
|
|
|
|
|
|
|
|
from mythril.laser.smt import symbol_factory |
|
|
|
from mythril.laser.smt import symbol_factory |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
def test_extcodehash_concrete(): |
|
|
|
def test_extcodehash_concrete(): |
|
|
|
# Arrange |
|
|
|
# Arrange |
|
|
|
world_state = WorldState() |
|
|
|
world_state = WorldState() |
|
|
@ -35,7 +36,10 @@ def test_extcodehash_concrete(): |
|
|
|
# If account code does not exist, return hash of empty set. |
|
|
|
# If account code does not exist, return hash of empty set. |
|
|
|
og_state.mstate.stack = [symbol_factory.BitVecVal(1000, 256)] |
|
|
|
og_state.mstate.stack = [symbol_factory.BitVecVal(1000, 256)] |
|
|
|
new_state = instruction.evaluate(og_state)[0] |
|
|
|
new_state = instruction.evaluate(og_state)[0] |
|
|
|
assert new_state.mstate.stack[-1] == '0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470' |
|
|
|
assert ( |
|
|
|
|
|
|
|
new_state.mstate.stack[-1] |
|
|
|
|
|
|
|
== "0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470" |
|
|
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
# If account code exists, return hash of the code. |
|
|
|
# If account code exists, return hash of the code. |
|
|
|
og_state.mstate.stack = [symbol_factory.BitVecVal(101, 256)] |
|
|
|
og_state.mstate.stack = [symbol_factory.BitVecVal(101, 256)] |
|
|
|