For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

Index

This is the generated API documentation for the CodeQL library pack


                                codeql/cpp-all

at version


                                0.9.3

( changelog , source ) .

Index

A

ASTValueNumbering	module
AbstractClass	class declared in Class
Access	module
Access	class declared in Access
AccessHolder	class declared in Declaration
AccessSpecifier	class declared in Specifier
Add	class declared in Opcode
AddExpr	class declared in ArithmeticOperation
AddInstruction	class declared in Instruction
AdditionalControlFlowEdge	class declared in ControlFlowGraph
AddressOfExpr	class declared in Expr
AddressOperand	class declared in Operand
AggregateLiteral	class declared in Literal
Alias	module
AliasFunction	class declared in Alias
AliasedDefinition	class declared in Opcode
AliasedDefinitionInstruction	class declared in Instruction
AliasedUse	class declared in Opcode
AliasedUseInstruction	class declared in Instruction
AlignAs	class declared in Specifier
AlignofExprOperator	class declared in Cast
AlignofOperator	class declared in Cast
AlignofTypeOperator	class declared in Cast
Alloc	module
Allocation	module
AllocationExpr	class declared in Allocation
AllocationFunction	class declared in Allocation
AllocationToInvalidPointer	module
AnalysedExpr	class declared in Nullness
AnalyzedString	class declared in StringAnalysis
Architecture	class declared in Padding
ArgumentOperand	class declared in Operand
ArithmeticConversion	class declared in Cast
ArithmeticInstruction	class declared in Instruction
ArithmeticOpcode	class declared in Opcode
ArithmeticOperation	module
ArithmeticType	class declared in Type
ArrayAggregateLiteral	class declared in Literal
ArrayExecFunctionCall	class declared in CommandExecution
ArrayExpr	class declared in Access
ArrayExprBA	class declared in BufferAccess
ArrayFunction	module
ArrayFunction	class declared in ArrayFunction
ArrayOrVectorAggregateLiteral	class declared in Literal
ArrayToPointerConversion	class declared in Cast
ArrayType	class declared in Type
AsmStmt	class declared in Stmt
Assertion	class declared in Assertions
Assertions	module
AssignAddExpr	class declared in Assignment
AssignAndExpr	class declared in Assignment
AssignArithmeticOperation	class declared in Assignment
AssignBitwiseOperation	class declared in Assignment
AssignDivExpr	class declared in Assignment
AssignExpr	class declared in Assignment
AssignLShiftExpr	class declared in Assignment
AssignMulExpr	class declared in Assignment
AssignOperation	class declared in Assignment
AssignOrExpr	class declared in Assignment
AssignPointerAddExpr	class declared in Assignment
AssignPointerSubExpr	class declared in Assignment
AssignRShiftExpr	class declared in Assignment
AssignRemExpr	class declared in Assignment
AssignSubExpr	class declared in Assignment
AssignXorExpr	class declared in Assignment
Assignment	module
Assignment	class declared in Assignment
AssumeExpr	class declared in Expr
AstNode	class declared in PrintAST
Attribute	class declared in Specifier
AttributeArgument	class declared in Specifier
AttributeFormattingFunction	class declared in Printf
AutoType	class declared in Type
AutogeneratedFile	module
AutogeneratedFile	class declared in AutogeneratedFile
accessInDirectDerived	member predicate declared in AccessSpecifier
accessOfBaseMember	member predicate declared in Class
accessOfBaseMember	member predicate declared in Class
accesses	member predicate declared in Function
accesses	member predicate declared in Function
accessesLocalField	member predicate declared in MetricClass
adjacentDefNoUncertainReads	predicate declared in Make
adjacentDefRead	predicate declared in Make
adjacentDefReadExt	predicate declared in Make
affectedByMacro	predicate declared in Macro
aggInitExprsUpTo	predicate declared in HashCons
aggregateLiteralChild	predicate declared in PointsTo
alignment	member predicate declared in Architecture
allCalls	predicate declared in CallGraph
allCharactersString	member predicate declared in XmlParent
allocateDescriptorCall	predicate declared in PointsTo
allocationToInvalidPointerFieldFlowBranchLimit	predicate declared in AllocationToInvalidPointer
allowHeterogeneousBitfields	member predicate declared in Architecture
allowHeterogeneousBitfields	member predicate declared in UnixArchitecture
allowHeterogeneousBitfields	member predicate declared in WindowsArchitecture
allowImplicitRead	member predicate declared in Configuration
allowImplicitRead	member predicate declared in Configuration
allowImplicitRead	member predicate declared in Configuration
allowImplicitRead	member predicate declared in Configuration
allowImplicitRead	member predicate declared in Configuration
allowImplicitRead	member predicate declared in Configuration
allowImplicitRead	member predicate declared in Configuration
allowImplicitRead	member predicate declared in Configuration
allowImplicitRead	member predicate declared in Configuration
allowImplicitRead	member predicate declared in Configuration
allowImplicitRead	member predicate declared in Configuration
allowImplicitRead	member predicate declared in Configuration
allowImplicitRead	member predicate declared in Configuration
allowInterproceduralFlow	member predicate declared in MustFlowConfiguration
alwaysCheckReturnValue	member predicate declared in Options
alwaysCheckReturnValue	member predicate declared in CustomOptions
alwaysCheckReturnValue	predicate declared in Options
alwaysPrintLabel	member predicate declared in OperandTag
analyzableExpr	predicate declared in HashCons
anyFileCompiledAsMicrosoft	predicate declared in File
anythingPointsTo	predicate declared in PointsTo
argv	predicate declared in Security
asConvertedExpr	member predicate declared in Node
asDefiningArgument	member predicate declared in Node
asDefiningArgument	member predicate declared in Node
asDefiningArgument	member predicate declared in Node
asExpr	member predicate declared in Node
asExpr	member predicate declared in Node
asExprInternal	predicate declared in ExprFlowCached
asIndirectArgument	member predicate declared in Node
asIndirectArgument	member predicate declared in Node
asIndirectConvertedExpr	member predicate declared in Node
asIndirectConvertedExpr	member predicate declared in Node
asIndirectExpr	member predicate declared in Node
asIndirectExpr	member predicate declared in Node
asIndirectVariable	member predicate declared in Node
asIndirectVariable	member predicate declared in Node
asInstruction	member predicate declared in Node
asOperand	member predicate declared in Node
asParameter	member predicate declared in Node
asParameter	member predicate declared in Node
asParameter	member predicate declared in Node
asPartialDefinition	member predicate declared in Node
asPartialDefinition	member predicate declared in Node
asPathNode1	member predicate declared in DataFlowMake :: MergePathGraph3 :: PathNode
asPathNode1	member predicate declared in DataFlowMake :: MergePathGraph :: PathNode
asPathNode2	member predicate declared in DataFlowMake :: MergePathGraph3 :: PathNode
asPathNode2	member predicate declared in DataFlowMake :: MergePathGraph :: PathNode
asPathNode3	member predicate declared in DataFlowMake :: MergePathGraph3 :: PathNode
asSome	member predicate declared in Option :: Option
asUninitialized	member predicate declared in Node
asUninitialized	member predicate declared in Node
asVariable	member predicate declared in Node
assignedBy	member predicate declared in DataflowAnnotation

