ReadonlyastNormalized AST, used for id resolution and nesting info.
Optional ReadonlycacheMemoization cache that can be shared across multiple slices on the same graph.
ReadonlyctxThe analyzer context (environments, configuration).
Optional ReadonlydirectionWhether to slice forward or backward. Defaults to SliceDirection.Backward.
ReadonlyidsSeed node ids to start the BFS from. At least one is required.
ReadonlyinfoDataflow information including the graph to traverse.
Optional ReadonlyslicePre-built graph to use for BFS traversal instead of (possibly inverting) info.graph.
info.graph is still consulted for function-call resolution, so it must remain the non-inverted original.
Used by staticDice to pass a reduced-and-inverted graph in a single allocation.
Optional ReadonlythresholdMaximum BFS visits before the algorithm switches to over-approximation (includes everything). Defaults to 75.
Options for staticSlice.