miasm
miasm copied to clipboard
DSEPathConstraint strategies don't take SMC into account
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.