B

BCopyBA	class declared in BufferAccess
BadIncludeGuard	class declared in MultipleInclusion
BarrierGuard	class declared in DataFlowUtil
BarrierGuard	module declared in DataFlowUtil
BarrierGuard	class declared in DataFlowUtil
BarrierGuard	module declared in DataFlowUtil
BaseAstNode	class declared in PrintAST
BaseClassConversion	class declared in Cast
BaseSourceVariableInstruction	class declared in SsaInternalsCommon
BasicBlock	class declared in BasicBlocks
BasicBlocks	module
BasicOStreamCall	class declared in FileWrite
BasicOStreamClass	class declared in FileWrite
BinaryArithmeticInstruction	class declared in Instruction
BinaryArithmeticOpcode	class declared in Opcode
BinaryArithmeticOperation	class declared in ArithmeticOperation
BinaryBitwiseInstruction	class declared in Instruction
BinaryBitwiseOpcode	class declared in Opcode
BinaryBitwiseOperation	class declared in BitwiseOperation
BinaryFloatingPointType	class declared in Type
BinaryInstruction	class declared in Instruction
BinaryLogicalOperation	class declared in LogicalOperation
BinaryOpcode	class declared in Opcode
BinaryOperation	class declared in Expr
BitAnd	class declared in Opcode
BitAndInstruction	class declared in Instruction
BitComplement	class declared in Opcode
BitComplementInstruction	class declared in Instruction
BitField	class declared in Field
BitOr	class declared in Opcode
BitOrInstruction	class declared in Instruction
BitXor	class declared in Opcode
BitXorInstruction	class declared in Instruction
BitwiseAndExpr	class declared in BitwiseOperation
BitwiseInstruction	class declared in Instruction
BitwiseOpcode	class declared in Opcode
BitwiseOperation	module
BitwiseOrExpr	class declared in BitwiseOperation
BitwiseXorExpr	class declared in BitwiseOperation
Block	module
BlockAssignExpr	class declared in Assignment
BlockExpr	class declared in Expr
BlockStmt	class declared in Block
BlockType	class declared in Type
BoolConversion	class declared in Cast
BoolType	class declared in Type
BoostorgAsio	module declared in protocols
Bound	class declared in RangeAnalysis
BreakStmt	class declared in Stmt
Buffer	module
BufferAccess	module
BufferAccess	class declared in BufferAccess
BufferAccessOpcode	class declared in Opcode
BufferMayWriteSideEffect	class declared in Opcode
BufferMayWriteSideEffectInstruction	class declared in Instruction
BufferMemoryAccess	class declared in MemoryAccessKind
BufferMustWriteSideEffect	class declared in Opcode
BufferMustWriteSideEffectInstruction	class declared in Instruction
BufferReadSideEffect	class declared in Opcode
BufferReadSideEffectInstruction	class declared in Instruction
BufferSizeOperand	class declared in Operand
BufferWrite	module
BufferWrite	class declared in BufferWrite
BufferWriteCall	class declared in BufferWrite
BufferWriteEstimationReason	class declared in Printf
BuiltIn	class declared in Opcode
BuiltInBitCast	class declared in BuiltInOperations
BuiltInChooseExpr	class declared in BuiltInOperations
BuiltInComplexOperation	class declared in BuiltInOperations
BuiltInFunction	class declared in Function
BuiltInInstruction	class declared in Instruction
BuiltInIntAddr	class declared in BuiltInOperations
BuiltInNoOp	class declared in BuiltInOperations
BuiltInOperation	class declared in BuiltInOperations
BuiltInOperationArrayExtent	class declared in BuiltInOperations
BuiltInOperationArrayRank	class declared in BuiltInOperations
BuiltInOperationBuiltInAddressOf	class declared in BuiltInOperations
BuiltInOperationBuiltInConvertVector	class declared in BuiltInOperations
BuiltInOperationBuiltInOffsetOf	class declared in BuiltInOperations
BuiltInOperationBuiltInShuffle	class declared in BuiltInOperations
BuiltInOperationBuiltInShuffleVector	class declared in BuiltInOperations
BuiltInOperationBuiltInTypesCompatibleP	class declared in BuiltInOperations
BuiltInOperationHasAssign	class declared in BuiltInOperations
BuiltInOperationHasCopy	class declared in BuiltInOperations
BuiltInOperationHasFinalizer	class declared in BuiltInOperations
BuiltInOperationHasNoThrowAssign	class declared in BuiltInOperations
BuiltInOperationHasNoThrowConstructor	class declared in BuiltInOperations
BuiltInOperationHasNoThrowCopy	class declared in BuiltInOperations
BuiltInOperationHasNothrowMoveAssign	class declared in BuiltInOperations
BuiltInOperationHasTrivialAssign	class declared in BuiltInOperations
BuiltInOperationHasTrivialConstructor	class declared in BuiltInOperations
BuiltInOperationHasTrivialCopy	class declared in BuiltInOperations
BuiltInOperationHasTrivialDestructor	class declared in BuiltInOperations
BuiltInOperationHasTrivialMoveAssign	class declared in BuiltInOperations
BuiltInOperationHasTrivialMoveConstructor	class declared in BuiltInOperations
BuiltInOperationHasUniqueObjectRepresentations	class declared in BuiltInOperations
BuiltInOperationHasUserDestructor	class declared in BuiltInOperations
BuiltInOperationHasVirtualDestructor	class declared in BuiltInOperations
BuiltInOperationInstruction	class declared in Instruction
BuiltInOperationIsAbstract	class declared in BuiltInOperations
BuiltInOperationIsAggregate	class declared in BuiltInOperations
BuiltInOperationIsArithmetic	class declared in BuiltInOperations
BuiltInOperationIsArray	class declared in BuiltInOperations
BuiltInOperationIsAssignable	class declared in BuiltInOperations
BuiltInOperationIsBaseOf	class declared in BuiltInOperations
BuiltInOperationIsClass	class declared in BuiltInOperations
BuiltInOperationIsCompleteType	class declared in BuiltInOperations
BuiltInOperationIsCompound	class declared in BuiltInOperations
BuiltInOperationIsConst	class declared in BuiltInOperations
BuiltInOperationIsConstructible	class declared in BuiltInOperations
BuiltInOperationIsConvertibleTo	class declared in BuiltInOperations
BuiltInOperationIsDelegate	class declared in BuiltInOperations
BuiltInOperationIsDestructible	class declared in BuiltInOperations
BuiltInOperationIsEmpty	class declared in BuiltInOperations
BuiltInOperationIsEnum	class declared in BuiltInOperations
BuiltInOperationIsFinal	class declared in BuiltInOperations
BuiltInOperationIsFloatingPoint	class declared in BuiltInOperations
BuiltInOperationIsFunction	class declared in BuiltInOperations
BuiltInOperationIsFundamental	class declared in BuiltInOperations
BuiltInOperationIsIntegral	class declared in BuiltInOperations
BuiltInOperationIsInterfaceClass	class declared in BuiltInOperations
BuiltInOperationIsLayoutCompatible	class declared in BuiltInOperations
BuiltInOperationIsLiteralType	class declared in BuiltInOperations
BuiltInOperationIsLvalueReference	class declared in BuiltInOperations
BuiltInOperationIsMemberFunctionPointer	class declared in BuiltInOperations
BuiltInOperationIsMemberObjectPointer	class declared in BuiltInOperations
BuiltInOperationIsMemberPointer	class declared in BuiltInOperations
BuiltInOperationIsNothrowAssignable	class declared in BuiltInOperations
BuiltInOperationIsNothrowConstructible	class declared in BuiltInOperations
BuiltInOperationIsNothrowDestructible	class declared in BuiltInOperations
BuiltInOperationIsObject	class declared in BuiltInOperations
BuiltInOperationIsPod	class declared in BuiltInOperations
BuiltInOperationIsPointer	class declared in BuiltInOperations
BuiltInOperationIsPointerInterconvertibleBaseOf	class declared in BuiltInOperations
BuiltInOperationIsPolymorphic	class declared in BuiltInOperations
BuiltInOperationIsRefArray	class declared in BuiltInOperations
BuiltInOperationIsRefClass	class declared in BuiltInOperations
BuiltInOperationIsReference	class declared in BuiltInOperations
BuiltInOperationIsRvalueReference	class declared in BuiltInOperations
BuiltInOperationIsSame	class declared in BuiltInOperations
BuiltInOperationIsScalar	class declared in BuiltInOperations
BuiltInOperationIsSealed	class declared in BuiltInOperations
BuiltInOperationIsSigned	class declared in BuiltInOperations
BuiltInOperationIsSimpleValueClass	class declared in BuiltInOperations
BuiltInOperationIsStandardLayout	class declared in BuiltInOperations
BuiltInOperationIsTriviallyAssignable	class declared in BuiltInOperations
BuiltInOperationIsTriviallyConstructible	class declared in BuiltInOperations
BuiltInOperationIsTriviallyCopyable	class declared in BuiltInOperations
BuiltInOperationIsTriviallyDestructible	class declared in BuiltInOperations
BuiltInOperationIsUnion	class declared in BuiltInOperations
BuiltInOperationIsUnsigned	class declared in BuiltInOperations
BuiltInOperationIsValueClass	class declared in BuiltInOperations
BuiltInOperationIsVoid	class declared in BuiltInOperations
BuiltInOperationIsVolatile	class declared in BuiltInOperations
BuiltInOperationOpcode	class declared in Opcode
BuiltInOperations	module
BuiltInType	class declared in Type
BuiltInVarArg	class declared in BuiltInOperations
BuiltInVarArgCopy	class declared in BuiltInOperations
BuiltInVarArgsEnd	class declared in BuiltInOperations
BuiltInVarArgsList	class declared in CommonType
BuiltInVarArgsStart	class declared in BuiltInOperations
barrierSqlArgument	member predicate declared in SqlBarrierFunction
baseClassEnd	member predicate declared in PaddedType
baseClassSize	member predicate declared in Architecture
baseClassSize	member predicate declared in UnixArchitecture
baseClassSize	member predicate declared in WindowsArchitecture
bbDominates	predicate declared in Dominance
bbIDominates	predicate declared in Dominance
bbIPostDominates	predicate declared in Dominance
bbPostDominates	predicate declared in Dominance
bbStrictlyDominates	predicate declared in Dominance
bbStrictlyPostDominates	predicate declared in Dominance
bbSuccessorEntryReachesLoopInvariant	predicate declared in StackVariableReachability
biggestAlignmentUpTo	member predicate declared in PaddedType
biggestFieldSizeUpTo	member predicate declared in PaddedType
bitSize	member predicate declared in Architecture
blame	member predicate declared in BadIncludeGuard
blame	member predicate declared in PragmaOnceIncludeGuard
boolean	primitive type
bounded	predicate declared in RangeAnalysis
bounded1	predicate declared in RangeAnalysisUtil
bounded2	predicate declared in RangeAnalysisUtil
breaksFromNestedLoops	member predicate declared in GotoStmt

