search

nevillegrech / gigahorse-toolchain

A binary lifter and analysis framework for Ethereum smart contracts
Other
295 stars 61 forks source link

Fix completeness of the `FunctionReachableFromPublic` relation #64

Closed sifislag closed 1 year ago

sifislag commented 1 year ago

Fixes completeness of the FunctionReachableFromPublic relation, reported by @ibollanos.