acuarica / evm

A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmatically extracting information from EVM bytecode.

Home Page:https://acuarica.github.io/evm/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Extract precise definition for `statemutability`

acuarica opened this issue · comments

Detect the statemutability for a given public function.

from most restricted to least restricted: pure, view, nonpayable, payable. A function can only be one of these.

The definition can be found here ethereum/solidity#992 (comment).

Thanks @shazow for mentioning this issue.