pirapira/dry-analyzer

if taken memory is known, do not continue

pirapira opened this issue · 0 comments

(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))