ControlFlowGraph

src\roslyn\src\RoslynAnalyzers\Utilities\Compiler\Extensions\IOperationExtensions.cs (11)

269/// PERF: Cache from operation roots to their corresponding <see cref="ControlFlowGraph"/> to enable interprocedural flow analysis 273private static readonly BoundedCache<Compilation, ConcurrentDictionary<IOperation, ControlFlowGraph?>> s_operationToCfgCache 276public static bool TryGetEnclosingControlFlowGraph(this IOperation operation, [NotNullWhen(returnValue: true)] out ControlFlowGraph? cfg) 285public static ControlFlowGraph? GetEnclosingControlFlowGraph(this IBlockOperation blockOperation) 287var success = blockOperation.TryGetEnclosingControlFlowGraph(out var cfg); 293private static ControlFlowGraph? CreateControlFlowGraph(IOperation operation) 298return ControlFlowGraph.Create(blockOperation); 301return ControlFlowGraph.Create(methodBodyOperation); 304return ControlFlowGraph.Create(constructorBodyOperation); 307return ControlFlowGraph.Create(fieldInitializerOperation); 310return ControlFlowGraph.Create(propertyInitializerOperation);

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\Extensions\BasicBlockExtensions.cs (3)

16internal static IEnumerable<(BasicBlock predecessorBlock, BranchWithInfo branchWithInfo)> GetPredecessorsWithBranches(this BasicBlock basicBlock, ControlFlowGraph cfg) 126public static bool IsFirstBlockOfCompilerGeneratedFinally(this BasicBlock basicBlock, ControlFlowGraph cfg) 175internal static bool DominatesPredecessors(this BasicBlock? basicBlock, ControlFlowGraph cfg)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\Extensions\ControlFlowGraphExtensions.cs (3)

12public static BasicBlock GetEntry(this ControlFlowGraph cfg) => cfg.Blocks.Single(b => b.Kind == BasicBlockKind.Entry); 13public static BasicBlock GetExit(this ControlFlowGraph cfg) => cfg.Blocks.Single(b => b.Kind == BasicBlockKind.Exit); 15internal static bool SupportsFlowAnalysis(this ControlFlowGraph cfg)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\Extensions\ControlFlowRegionExtensions.cs (1)

15public static IEnumerable<IOperation> DescendantOperations(this ControlFlowRegion controlFlowRegion, ControlFlowGraph cfg)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\Extensions\IOperationExtensions_FlowAnalysis.cs (1)

14public static bool IsInsideCatchRegion([NotNullWhen(returnValue: true)] this IOperation? operation, ControlFlowGraph cfg)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\Extensions\OperationBlocksExtensions.cs (2)

13public static ControlFlowGraph? GetControlFlowGraph(this ImmutableArray<IOperation> operationBlocks) 17if (operationRoot.TryGetEnclosingControlFlowGraph(out var cfg))

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyAnalysis.cs (1)

29ControlFlowGraph cfg,

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyAnalysisContext.cs (4)

25ControlFlowGraph controlFlowGraph, 33ControlFlowGraph? parentControlFlowGraph, 45ControlFlowGraph controlFlowGraph, 62ControlFlowGraph invokedCfg,

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\DisposeAnalysis\DisposeAnalysis.cs (2)

37ControlFlowGraph cfg, 82ControlFlowGraph cfg,

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\DisposeAnalysis\DisposeAnalysisContext.cs (4)

29ControlFlowGraph controlFlowGraph, 41ControlFlowGraph? parentControlFlowGraph, 67ControlFlowGraph controlFlowGraph, 93ControlFlowGraph invokedCfg,

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\DisposeAnalysis\DisposeAnalysisHelper.cs (1)

135var cfg = operationBlocks.GetControlFlowGraph();

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\GlobalFlowStateAnalysis\GlobalFlowStateAnalysis.cs (3)

21/// Dataflow analysis to track set of global <see cref="IAbstractAnalysisValue"/>s enabled on each control flow path at each <see cref="IOperation"/> in the <see cref="ControlFlowGraph"/>. 59ControlFlowGraph cfg, 89ControlFlowGraph cfg,

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\GlobalFlowStateAnalysis\GlobalFlowStateAnalysisContext.cs (4)

