namespace Microsoft.CodeAnalysis.FlowAnalysis.DataFlow.PointsToAnalysis
{
    public class PointsToAnalysis : ForwardDataFlowAnalysis<PointsToAnalysisData!, PointsToAnalysisContext!, PointsToAnalysisResult!, PointsToBlockAnalysisResult!, PointsToAbstractValue!>
    {
        public static PointsToAnalysisResult? TryGetOrComputeResult(?! cfg, ?! owningSymbol, ?! analyzerOptions, WellKnownTypeProvider! wellKnownTypeProvider, PointsToAnalysisKind pointsToAnalysisKind, out DataFlowAnalysisResult<CopyBlockAnalysisResult!, CopyAbstractValue!>? copyAnalysisResult, InterproceduralAnalysisConfiguration interproceduralAnalysisConfig, InterproceduralAnalysisPredicate? interproceduralAnalysisPredicate, bool pessimisticAnalysis = true, bool performCopyAnalysis = false, bool exceptionPathsAnalysis = false);
    }
}