Handle all opcodes - Githubissues

ethereum / oyente

The project has been moved to this new repo https://github.com/melonproject/oyente

MIT License

64 stars 196 forks source link

Handle all opcodes #1

Open loiluu opened 8 years ago

loiluu commented 8 years ago

At the moment, Oyente does not support a large fraction of existing EVM opcodes, but not all of them. Please check the main file symExec.py to see which opcodes are supported at the moment.

inian commented 7 years ago

Opcodes left to be handled

[ ] SDIV
[ ] BYTE
[ ] EXTCODESIZE
[ ] EXTCODECOPY
[ ] PC
[ ] CREATE
[ ] DELEGATECALL
[ ] INVALID

Opcodes which aren't 100% spec compliant

[ ] SMOD
[ ] SLT
[ ] SGT
[ ] CALLDATACOPY
[ ] CODECOPY

loiluu commented 7 years ago

We also need to track the gas usage in the symbolic execution.

loiluu commented 7 years ago

This issue was moved to melonproject/oyente#1