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

enzymefinance / oyente

An Analysis Tool for Smart Contracts

GNU General Public License v3.0

1.32k stars 311 forks source link

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

Open csxqli opened 7 years ago

csxqli commented 7 years ago

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

loiluu commented 7 years ago

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.

vietlq commented 6 years ago

Any updates or clarification on this? @loiluu @inian