Information collected during and after the analysis fixpoint computation.