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.
Optional ReadonlyincludeIf set (and slicing backward), continue the slice past a function-definition boundary: whenever the
slice reaches a node that lives inside a function definition, also include the vertex that binds/defines
the function (e.g. f <- function(...)) as well as all of its call sites (and their arguments).
Defaults to false (slicing stops at the function-definition boundary, the historic behavior).
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.