public static ValueContentAnalysisResult?TryGetOrComputeResult(
ControlFlowGraph cfg,
ISymbol owningSymbol,
WellKnownTypeProvider wellKnownTypeProvider,
AnalyzerOptions analyzerOptions,
DiagnosticDescriptor rule,
CancellationToken cancellationToken,
out CopyAnalysisResult?copyAnalysisResultOpt,
out PointsToAnalysisResult?pointsToAnalysisResultOpt,
InterproceduralAnalysisKind interproceduralAnalysisKind = InterproceduralAnalysisKind.None,
bool pessimisticAnalysis = true,
bool performPointsToAnalysis = true,
bool performCopyAnalysisIfNotUserConfigured = false,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicateOpt = null)
{
Debug.Assert(!owningSymbol.IsConfiguredToSkipAnalysis(analyzerOptions, rule, wellKnownTypeProvider.Compilation, cancellationToken));
var interproceduralAnalysisConfig = InterproceduralAnalysisConfiguration.Create(
analyzerOptions, rule, owningSymbol, wellKnownTypeProvider.Compilation, interproceduralAnalysisKind, cancellationToken);
return(TryGetOrComputeResult(cfg, owningSymbol, analyzerOptions, wellKnownTypeProvider,
interproceduralAnalysisConfig, out copyAnalysisResultOpt,
out pointsToAnalysisResultOpt, pessimisticAnalysis, performPointsToAnalysis,
performCopyAnalysis: analyzerOptions.GetCopyAnalysisOption(rule, owningSymbol, wellKnownTypeProvider.Compilation, defaultValue: performCopyAnalysisIfNotUserConfigured, cancellationToken),
interproceduralAnalysisPredicateOpt: interproceduralAnalysisPredicateOpt));
}
internal static ValueContentAnalysisResult?TryGetOrComputeResult(
ControlFlowGraph cfg,
ISymbol owningSymbol,
AnalyzerOptions analyzerOptions,
WellKnownTypeProvider wellKnownTypeProvider,
InterproceduralAnalysisConfiguration interproceduralAnalysisConfig,
out CopyAnalysisResult?copyAnalysisResultOpt,
out PointsToAnalysisResult?pointsToAnalysisResultOpt,
bool pessimisticAnalysis = true,
bool performPointsToAnalysis = true,
bool performCopyAnalysis = false,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicateOpt = null)
{
copyAnalysisResultOpt = null;
pointsToAnalysisResultOpt = performPointsToAnalysis ?
PointsToAnalysis.PointsToAnalysis.TryGetOrComputeResult(cfg, owningSymbol, analyzerOptions, wellKnownTypeProvider, out copyAnalysisResultOpt,
interproceduralAnalysisConfig, interproceduralAnalysisPredicateOpt, pessimisticAnalysis, performCopyAnalysis) :
null;
if (cfg == null)
{
Debug.Fail("Expected non-null CFG");
return(null);
}
var analysisContext = ValueContentAnalysisContext.Create(
ValueContentAbstractValueDomain.Default, wellKnownTypeProvider, cfg, owningSymbol, analyzerOptions,
interproceduralAnalysisConfig, pessimisticAnalysis, copyAnalysisResultOpt,
pointsToAnalysisResultOpt, TryGetOrComputeResultForAnalysisContext, interproceduralAnalysisPredicateOpt);
return(TryGetOrComputeResultForAnalysisContext(analysisContext));
}
private static DisposeAnalysisResult?TryGetOrComputeResult(
ControlFlowGraph cfg,
ISymbol owningSymbol,
AnalyzerOptions analyzerOptions,
WellKnownTypeProvider wellKnownTypeProvider,
InterproceduralAnalysisConfiguration interproceduralAnalysisConfig,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicate,
ImmutableHashSet <INamedTypeSymbol> disposeOwnershipTransferLikelyTypes,
bool disposeOwnershipTransferAtConstructor,
bool disposeOwnershipTransferAtMethodCall,
bool trackInstanceFields,
bool exceptionPathsAnalysis,
PointsToAnalysisKind pointsToAnalysisKind,
bool performCopyAnalysis,
Func <ISymbol, bool> isConfiguredToSkipAnalysis,
out PointsToAnalysisResult?pointsToAnalysisResult)
{
Debug.Assert(wellKnownTypeProvider.TryGetOrCreateTypeByMetadataName(WellKnownTypeNames.SystemIDisposable, out _));
pointsToAnalysisResult = PointsToAnalysis.PointsToAnalysis.TryGetOrComputeResult(
cfg, owningSymbol, analyzerOptions, wellKnownTypeProvider, pointsToAnalysisKind, interproceduralAnalysisConfig,
interproceduralAnalysisPredicate, PessimisticAnalysis, performCopyAnalysis, exceptionPathsAnalysis);
if (pointsToAnalysisResult == null)
{
return(null);
}
var analysisContext = DisposeAnalysisContext.Create(
DisposeAbstractValueDomain.Default, wellKnownTypeProvider, cfg, owningSymbol, analyzerOptions, interproceduralAnalysisConfig, interproceduralAnalysisPredicate,
PessimisticAnalysis, exceptionPathsAnalysis, pointsToAnalysisResult, TryGetOrComputeResultForAnalysisContext,
disposeOwnershipTransferLikelyTypes, disposeOwnershipTransferAtConstructor, disposeOwnershipTransferAtMethodCall, trackInstanceFields, isConfiguredToSkipAnalysis);
return(TryGetOrComputeResultForAnalysisContext(analysisContext));
}
public static DisposeAnalysisResult?TryGetOrComputeResult(
ControlFlowGraph cfg,
ISymbol owningSymbol,
WellKnownTypeProvider wellKnownTypeProvider,
AnalyzerOptions analyzerOptions,
DiagnosticDescriptor rule,
ImmutableHashSet <INamedTypeSymbol> disposeOwnershipTransferLikelyTypes,
bool trackInstanceFields,
bool exceptionPathsAnalysis,
CancellationToken cancellationToken,
out PointsToAnalysisResult?pointsToAnalysisResult,
InterproceduralAnalysisKind interproceduralAnalysisKind = InterproceduralAnalysisKind.ContextSensitive,
bool performCopyAnalysisIfNotUserConfigured = false,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicateOpt = null,
bool defaultDisposeOwnershipTransferAtConstructor = false,
bool defaultDisposeOwnershipTransferAtMethodCall = false)
{
Debug.Assert(!owningSymbol.IsConfiguredToSkipAnalysis(analyzerOptions, rule, wellKnownTypeProvider.Compilation, cancellationToken));
var interproceduralAnalysisConfig = InterproceduralAnalysisConfiguration.Create(
analyzerOptions, rule, interproceduralAnalysisKind, cancellationToken);
var disposeOwnershipTransferAtConstructor = analyzerOptions.GetDisposeOwnershipTransferAtConstructorOption(
rule, defaultValue: defaultDisposeOwnershipTransferAtConstructor, cancellationToken);
var disposeOwnershipTransferAtMethodCall = analyzerOptions.GetDisposeOwnershipTransferAtMethodCall(
rule, defaultValue: defaultDisposeOwnershipTransferAtMethodCall, cancellationToken);
return(TryGetOrComputeResult(cfg, owningSymbol, analyzerOptions, wellKnownTypeProvider,
interproceduralAnalysisConfig, interproceduralAnalysisPredicateOpt,
disposeOwnershipTransferLikelyTypes, disposeOwnershipTransferAtConstructor,
disposeOwnershipTransferAtMethodCall, trackInstanceFields, exceptionPathsAnalysis,
performCopyAnalysis: analyzerOptions.GetCopyAnalysisOption(rule, defaultValue: performCopyAnalysisIfNotUserConfigured, cancellationToken),
out pointsToAnalysisResult));
}
public static ValueContentAnalysisResult?TryGetOrComputeResult(
ControlFlowGraph cfg,
ISymbol owningSymbol,
WellKnownTypeProvider wellKnownTypeProvider,
AnalyzerOptions analyzerOptions,
DiagnosticDescriptor rule,
PointsToAnalysisKind defaultPointsToAnalysisKind,
CancellationToken cancellationToken,
out CopyAnalysisResult?copyAnalysisResult,
out PointsToAnalysisResult?pointsToAnalysisResult,
InterproceduralAnalysisKind interproceduralAnalysisKind = InterproceduralAnalysisKind.None,
bool pessimisticAnalysis = true,
bool performCopyAnalysisIfNotUserConfigured = false,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicate = null,
ImmutableArray <INamedTypeSymbol> additionalSupportedValueTypes = default,
Func <IOperation, ValueContentAbstractValue>?getValueContentValueForAdditionalSupportedValueTypeOperation = null)
{
Debug.Assert(!owningSymbol.IsConfiguredToSkipAnalysis(analyzerOptions, rule, wellKnownTypeProvider.Compilation, cancellationToken));
var interproceduralAnalysisConfig = InterproceduralAnalysisConfiguration.Create(
analyzerOptions, rule, owningSymbol, wellKnownTypeProvider.Compilation, interproceduralAnalysisKind, cancellationToken);
return(TryGetOrComputeResult(cfg, owningSymbol, analyzerOptions, wellKnownTypeProvider,
pointsToAnalysisKind: analyzerOptions.GetPointsToAnalysisKindOption(rule, owningSymbol, wellKnownTypeProvider.Compilation, defaultPointsToAnalysisKind, cancellationToken),
interproceduralAnalysisConfig, out copyAnalysisResult,
out pointsToAnalysisResult, pessimisticAnalysis,
performCopyAnalysis: analyzerOptions.GetCopyAnalysisOption(rule, owningSymbol, wellKnownTypeProvider.Compilation, defaultValue: performCopyAnalysisIfNotUserConfigured, cancellationToken),
interproceduralAnalysisPredicate,
additionalSupportedValueTypes,
getValueContentValueForAdditionalSupportedValueTypeOperation));
}
private DisposeAnalysisContext(
AbstractValueDomain <DisposeAbstractValue> valueDomain,
WellKnownTypeProvider wellKnownTypeProvider,
ControlFlowGraph controlFlowGraph,
ISymbol owningSymbol,
AnalyzerOptions analyzerOptions,
InterproceduralAnalysisConfiguration interproceduralAnalysisConfig,
bool pessimisticAnalysis,
bool exceptionPathsAnalysis,
PointsToAnalysisResult?pointsToAnalysisResultOpt,
Func <DisposeAnalysisContext, DisposeAnalysisResult?> tryGetOrComputeAnalysisResult,
ImmutableHashSet <INamedTypeSymbol> disposeOwnershipTransferLikelyTypes,
bool disposeOwnershipTransferAtConstructor,
bool disposeOwnershipTransferAtMethodCall,
bool trackInstanceFields,
ControlFlowGraph?parentControlFlowGraphOpt,
InterproceduralDisposeAnalysisData?interproceduralAnalysisDataOpt,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicateOpt)
: base(valueDomain, wellKnownTypeProvider, controlFlowGraph,
owningSymbol, analyzerOptions, interproceduralAnalysisConfig, pessimisticAnalysis,
predicateAnalysis: false,
exceptionPathsAnalysis,
copyAnalysisResultOpt: null,
pointsToAnalysisResultOpt,
valueContentAnalysisResultOpt: null,
tryGetOrComputeAnalysisResult,
parentControlFlowGraphOpt,
interproceduralAnalysisDataOpt,
interproceduralAnalysisPredicateOpt)
{
DisposeOwnershipTransferLikelyTypes = disposeOwnershipTransferLikelyTypes;
DisposeOwnershipTransferAtConstructor = disposeOwnershipTransferAtConstructor;
DisposeOwnershipTransferAtMethodCall = disposeOwnershipTransferAtMethodCall;
TrackInstanceFields = trackInstanceFields;
}
internal static ValueContentAnalysisResult?TryGetOrComputeResult(
ControlFlowGraph cfg,
ISymbol owningSymbol,
AnalyzerOptions analyzerOptions,
WellKnownTypeProvider wellKnownTypeProvider,
PointsToAnalysisKind pointsToAnalysisKind,
InterproceduralAnalysisConfiguration interproceduralAnalysisConfig,
out CopyAnalysisResult?copyAnalysisResult,
out PointsToAnalysisResult?pointsToAnalysisResult,
bool pessimisticAnalysis = true,
bool performCopyAnalysis = false,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicate = null,
ImmutableArray <INamedTypeSymbol> additionalSupportedValueTypes = default,
Func <IOperation, ValueContentAbstractValue>?getValueContentValueForAdditionalSupportedValueTypeOperation = null)
{
if (cfg == null)
{
throw new ArgumentNullException(nameof(cfg));
}
copyAnalysisResult = null;
pointsToAnalysisResult = pointsToAnalysisKind != PointsToAnalysisKind.None ?
PointsToAnalysis.PointsToAnalysis.TryGetOrComputeResult(cfg, owningSymbol, analyzerOptions, wellKnownTypeProvider, pointsToAnalysisKind, out copyAnalysisResult,
interproceduralAnalysisConfig, interproceduralAnalysisPredicate, pessimisticAnalysis, performCopyAnalysis) :
null;
var analysisContext = ValueContentAnalysisContext.Create(
ValueContentAbstractValueDomain.Default, wellKnownTypeProvider, cfg, owningSymbol, analyzerOptions,
interproceduralAnalysisConfig, pessimisticAnalysis, copyAnalysisResult,
pointsToAnalysisResult, TryGetOrComputeResultForAnalysisContext,
additionalSupportedValueTypes, getValueContentValueForAdditionalSupportedValueTypeOperation,
interproceduralAnalysisPredicate);
return(TryGetOrComputeResultForAnalysisContext(analysisContext));
}
private FlightEnabledAnalysisContext(
AbstractValueDomain <FlightEnabledAbstractValue> valueDomain,
WellKnownTypeProvider wellKnownTypeProvider,
ControlFlowGraph controlFlowGraph,
ISymbol owningSymbol,
ImmutableArray <IMethodSymbol> flightEnablingMethods,
Func <FlightEnabledAnalysisCallbackContext, FlightEnabledAbstractValue> getValueForFlightEnablingMethodInvocation,
AnalyzerOptions analyzerOptions,
InterproceduralAnalysisConfiguration interproceduralAnalysisConfig,
bool pessimisticAnalysis,
PointsToAnalysisResult?pointsToAnalysisResultOpt,
ValueContentAnalysisResult?valueContentAnalysisResultOpt,
Func <FlightEnabledAnalysisContext, FlightEnabledAnalysisResult?> tryGetOrComputeAnalysisResult,
ControlFlowGraph?parentControlFlowGraphOpt,
InterproceduralFlightEnabledAnalysisData?interproceduralAnalysisDataOpt,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicateOpt)
: base(valueDomain, wellKnownTypeProvider, controlFlowGraph,
owningSymbol, analyzerOptions, interproceduralAnalysisConfig, pessimisticAnalysis,
predicateAnalysis: false,
exceptionPathsAnalysis: false,
copyAnalysisResultOpt: null,
pointsToAnalysisResultOpt,
valueContentAnalysisResultOpt,
tryGetOrComputeAnalysisResult,
parentControlFlowGraphOpt,
interproceduralAnalysisDataOpt,
interproceduralAnalysisPredicateOpt)
{
RoslynDebug.Assert(!flightEnablingMethods.IsDefaultOrEmpty);
FlightEnablingMethods = flightEnablingMethods;
GetValueForFlightEnablingMethodInvocation = getValueForFlightEnablingMethodInvocation;
}
/// <summary>
/// Performs global flow state analysis and returns the analysis result.
/// </summary>
/// <param name="cfg">Control flow graph to analyze.</param>
/// <param name="owningSymbol">Owning symbol for the analyzed <paramref name="cfg"/>.</param>
/// <param name="createOperationVisitor">Delegate to create a <see cref="GlobalFlowStateDataFlowOperationVisitor"/> that performs the core analysis.</param>
/// <param name="wellKnownTypeProvider">Well-known type provider for the compilation.</param>
/// <param name="analyzerOptions">Analyzer options for analysis</param>
/// <param name="rule"><see cref="DiagnosticDescriptor"/> for fetching any rule specific analyzer option values from <paramref name="analyzerOptions"/>.</param>
/// <param name="performValueContentAnalysis">Flag to indicate if <see cref="ValueContentAnalysis.ValueContentAnalysis"/> should be performed.</param>
/// <param name="pessimisticAnalysis">
/// This boolean field determines if we should perform an optimistic OR a pessimistic analysis.
/// For example, invoking a lambda method for which we do not know the target method being invoked can change/invalidate the current global flow state.
/// An optimistic points to analysis assumes that the global flow state doesn't change for such scenarios.
/// A pessimistic points to analysis resets the global flow state to an unknown state for such scenarios.
/// </param>
/// <param name="cancellationToken">Token to cancel analysis.</param>
/// <param name="valueContentAnalysisResult">Optional value content analysis result, if <paramref name="performValueContentAnalysis"/> is true</param>
/// <param name="interproceduralAnalysisKind"><see cref="InterproceduralAnalysisKind"/> for the analysis.</param>
/// <param name="interproceduralAnalysisPredicate">Optional predicate for interprocedural analysis.</param>
/// <param name="additionalSupportedValueTypes">Additional value types for which the caller wants to track stored values during value content analysis.</param>
/// <param name="getValueContentValueForAdditionalSupportedValueTypeOperation">
/// Optional delegate to compute values for <paramref name="additionalSupportedValueTypes"/>.
/// Must be non-null if <paramref name="additionalSupportedValueTypes"/> is non-empty.
/// </param>
/// <returns>Global flow state analysis result, or null if analysis did not succeed.</returns>
public static GlobalFlowStateAnalysisResult?TryGetOrComputeResult(
ControlFlowGraph cfg,
ISymbol owningSymbol,
Func <GlobalFlowStateAnalysisContext, GlobalFlowStateDataFlowOperationVisitor> createOperationVisitor,
WellKnownTypeProvider wellKnownTypeProvider,
AnalyzerOptions analyzerOptions,
DiagnosticDescriptor rule,
bool performValueContentAnalysis,
bool pessimisticAnalysis,
CancellationToken cancellationToken,
out ValueContentAnalysisResult?valueContentAnalysisResult,
InterproceduralAnalysisKind interproceduralAnalysisKind = InterproceduralAnalysisKind.None,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicate = null,
ImmutableArray <INamedTypeSymbol> additionalSupportedValueTypes = default,
Func <IOperation, ValueContentAbstractValue>?getValueContentValueForAdditionalSupportedValueTypeOperation = null)
{
if (cfg == null)
{
throw new ArgumentNullException(nameof(cfg));
}
var interproceduralAnalysisConfig = InterproceduralAnalysisConfiguration.Create(
analyzerOptions, rule, cfg, wellKnownTypeProvider.Compilation, interproceduralAnalysisKind, cancellationToken);
var pointsToAnalysisKind = analyzerOptions.GetPointsToAnalysisKindOption(rule, owningSymbol, wellKnownTypeProvider.Compilation,
defaultValue: PointsToAnalysisKind.PartialWithoutTrackingFieldsAndProperties, cancellationToken);
return(TryGetOrComputeResult(cfg, owningSymbol, createOperationVisitor, wellKnownTypeProvider, analyzerOptions,
interproceduralAnalysisConfig, interproceduralAnalysisPredicate, pointsToAnalysisKind, pessimisticAnalysis,
performValueContentAnalysis, out valueContentAnalysisResult,
additionalSupportedValueTypes, getValueContentValueForAdditionalSupportedValueTypeOperation));
}
private GlobalFlowStateAnalysisContext(
AbstractValueDomain <GlobalFlowStateAnalysisValueSet> valueDomain,
WellKnownTypeProvider wellKnownTypeProvider,
ControlFlowGraph controlFlowGraph,
ISymbol owningSymbol,
AnalyzerOptions analyzerOptions,
InterproceduralAnalysisConfiguration interproceduralAnalysisConfig,
bool pessimisticAnalysis,
PointsToAnalysisResult?pointsToAnalysisResult,
ValueContentAnalysisResult?valueContentAnalysisResult,
Func <GlobalFlowStateAnalysisContext, GlobalFlowStateAnalysisResult?> tryGetOrComputeAnalysisResult,
ControlFlowGraph?parentControlFlowGraph,
InterproceduralGlobalFlowStateAnalysisData?interproceduralAnalysisData,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicate)
: base(valueDomain, wellKnownTypeProvider, controlFlowGraph,
owningSymbol, analyzerOptions, interproceduralAnalysisConfig, pessimisticAnalysis,
predicateAnalysis: false,
exceptionPathsAnalysis: false,
copyAnalysisResult: null,
pointsToAnalysisResult,
valueContentAnalysisResult,
tryGetOrComputeAnalysisResult,
parentControlFlowGraph,
interproceduralAnalysisData,
interproceduralAnalysisPredicate)
{
}
public static FlightEnabledAnalysisResult?TryGetOrComputeResult(
ControlFlowGraph cfg,
ISymbol owningSymbol,
ImmutableArray <IMethodSymbol> flightEnablingMethods,
Func <FlightEnabledAnalysisCallbackContext, FlightEnabledAbstractValue> getValueForFlightEnablingMethodInvocation,
WellKnownTypeProvider wellKnownTypeProvider,
AnalyzerOptions analyzerOptions,
DiagnosticDescriptor rule,
bool performPointsToAnalysis,
bool performValueContentAnalysis,
CancellationToken cancellationToken,
out PointsToAnalysisResult?pointsToAnalysisResult,
out ValueContentAnalysisResult?valueContentAnalysisResult,
InterproceduralAnalysisKind interproceduralAnalysisKind = InterproceduralAnalysisKind.None,
bool pessimisticAnalysis = true,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicate = null)
{
RoslynDebug.Assert(!performValueContentAnalysis || performPointsToAnalysis);
var interproceduralAnalysisConfig = InterproceduralAnalysisConfiguration.Create(
analyzerOptions, rule, owningSymbol, wellKnownTypeProvider.Compilation, interproceduralAnalysisKind, cancellationToken);
if (interproceduralAnalysisConfig.InterproceduralAnalysisKind != InterproceduralAnalysisKind.None)
{
interproceduralAnalysisPredicate ??= new InterproceduralAnalysisPredicate(
skipAnalysisForInvokedMethodPredicateOpt: m => flightEnablingMethods.Contains(m),
skipAnalysisForInvokedLambdaOrLocalFunctionPredicateOpt: null,
skipAnalysisForInvokedContextPredicateOpt: null);
}
return(TryGetOrComputeResult(cfg, owningSymbol, flightEnablingMethods,
getValueForFlightEnablingMethodInvocation, wellKnownTypeProvider, analyzerOptions,
interproceduralAnalysisConfig, interproceduralAnalysisPredicate, pessimisticAnalysis,
performPointsToAnalysis, performValueContentAnalysis, out pointsToAnalysisResult, out valueContentAnalysisResult));
}
private static GlobalFlowStateAnalysisResult?TryGetOrComputeResult(
ControlFlowGraph cfg,
ISymbol owningSymbol,
Func <GlobalFlowStateAnalysisContext, GlobalFlowStateDataFlowOperationVisitor> createOperationVisitor,
WellKnownTypeProvider wellKnownTypeProvider,
AnalyzerOptions analyzerOptions,
InterproceduralAnalysisConfiguration interproceduralAnalysisConfig,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicate,
bool pessimisticAnalysis,
bool performValueContentAnalysis,
out ValueContentAnalysisResult?valueContentAnalysisResult)
{
RoslynDebug.Assert(cfg != null);
RoslynDebug.Assert(owningSymbol != null);
PointsToAnalysisResult?pointsToAnalysisResult = null;
valueContentAnalysisResult = performValueContentAnalysis ?
ValueContentAnalysis.ValueContentAnalysis.TryGetOrComputeResult(
cfg, owningSymbol, analyzerOptions, wellKnownTypeProvider,
PointsToAnalysisKind.PartialWithoutTrackingFieldsAndProperties,
interproceduralAnalysisConfig, out _,
out pointsToAnalysisResult, pessimisticAnalysis,
performCopyAnalysis: false, interproceduralAnalysisPredicate) :
null;
var analysisContext = GlobalFlowStateAnalysisContext.Create(
GlobalFlowStateAnalysisValueSetDomain.Instance, wellKnownTypeProvider, cfg, owningSymbol,
analyzerOptions, interproceduralAnalysisConfig, pessimisticAnalysis, pointsToAnalysisResult,
valueContentAnalysisResult, c => TryGetOrComputeResultForAnalysisContext(c, createOperationVisitor), interproceduralAnalysisPredicate);
return(TryGetOrComputeResultForAnalysisContext(analysisContext, createOperationVisitor));
}
internal static DisposeAnalysisContext Create(
AbstractValueDomain <DisposeAbstractValue> valueDomain,
WellKnownTypeProvider wellKnownTypeProvider,
ControlFlowGraph controlFlowGraph,
ISymbol owningSymbol,
AnalyzerOptions analyzerOptions,
InterproceduralAnalysisConfiguration interproceduralAnalysisConfig,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicateOpt,
bool pessimisticAnalysis,
bool exceptionPathsAnalysis,
PointsToAnalysisResult?pointsToAnalysisResultOpt,
Func <DisposeAnalysisContext, DisposeAnalysisResult?> tryGetOrComputeAnalysisResult,
ImmutableHashSet <INamedTypeSymbol> disposeOwnershipTransferLikelyTypes,
bool disposeOwnershipTransferAtConstructor,
bool disposeOwnershipTransferAtMethodCall,
bool trackInstanceFields,
SymbolNamesWithValueOption <Unit> excludedSymbols)
{
return(new DisposeAnalysisContext(
valueDomain, wellKnownTypeProvider, controlFlowGraph,
owningSymbol, analyzerOptions, interproceduralAnalysisConfig, pessimisticAnalysis,
exceptionPathsAnalysis, pointsToAnalysisResultOpt, tryGetOrComputeAnalysisResult,
disposeOwnershipTransferLikelyTypes, disposeOwnershipTransferAtConstructor, disposeOwnershipTransferAtMethodCall,
trackInstanceFields, parentControlFlowGraphOpt: null, interproceduralAnalysisDataOpt: null,
interproceduralAnalysisPredicateOpt, excludedSymbols));
}
public static CopyAnalysisResult?TryGetOrComputeResult(
ControlFlowGraph cfg,
ISymbol owningSymbol,
AnalyzerOptions analyzerOptions,
WellKnownTypeProvider wellKnownTypeProvider,
InterproceduralAnalysisConfiguration interproceduralAnalysisConfig,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicate,
bool pessimisticAnalysis = true,
PointsToAnalysisKind pointsToAnalysisKind = PointsToAnalysisKind.PartialWithoutTrackingFieldsAndProperties,
bool exceptionPathsAnalysis = false)
{
if (cfg == null)
{
Debug.Fail("Expected non-null CFG");
return(null);
}
var pointsToAnalysisResult = pointsToAnalysisKind != PointsToAnalysisKind.None ?
PointsToAnalysis.PointsToAnalysis.TryGetOrComputeResult(cfg, owningSymbol, analyzerOptions,
wellKnownTypeProvider, pointsToAnalysisKind, interproceduralAnalysisConfig,
interproceduralAnalysisPredicate, pessimisticAnalysis, performCopyAnalysis: false, exceptionPathsAnalysis) :
null;
var analysisContext = CopyAnalysisContext.Create(CopyAbstractValueDomain.Default, wellKnownTypeProvider,
cfg, owningSymbol, analyzerOptions, interproceduralAnalysisConfig, pessimisticAnalysis, exceptionPathsAnalysis, pointsToAnalysisResult,
TryGetOrComputeResultForAnalysisContext, interproceduralAnalysisPredicate);
return(TryGetOrComputeResultForAnalysisContext(analysisContext));
}
public static PointsToAnalysisResult?TryGetOrComputeResult(
ControlFlowGraph cfg,
ISymbol owningSymbol,
AnalyzerOptions analyzerOptions,
WellKnownTypeProvider wellKnownTypeProvider,
InterproceduralAnalysisConfiguration interproceduralAnalysisConfig,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicateOpt,
bool pessimisticAnalysis = true,
bool performCopyAnalysis = false,
bool exceptionPathsAnalysis = false)
{
return(TryGetOrComputeResult(cfg, owningSymbol, analyzerOptions, wellKnownTypeProvider,
out var _, interproceduralAnalysisConfig, interproceduralAnalysisPredicateOpt,
pessimisticAnalysis, performCopyAnalysis, exceptionPathsAnalysis));
}
protected AbstractDataFlowAnalysisContext(
AbstractValueDomain <TAbstractAnalysisValue> valueDomain,
WellKnownTypeProvider wellKnownTypeProvider,
ControlFlowGraph controlFlowGraph,
ISymbol owningSymbol,
AnalyzerOptions analyzerOptions,
InterproceduralAnalysisConfiguration interproceduralAnalysisConfig,
bool pessimisticAnalysis,
bool predicateAnalysis,
bool exceptionPathsAnalysis,
CopyAnalysisResult?copyAnalysisResult,
PointsToAnalysisResult?pointsToAnalysisResult,
ValueContentAnalysisResult?valueContentAnalysisResult,
Func <TAnalysisContext, TAnalysisResult?> tryGetOrComputeAnalysisResult,
ControlFlowGraph?parentControlFlowGraph,
InterproceduralAnalysisData <TAnalysisData, TAnalysisContext, TAbstractAnalysisValue>?interproceduralAnalysisData,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicate)
{
Debug.Assert(owningSymbol.Kind == SymbolKind.Method ||
owningSymbol.Kind == SymbolKind.Field ||
owningSymbol.Kind == SymbolKind.Property ||
owningSymbol.Kind == SymbolKind.Event);
Debug.Assert(Equals(owningSymbol.OriginalDefinition, owningSymbol));
Debug.Assert(pointsToAnalysisResult == null ||
pointsToAnalysisResult.ControlFlowGraph == controlFlowGraph);
Debug.Assert(copyAnalysisResult == null ||
copyAnalysisResult.ControlFlowGraph == controlFlowGraph);
Debug.Assert(valueContentAnalysisResult == null ||
valueContentAnalysisResult.ControlFlowGraph == controlFlowGraph);
ValueDomain = valueDomain;
WellKnownTypeProvider = wellKnownTypeProvider;
ControlFlowGraph = controlFlowGraph;
ParentControlFlowGraph = parentControlFlowGraph;
OwningSymbol = owningSymbol;
AnalyzerOptions = analyzerOptions;
InterproceduralAnalysisConfiguration = interproceduralAnalysisConfig;
PessimisticAnalysis = pessimisticAnalysis;
PredicateAnalysis = predicateAnalysis;
ExceptionPathsAnalysis = exceptionPathsAnalysis;
CopyAnalysisResult = copyAnalysisResult;
PointsToAnalysisResult = pointsToAnalysisResult;
ValueContentAnalysisResult = valueContentAnalysisResult;
TryGetOrComputeAnalysisResult = tryGetOrComputeAnalysisResult;
InterproceduralAnalysisData = interproceduralAnalysisData;
InterproceduralAnalysisPredicate = interproceduralAnalysisPredicate;
}
internal static CopyAnalysisContext Create(
AbstractValueDomain <CopyAbstractValue> valueDomain,
WellKnownTypeProvider wellKnownTypeProvider,
ControlFlowGraph controlFlowGraph,
ISymbol owningSymbol,
AnalyzerOptions analyzerOptions,
InterproceduralAnalysisConfiguration interproceduralAnalysisConfig,
bool pessimisticAnalysis,
bool exceptionPathsAnalysis,
PointsToAnalysisResult?pointsToAnalysisResult,
Func <CopyAnalysisContext, CopyAnalysisResult?> tryGetOrComputeAnalysisResult,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicate)
{
return(new CopyAnalysisContext(valueDomain, wellKnownTypeProvider, controlFlowGraph, owningSymbol, analyzerOptions,
interproceduralAnalysisConfig, pessimisticAnalysis, exceptionPathsAnalysis, pointsToAnalysisResult, tryGetOrComputeAnalysisResult,
parentControlFlowGraph: null, interproceduralAnalysisData: null, interproceduralAnalysisPredicate));
}
internal static ValueContentAnalysisContext Create(
AbstractValueDomain <ValueContentAbstractValue> valueDomain,
WellKnownTypeProvider wellKnownTypeProvider,
ControlFlowGraph controlFlowGraph,
ISymbol owningSymbol,
AnalyzerOptions analyzerOptions,
InterproceduralAnalysisConfiguration interproceduralAnalysisConfig,
bool pessimisticAnalysis,
CopyAnalysisResult?copyAnalysisResultOpt,
PointsToAnalysisResult?pointsToAnalysisResultOpt,
Func <ValueContentAnalysisContext, ValueContentAnalysisResult?> tryGetOrComputeAnalysisResult,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicateOpt)
{
return(new ValueContentAnalysisContext(
valueDomain, wellKnownTypeProvider, controlFlowGraph, owningSymbol, analyzerOptions,
interproceduralAnalysisConfig, pessimisticAnalysis, copyAnalysisResultOpt, pointsToAnalysisResultOpt,
tryGetOrComputeAnalysisResult, parentControlFlowGraphOpt: null, interproceduralAnalysisDataOpt: null, interproceduralAnalysisPredicateOpt));
}
private PointsToAnalysisContext(
AbstractValueDomain <PointsToAbstractValue> valueDomain,
WellKnownTypeProvider wellKnownTypeProvider,
ControlFlowGraph controlFlowGraph,
ISymbol owningSymbol,
AnalyzerOptions analyzerOptions,
InterproceduralAnalysisConfiguration interproceduralAnalysisConfig,
bool pessimisticAnalysis,
bool exceptionPathsAnalysis,
CopyAnalysisResult?copyAnalysisResultOpt,
Func <PointsToAnalysisContext, PointsToAnalysisResult?> tryGetOrComputeAnalysisResult,
ControlFlowGraph?parentControlFlowGraphOpt,
InterproceduralPointsToAnalysisData?interproceduralAnalysisDataOpt,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicateOpt)
: base(valueDomain, wellKnownTypeProvider, controlFlowGraph, owningSymbol, analyzerOptions, interproceduralAnalysisConfig, pessimisticAnalysis,
predicateAnalysis: true, exceptionPathsAnalysis, copyAnalysisResultOpt, pointsToAnalysisResultOpt: null, valueContentAnalysisResultOpt: null,
tryGetOrComputeAnalysisResult, parentControlFlowGraphOpt, interproceduralAnalysisDataOpt, interproceduralAnalysisPredicateOpt)
{
}
public GlobalFlowStateDictionaryAnalysisContext(
AbstractValueDomain <GlobalFlowStateDictionaryAnalysisValue> valueDomain,
WellKnownTypeProvider wellKnownTypeProvider,
ControlFlowGraph controlFlowGraph,
ISymbol owningSymbol,
AnalyzerOptions analyzerOptions,
InterproceduralAnalysisConfiguration interproceduralAnalysisConfig,
bool pessimisticAnalysis,
bool predicateAnalysis,
bool exceptionPathsAnalysis,
DataFlowAnalysisResult <CopyBlockAnalysisResult, CopyAbstractValue>?copyAnalysisResult,
PointsToAnalysisResult?pointsToAnalysisResult,
DataFlowAnalysisResult <ValueContentBlockAnalysisResult, ValueContentAbstractValue>?valueContentAnalysisResult,
Func <GlobalFlowStateDictionaryAnalysisContext, GlobalFlowStateDictionaryAnalysisResult?> tryGetOrComputeAnalysisResult,
ControlFlowGraph?parentControlFlowGraph = null,
InterproceduralAnalysisData <GlobalFlowStateDictionaryAnalysisData, GlobalFlowStateDictionaryAnalysisContext, GlobalFlowStateDictionaryAnalysisValue>?interproceduralAnalysisData = null,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicate = null) : base(valueDomain, wellKnownTypeProvider, controlFlowGraph, owningSymbol, analyzerOptions, interproceduralAnalysisConfig, pessimisticAnalysis, predicateAnalysis, exceptionPathsAnalysis, copyAnalysisResult, pointsToAnalysisResult, valueContentAnalysisResult, tryGetOrComputeAnalysisResult, parentControlFlowGraph, interproceduralAnalysisData, interproceduralAnalysisPredicate)
{
}
internal static ValueContentAnalysisContext Create(
AbstractValueDomain <ValueContentAbstractValue> valueDomain,
WellKnownTypeProvider wellKnownTypeProvider,
ControlFlowGraph controlFlowGraph,
ISymbol owningSymbol,
AnalyzerOptions analyzerOptions,
InterproceduralAnalysisConfiguration interproceduralAnalysisConfig,
bool pessimisticAnalysis,
CopyAnalysisResult?copyAnalysisResult,
PointsToAnalysisResult?pointsToAnalysisResult,
Func <ValueContentAnalysisContext, ValueContentAnalysisResult?> tryGetOrComputeAnalysisResult,
ImmutableArray <INamedTypeSymbol> additionalSupportedValueTypes,
Func <IOperation, ValueContentAbstractValue>?getValueContentValueForAdditionalSupportedValueTypeOperation,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicate)
{
return(new ValueContentAnalysisContext(
valueDomain, wellKnownTypeProvider, controlFlowGraph, owningSymbol, analyzerOptions,
interproceduralAnalysisConfig, pessimisticAnalysis, copyAnalysisResult, pointsToAnalysisResult,
tryGetOrComputeAnalysisResult, additionalSupportedValueTypes, getValueContentValueForAdditionalSupportedValueTypeOperation,
parentControlFlowGraph: null, interproceduralAnalysisData: null, interproceduralAnalysisPredicate));
}
public static GlobalFlowStateAnalysisResult?TryGetOrComputeResult(
ControlFlowGraph cfg,
ISymbol owningSymbol,
Func <GlobalFlowStateAnalysisContext, GlobalFlowStateDataFlowOperationVisitor> createOperationVisitor,
WellKnownTypeProvider wellKnownTypeProvider,
AnalyzerOptions analyzerOptions,
DiagnosticDescriptor rule,
bool performValueContentAnalysis,
CancellationToken cancellationToken,
out ValueContentAnalysisResult?valueContentAnalysisResult,
InterproceduralAnalysisKind interproceduralAnalysisKind = InterproceduralAnalysisKind.None,
bool pessimisticAnalysis = true,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicate = null)
{
var interproceduralAnalysisConfig = InterproceduralAnalysisConfiguration.Create(
analyzerOptions, rule, owningSymbol, wellKnownTypeProvider.Compilation, interproceduralAnalysisKind, cancellationToken);
return(TryGetOrComputeResult(cfg, owningSymbol, createOperationVisitor, wellKnownTypeProvider, analyzerOptions,
interproceduralAnalysisConfig, interproceduralAnalysisPredicate, pessimisticAnalysis,
performValueContentAnalysis, out valueContentAnalysisResult));
}
private static GlobalFlowStateAnalysisResult?TryGetOrComputeResult(
ControlFlowGraph cfg,
ISymbol owningSymbol,
Func <GlobalFlowStateAnalysisContext, GlobalFlowStateDataFlowOperationVisitor> createOperationVisitor,
WellKnownTypeProvider wellKnownTypeProvider,
AnalyzerOptions analyzerOptions,
InterproceduralAnalysisConfiguration interproceduralAnalysisConfig,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicate,
PointsToAnalysisKind pointsToAnalysisKind,
bool pessimisticAnalysis,
bool performValueContentAnalysis,
out ValueContentAnalysisResult?valueContentAnalysisResult,
ImmutableArray <INamedTypeSymbol> additionalSupportedValueTypes = default,
Func <IOperation, ValueContentAbstractValue>?getValueContentValueForAdditionalSupportedValueTypeOperation = null)
{
RoslynDebug.Assert(cfg != null);
RoslynDebug.Assert(owningSymbol != null);
PointsToAnalysisResult?pointsToAnalysisResult = null;
valueContentAnalysisResult = performValueContentAnalysis ?
ValueContentAnalysis.ValueContentAnalysis.TryGetOrComputeResult(
cfg, owningSymbol, analyzerOptions, wellKnownTypeProvider,
pointsToAnalysisKind, interproceduralAnalysisConfig, out _,
out pointsToAnalysisResult, pessimisticAnalysis,
performCopyAnalysis: false, interproceduralAnalysisPredicate,
additionalSupportedValueTypes, getValueContentValueForAdditionalSupportedValueTypeOperation) :
null;
pointsToAnalysisResult ??= PointsToAnalysis.PointsToAnalysis.TryGetOrComputeResult(
cfg, owningSymbol, analyzerOptions, wellKnownTypeProvider,
pointsToAnalysisKind, interproceduralAnalysisConfig, interproceduralAnalysisPredicate);
var analysisContext = GlobalFlowStateAnalysisContext.Create(
GlobalFlowStateAnalysisValueSetDomain.Instance, wellKnownTypeProvider, cfg, owningSymbol,
analyzerOptions, interproceduralAnalysisConfig, pessimisticAnalysis, pointsToAnalysisResult,
valueContentAnalysisResult, c => TryGetOrComputeResultForAnalysisContext(c, createOperationVisitor), interproceduralAnalysisPredicate);
return(TryGetOrComputeResultForAnalysisContext(analysisContext, createOperationVisitor));
}
internal static FlightEnabledAnalysisContext Create(
AbstractValueDomain <FlightEnabledAbstractValue> valueDomain,
WellKnownTypeProvider wellKnownTypeProvider,
ControlFlowGraph controlFlowGraph,
ISymbol owningSymbol,
ImmutableArray <IMethodSymbol> flightEnablingMethods,
Func <FlightEnabledAnalysisCallbackContext, FlightEnabledAbstractValue> getValueForFlightEnablingMethodInvocation,
AnalyzerOptions analyzerOptions,
InterproceduralAnalysisConfiguration interproceduralAnalysisConfig,
bool pessimisticAnalysis,
PointsToAnalysisResult?pointsToAnalysisResultOpt,
ValueContentAnalysisResult?valueContentAnalysisResult,
Func <FlightEnabledAnalysisContext, FlightEnabledAnalysisResult?> tryGetOrComputeAnalysisResult,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicateOpt)
{
return(new FlightEnabledAnalysisContext(
valueDomain, wellKnownTypeProvider, controlFlowGraph, owningSymbol,
flightEnablingMethods, getValueForFlightEnablingMethodInvocation, analyzerOptions,
interproceduralAnalysisConfig, pessimisticAnalysis, pointsToAnalysisResultOpt,
valueContentAnalysisResult, tryGetOrComputeAnalysisResult, parentControlFlowGraphOpt: null,
interproceduralAnalysisDataOpt: null, interproceduralAnalysisPredicateOpt));
}
private static FlightEnabledAnalysisResult?TryGetOrComputeResult(
ControlFlowGraph cfg,
ISymbol owningSymbol,
ImmutableArray <IMethodSymbol> flightEnablingMethods,
Func <FlightEnabledAnalysisCallbackContext, FlightEnabledAbstractValue> getValueForFlightEnablingMethodInvocation,
WellKnownTypeProvider wellKnownTypeProvider,
AnalyzerOptions analyzerOptions,
InterproceduralAnalysisConfiguration interproceduralAnalysisConfig,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicate,
bool pessimisticAnalysis,
bool performPointsToAnalysis,
bool performValueContentAnalysis,
out PointsToAnalysisResult?pointsToAnalysisResult,
out ValueContentAnalysisResult?valueContentAnalysisResult)
{
RoslynDebug.Assert(!performValueContentAnalysis || performPointsToAnalysis);
RoslynDebug.Assert(cfg != null);
RoslynDebug.Assert(owningSymbol != null);
pointsToAnalysisResult = performPointsToAnalysis ?
PointsToAnalysis.PointsToAnalysis.TryGetOrComputeResult(
cfg, owningSymbol, analyzerOptions, wellKnownTypeProvider, interproceduralAnalysisConfig,
interproceduralAnalysisPredicate, pessimisticAnalysis, performCopyAnalysis: false) :
null;
valueContentAnalysisResult = performValueContentAnalysis ?
ValueContentAnalysis.ValueContentAnalysis.TryGetOrComputeResult(
cfg, owningSymbol, analyzerOptions, wellKnownTypeProvider, interproceduralAnalysisConfig, out _,
out pointsToAnalysisResult, pessimisticAnalysis, performPointsToAnalysis, performCopyAnalysis: false, interproceduralAnalysisPredicate) :
null;
var analysisContext = FlightEnabledAnalysisContext.Create(
FlightEnabledAbstractValueDomain.Instance, wellKnownTypeProvider, cfg, owningSymbol,
flightEnablingMethods, getValueForFlightEnablingMethodInvocation, analyzerOptions,
interproceduralAnalysisConfig, pessimisticAnalysis, pointsToAnalysisResult,
valueContentAnalysisResult, TryGetOrComputeResultForAnalysisContext, interproceduralAnalysisPredicate);
return(TryGetOrComputeResultForAnalysisContext(analysisContext));
}
private ValueContentAnalysisContext(
AbstractValueDomain <ValueContentAbstractValue> valueDomain,
WellKnownTypeProvider wellKnownTypeProvider,
ControlFlowGraph controlFlowGraph,
ISymbol owningSymbol,
AnalyzerOptions analyzerOptions,
InterproceduralAnalysisConfiguration interproceduralAnalysisConfig,
bool pessimisticAnalysis,
CopyAnalysisResult?copyAnalysisResult,
PointsToAnalysisResult?pointsToAnalysisResult,
Func <ValueContentAnalysisContext, ValueContentAnalysisResult?> tryGetOrComputeAnalysisResult,
ImmutableArray <INamedTypeSymbol> additionalSupportedValueTypes,
Func <IOperation, ValueContentAbstractValue>?getValueForAdditionalSupportedValueTypeOperation,
ControlFlowGraph?parentControlFlowGraph,
InterproceduralValueContentAnalysisData?interproceduralAnalysisData,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicate)
: base(valueDomain, wellKnownTypeProvider, controlFlowGraph, owningSymbol, analyzerOptions, interproceduralAnalysisConfig,
pessimisticAnalysis, predicateAnalysis: true, exceptionPathsAnalysis: false, copyAnalysisResult,
pointsToAnalysisResult, valueContentAnalysisResult: null, tryGetOrComputeAnalysisResult, parentControlFlowGraph,
interproceduralAnalysisData, interproceduralAnalysisPredicate)
{
AdditionalSupportedValueTypes = additionalSupportedValueTypes.IsDefault ? ImmutableArray <INamedTypeSymbol> .Empty : additionalSupportedValueTypes;
GetValueForAdditionalSupportedValueTypeOperation = getValueForAdditionalSupportedValueTypeOperation;
}
public static PointsToAnalysisResult?TryGetOrComputeResult(
ControlFlowGraph cfg,
ISymbol owningSymbol,
AnalyzerOptions analyzerOptions,
WellKnownTypeProvider wellKnownTypeProvider,
PointsToAnalysisKind pointsToAnalysisKind,
out CopyAnalysisResult?copyAnalysisResult,
InterproceduralAnalysisConfiguration interproceduralAnalysisConfig,
InterproceduralAnalysisPredicate?interproceduralAnalysisPredicate,
bool pessimisticAnalysis = true,
bool performCopyAnalysis = false,
bool exceptionPathsAnalysis = false)
{
if (pointsToAnalysisKind == PointsToAnalysisKind.None)
{
copyAnalysisResult = null;
return(null);
}
copyAnalysisResult = performCopyAnalysis ?
CopyAnalysis.CopyAnalysis.TryGetOrComputeResult(cfg, owningSymbol, analyzerOptions, wellKnownTypeProvider, interproceduralAnalysisConfig,
interproceduralAnalysisPredicate, pessimisticAnalysis, pointsToAnalysisKind, exceptionPathsAnalysis) :
null;
if (cfg == null)
{
Debug.Fail("Expected non-null CFG");
return(null);
}
var analysisContext = PointsToAnalysisContext.Create(PointsToAbstractValueDomain.Default, wellKnownTypeProvider, cfg,
owningSymbol, analyzerOptions, pointsToAnalysisKind, interproceduralAnalysisConfig, pessimisticAnalysis, exceptionPathsAnalysis, copyAnalysisResult,
TryGetOrComputeResultForAnalysisContext, interproceduralAnalysisPredicate);
return(TryGetOrComputeResultForAnalysisContext(analysisContext));
}