[docs]defprocess_successors(self,successors,**kwargs):state=self.statejumpkind=state.history.parent.jumpkindifstate.historyandstate.history.parentelseNoneifjumpkindin("Ijk_EmFail","Ijk_MapFail")or(jumpkindisnotNoneandjumpkind.startswith("Ijk_Sig")):raiseAngrExitError("Cannot execute following jumpkind %s"%jumpkind)ifjumpkind=="Ijk_Exit":from..proceduresimportSIM_PROCEDURESl.debug("Execution terminated at %#x",state.addr)terminator=SIM_PROCEDURES["stubs"]["PathTerminator"](project=self.project)returnself.process_procedure(state,successors,terminator,**kwargs)returnsuper().process_successors(successors,**kwargs)