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 operationVisitor = new NullDataFlowOperationVisitor(NullAbstractValueDomain.Default, containingTypeSymbol, pointsToAnalysisResultOpt);
var nullAnalysis = new NullAnalysis(NullAnalysisDomainInstance, operationVisitor);
return(nullAnalysis.GetOrComputeResultCore(cfg));
}
public static DataFlowAnalysisResult <NullBlockAnalysisResult, NullAbstractValue> GetOrComputeResult(
ControlFlowGraph cfg,
ISymbol owningSymbol,
WellKnownTypeProvider wellKnownTypeProvider,
DataFlowAnalysisResult <CopyAnalysis.CopyBlockAnalysisResult, CopyAnalysis.CopyAbstractValue> copyAnalysisResultOpt = null,
bool pessimisticAnalysis = true,
DataFlowAnalysisResult <PointsToAnalysis.PointsToBlockAnalysisResult, PointsToAnalysis.PointsToAbstractValue> pointsToAnalysisResultOpt = null)
{
var operationVisitor = new NullDataFlowOperationVisitor(NullAbstractValueDomain.Default, owningSymbol,
wellKnownTypeProvider, pessimisticAnalysis, copyAnalysisResultOpt, pointsToAnalysisResultOpt);
var nullAnalysis = new NullAnalysis(NullAnalysisDomainInstance, operationVisitor);
return(nullAnalysis.GetOrComputeResultCore(cfg, cacheResult: true));
}
