search

nevillegrech / gigahorse-toolchain

A binary lifter and analysis framework for Ethereum smart contracts
Other
290 stars 59 forks source link

fixing negation in VulnerabilityProcessed #116

Closed snf closed 9 months ago

snf commented 9 months ago

I'm not sure if this was intended but from the context I suppose it wasn't?

snf commented 9 months ago

Turns out that this is working as expected after a chat with Sifis. Closing.