Refactor gigahorse to allow for different fact generators

nevillegrech / gigahorse-toolchain

A binary lifter and analysis framework for Ethereum smart contracts

Other

290 stars 59 forks source link

Closed sifislag closed 1 year ago

sifislag commented 1 year ago

Gigahorse can now be extended to work with different fact generators (defined by extending the AbstractFactGenerator class).
Moved a lot of code to src/runners.py, created the AnalysisExecutor class.
Added type annotations and fixed the existing tests.
Added mypy job in tests action.

github-actions[bot] commented 1 year ago

42 tests ±0 42 :heavy_check_mark: ±0 19m 58s :stopwatch: + 1m 55s   1 suites ±0   0 :zzz: ±0   1 files ±0   0 :x: ±0

Results for commit 288ca8e7. ± Comparison against base commit 84b26f7c.

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

github-actions[bot] commented 1 year ago

42 tests ±0 42 :heavy_check_mark: ±0 20m 6s :stopwatch: - 3m 15s   1 suites ±0   0 :zzz: ±0   1 files ±0   0 :x: ±0

Results for commit 288ca8e7. ± Comparison against base commit 84b26f7c.

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