search

nevillegrech / gigahorse-toolchain

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

Import some compiler metadata for debugging/benchmarking purposes #111

Closed sifislag closed 11 months ago

sifislag commented 11 months ago

Added basic support for *_metadata.json files (metadata-dataset1 in evm-bytecode-datasets). Currently these include function debug data (solc >= 0.8.5) and immutable references (solc >= 0.6.5).

github-actions[bot] commented 11 months ago

Test Results (Souffle 2.4)

44 tests  +1   44 :heavy_check_mark: +1   22m 5s :stopwatch: - 10m 52s   1 suites ±0     0 :zzz: ±0    1 files   ±0     0 :x: ±0 

Results for commit 0c46267e. ± Comparison against base commit f2ae4456.

github-actions[bot] commented 11 months ago

Test Results (Souffle 2.3)

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

Results for commit 0c46267e. ± Comparison against base commit f2ae4456.