CodeQL library for Rust
codeql/rust-all 0.2.5-dev (changelog, source)
Search

Module Concepts

Provides abstract classes representing generic concepts such as file system access or system command execution, for which individual framework libraries provide concrete subclasses.

Import path

import codeql.rust.Concepts

Classes

ActiveThreatModelSource

A data flow source that is enabled in the current threat model configuration.

ModeledCommandLineArgsSource

An externally modeled source for command line arguments.

ModeledDatabaseSource

An externally modeled source for data from the program’s database.

ModeledEnvironmentSource

An externally modeled source for data from the program’s environment.

ModeledFileSource

An externally modeled source for data from a file access.

ModeledRemoteSource

An externally modeled source for remote (network) data.

ModeledStdInSourceSource

An externally modeled source for data from standard input.

Modules

CommandLineArgsSource

Provides a class for modeling new sources for the program’s command line arguments or path.

Cryptography

Provides models for cryptographic things.

DatabaseSource

Provides a class for modeling new sources for the program’s database reads.

EnvironmentSource

Provides a class for modeling new sources for the program’s environment.

FileSource

Provides a class for modeling new sources for file accesses.

Path

Provides classes for modeling path-related APIs.

QuerySink

Provides a class for modeling new query sinks.

RemoteSource

Provides a class for modeling new sources of remote (network) data.

SqlConstruction

Provides a class for modeling new SQL execution APIs.

SqlExecution

Provides a class for modeling new SQL execution APIs.

SqlSanitization

Provides a class for modeling new SQL sanitization APIs.

StdInSource

Provides a class for modeling new sources for standard input.

ThreatModelSource

Provides a class for modeling new sources for specific threat-models.

Aliases

CommandLineArgsSource

A data flow source corresponding to the program’s command line arguments or path.

DatabaseSource

A data flow source corresponding to the program’s database reads.

EnvironmentSource

A data flow source corresponding to the program’s environment.

FileSource

A data flow source corresponding to a file access.

QuerySink

A data flow sink that is used in a query.

RemoteSource

A data flow source for remote (network) data.

SqlConstruction

A data flow node that constructs a SQL statement (for later execution).

SqlExecution

A data flow node that constructs and executes SQL statements.

SqlSanitization

A data flow node that performs SQL sanitization.

StdInSource

A data flow source corresponding to standard input.

ThreatModelSource

A data flow source for a specific threat-model.