search

nevillegrech / gigahorse-toolchain

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

More accurate block reachability analytics #113

Closed sifislag closed 10 months ago

sifislag commented 10 months ago

Analytics_ReachableBlocks* relations now report original blocks with increased completeness.

github-actions[bot] commented 10 months ago

Test Results (Souffle 2.3)

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

Results for commit c4dd9caf. ± Comparison against base commit e3a60036.

github-actions[bot] commented 10 months ago

Test Results (Souffle 2.4)

45 tests  ±0   45 :heavy_check_mark: ±0   25m 0s :stopwatch: - 2m 19s   1 suites ±0     0 :zzz: ±0    1 files   ±0     0 :x: ±0 

Results for commit c4dd9caf. ± Comparison against base commit e3a60036.