search

nevillegrech / gigahorse-toolchain

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

Minor change in the `Vulnerability` relation. #62

Closed sifislag closed 1 year ago

sifislag commented 1 year ago

Vulnerability now accepts TAC statements, VulnerabilityProcessed which writes vulnerability.csv reports original bytecode statements.