Class ProgramAnalysis<R>

java.lang.Object
pascal.taie.analysis.Analysis
pascal.taie.analysis.ProgramAnalysis<R>
Type Parameters:
R - result type
Direct Known Subclasses:
AbstractInterDataflowAnalysis, CallGraphBuilder, ICFGBuilder, MayFailCast, PointerAnalysis, PolymorphicCallSite, ResultProcessor, SideEffectAnalysis

public abstract class ProgramAnalysis<R> extends Analysis
Abstract base class for all whole-program analyses.
  • Constructor Details

  • Method Details

    • analyze

      public abstract R analyze()
      Runs this analysis for the whole program. If the result is not used by following analyses, then this method should return null.
      Returns:
      the analysis result for the whole program. The result will be stored in World.