Support `STATICCALL` and `DELEGATECALL`

crytic / optik

Optik is a set of symbolic execution tools that assist smart-contract fuzzers

https://github.com/crytic/optik

Other

89 stars 12 forks source link

Support `STATICCALL` and `DELEGATECALL` #86

Closed Boyan-MILANOV closed 2 years ago

Boyan-MILANOV commented 2 years ago

We should add proper support for STATICCALL and DELEGATECALL operations

ggrieco-tob commented 2 years ago

Is it CALL already supported? For using optik in audits, the highest priority will be doing calls to the same deployed contract to perform try/catch operations and detect unexpected reverts.

Boyan-MILANOV commented 2 years ago

All calls are already supported, except for DELEGATECALL which is a little bit more annoying to handle because contracts must share the same storage