29ControlFlowGraph controlFlowGraph, 37ControlFlowGraph? parentControlFlowGraph, 57ControlFlowGraph controlFlowGraph, 76ControlFlowGraph invokedCfg,

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ParameterValidationAnalysis\ParameterValidationAnalysis.cs (3)

43var cfg = topmostBlock.GetEnclosingControlFlowGraph(); 59ControlFlowGraph cfg, 86ControlFlowGraph cfg,

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ParameterValidationAnalysis\ParameterValidationAnalysisContext.cs (4)

28ControlFlowGraph controlFlowGraph, 36ControlFlowGraph? parentControlFlowGraph, 52ControlFlowGraph controlFlowGraph, 70ControlFlowGraph invokedCfg,

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.cs (2)

31ControlFlowGraph cfg, 48ControlFlowGraph cfg,

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysisContext.cs (4)

26ControlFlowGraph controlFlowGraph, 35ControlFlowGraph? parentControlFlowGraph, 52ControlFlowGraph controlFlowGraph, 70ControlFlowGraph invokedCfg,

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PropertySetAnalysis\PropertySetAnalysis.cs (3)

50ControlFlowGraph cfg, 202var success = Operation.TryGetEnclosingControlFlowGraph(out ControlFlowGraph? enclosingControlFlowGraph); 245PropertySetAnalysisResult? InvokeDfaAndAccumulateResults(ControlFlowGraph cfg, ISymbol owningSymbol)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PropertySetAnalysis\PropertySetAnalysisContext.cs (4)

31ControlFlowGraph controlFlowGraph, 39ControlFlowGraph? parentControlFlowGraph, 74ControlFlowGraph controlFlowGraph, 109ControlFlowGraph invokedCfg,

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\TaintedDataAnalysis\TaintedDataAnalysis.cs (2)

29ControlFlowGraph cfg, 45ControlFlowGraph cfg,

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\TaintedDataAnalysis\TaintedDataAnalysisContext.cs (4)

26ControlFlowGraph controlFlowGraph, 35ControlFlowGraph? parentControlFlowGraph, 68ControlFlowGraph controlFlowGraph, 104ControlFlowGraph invokedCfg,

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ValueContentAnalysis\ValueContentAnalysis.cs (3)

30ControlFlowGraph cfg, 44ControlFlowGraph cfg, 79ControlFlowGraph cfg,

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ValueContentAnalysis\ValueContentAnalysisContext.cs (4)

27ControlFlowGraph controlFlowGraph, 37ControlFlowGraph? parentControlFlowGraph, 55ControlFlowGraph controlFlowGraph, 76ControlFlowGraph invokedCfg,

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AbstractDataFlowAnalysisContext.cs (7)

31ControlFlowGraph controlFlowGraph, 42ControlFlowGraph? parentControlFlowGraph, 78public ControlFlowGraph ControlFlowGraph { get; } 90protected ControlFlowGraph? ParentControlFlowGraph { get; } 98ControlFlowGraph invokedCfg, 104public ControlFlowGraph? GetLocalFunctionControlFlowGraph(IMethodSymbol localFunction) 130public ControlFlowGraph? GetAnonymousFunctionControlFlowGraph(IFlowAnonymousFunctionOperation lambda)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntityFactory.cs (2)

28private readonly ControlFlowGraph _controlFlowGraph; 44ControlFlowGraph controlFlowGraph,

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowAnalysis.cs (3)

57var cfg = analysisContext.ControlFlowGraph; 183ControlFlowGraph cfg, 801private static bool ComputeLoopRangeMap(ControlFlowGraph cfg, PooledDictionary<int, int> loopRangeMap)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowAnalysisResult.cs (2)

47ControlFlowGraph cfg, 208public ControlFlowGraph ControlFlowGraph { get; }

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowAnalysisResultBuilder.cs (1)

58ControlFlowGraph cfg,

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (14)

