Storage Modeling Improvements

nevillegrech / gigahorse-toolchain

A binary lifter and analysis framework for Ethereum smart contracts

Other

290 stars 59 forks source link

Closed sifislag closed 3 months ago

sifislag commented 3 months ago

This PR includes various changes (mainly in the storage modeling):

Support for packed storage variables in complex data structures (used to be in only top-level variables)
Fixes in tight packed inference logic.
Fix for optimized .pop() pattern
Fix for most structs without string representations.
Add missing constant folding for unops (NOT, ISZERO).

github-actions[bot] commented 3 months ago

52 tests +2 52 :white_check_mark: +2 31m 44s :stopwatch: - 1m 26s 1 suites ±0 0 :zzz: ±0 1 files ±0 0 :x: ±0

Results for commit d5668d33. ± Comparison against base commit 4fb2ee54.

github-actions[bot] commented 3 months ago

52 tests +2 52 :white_check_mark: +2 41m 40s :stopwatch: + 11m 35s 1 suites ±0 0 :zzz: ±0 1 files ±0 0 :x: ±0

Results for commit d5668d33. ± Comparison against base commit 4fb2ee54.