public static DataFlowAnalysisResult <NullBlockAnalysisResult, NullAbstractValue> GetOrComputeResult(ControlFlowGraph cfg) { var analysisDomain = new NullAnalysisDomain(NullAbstractValueDomain.Default); var operationVisitor = new NullDataFlowOperationVisitor(NullAbstractValueDomain.Default); var nullAnalysis = new NullAnalysis(analysisDomain, operationVisitor); return(nullAnalysis.GetOrComputeResultCore(cfg)); }
public static DataFlowAnalysisResult <NullBlockAnalysisResult, NullAbstractValue> GetOrComputeResult( ControlFlowGraph cfg, INamedTypeSymbol containingTypeSymbol, DataFlowAnalysisResult <PointsToAnalysis.PointsToBlockAnalysisResult, PointsToAnalysis.PointsToAbstractValue> pointsToAnalysisResultOpt = null) { var analysisDomain = new NullAnalysisDomain(NullAbstractValueDomain.Default); var operationVisitor = new NullDataFlowOperationVisitor(NullAbstractValueDomain.Default, containingTypeSymbol, pointsToAnalysisResultOpt); var nullAnalysis = new NullAnalysis(analysisDomain, operationVisitor); return(nullAnalysis.GetOrComputeResultCore(cfg)); }
private NullAnalysis(NullAnalysisDomain analysisDomain, NullDataFlowOperationVisitor operationVisitor) : base(analysisDomain, operationVisitor) { }