Skip to content
This repository has been archived by the owner on May 26, 2023. It is now read-only.

Question about the sym_exec_ins function in the file 'SymExec.py' #403

Open
fCorleone opened this issue Jul 30, 2020 · 0 comments
Open

Question about the sym_exec_ins function in the file 'SymExec.py' #403

fCorleone opened this issue Jul 30, 2020 · 0 comments

Comments

@fCorleone
Copy link

I'm trying to find out the details of analyzing process of oyente tool. But I'm a little confused when I encountered with the following code at line 1893 in file 'SymExec.py' in function sym_exec_ins:
image
My question is: when the opcode is 'CALL', why the function returns if the transfer_amout is 0 without collecting the new constraints?
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@fCorleone