search

nevillegrech / gigahorse-toolchain

A binary lifter and analysis framework for Ethereum smart contracts
Other
299 stars 63 forks source link

Minor refactor in data flow components #65

Closed sifislag closed 1 year ago

sifislag commented 1 year ago

Added 2 overridable relations for uses and defs. Includes minor fixes.