pirapira / dry-analyzer

Dr. Y's Ethereum Contract Analyzer
GNU Lesser General Public License v2.1
42 stars 10 forks source link

In case of runtime failure, show the last instruction. #48

Closed pirapira closed 7 years ago

pirapira commented 7 years ago
causes runtime error with state {
stack: [(0x2)](size 1)
memory:
(mem_write32 addr: (0x40) val: (0x60) in
(empty)
)

storage:
(storage_write at: (0x0), val: (0x23)
(initial storage)
)

log: XXX
remaining_program: XXX
}.