public static DataFlowAnalysisResult <StringContentBlockAnalysisResult, StringContentAbstractValue> GetOrComputeResult(ControlFlowGraph cfg, DataFlowAnalysisResult <NullAnalysis.NullBlockAnalysisResult, NullAnalysis.NullAbstractValue> nullAnalysisResultOpt = null)
{
var analysisDomain = new StringContentAnalysisDomain(StringContentAbstractValueDomain.Default);
var operationVisitor = new StringContentDataFlowOperationVisitor(StringContentAbstractValueDomain.Default, nullAnalysisResultOpt);
var nullAnalysis = new StringContentAnalysis(analysisDomain, operationVisitor);
return(nullAnalysis.GetOrComputeResultCore(cfg));
}
private StringContentAnalysis(StringContentAnalysisDomain analysisDomain, StringContentDataFlowOperationVisitor operationVisitor)
: base(analysisDomain, operationVisitor)
{
}
