issues
search
nevillegrech
/
gigahorse-toolchain
A binary lifter and analysis framework for Ethereum smart contracts
Other
295
stars
61
forks
source link
Refactor in storage modeling
#72
Closed
sifislag
closed
1 year ago
sifislag
commented
1 year ago
Major items:
Improvements on storage variables sharing the same storage slot. Support for optimized patterns.
Split storage model into different files.
Support
--via-ir
patterns in memory modeling:
Basic sharing of offsets in different paths.
Start work on memory mover patterns. Support constants used by the memory mover, defined in the function selector.
Support
--via-ir
patterns in storage modeling:
optimized top-level array patterns.
fixed ambiguity between
cons
,
cons+0
for structs.
Improve cast support, add initial support for fixed width byte arrays.
Major items:
--via-ir
patterns in memory modeling:--via-ir
patterns in storage modeling:cons
,cons+0
for structs.