(self, successors: SimSuccessors)
Update successors.artifacts with IRSB details.
Update successors.artifacts with IRSB details.
Update successors . artifacts with IRSB details .
def _store_successor_artifacts(self, successors: SimSuccessors) -> None:
        """
        Update successors.artifacts with IRSB details.
        """
        irsb = self.state.scratch.irsb
        successors.artifacts["irsb"] = irsb
        successors.artifacts["irsb_size"] = irsb.size
        successors.artifacts["irsb_direct_next"] = irsb.direct_next
        successors.artifacts["irsb_default_jumpkind"] = irsb.jumpkind
        successors.artifacts["insn_addrs"] = []
def _store_successor_artifacts ( self , successors : SimSuccessors ) -> None : irsb = self . state . scratch . irsb successors . artifacts [ "irsb" ] = irsb successors . artifacts [ "irsb_size" ] = irsb . size successors . artifacts [ "irsb_direct_next" ] = irsb . direct_next successors . artifacts [ "irsb_default_jumpkind" ] = irsb . jumpkind successors . artifacts [ "insn_addrs" ] = [ ]