CodeQL library for C#
codeql/csharp-all 4.0.1-dev (changelog, source)
Search

Module AccessPath

Companion module to the AccessPath class.

Import path

import codeql.dataflow.internal.AccessPathSyntax

Predicates

parseIntUnbounded

Parses an integer constant or interval (bounded or unbounded) and gets any of the integers contained within (of which there may be infinitely many).

parseIntWithArity

Parses an integer constant or interval (bounded or unbounded) that may reference the arity of a call, such as N-1 or N-3..N-1.

Classes

AccessPath

A string that occurs as an access path (either identifying or input/output spec) which might be relevant for this database.

AccessPathToken

An access path token such as Argument[1] or ReturnValue, appearing in one or more access paths.

Parameters

accessPathRangeaccessPathRangeSig