miasm icon indicating copy to clipboard operation
miasm copied to clipboard

DSEPathConstraint strategies don't take SMC into account

Open nofiv opened this issue 5 years ago • 0 comments

The issue is similar to #1278. The strategies don't seem to take into account data of the block and they process only the address. Analogously for example a hash of block data could be calculated and taken into account with the address to prevent this issue.

nofiv avatar Aug 31 '20 03:08 nofiv