exceptions while run the whitehat_crypto400.py example about angr HOT 4 CLOSED

File "/home/ahwei/.virtualenvs/angr/local/lib/python2.7/site-packages/pyvex/IRExpr/_init.py", line 47, in _translate
if c_expr[0] == ffi.NULL:

change if c_expr[0] == ffi.NULL: 
to if c_expr == ffi.NULL

it's can run with correct result. 
I'm not familiar with python.  I don't know the different between c_expr[0] and c_expr.

from angr.

Thanks for tracking that down! I have absolutely no idea why that would have fixed anything, but I've pushed a variant on that change.

@zardus you should figure out if the fact that this happened indicates anything weird going on under the hood in vex or pyvex_c...

from angr.

Could anyone please explain the meaning of the 'unstash' used in the script? I can't find a specific explanation.

from angr.

Unstash is the opposite of stash. Stash is to move some states from active to a given named stash. Unstash is to move them back.

Please open new issues to ask questions, instead of reusing the old issues.

from angr.