CodeQL library for Rust

codeql/rust-all 0.1.13 (changelog, source)

Module Content

Provides the Content class and subclasses thereof.

Import path

import codeql.rust.dataflow.internal.Content

Classes

CapturedVariableContent	A captured variable.
Content	A path to a value contained in an object. For example a field name of a struct.
ContentSet	A value that represents a set of `Content`s.
ElementContent	An element in a collection where we do not track the specific collection type nor the placement of the element in the collection. Therefore the collection should be one where the elements are reasonably homogeneous, i.e., if one is tainted all elements are considered tainted.
FieldContent	A field belonging to either a variant or a struct.
FunctionCallArgumentContent	A content for the index of an argument to at function call.
FunctionCallReturnContent	A content for the return value of function call.
FutureContent	A value that a future resolves to.
OptionalBarrier	A step in a flow summary defined using `OptionalBarrier[name]`. An `OptionalBarrier` is “opt-out”, by default data can flow freely through the step. Flow through the step can be explicity blocked by defining its node as a barrier.
OptionalStep	A step in a flow summary defined using `OptionalStep[name]`. An `OptionalStep` is “opt-in”, which means that by default the step is not present in the flow summary and needs to be explicitly enabled by defining an additional flow step.
ReferenceContent	A value referred to by a reference.
SingletonContentSet
StructFieldContent	A record field belonging to either a variant or a struct.
TupleFieldContent	A tuple field belonging to either a variant or a struct.
TuplePositionContent	Content stored at a position in a tuple.

Datatypes