oyente icon indicating copy to clipboard operation
oyente copied to clipboard

No operation of opcodes: "EXTCODECOPY" "CREATE" "DELEGATECALL"

Open csxqli opened this issue 7 years ago • 2 comments

There are no operations of opcodes: "EXTCODECOPY" "CREATE" "DELEGATECALL".

csxqli avatar Jun 28 '17 08:06 csxqli

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.

loiluu avatar Jun 28 '17 15:06 loiluu

Any updates or clarification on this? @loiluu @inian

vietlq avatar Apr 26 '18 13:04 vietlq