Skip to content
This repository has been archived by the owner on Feb 8, 2018. It is now read-only.

Handle all opcodes #1

Open
loiluu opened this issue Sep 21, 2016 · 3 comments
Open

Handle all opcodes #1

loiluu opened this issue Sep 21, 2016 · 3 comments
Labels
enhancement help wanted
Projects
Oyente progress

Comments

@loiluu
Copy link
Contributor

loiluu commented Sep 21, 2016

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
Copy link
Collaborator

inian commented Mar 12, 2017 •
edited
Loading

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
Copy link
Contributor Author

loiluu commented Mar 13, 2017

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

@loiluu loiluu added this to In Progress in Oyente progress Mar 17, 2017
@loiluu loiluu mentioned this issue Mar 17, 2017
Closed
@loiluu
Copy link
Contributor Author

loiluu commented Mar 17, 2017

This issue was moved to enzymefinance/oyente#1

@loiluu loiluu closed this as completed Mar 17, 2017
@loiluu loiluu reopened this Mar 17, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
enhancement help wanted
Projects
Oyente progress
In Progress
Milestone
No milestone
Development

No branches or pull requests
2 participants
@inian @loiluu