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