Module AccessPathSyntax

Module for parsing access paths from MaD models, both the identifying access path used by dynamic languages, and the input/output specifications for summary steps.

This file is used by the shared data flow library and by the JavaScript libraries (which does not use the shared data flow libraries).

Import path

import codeql.dataflow.internal.AccessPathSyntax

Predicates

parseInt	Parses an integer constant `n` or interval `n1..n2` (inclusive) and gets the value of the constant or any value contained in the interval.
parseLowerBound	Parses a lower-bounded interval `n..` and gets the lower bound.

Classes

AccessPathTokenBase

An access path token such as Argument[1] or ReturnValue.

Modules

AccessPath

Companion module to the AccessPath class.

Predicate signatures

accessPathRangeSig