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

Integrate with the state of the Ethereum's blockchain #3

Open
loiluu opened this issue Sep 21, 2016 · 1 comment
Open

Integrate with the state of the Ethereum's blockchain #3

loiluu opened this issue Sep 21, 2016 · 1 comment
Labels
enhancement help wanted

Comments

@loiluu
Copy link
Contributor

loiluu commented Sep 21, 2016

One way to improve the performance of the symbolic execution is to consider the existing blockchain state in the execution environment. For example, if a contract calls a function
a = contractB.getSomeData()
we can fetch the blockchain state to see what the value that contractB.getSomeData() would return and assign the value to a, instead of using a new symbolic value for a.
@loiluu loiluu mentioned this issue Mar 17, 2017
Open
@loiluu
Copy link
Contributor Author

loiluu commented Mar 17, 2017

This issue was moved to enzymefinance/oyente#3

@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
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@loiluu