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)
{
}