C

CFile	class declared in File
CStyleCast	class declared in Cast
CStyleComment	class declared in Comments
CTypedefType	class declared in TypedefType
Call	module
Call	class declared in Call
Call	class declared in Opcode
CallGraph	module
CallInstruction	class declared in Instruction
CallReadSideEffect	class declared in Opcode
CallReadSideEffectInstruction	class declared in Instruction
CallSideEffect	class declared in Opcode
CallSideEffectInstruction	class declared in Instruction
CallTargetOperand	class declared in Operand
CaseEdge	class declared in EdgeKind
Cast	module
Cast	class declared in Cast
CastConsistency	module declared in Cast
CastNode	class declared in PrintAST
CatchAny	class declared in Opcode
CatchAnyBlock	class declared in Stmt
CatchAnyInstruction	class declared in Instruction
CatchBlock	class declared in Stmt
CatchByType	class declared in Opcode
CatchByTypeInstruction	class declared in Instruction
CatchInstruction	class declared in Instruction
CatchOpcode	class declared in Opcode
ChainedOutputCall	class declared in FileWrite
Char16Type	class declared in Type
Char32Type	class declared in Type
Char8Type	class declared in Type
CharLiteral	class declared in Literal
CharPointerType	class declared in CommonType
CharType	class declared in Type
CheckedConvertOrNull	class declared in Opcode
CheckedConvertOrNullInstruction	class declared in Instruction
CheckedConvertOrThrow	class declared in Opcode
CheckedConvertOrThrowInstruction	class declared in Instruction
Chi	class declared in Opcode
ChiInstruction	class declared in Instruction
ChiPartialMemoryAccess	class declared in MemoryAccessKind
ChiPartialOperand	class declared in Operand
ChiTotalMemoryAccess	class declared in MemoryAccessKind
ChiTotalOperand	class declared in Operand
Class	module
Class	class declared in Class
ClassAggregateLiteral	class declared in Literal
ClassDerivation	class declared in Class
ClassTemplateInstantiation	class declared in Class
ClassTemplateSpecialization	class declared in Class
Closure	class declared in Lambda
CoAwaitExpr	class declared in Expr
CoReturnStmt	class declared in Stmt
CoYieldExpr	class declared in Expr
CommaExpr	class declared in Expr
CommandExecution	module
CommandExecution	module
CommandExecutionFunction	class declared in CommandExecution
Comment	class declared in Comments
Comments	module
CommonType	module
CompareEQ	class declared in Opcode
CompareEQInstruction	class declared in Instruction
CompareGE	class declared in Opcode
CompareGEInstruction	class declared in Instruction
CompareGT	class declared in Opcode
CompareGTInstruction	class declared in Instruction
CompareInstruction	class declared in Instruction
CompareLE	class declared in Opcode
CompareLEInstruction	class declared in Instruction
CompareLT	class declared in Opcode
CompareLTInstruction	class declared in Instruction
CompareNE	class declared in Opcode
CompareNEInstruction	class declared in Instruction
CompareOpcode	class declared in Opcode
ComparisonOperation	module
ComparisonOperation	class declared in ComparisonOperation
Compilation	module
Compilation	class declared in Compilation
CompilerCatastrophe	class declared in Diagnostics
CompilerDiscretionaryError	class declared in Diagnostics
CompilerError	class declared in Diagnostics
CompilerRemark	class declared in Diagnostics
CompilerWarning	class declared in Diagnostics
ComplementExpr	class declared in BitwiseOperation
CompleteObjectAddress	class declared in Opcode
CompleteObjectAddressInstruction	class declared in Instruction
ComplexDomain	class declared in Type
ComplexNumberType	class declared in Type
ComputedGotoStmt	class declared in Stmt
CondReason	class declared in RangeAnalysis
ConditionDeclExpr	class declared in Assignment
ConditionOperand	class declared in Operand
ConditionalBranch	class declared in Opcode
ConditionalBranchInstruction	class declared in Instruction
ConditionalExpr	class declared in LogicalOperation
ConditionalStmt	class declared in Stmt
Configs	module declared in DataFlow
Configuration	class declared in DataFlowImpl1
Configuration	class declared in DataFlowImpl1
Configuration	class declared in DataFlowImpl2
Configuration	class declared in DataFlowImpl2
Configuration	class declared in DataFlowImpl3
Configuration	class declared in DataFlowImpl3
Configuration	class declared in DataFlowImpl4
Configuration	class declared in DataFlowImpl4
Configuration	class declared in TaintTrackingImpl
Configuration	class declared in TaintTrackingImpl
Configuration	class declared in TaintTrackingImpl
Configuration	class declared in TaintTrackingImpl
Configuration	class declared in TaintTrackingImpl
ConjugationExpr	class declared in ArithmeticOperation
Consistency	module declared in Make
ConstCast	class declared in Cast
ConstMemberFunction	class declared in MemberFunction
Constant	class declared in Opcode
ConstantInstruction	class declared in Instruction
ConstantValueInstruction	class declared in Instruction
Constants	module
ConstexprIfStmt	class declared in Stmt
Constructor	class declared in MemberFunction
ConstructorBaseInit	class declared in Call
ConstructorCall	class declared in Call
ConstructorDelegationInit	class declared in Call
ConstructorDirectInit	class declared in Call
ConstructorFieldInit	class declared in Call
ConstructorInit	class declared in Call
ConstructorInitializersNode	class declared in PrintAST
ConstructorVirtualInit	class declared in Call
Container	class declared in File
Content	class declared in DataFlowUtil
Content	class declared in DataFlowUtil
ContentSet	class declared in DataFlowUtil
ContentSet	class declared in DataFlowUtil
ContinueStmt	class declared in Stmt
ControlFlowGraph	module
ControlFlowNode	class declared in ControlFlowGraph
ControlFlowNodeBase	class declared in ControlFlowGraph
ControlStructure	class declared in Stmt
Conversion	class declared in Cast
ConversionNode	class declared in PrintAST
ConversionOperator	class declared in MemberFunction
Convert	class declared in Opcode
ConvertInstruction	class declared in Instruction
ConvertToBaseInstruction	class declared in Instruction
ConvertToBaseOpcode	class declared in Opcode
ConvertToDerived	class declared in Opcode
ConvertToDerivedInstruction	class declared in Instruction
ConvertToNonVirtualBase	class declared in Opcode
ConvertToNonVirtualBaseInstruction	class declared in Instruction
ConvertToVirtualBase	class declared in Opcode
ConvertToVirtualBaseInstruction	class declared in Instruction
CopyAssignmentOperator	class declared in MemberFunction
CopyConstructor	class declared in MemberFunction
CopyInstruction	class declared in Instruction
CopyOpcode	class declared in Opcode
CopyValue	class declared in Opcode
CopyValueInstruction	class declared in Instruction
CorrectIncludeGuard	class declared in MultipleInclusion
CppFile	class declared in File
CppStyleComment	class declared in Comments
CppType	class declared in CppType
CrementOperation	class declared in ArithmeticOperation
CustomMutexType	class declared in Options
CustomOptions	class declared in Options
CustomSecurityOptions	class declared in SecurityOptions
callByReference	predicate declared in Dataflow
callDereferences	predicate declared in Dereferenced
callMayReturnNull	predicate declared in Nullness
calls	member predicate declared in Function
calls	member predicate declared in Function
canAccessClass	member predicate declared in AccessHolder
canAccessMember	member predicate declared in AccessHolder
canValueFlow	predicate declared in StringAnalysis
caseEdge	predicate declared in EdgeKind
charLoc	member predicate declared in Location
checkedNull	predicate declared in Nullness
checkedValid	predicate declared in Nullness
checks	member predicate declared in BarrierGuard
checks	member predicate declared in BarrierGuard
checksInstr	member predicate declared in BarrierGuard
children	predicate declared in PointsTo
childrenByElement	predicate declared in PointsTo
cmpWithLinearBound	predicate declared in RangeAnalysisUtils
combineWith	member predicate declared in BufferWriteEstimationReason
comparesEq	member predicate declared in GuardCondition
comparesEq	member predicate declared in GuardCondition
comparesEq	member predicate declared in IRGuardCondition
comparesLt	member predicate declared in GuardCondition
comparesLt	member predicate declared in GuardCondition
comparesLt	member predicate declared in IRGuardCondition
compiledAsC	member predicate declared in File
compiledAsCpp	member predicate declared in File
compiledAsMicrosoft	member predicate declared in File
compoundEdge	predicate declared in PointsTo
conditionAlwaysFalse	member predicate declared in ForStmt
conditionAlwaysFalse	member predicate declared in WhileStmt
conditionAlwaysTrue	member predicate declared in ForStmt
conditionAlwaysTrue	member predicate declared in WhileStmt
conditionAlwaysTrueUponEntry	member predicate declared in ForStmt
conditionAlwaysTrueUponEntry	member predicate declared in WhileStmt
confidence	member predicate declared in PointsToExpr
constructorMightRunOnStack	predicate declared in StackAddress
contains	member predicate declared in BasicBlock
contains	member predicate declared in SubBasicBlock
controls	member predicate declared in GuardCondition
controls	member predicate declared in GuardCondition
controls	member predicate declared in IRGuardCondition
controlsEdge	member predicate declared in IRGuardCondition
conversionFlow	predicate declared in DataFlowUtil
convertedBounded	predicate declared in RangeAnalysis
convertedExprMightOverflow	predicate declared in SimpleRangeAnalysis
convertedExprMightOverflowNegatively	predicate declared in SimpleRangeAnalysis
convertedExprMightOverflowPositively	predicate declared in SimpleRangeAnalysis
convertedExprNode	predicate declared in DataFlowUtil
correctIncludeGuard	predicate declared in MultipleInclusion
couldAccessMember	member predicate declared in AccessHolder
cpp	module
cyclomaticComplexityBranches	predicate declared in MetricFunction

