Raven: Mining Defensive Patterns in Ethereum via Semantic Transaction Revert Invariants Categories

Mojtaba Eshghie, Melissa Mazura, Alexandre Bartel

We frame Ethereum transactions reverted by invariants-require(<invariant>)/ assert(<invariant>)/if (<invariant>) revert statements in the contract implementation-as a positive sign…