search

nevillegrech / gigahorse-toolchain

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

Fix incompleteness caused by dead code elimination opt #112

Closed sifislag closed 11 months ago

sifislag commented 11 months ago

Disabled an optimization in a transformation eliminating some dead code (JUMPIs with constant condVar, transfromed into JUMPs ). This resulted in incomplete decompilation of non deployed code (uninitiallized immutable vars).

github-actions[bot] commented 11 months ago

Test Results (Souffle 2.4)

45 tests  +1   45 :heavy_check_mark: +1   22m 44s :stopwatch: +38s   1 suites ±0     0 :zzz: ±0    1 files   ±0     0 :x: ±0 

Results for commit 6ae7834c. ± Comparison against base commit 73c1ec97.

github-actions[bot] commented 11 months ago

Test Results (Souffle 2.3)

45 tests  +1   45 :heavy_check_mark: +1   28m 22s :stopwatch: +42s   1 suites ±0     0 :zzz: ±0    1 files   ±0     0 :x: ±0 

Results for commit 6ae7834c. ± Comparison against base commit 73c1ec97.