Currently the analyzer stops at a CALL instruction. This issue keeps track of fixing this. After the call there would be three cases
the callee returns
the callee fails
the callee somehow calls back the original contract
exit criteria
Cases 1. and 2. should be implemented. A message should be shown for case 3. Also a github issue should be created for dealing with reentrancy in the analyzer.
Currently the analyzer stops at a
CALL
instruction. This issue keeps track of fixing this. After thecall
there would be three casesexit criteria Cases 1. and 2. should be implemented. A message should be shown for case 3. Also a github issue should be created for dealing with reentrancy in the analyzer.