msuiche / porosity

*UNMAINTAINED* Decompiler and Security Analysis tool for Blockchain-based Ethereum Smart-Contracts

Home Page:https://www.comae.io

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

The REVERT opcode is execution ending.

ytrezq opened this issue · comments

When generating graphviz output, if a block ends with REVERT, porosity will link matching next block in the graph as if REVERT doesn’t stop contract execution (as if execution continues after a revert opcode).