CodeQL library for C#
Search

Module AccessPath

Provides predicates for constructing access paths.

Import path

import semmle.code.csharp.dataflow.LibraryTypeDataFlow

Predicates

cons

Gets the access path obtained by concatenating head onto tail.

element

Gets the singleton “element content” access path.

empty

Gets the empty access path.

field

Gets a singleton field access path.

properties

Gets an access path representing a property inside a collection.

property

Gets a singleton property access path.

singleton

Gets a singleton access path containing c.