Fix semantics of self-destruct

franck44 / evm-dis

An EVM bytecode disassembler/assembler

Apache License 2.0

30 stars 6 forks source link

Open franck44 opened 10 months ago

franck44 commented 10 months ago

Apparently self destruct halts execution (similar to return).

At the moment it is not considered a terminal instruction and the execution continues past self destruct in the abstract semantics.

Fix the semantics of self-destruct (if it is worth it) by adding a new Lin Seg type.

franck44 commented 10 months ago

The Lottery EVM bytecode in the rattle folder has a self-destruct,