search

pirapira / dry-analyzer

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

if taken memory is known, do not continue #42

Open pirapira opened 7 years ago

pirapira commented 7 years ago 
(take (0x7ca) bytes at (0xc0) from
(codecopy mem: (0xc0), code: (0x23c), size: (0x7ca), on
(mem_write32 addr: (0x40) val: (0x88a) in ...

should be just

(take (0x7ca) bytes at (0xc0) from
(codecopy mem: (0xc0), code: (0x23c), size: (0x7ca), on (empty))