Closed sifislag closed 8 months ago
46 tests ±0 46 :heavy_check_mark: ±0 23m 31s :stopwatch: + 5m 32s 1 suites ±0 0 :zzz: ±0 1 files ±0 0 :x: ±0
Results for commit fd452498. ± Comparison against base commit 02c8f5b6.
46 tests ±0 46 :heavy_check_mark: ±0 24m 7s :stopwatch: + 6m 7s 1 suites ±0 0 :zzz: ±0 1 files ±0 0 :x: ±0
Results for commit fd452498. ± Comparison against base commit 02c8f5b6.
The main change of this PR is the introduction of an
incompleteGlobal
analysis round, before the instantiation of the typical mainglobal
analysis. This allows us to verify which of the variables that are pushed to the stack and have the values of validJUMPDESTs
are actually used as jump targets, overriding theBlockPushesLabel()
facts used byPrivateFunctionCall()
which is essential our context sensitivity algorithms. The result of this is a reduction of the number of contexts of ourglobal
CFG analysis, lightening the load of the function inference logic as well.Other changes:
PublicFunction
,PublicFunctionJump
relations consistent in bothpreTrans
andpostTrans
local analysis instantiations.PublicFunction
context element on public function "call-site" instead of starting block, giving us a minor precision improvement.HeuristicBlockCloner
's global analysis to filterPublicFunction
instances found bypreTrans
, by ensuring the function selector is used in the comparisons. Allows us to support selectors of 1 and 2 bytes without imprecision. Closes #91.receive()
support, use special selector value of0xeeeeeeee
Will run some final benchmarks and post the results before merging.
RESULTS
All runs have a timeout of 200s and are performed using
--disable_scalable_fallback
Transactional-Shrinking
viaIR contracts see the biggest benefit with a reduction in timeouts and no increase in execution time. In the other two datasets we notice an increase in the average execution time but no new timeouts.
results over 3k ir contracts (
via-ir-dec23
):2k solc0.8 contracts over 10kb (
solc08-over10k
):2k contracts with metadata (
metadata-dataset1
):Plain Transactional
Again, a minor reduction in the number of contexts and increase in the average execution time. Doesn't really give great benefit anywhere.
via-ir-dec23
:metadata-dataset1
: