Add heuristic to inline orphan returndatasize and returndatacopy statements

nevillegrech / gigahorse-toolchain

A binary lifter and analysis framework for Ethereum smart contracts

Other

295 stars 61 forks source link

Closed sifislag closed 1 year ago

sifislag commented 1 year ago

Minor improvement to the memory modeling. Doesn't seem to affect scalability.