search

nevillegrech / gigahorse-toolchain

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

added TrueLoopExitCond #74

Closed GiokaMarkella closed 1 year ago

GiokaMarkella commented 1 year ago

Added the predicate TrueLoopExitCond to differentiate loop conditions that exit the loop when true and ones that exit when false.

GiokaMarkella commented 1 year ago

I may be reading it wrong but, aren't jmpi_block and jmpiBlock the same? If so the rule can be simplified.

You're right!