126/// Dictionary from interprocedural method symbols invoked to their corresponding <see cref="ControlFlowGraph"/>. 128private readonly Dictionary<IMethodSymbol, ControlFlowGraph?>? _interproceduralMethodToCfgMap; 2202Func<ControlFlowGraph?> getCfg, 2256var cfg = pointsToAnalysisResult?.ControlFlowGraph ?? 2595ControlFlowGraph cfg, 2643var cfg = pointsToAnalysisResult?.ControlFlowGraph ?? 2693var cfg = pointsToAnalysisResult?.ControlFlowGraph ?? 2733ControlFlowGraph cfg, 3163ControlFlowGraph? getCfg() => GetInterproceduralControlFlowGraph(method); 3541ControlFlowGraph? getCfg() => GetInterproceduralControlFlowGraph(method); 3547private ControlFlowGraph? GetInterproceduralControlFlowGraph(IMethodSymbol method) 3556if (!_interproceduralMethodToCfgMap.TryGetValue(method, out var cfg)) 3582ControlFlowGraph? getCfg() => DataFlowAnalysisContext.GetLocalFunctionControlFlowGraph(localFunction); 3600ControlFlowGraph? getCfg() => DataFlowAnalysisContext.GetAnonymousFunctionControlFlowGraph(lambda);

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\IDataFlowAnalysisContext.cs (3)

13ControlFlowGraph ControlFlowGraph { get; } 15ControlFlowGraph? GetLocalFunctionControlFlowGraph(IMethodSymbol localFunction); 16ControlFlowGraph? GetAnonymousFunctionControlFlowGraph(IFlowAnonymousFunctionOperation lambda);

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\IDataFlowAnalysisResult.cs (1)

13ControlFlowGraph ControlFlowGraph { get; }

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\InterproceduralAnalysisConfiguration.cs (2)

44ControlFlowGraph cfg, 84ControlFlowGraph cfg,

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\InterproceduralAnalysisData.cs (2)

39Func<IMethodSymbol, ControlFlowGraph?> getInterproceduralControlFlowGraph, 66public Func<IMethodSymbol, ControlFlowGraph?> GetInterproceduralControlFlowGraph { get; }

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\InterproceduralCaptureId.cs (2)

17internal InterproceduralCaptureId(CaptureId captureId, ControlFlowGraph controlFlowGraph, bool isLValueFlowCapture) 25public ControlFlowGraph ControlFlowGraph { get; }

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\LValueFlowCapturesProvider.cs (3)

23private static readonly ConditionalWeakTable<ControlFlowGraph, ImmutableHashSet<CaptureId>> s_lValueFlowCapturesCache = new(); 25public static ImmutableHashSet<CaptureId> GetOrCreateLValueFlowCaptures(ControlFlowGraph cfg) 28private static ImmutableHashSet<CaptureId> CreateLValueFlowCaptures(ControlFlowGraph cfg)

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\ControlFlowGraphExtensions.cs (4)

13public static BasicBlock EntryBlock(this ControlFlowGraph cfg) 20public static BasicBlock ExitBlock(this ControlFlowGraph cfg) 27public static IEnumerable<IOperation> DescendantOperations(this ControlFlowGraph cfg) 30public static IEnumerable<T> DescendantOperations<T>(this ControlFlowGraph cfg, OperationKind operationKind)

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\OperationExtensions.cs (1)

308public static bool IsInsideCatchRegion(this IOperation operation, ControlFlowGraph cfg)

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (1)

28public static TBlockAnalysisData Run(ControlFlowGraph controlFlowGraph, DataFlowAnalyzer<TBlockAnalysisData> analyzer, CancellationToken cancellationToken)

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\LValueFlowCaptureProvider.cs (1)

40public static ImmutableDictionary<CaptureId, FlowCaptureKind> CreateLValueFlowCaptures(ControlFlowGraph cfg)

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.BasicBlockAnalysisData.cs (1)

15/// Analysis data for a particular <see cref="BasicBlock"/> for <see cref="ControlFlowGraph"/>

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.cs (1)

26public static SymbolUsageResult Run(ControlFlowGraph cfg, ISymbol owningSymbol, CancellationToken cancellationToken)

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.DataFlowAnalyzer.cs (4)

25private DataFlowAnalyzer(ControlFlowGraph cfg, ISymbol owningSymbol) 29ControlFlowGraph cfg, 40public static SymbolUsageResult RunAnalysis(ControlFlowGraph cfg, ISymbol owningSymbol, CancellationToken cancellationToken) 53ControlFlowGraph cfg,

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.DataFlowAnalyzer.FlowGraphAnalysisData.cs (29)