search

nevillegrech / gigahorse-toolchain

A binary lifter and analysis framework for Ethereum smart contracts
Other
290 stars 59 forks source link

Slightly stricter `BlockPushesLabel` #102

Closed sifislag closed 1 year ago

sifislag commented 1 year ago

Minor change to BlockPushesLabel. Make sure label escapes the block. Minor improvement for the global analysis.