D

DataFlow	module
DataFlow	module
DataFlow	module
DataFlow	module
DataFlow	module
DataFlow	module declared in DataFlow
DataFlow	module declared in DataFlow
DataFlow	module declared in DataFlow
DataFlow2	module
DataFlow2	module
DataFlow2	module
DataFlow2	module declared in DataFlow2
DataFlow2	module declared in DataFlow2
DataFlow2	module declared in DataFlow2
DataFlow3	module
DataFlow3	module
DataFlow3	module
DataFlow3	module declared in DataFlow3
DataFlow3	module declared in DataFlow3
DataFlow3	module declared in DataFlow3
DataFlow4	module
DataFlow4	module
DataFlow4	module
DataFlow4	module declared in DataFlow4
DataFlow4	module declared in DataFlow4
DataFlow4	module declared in DataFlow4
DataFlowFunction	class declared in DataFlow
DataFlowImpl1	module
DataFlowImpl1	module
DataFlowImpl2	module
DataFlowImpl2	module
DataFlowImpl3	module
DataFlowImpl3	module
DataFlowImpl4	module
DataFlowImpl4	module
DataFlowMake	module declared in DataFlow
DataFlowUtil	module
DataFlowUtil	module
Dataflow	module
DataflowAnnotation	class declared in Dataflow
DateTime	module
DayFieldAccess	class declared in DateTime
Deallocation	module
DeallocationExpr	class declared in Deallocation
DeallocationFunction	class declared in Deallocation
Decimal128Type	class declared in Type
Decimal32Type	class declared in Type
Decimal64Type	class declared in Type
DecimalFloatingPointType	class declared in Type
DeclStmt	class declared in Stmt
DeclStmtNode	class declared in PrintAST
Declaration	module
Declaration	class declared in Declaration
DeclarationEntry	class declared in Declaration
DeclarationEntryNode	class declared in PrintAST
Declspec	class declared in Specifier
Decltype	class declared in Type
DecrementOperation	class declared in ArithmeticOperation
DefaultCase	class declared in Stmt
DefaultEdge	class declared in EdgeKind
DefaultMutexType	class declared in Synchronization
DefaultOptions	module
DefaultTaintTracking	module
DefectExternalData	class declared in ExternalArtifact
Definition	class declared in Make
DefinitionByReferenceNode	class declared in DataFlowUtil
DefinitionByReferenceNode	class declared in DataFlowUtil
DefinitionByReferenceOrIteratorNode	class declared in DataFlowUtil
DefinitionExt	class declared in Make
DefinitionsAndUses	module
DeleteArrayExpr	class declared in Expr
DeleteExpr	class declared in Expr
DeleteOrDeleteArrayExpr	class declared in Expr
Dependency	module
DependencyOptions	class declared in Dependency
DependsSource	class declared in Dependency
Dereferenced	module
DerivedClassConversion	class declared in Cast
DerivedType	class declared in Type
Destructor	class declared in MemberFunction
DestructorBaseDestruction	class declared in Call
DestructorCall	class declared in Call
DestructorDestruction	class declared in Call
DestructorDestructionsNode	class declared in PrintAST
DestructorDirectDestruction	class declared in Call
DestructorFieldDestruction	class declared in Call
DestructorVirtualDestruction	class declared in Call
Diagnostic	class declared in Diagnostics
Diagnostics	module
DirectParameterNode	class declared in DataFlowUtil
Div	class declared in Opcode
DivExpr	class declared in ArithmeticOperation
DivInstruction	class declared in Instruction
DoStmt	class declared in Stmt
Dominance	module
DotFieldAccess	class declared in Access
DoubleType	class declared in Type
DynamicCast	class declared in Cast
dataSize	member predicate declared in PaddedType
date	primitive type
deadDef	predicate declared in Make :: Consistency
deadDefExt	predicate declared in Make :: Consistency
declaredUsingAutoType	member predicate declared in Variable
defMightOverflow	predicate declared in SimpleRangeAnalysis
defMightOverflowNegatively	predicate declared in SimpleRangeAnalysis
defMightOverflowPositively	predicate declared in SimpleRangeAnalysis
defaultAdditionalTaintStep	predicate declared in TaintTrackingUtil
defaultAdditionalTaintStep	predicate declared in TaintTrackingUtil
defaultEdge	predicate declared in EdgeKind
defaultImplicitTaintRead	predicate declared in TaintTrackingUtil
defaultImplicitTaintRead	predicate declared in TaintTrackingUtil
defaultTaintSanitizer	predicate declared in TaintTrackingUtil
defaultTaintSanitizer	predicate declared in TaintTrackingUtil
definedByParameter	member predicate declared in RangeSsaDefinition
definedByParameter	member predicate declared in SsaDefinition
definesAt	member predicate declared in Make :: Definition
definesAt	member predicate declared in Make :: DefinitionExt
definitelyNull	predicate declared in Dataflow
definition	predicate declared in DefinitionsAndUses
definitionBarrier	predicate declared in DefinitionsAndUses
definitionByReference	predicate declared in DefinitionsAndUses
definitionByReferenceNodeFromArgument	predicate declared in DataFlowUtil
definitionByReferenceNodeFromArgument	predicate declared in DataFlowUtil
definitionOf	predicate declared in definitions
definitionReaches	predicate declared in DefinitionsAndUses
definitionUsePair	predicate declared in DefinitionsAndUses
definitions	module
dependency_pointerTypeUse	predicate declared in Dependency
dependsOnDeclOnly	predicate declared in Dependency
dependsOnSimple	predicate declared in Dependency
dependsOnTransitive	predicate declared in Dependency
deref	predicate declared in Dataflow
dereferenced	predicate declared in Dereferenced
dereferencedByOperation	predicate declared in Dereferenced
derivesFrom	member predicate declared in Class
directionIsGreater	predicate declared in RangeAnalysisUtils
directionIsLesser	predicate declared in RangeAnalysisUtils
distinctMembers	member predicate declared in MetricClass
dominanceFrontier	member predicate declared in IRBlock
dominates	predicate declared in Dominance
dominates	member predicate declared in IRBlock
doubleAlign	member predicate declared in Architecture
doubleAlign	member predicate declared in ILP32
doubleAlign	member predicate declared in LP64
doubleAlign	member predicate declared in WindowsArchitecture

