CodeQL library for C/C++

codeql/cpp-all 12.0.3 (changelog, source)

Module SsaImplCommon

Import path

import semmle.code.cpp.ir.dataflow.internal.SsaImplCommon

Imports

Cached
IR	Provides classes that describe the Intermediate Representation (IR) of the program.
IRCppLanguage
IsModifiableAtImpl

Predicates

countIndirectionsForCppType	Gets the maximum number of indirections a value of C++ type `langType` can have.
getLanguageType	Gets the C++ type of the operand `operand`. This is equivalent to the type of the operand’s defining instruction.
getMaxIndirectionsForType	Gets the maximum number of indirections a glvalue of type `type` can have. For example: - If `type = int`, the result is 1 - If `type = MyStruct`, the result is 1 - If `type = char*`, the result is 2
isDereference	Holds if `deref` is the result of loading the value at the address represented by `address`.
isWrite

Classes

BaseCallVariable
BaseIRVariable
BaseSourceVariable
BaseSourceVariableInstruction
Indirection	An abstract class for handling indirections.

Datatypes

TBaseSourceVariable

Aliases

Cpp	Provides classes and predicates for working with C/C++ code.