CodeQL library for C/C++
codeql/cpp-all 0.7.2 ( changelog , source )
Search
This is the generated API documentation for the CodeQL library pack codeql/cpp-all at version 0.7.2 ( 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
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
allowHeterogeneousBitfields member predicate declared in Architecture
allowHeterogeneousBitfields member predicate declared in UnixArchitecture
allowHeterogeneousBitfields member predicate declared in WindowsArchitecture
allowImplicitRead member predicate declared in DataFlow :: Configuration
allowImplicitRead member predicate declared in Configuration
allowImplicitRead member predicate declared in Configuration
allowImplicitRead member predicate declared in DataFlow2 :: 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 TaintTracking :: 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 DataFlow :: Node
asDefiningArgument member predicate declared in Node
asDefiningArgument member predicate declared in Node
asExpr member predicate declared in DataFlow :: Node
asExpr member predicate declared in Node
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 DataFlow :: Node
asParameter member predicate declared in Node
asParameter member predicate declared in Node
asPartialDefinition member predicate declared in DataFlow :: Node
asPartialDefinition member predicate declared in Node
asPathNode1 member predicate declared in DataFlow :: MergePathGraph3 :: PathNode
asPathNode1 member predicate declared in MergePathGraph3 :: PathNode
asPathNode1 member predicate declared in DataFlow :: MergePathGraph :: PathNode
asPathNode1 member predicate declared in MergePathGraph :: PathNode
asPathNode2 member predicate declared in DataFlow :: MergePathGraph3 :: PathNode
asPathNode2 member predicate declared in MergePathGraph3 :: PathNode
asPathNode2 member predicate declared in DataFlow :: MergePathGraph :: PathNode
asPathNode2 member predicate declared in MergePathGraph :: PathNode
asPathNode3 member predicate declared in DataFlow :: MergePathGraph3 :: PathNode
asPathNode3 member predicate declared in MergePathGraph3 :: PathNode
asSome member predicate declared in Option :: Option
asUninitialized member predicate declared in DataFlow :: 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 class declared in DataFlowUtil
BarrierGuard module declared in DataFlowUtil
BarrierGuard module declared in DataFlowUtil
BaseAstNode class declared in PrintAST
BaseClassConversion class declared in Cast
BaseSourceVariable class declared in SsaInternalsCommon
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
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
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 DataFlow :: 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
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
DataFlowImplCommonPublic module declared in DataFlowImplCommon
DataFlowImplCommonPublic module declared in DataFlowImplCommon
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
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
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 DataFlow :: MergePathGraph :: PathGraph
edges predicate declared in 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 DataFlow :: Configuration
explorationLimit member predicate declared in Configuration
explorationLimit member predicate declared in Configuration
explorationLimit member predicate declared in DataFlow2 :: 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
FeatureEqualSourceSinkCallContext class declared in DataFlowImplCommonPublic
FeatureEqualSourceSinkCallContext class declared in DataFlowImplCommonPublic
FeatureHasSinkCallContext class declared in DataFlowImplCommonPublic
FeatureHasSinkCallContext class declared in DataFlowImplCommonPublic
FeatureHasSourceCallContext class declared in DataFlowImplCommonPublic
FeatureHasSourceCallContext class declared in DataFlowImplCommonPublic
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
FlowFeature class declared in DataFlowImplCommonPublic
FlowFeature class declared in DataFlowImplCommonPublic
FlowSource module
FlowSource class declared in FlowSources
FlowSources module
FlowStateEmpty class declared in DataFlow :: FlowStateString
FlowStateEmpty class declared in DataFlowImplCommonPublic :: FlowStateString
FlowStateString module declared in DataFlowImplCommonPublic