search

nevillegrech / gigahorse-toolchain

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

Fix arity of `CALLCODE` relation. #78

Closed sifislag closed 1 year ago

sifislag commented 1 year ago

Fixes #77.