search

nevillegrech / gigahorse-toolchain

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

created CustomFactGenerator #109

Closed GiokaMarkella closed 10 months ago

GiokaMarkella commented 1 year ago

Created class CustomFactGenerator that takes scripts for custom fact generation. Can be used with the argument "--custom_fact_generator", which takes a (space separated) list of scripts that will be used to produce the facts. The argument "--custom_file_pattern" was also added. This argument is used to select the source files on which the fact generation will take place. The default, for example, which is "..hex" will select bytecode files. Similarly, "..yul" can be used to select .yul source files from the work directory (used with an appropriate fact generator that accepts .yul files).

github-actions[bot] commented 1 year ago

Test Results (Souffle 2.3)

46 tests  +1   46 :heavy_check_mark: +1   28m 48s :stopwatch: + 6m 54s   1 suites ±0     0 :zzz: ±0    1 files   ±0     0 :x: ±0 

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

:recycle: This comment has been updated with latest results.

github-actions[bot] commented 1 year ago

Test Results (Souffle 2.4)

46 tests  +1   46 :heavy_check_mark: +1   24m 17s :stopwatch: - 3m 2s   1 suites ±0     0 :zzz: ±0    1 files   ±0     0 :x: ±0 

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

:recycle: This comment has been updated with latest results.