Question about the sym_exec_ins function in the file 'SymExec.py'
fCorleone opened this issue · 0 comments
fCorleone commented
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:
My question is: when the opcode is 'CALL', why the function returns if the transfer_amout is 0 without collecting the new constraints?