Add initial support to detect Vyper function selectors

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.

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

MIT License

46 stars 5 forks source link

Add initial support to detect Vyper function selectors #85

Closed acuarica closed 5 months ago

acuarica commented 5 months ago

Vyper uses ~XOR to compile function selectors[1]. This means that the fallthrough branch is the branch of the function. Thus

it extends Sig to signal the function branch is the negative branch
it extends Shanghai fork to include Vyper's function selector with ~XOR
it extends JUMPI to use either a positive or negative Sig branch

Moreover, it also add a Vyper example.

[1] https://github.com/vyperlang/vyper/issues/1603#issuecomment-529238275