E

EQExpr	class declared in ComparisonOperation
EdgeKind	module
EdgeKind	class declared in EdgeKind
EdgeKind	module declared in EdgeKind
Element	module
Element	class declared in Element
ElementBase	class declared in Element
ElementsAddress	class declared in Opcode
ElementsAddressInstruction	class declared in Instruction
EmptyFile	class declared in MultipleInclusion
EmptyStmt	class declared in Stmt
Enclosing	module
Encryption	module
EnterFunction	class declared in Opcode
EnterFunctionInstruction	class declared in Instruction
EntireAllocationAccessOpcode	class declared in Opcode
EntireAllocationMemoryAccess	class declared in MemoryAccessKind
EntireAllocationReadOpcode	class declared in Opcode
EntireAllocationWriteOpcode	class declared in Opcode
EntryBasicBlock	class declared in BasicBlocks
Enum	module
Enum	class declared in Enum
EnumConstant	class declared in Enum
EnumConstantAccess	class declared in Access
EnumSwitch	class declared in Stmt
Environment	module
EnvironmentRead	class declared in Environment
EqualityOperation	class declared in ComparisonOperation
ErroneousType	class declared in Type
Error	class declared in Opcode
ErrorExpr	class declared in Expr
ErrorInstruction	class declared in Instruction
EscapedMemoryAccess	class declared in MemoryAccessKind
EscapedReadOpcode	class declared in Opcode
EscapedWriteOpcode	class declared in Opcode
EscapesTree	module
ExceptionEdge	class declared in EdgeKind
Exclusions	module
ExitBasicBlock	class declared in BasicBlocks
ExitFunction	class declared in Opcode
ExitFunctionInstruction	class declared in Instruction
ExplicitParameterNode	class declared in DataFlowUtil
Expr	module
Expr	class declared in Expr
ExprCall	class declared in Call
ExprFlowCached	module declared in DataFlowUtil
ExprInVoidContext	class declared in VoidContext
ExprNode	class declared in DataFlowUtil
ExprNode	class declared in DataFlowUtil
ExprNode	class declared in PrintAST
ExprStmt	class declared in Stmt
ExternalArtifact	module
ExternalData	class declared in ExternalArtifact
edges	predicate declared in DataFlowMake :: MergePathGraph3 :: PathGraph
edges	predicate declared in DataFlowMake :: MergePathGraph :: PathGraph
edges	predicate declared in PathGraph
edges	predicate declared in PrintAST
edges	predicate declared in PrintIR
endsWithEndif	predicate declared in MultipleInclusion
ensuresEq	member predicate declared in GuardCondition
ensuresEq	member predicate declared in GuardCondition
ensuresEq	member predicate declared in IRGuardCondition
ensuresEqEdge	member predicate declared in IRGuardCondition
ensuresLt	member predicate declared in GuardCondition
ensuresLt	member predicate declared in GuardCondition
ensuresLt	member predicate declared in IRGuardCondition
ensuresLtEdge	member predicate declared in IRGuardCondition
enumAlignment	member predicate declared in Architecture
enumBitSize	member predicate declared in Architecture
eqOpWithSwapAndNegate	predicate declared in RangeAnalysisUtils
eqZeroWithNegate	predicate declared in RangeAnalysisUtils
exceptionEdge	predicate declared in EdgeKind
exits	member predicate declared in Options
exits	member predicate declared in CustomOptions
exits	predicate declared in Options
explain	member predicate declared in Class
explain	member predicate declared in Enum
explain	member predicate declared in Struct
explain	member predicate declared in ArrayType
explain	member predicate declared in BlockType
explain	member predicate declared in BuiltInType
explain	member predicate declared in Decltype
explain	member predicate declared in FunctionPointerType
explain	member predicate declared in FunctionReferenceType
explain	member predicate declared in GNUVectorType
explain	member predicate declared in PointerToMemberType
explain	member predicate declared in PointerType
explain	member predicate declared in RValueReferenceType
explain	member predicate declared in ReferenceType
explain	member predicate declared in RoutineType
explain	member predicate declared in SpecifiedType
explain	member predicate declared in Type
explain	member predicate declared in CTypedefType
explain	member predicate declared in UsingAliasTypedefType
explain	member predicate declared in Union
explain	member predicate declared in UserType
explorationLimit	member predicate declared in Configuration
explorationLimit	member predicate declared in Configuration
explorationLimit	member predicate declared in Configuration
explorationLimit	member predicate declared in Configuration
explorationLimit	member predicate declared in Configuration
explorationLimit	member predicate declared in Configuration
explorationLimit	member predicate declared in Configuration
explorationLimit	member predicate declared in Configuration
exprDefinition	predicate declared in DefinitionsAndUses
exprEnclosingElement	predicate declared in Enclosing
exprExits	member predicate declared in Options
exprExits	member predicate declared in CustomOptions
exprExits	predicate declared in Options
exprMaxVal	predicate declared in RangeAnalysisUtils
exprMightOverflowNegatively	predicate declared in SimpleRangeAnalysis
exprMightOverflowPositively	predicate declared in SimpleRangeAnalysis
exprMinVal	predicate declared in RangeAnalysisUtils
exprNode	predicate declared in DataFlowUtil
exprNode	predicate declared in DataFlowUtil
exprNodeShouldBeInstruction	predicate declared in DataFlowUtil
exprNodeShouldBeOperand	predicate declared in DataFlowUtil
exprWithEmptyRange	predicate declared in SimpleRangeAnalysis

