oyente
oyente copied to clipboard
No operation of opcodes: "EXTCODECOPY" "CREATE" "DELEGATECALL"
There are no operations of opcodes: "EXTCODECOPY" "CREATE" "DELEGATECALL".
These opcodes we can't symbolically represent them. We do support them in a different manner though. Especially we allow users to set a specific testing environment to test these opcodes. @inian can explain this better.
Any updates or clarification on this? @loiluu @inian