F

FalseEdge	class declared in EdgeKind
FastestMinimumWidthIntegralType	class declared in CommonType
Field	module
Field	class declared in Field
FieldAccess	class declared in Access
FieldAddress	class declared in DataFlowUtil
FieldAddress	class declared in Opcode
FieldAddressInstruction	class declared in Instruction
FieldContent	class declared in DataFlowUtil
FieldContent	class declared in DataFlowUtil
FieldInstruction	class declared in Instruction
File	module
File	module
File	class declared in File
FileSystem	module
FileWrite	module
FileWrite	class declared in FileWrite
FinalGlobalValue	class declared in DataFlowUtil
FinalParameterNode	class declared in DataFlowUtil
FixedWidthEnumType	class declared in CommonType
FixedWidthIntegralType	class declared in CommonType
Float128Type	class declared in Type
FloatConstantInstruction	class declared in Instruction
FloatType	class declared in Type
FloatingPointConversion	class declared in Cast
FloatingPointToIntegralConversion	class declared in Cast
FloatingPointType	class declared in Type
FlowSource	module
FlowSource	class declared in FlowSources
FlowSources	module
FoldExpr	class declared in Expr
Folder	class declared in File
ForStmt	class declared in Stmt
FormatAttribute	class declared in Specifier
FormatLiteral	class declared in Printf
FormattingFunction	module
FormattingFunction	class declared in FormattingFunction
FormattingFunctionCall	class declared in Printf
FreadBA	class declared in BufferAccess
FriendDecl	module
FriendDecl	class declared in FriendDecl
Fscanf	class declared in Scanf
FullClassTemplateSpecialization	class declared in Class
Function	module
Function	class declared in Function
FunctionAccess	class declared in Access
FunctionAddress	class declared in Opcode
FunctionAddressInstruction	class declared in Instruction
FunctionCall	class declared in Call
FunctionDeclarationEntry	class declared in Function
FunctionInput	class declared in FunctionInputsAndOutputs