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.6.1

( 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 Configuration
allowImplicitRead	member predicate declared in DataFlow :: 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 TaintTracking :: 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 DataFlow :: Node
asExpr	member predicate declared in Node
asExpr	member predicate declared in DataFlow :: 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 Node
asParameter	member predicate declared in Node
asParameter	member predicate declared in DataFlow :: Node
asPartialDefinition	member predicate declared in Node
asPartialDefinition	member predicate declared in DataFlow :: Node
asPathNode1	member predicate declared in MergePathGraph :: PathNode
asPathNode1	member predicate declared in DataFlow :: MergePathGraph :: PathNode
asPathNode2	member predicate declared in MergePathGraph :: PathNode
asPathNode2	member predicate declared in DataFlow :: MergePathGraph :: PathNode
asUninitialized	member predicate declared in Node
asUninitialized	member predicate declared in DataFlow :: 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
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
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
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
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 BarrierGuard
checks	member predicate declared in DataFlow :: 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
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
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 MergePathGraph :: PathGraph
edges	predicate declared in DataFlow :: 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 DataFlow :: 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
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

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 DataFlowImplCommonPublic :: FlowStateString
FlowStateEmpty	class declared in DataFlow :: FlowStateString
FlowStateString	module declared in DataFlowImplCommonPublic
FlowStateString	module declared in DataFlowImplCommonPublic
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
FunctionInputsAndOutputs	module
FunctionInstruction	class declared in Instruction
FunctionNode	class declared in PrintAST
FunctionOutput	class declared in FunctionInputsAndOutputs
FunctionPointerIshType	class declared in Type
FunctionPointerType	class declared in Type
FunctionReferenceType	class declared in Type
FunctionSpecifier	class declared in Specifier
FunctionTemplateInstantiation	class declared in Function
FunctionTemplateSpecialization	class declared in Function
FunctionTryStmt	class declared in Stmt
FunctionWithWrappers	module
FunctionWithWrappers	class declared in FunctionWithWrappers
falseEdge	predicate declared in EdgeKind
fcloseCall	predicate declared in File
fieldEnd	member predicate declared in PaddedType
fieldFlowBranchLimit	member predicate declared in Configuration
fieldFlowBranchLimit	member predicate declared in DataFlow :: Configuration
fieldFlowBranchLimit	member predicate declared in Configuration
fieldFlowBranchLimit	member predicate declared in DataFlow2 :: Configuration
fieldFlowBranchLimit	member predicate declared in Configuration
fieldFlowBranchLimit	member predicate declared in Configuration
fieldFlowBranchLimit	member predicate declared in Configuration
fieldFlowBranchLimit	member predicate declared in Configuration
fieldIndex	member predicate declared in PaddedType
fieldSize	member predicate declared in PaddedType
findRootCause	member predicate declared in Element
firstInBB	member predicate declared in SubBasicBlock
float	primitive type
flow	predicate declared in PointsTo
flowFromCompound	predicate declared in PointsTo
flowToCompound	predicate declared in PointsTo
fopenCall	predicate declared in File
formatArgumentMustBeNullTerminated	predicate declared in NullTermination
freeCall	predicate declared in Alloc
freeFunction	predicate declared in Alloc
fromSource	member predicate declared in Element
fromSource	member predicate declared in File
fromSource	member predicate declared in Initializer
fromSource	member predicate declared in Namespace
fullLocationInfo	member predicate declared in Location
functionArgumentMustBeNullTerminated	predicate declared in NullTermination
functionContainsDisabledCode	predicate declared in Exclusions
functionContainsPreprocCode	predicate declared in Exclusions
functionDefinedInIfDef	predicate declared in Exclusions
functionDereferences	predicate declared in Dereferenced
functionEntry	predicate declared in Dominance
functionExit	predicate declared in Dominance

G

GEExpr	class declared in ComparisonOperation
GNUVectorType	class declared in Type
GTExpr	class declared in ComparisonOperation
GVN	class declared in ASTValueNumbering
GVN	class declared in GlobalValueNumberingImpl
GetIteratorFunction	class declared in Iterator
GetsBW	class declared in BufferWrite
GlobalDef	class declared in SsaInternals
GlobalNamespace	class declared in Namespace
GlobalOrNamespaceVariable	class declared in Variable
GlobalUse	class declared in SsaInternals
GlobalValueNumbering	module
GlobalValueNumberingImpl	module
GlobalVariable	class declared in Variable
GlvalueConversion	class declared in Cast
GnuAttribute	class declared in Specifier
GotoEdge	class declared in EdgeKind
GotoStmt	class declared in Stmt
Greater	type declared in RangeAnalysisUtils
Greater	injector declared in RangeAnalysisUtils
GuardCondition	class declared in Guards
GuardCondition	class declared in IRGuards
GuardedSsa	class declared in Guards
Guards	module
generatedBy	member predicate declared in DataflowAnnotation
generatedBy	member predicate declared in NullnessAnnotation
generatedOn	member predicate declared in DataflowAnnotation
generatedOn	member predicate declared in NullnessAnnotation
getABannedProtocolConstant	member predicate declared in BoostorgAsio :: SslContextMethod
getABarrierNode	predicate declared in BarrierGuard
getABarrierNode	predicate declared in DataFlow :: BarrierGuard
getABarrierNode	predicate declared in InstructionBarrierGuard
getABaseClass	member predicate declared in Class
getABaseClassByteOffset	member predicate declared in Class
getABlock	member predicate declared in IRFunction
getAByteOffsetIn	member predicate declared in Field
getACallToThisFunction	member predicate declared in Function
getACanonicalMember	member predicate declared in Class
getACanonicalMemberFunction	member predicate declared in Class
getACanonicalMemberVariable	member predicate declared in Class
getACapture	member predicate declared in LambdaExpression
getACaseSuccessor	member predicate declared in SwitchInstruction
getACatchClause	member predicate declared in TryStmt
getACharactersSet	member predicate declared in XmlParent
getAChild	member predicate declared in Expr
getAChild	member predicate declared in PrintAstNode
getAChild	member predicate declared in Stmt
getAChild	member predicate declared in XmlParent
getAChild	member predicate declared in XmlParent
getAChildContainer	member predicate declared in Container
getAChildNamespace	member predicate declared in GlobalNamespace
getAChildNamespace	member predicate declared in Namespace
getAClass	member predicate declared in LinkTarget
getAClassDependency	member predicate declared in MetricClass
getAComment	member predicate declared in XmlParent
getAConstructor	member predicate declared in Class
getAContructorCall	member predicate declared in BoostorgAsio :: SslContextClass
getAConvertedExpr	member predicate declared in GVN
getADTD	member predicate declared in XmlFile
getADeclaration	member predicate declared in BlockStmt
getADeclaration	member predicate declared in Class
getADeclaration	member predicate declared in File
getADeclaration	member predicate declared in Function
getADeclaration	member predicate declared in GlobalNamespace
getADeclaration	member predicate declared in Namespace
getADeclaration	member predicate declared in ControlStructure
getADeclaration	member predicate declared in DeclStmt
getADeclaration	member predicate declared in ForStmt
getADeclaration	member predicate declared in UserType
getADeclarationEntry	member predicate declared in Declaration
getADeclarationEntry	member predicate declared in Function
getADeclarationEntry	member predicate declared in Namespace
getADeclarationEntry	member predicate declared in DeclStmt
getADeclarationEntry	member predicate declared in UserType
getADeclarationEntry	member predicate declared in Variable
getADeclarationLocation	member predicate declared in Declaration
getADeclarationLocation	member predicate declared in EnumConstant
getADeclarationLocation	member predicate declared in FriendDecl
getADeclarationLocation	member predicate declared in Function
getADeclarationLocation	member predicate declared in UserType
getADeclarationLocation	member predicate declared in Variable
getADependentElement	member predicate declared in Symbol
getADepth	member predicate declared in MetricClass
getADerivation	member predicate declared in Class
getADerivedClass	member predicate declared in Class
getADestruction	member predicate declared in Destructor
getADtd	member predicate declared in XmlFile
getAFalseSuccessor	member predicate declared in BasicBlock
getAFalseSuccessor	member predicate declared in ControlFlowNode
getAFalseSuccessor	member predicate declared in SubBasicBlock
getAFeature	member predicate declared in Configuration
getAFeature	member predicate declared in DataFlow :: Configuration
getAFeature	member predicate declared in Configuration
getAFeature	member predicate declared in DataFlow2 :: Configuration
getAFeature	member predicate declared in Configuration
getAFeature	member predicate declared in Configuration
getAFeature	member predicate declared in Configuration
getAFeature	member predicate declared in Configuration
getAField	member predicate declared in Class
getAField	member predicate declared in UnionContent
getAFile	member predicate declared in Declaration
getAFile	member predicate declared in Container
getAFile	member predicate declared in Namespace
getAFileCompiled	member predicate declared in Compilation
getAFileDependency	member predicate declared in MetricFile
getAFolder	member predicate declared in Container
getAFormatterWideType	predicate declared in FormattingFunction
getAFriendDecl	member predicate declared in Class
getAFunction	member predicate declared in LinkTarget
getAGeneratedElement	member predicate declared in MacroInvocation
getAGenericTlsProtocolConstant	member predicate declared in BoostorgAsio :: SslContextMethod
getAGetter	member predicate declared in StructLikeClass
getAGlobalOrNamespaceVariable	member predicate declared in LinkTarget
getAGuard	member predicate declared in PreprocessorDirective
getAGuardedNode	member predicate declared in BarrierGuard
getAGuardedNode	member predicate declared in DataFlow :: BarrierGuard
getAHexEscapeSequence	member predicate declared in TextLiteral
getALinkTarget	member predicate declared in Class
getALinkTarget	member predicate declared in Function
getALinkTarget	member predicate declared in GlobalOrNamespaceVariable
getALoop	member predicate declared in LoopControlVariable
getALoop	member predicate declared in LoopCounter
getAMember	member predicate declared in Class
getAMember	member predicate declared in Class
getAMemberFunction	member predicate declared in Class
getAMemberVariable	member predicate declared in Class
getAMissingCase	member predicate declared in EnumSwitch
getANameQualifier	member predicate declared in NameQualifyingElement
getANamespaceDependency	member predicate declared in MetricNamespace
getANestedType	member predicate declared in Class
getANode	member predicate declared in BasicBlock
getANode	member predicate declared in SubBasicBlock
getANonStandardEscapeSequence	member predicate declared in TextLiteral
getAParameter	member predicate declared in Function
getAParameterDeclarationEntry	member predicate declared in FunctionDeclarationEntry
getAParameterSideEffect	member predicate declared in CallInstruction
getAParameterType	member predicate declared in FunctionPointerIshType
getAParameterType	member predicate declared in RoutineType
getAPhiInput	member predicate declared in RangeSsaDefinition
getAPhiInput	member predicate declared in SsaDefinition
getAPhiInstruction	member predicate declared in IRBlockBase
getAPredecessor	member predicate declared in BasicBlock
getAPredecessor	member predicate declared in ControlFlowNode
getAPredecessor	member predicate declared in IRBlock
getAPredecessor	member predicate declared in Instruction
getAPredecessor	member predicate declared in SubBasicBlock
getAPrimaryQlClass	member predicate declared in ArrayExpr
getAPrimaryQlClass	member predicate declared in DotFieldAccess
getAPrimaryQlClass	member predicate declared in EnumConstantAccess
getAPrimaryQlClass	member predicate declared in FieldAccess
getAPrimaryQlClass	member predicate declared in FunctionAccess
getAPrimaryQlClass	member predicate declared in ImplicitThisFieldAccess
getAPrimaryQlClass	member predicate declared in PointerFieldAccess
getAPrimaryQlClass	member predicate declared in PointerToFieldLiteral
getAPrimaryQlClass	member predicate declared in ReferenceFieldAccess
getAPrimaryQlClass	member predicate declared in TypeName
getAPrimaryQlClass	member predicate declared in ValueFieldAccess
getAPrimaryQlClass	member predicate declared in VariableAccess
getAPrimaryQlClass	member predicate declared in AddExpr
getAPrimaryQlClass	member predicate declared in ConjugationExpr
getAPrimaryQlClass	member predicate declared in DivExpr
getAPrimaryQlClass	member predicate declared in ImaginaryDivExpr
getAPrimaryQlClass	member predicate declared in ImaginaryMulExpr
getAPrimaryQlClass	member predicate declared in ImaginaryPartExpr
getAPrimaryQlClass	member predicate declared in ImaginaryRealAddExpr
getAPrimaryQlClass	member predicate declared in ImaginaryRealSubExpr
getAPrimaryQlClass	member predicate declared in MaxExpr
getAPrimaryQlClass	member predicate declared in MinExpr
getAPrimaryQlClass	member predicate declared in MulExpr
getAPrimaryQlClass	member predicate declared in PointerAddExpr
getAPrimaryQlClass	member predicate declared in PointerDiffExpr
getAPrimaryQlClass	member predicate declared in PointerSubExpr
getAPrimaryQlClass	member predicate declared in PostfixDecrExpr
getAPrimaryQlClass	member predicate declared in PostfixIncrExpr
getAPrimaryQlClass	member predicate declared in PrefixDecrExpr
getAPrimaryQlClass	member predicate declared in PrefixIncrExpr
getAPrimaryQlClass	member predicate declared in RealImaginaryAddExpr
getAPrimaryQlClass	member predicate declared in RealImaginarySubExpr
getAPrimaryQlClass	member predicate declared in RealPartExpr
getAPrimaryQlClass	member predicate declared in RemExpr
getAPrimaryQlClass	member predicate declared in SubExpr
getAPrimaryQlClass	member predicate declared in UnaryMinusExpr
getAPrimaryQlClass	member predicate declared in UnaryPlusExpr
getAPrimaryQlClass	member predicate declared in AssignAddExpr
getAPrimaryQlClass	member predicate declared in AssignAndExpr
getAPrimaryQlClass	member predicate declared in AssignDivExpr
getAPrimaryQlClass	member predicate declared in AssignExpr
getAPrimaryQlClass	member predicate declared in AssignLShiftExpr
getAPrimaryQlClass	member predicate declared in AssignMulExpr
getAPrimaryQlClass	member predicate declared in AssignOrExpr
getAPrimaryQlClass	member predicate declared in AssignPointerAddExpr
getAPrimaryQlClass	member predicate declared in AssignPointerSubExpr
getAPrimaryQlClass	member predicate declared in AssignRShiftExpr
getAPrimaryQlClass	member predicate declared in AssignRemExpr
getAPrimaryQlClass	member predicate declared in AssignSubExpr
getAPrimaryQlClass	member predicate declared in AssignXorExpr
getAPrimaryQlClass	member predicate declared in BlockAssignExpr
getAPrimaryQlClass	member predicate declared in ConditionDeclExpr
getAPrimaryQlClass	member predicate declared in BitwiseAndExpr
getAPrimaryQlClass	member predicate declared in BitwiseOrExpr
getAPrimaryQlClass	member predicate declared in BitwiseXorExpr
getAPrimaryQlClass	member predicate declared in ComplementExpr
getAPrimaryQlClass	member predicate declared in LShiftExpr
getAPrimaryQlClass	member predicate declared in RShiftExpr
getAPrimaryQlClass	member predicate declared in BlockStmt
getAPrimaryQlClass	member predicate declared in BuiltInBitCast
getAPrimaryQlClass	member predicate declared in BuiltInChooseExpr
getAPrimaryQlClass	member predicate declared in BuiltInComplexOperation
getAPrimaryQlClass	member predicate declared in BuiltInIntAddr
getAPrimaryQlClass	member predicate declared in BuiltInNoOp
getAPrimaryQlClass	member predicate declared in BuiltInOperation
getAPrimaryQlClass	member predicate declared in BuiltInOperationArrayExtent
getAPrimaryQlClass	member predicate declared in BuiltInOperationArrayRank
getAPrimaryQlClass	member predicate declared in BuiltInOperationBuiltInAddressOf
getAPrimaryQlClass	member predicate declared in BuiltInOperationBuiltInConvertVector
getAPrimaryQlClass	member predicate declared in BuiltInOperationBuiltInOffsetOf
getAPrimaryQlClass	member predicate declared in BuiltInOperationBuiltInShuffle
getAPrimaryQlClass	member predicate declared in BuiltInOperationBuiltInShuffleVector
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasAssign
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasCopy
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasFinalizer
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasNoThrowAssign
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasNoThrowConstructor
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasNoThrowCopy
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasNothrowMoveAssign
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasTrivialAssign
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasTrivialConstructor
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasTrivialCopy
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasTrivialDestructor
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasTrivialMoveAssign
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasTrivialMoveConstructor
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasUniqueObjectRepresentations
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasUserDestructor
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasVirtualDestructor
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsAbstract
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsAggregate
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsArithmetic
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsArray
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsAssignable
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsBaseOf
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsClass
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsCompleteType
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsCompound
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsConst
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsConstructible
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsConvertibleTo
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsDelegate
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsDestructible
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsEmpty
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsEnum
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsFinal
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsFloatingPoint
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsFunction
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsFundamental
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsIntegral
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsInterfaceClass
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsLayoutCompatible
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsLiteralType
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsLvalueReference
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsMemberFunctionPointer
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsMemberObjectPointer
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsMemberPointer
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsNothrowAssignable
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsNothrowConstructible
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsNothrowDestructible
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsObject
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsPod
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsPointer
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsPointerInterconvertibleBaseOf
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsPolymorphic
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsRefArray
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsRefClass
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsReference
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsRvalueReference
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsSame
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsScalar
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsSealed
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsSigned
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsSimpleValueClass
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsStandardLayout
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsTriviallyAssignable
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsTriviallyConstructible
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsTriviallyCopyable
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsTriviallyDestructible
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsUnion
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsUnsigned
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsValueClass
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsVoid
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsVolatile
getAPrimaryQlClass	member predicate declared in BuiltInVarArg
getAPrimaryQlClass	member predicate declared in BuiltInVarArgCopy
getAPrimaryQlClass	member predicate declared in BuiltInVarArgsEnd
getAPrimaryQlClass	member predicate declared in BuiltInVarArgsStart
getAPrimaryQlClass	member predicate declared in VectorFillOperation
getAPrimaryQlClass	member predicate declared in ConstructorBaseInit
getAPrimaryQlClass	member predicate declared in ConstructorCall
getAPrimaryQlClass	member predicate declared in ConstructorDelegationInit
getAPrimaryQlClass	member predicate declared in ConstructorDirectInit
getAPrimaryQlClass	member predicate declared in ConstructorFieldInit
getAPrimaryQlClass	member predicate declared in ConstructorInit
getAPrimaryQlClass	member predicate declared in ConstructorVirtualInit
getAPrimaryQlClass	member predicate declared in DestructorBaseDestruction
getAPrimaryQlClass	member predicate declared in DestructorCall
getAPrimaryQlClass	member predicate declared in DestructorDestruction
getAPrimaryQlClass	member predicate declared in DestructorDirectDestruction
getAPrimaryQlClass	member predicate declared in DestructorFieldDestruction
getAPrimaryQlClass	member predicate declared in DestructorVirtualDestruction
getAPrimaryQlClass	member predicate declared in ExprCall
getAPrimaryQlClass	member predicate declared in FunctionCall
getAPrimaryQlClass	member predicate declared in OverloadedArrayExpr
getAPrimaryQlClass	member predicate declared in OverloadedPointerDereferenceExpr
getAPrimaryQlClass	member predicate declared in VacuousDestructorCall
getAPrimaryQlClass	member predicate declared in VariableCall
getAPrimaryQlClass	member predicate declared in ArrayToPointerConversion
getAPrimaryQlClass	member predicate declared in BaseClassConversion
getAPrimaryQlClass	member predicate declared in BoolConversion
getAPrimaryQlClass	member predicate declared in CStyleCast
getAPrimaryQlClass	member predicate declared in ConstCast
getAPrimaryQlClass	member predicate declared in DerivedClassConversion
getAPrimaryQlClass	member predicate declared in DynamicCast
getAPrimaryQlClass	member predicate declared in FloatingPointConversion
getAPrimaryQlClass	member predicate declared in FloatingPointToIntegralConversion
getAPrimaryQlClass	member predicate declared in GlvalueConversion
getAPrimaryQlClass	member predicate declared in IntegralConversion
getAPrimaryQlClass	member predicate declared in IntegralToFloatingPointConversion
getAPrimaryQlClass	member predicate declared in IntegralToPointerConversion
getAPrimaryQlClass	member predicate declared in PointerConversion
getAPrimaryQlClass	member predicate declared in PointerToIntegralConversion
getAPrimaryQlClass	member predicate declared in PointerToMemberBaseClassConversion
getAPrimaryQlClass	member predicate declared in PointerToMemberConversion
getAPrimaryQlClass	member predicate declared in PointerToMemberDerivedClassConversion
getAPrimaryQlClass	member predicate declared in PrvalueAdjustmentConversion
getAPrimaryQlClass	member predicate declared in ReinterpretCast
getAPrimaryQlClass	member predicate declared in SizeofExprOperator
getAPrimaryQlClass	member predicate declared in SizeofPackOperator
getAPrimaryQlClass	member predicate declared in SizeofTypeOperator
getAPrimaryQlClass	member predicate declared in StaticCast
getAPrimaryQlClass	member predicate declared in TemporaryObjectExpr
getAPrimaryQlClass	member predicate declared in TypeidOperator
getAPrimaryQlClass	member predicate declared in VoidConversion
getAPrimaryQlClass	member predicate declared in AbstractClass
getAPrimaryQlClass	member predicate declared in Class
getAPrimaryQlClass	member predicate declared in ClassDerivation
getAPrimaryQlClass	member predicate declared in ClassTemplateInstantiation
getAPrimaryQlClass	member predicate declared in ClassTemplateSpecialization
getAPrimaryQlClass	member predicate declared in FullClassTemplateSpecialization
getAPrimaryQlClass	member predicate declared in LocalClass
getAPrimaryQlClass	member predicate declared in NestedClass
getAPrimaryQlClass	member predicate declared in PartialClassTemplateSpecialization
getAPrimaryQlClass	member predicate declared in ProxyClass
getAPrimaryQlClass	member predicate declared in TemplateClass
getAPrimaryQlClass	member predicate declared in VirtualBaseClass
getAPrimaryQlClass	member predicate declared in VirtualClassDerivation
getAPrimaryQlClass	member predicate declared in BuiltInVarArgsList
getAPrimaryQlClass	member predicate declared in CharPointerType
getAPrimaryQlClass	member predicate declared in Int16_t
getAPrimaryQlClass	member predicate declared in Int32_t
getAPrimaryQlClass	member predicate declared in Int64_t
getAPrimaryQlClass	member predicate declared in Int8_t
getAPrimaryQlClass	member predicate declared in IntPointerType
getAPrimaryQlClass	member predicate declared in Int_fast16_t
getAPrimaryQlClass	member predicate declared in Int_fast32_t
getAPrimaryQlClass	member predicate declared in Int_fast64_t
getAPrimaryQlClass	member predicate declared in Int_fast8_t
getAPrimaryQlClass	member predicate declared in Int_least16_t
getAPrimaryQlClass	member predicate declared in Int_least32_t
getAPrimaryQlClass	member predicate declared in Int_least64_t
getAPrimaryQlClass	member predicate declared in Int_least8_t
getAPrimaryQlClass	member predicate declared in Intmax_t
getAPrimaryQlClass	member predicate declared in Ptrdiff_t
getAPrimaryQlClass	member predicate declared in Size_t
getAPrimaryQlClass	member predicate declared in Ssize_t
getAPrimaryQlClass	member predicate declared in UInt16_t
getAPrimaryQlClass	member predicate declared in UInt32_t
getAPrimaryQlClass	member predicate declared in UInt64_t
getAPrimaryQlClass	member predicate declared in UInt8_t
getAPrimaryQlClass	member predicate declared in UInt_fast16_t
getAPrimaryQlClass	member predicate declared in UInt_fast32_t
getAPrimaryQlClass	member predicate declared in UInt_fast64_t
getAPrimaryQlClass	member predicate declared in UInt_fast8_t
getAPrimaryQlClass	member predicate declared in UInt_least16_t
getAPrimaryQlClass	member predicate declared in UInt_least32_t
getAPrimaryQlClass	member predicate declared in UInt_least64_t
getAPrimaryQlClass	member predicate declared in UInt_least8_t
getAPrimaryQlClass	member predicate declared in Uintmax_t
getAPrimaryQlClass	member predicate declared in VoidPointerType
getAPrimaryQlClass	member predicate declared in Wchar_t
getAPrimaryQlClass	member predicate declared in EQExpr
getAPrimaryQlClass	member predicate declared in GEExpr
getAPrimaryQlClass	member predicate declared in GTExpr
getAPrimaryQlClass	member predicate declared in LEExpr
getAPrimaryQlClass	member predicate declared in LTExpr
getAPrimaryQlClass	member predicate declared in NEExpr
getAPrimaryQlClass	member predicate declared in ElementBase
getAPrimaryQlClass	member predicate declared in Enum
getAPrimaryQlClass	member predicate declared in EnumConstant
getAPrimaryQlClass	member predicate declared in LocalEnum
getAPrimaryQlClass	member predicate declared in NestedEnum
getAPrimaryQlClass	member predicate declared in ScopedEnum
getAPrimaryQlClass	member predicate declared in AddressOfExpr
getAPrimaryQlClass	member predicate declared in AssumeExpr
getAPrimaryQlClass	member predicate declared in CoAwaitExpr
getAPrimaryQlClass	member predicate declared in CoYieldExpr
getAPrimaryQlClass	member predicate declared in CommaExpr
getAPrimaryQlClass	member predicate declared in DeleteArrayExpr
getAPrimaryQlClass	member predicate declared in DeleteExpr
getAPrimaryQlClass	member predicate declared in ErrorExpr
getAPrimaryQlClass	member predicate declared in FoldExpr
getAPrimaryQlClass	member predicate declared in NewArrayExpr
getAPrimaryQlClass	member predicate declared in NewExpr
getAPrimaryQlClass	member predicate declared in NoExceptExpr
getAPrimaryQlClass	member predicate declared in ParenthesisExpr
getAPrimaryQlClass	member predicate declared in ParenthesizedBracedInitializerList
getAPrimaryQlClass	member predicate declared in PointerDereferenceExpr
getAPrimaryQlClass	member predicate declared in ReThrowExpr
getAPrimaryQlClass	member predicate declared in ReferenceDereferenceExpr
getAPrimaryQlClass	member predicate declared in ReferenceToExpr
getAPrimaryQlClass	member predicate declared in SpaceshipExpr
getAPrimaryQlClass	member predicate declared in StmtExpr
getAPrimaryQlClass	member predicate declared in ThisExpr
getAPrimaryQlClass	member predicate declared in ThrowExpr
getAPrimaryQlClass	member predicate declared in BitField
getAPrimaryQlClass	member predicate declared in Field
getAPrimaryQlClass	member predicate declared in CFile
getAPrimaryQlClass	member predicate declared in CppFile
getAPrimaryQlClass	member predicate declared in File
getAPrimaryQlClass	member predicate declared in Folder
getAPrimaryQlClass	member predicate declared in HeaderFile
getAPrimaryQlClass	member predicate declared in FormattingFunction
getAPrimaryQlClass	member predicate declared in FriendDecl
getAPrimaryQlClass	member predicate declared in FunctionDeclarationEntry
getAPrimaryQlClass	member predicate declared in FunctionTemplateInstantiation
getAPrimaryQlClass	member predicate declared in FunctionTemplateSpecialization
getAPrimaryQlClass	member predicate declared in Operator
getAPrimaryQlClass	member predicate declared in TemplateFunction
getAPrimaryQlClass	member predicate declared in TopLevelFunction
getAPrimaryQlClass	member predicate declared in Initializer
getAPrimaryQlClass	member predicate declared in Closure
getAPrimaryQlClass	member predicate declared in LambdaCapture
getAPrimaryQlClass	member predicate declared in LambdaExpression
getAPrimaryQlClass	member predicate declared in AggregateLiteral
getAPrimaryQlClass	member predicate declared in ArrayAggregateLiteral
getAPrimaryQlClass	member predicate declared in CharLiteral
getAPrimaryQlClass	member predicate declared in ClassAggregateLiteral
getAPrimaryQlClass	member predicate declared in HexLiteral
getAPrimaryQlClass	member predicate declared in LabelLiteral
getAPrimaryQlClass	member predicate declared in Literal
getAPrimaryQlClass	member predicate declared in OctalLiteral
getAPrimaryQlClass	member predicate declared in StringLiteral
getAPrimaryQlClass	member predicate declared in VectorAggregateLiteral
getAPrimaryQlClass	member predicate declared in ConditionalExpr
getAPrimaryQlClass	member predicate declared in LogicalAndExpr
getAPrimaryQlClass	member predicate declared in LogicalOrExpr
getAPrimaryQlClass	member predicate declared in NotExpr
getAPrimaryQlClass	member predicate declared in Macro
getAPrimaryQlClass	member predicate declared in MacroAccess
getAPrimaryQlClass	member predicate declared in MacroInvocation
getAPrimaryQlClass	member predicate declared in ConstMemberFunction
getAPrimaryQlClass	member predicate declared in Constructor
getAPrimaryQlClass	member predicate declared in ConversionOperator
getAPrimaryQlClass	member predicate declared in CopyAssignmentOperator
getAPrimaryQlClass	member predicate declared in CopyConstructor
getAPrimaryQlClass	member predicate declared in Destructor
getAPrimaryQlClass	member predicate declared in MemberFunction
getAPrimaryQlClass	member predicate declared in MoveAssignmentOperator
getAPrimaryQlClass	member predicate declared in MoveConstructor
getAPrimaryQlClass	member predicate declared in PureVirtualFunction
getAPrimaryQlClass	member predicate declared in VirtualFunction
getAPrimaryQlClass	member predicate declared in NamespaceDeclarationEntry
getAPrimaryQlClass	member predicate declared in Parameter
getAPrimaryQlClass	member predicate declared in PreprocessorIfdef
getAPrimaryQlClass	member predicate declared in AttributeFormattingFunction
getAPrimaryQlClass	member predicate declared in FormattingFunctionCall
getAPrimaryQlClass	member predicate declared in UserDefinedFormattingFunction
getAPrimaryQlClass	member predicate declared in AccessSpecifier
getAPrimaryQlClass	member predicate declared in FormatAttribute
getAPrimaryQlClass	member predicate declared in FunctionSpecifier
getAPrimaryQlClass	member predicate declared in Specifier
getAPrimaryQlClass	member predicate declared in StorageClassSpecifier
getAPrimaryQlClass	member predicate declared in AsmStmt
getAPrimaryQlClass	member predicate declared in BreakStmt
getAPrimaryQlClass	member predicate declared in CatchAnyBlock
getAPrimaryQlClass	member predicate declared in CatchBlock
getAPrimaryQlClass	member predicate declared in CoReturnStmt
getAPrimaryQlClass	member predicate declared in ConstexprIfStmt
getAPrimaryQlClass	member predicate declared in ContinueStmt
getAPrimaryQlClass	member predicate declared in DeclStmt
getAPrimaryQlClass	member predicate declared in DoStmt
getAPrimaryQlClass	member predicate declared in EmptyStmt
getAPrimaryQlClass	member predicate declared in ExprStmt
getAPrimaryQlClass	member predicate declared in ForStmt
getAPrimaryQlClass	member predicate declared in FunctionTryStmt
getAPrimaryQlClass	member predicate declared in GotoStmt
getAPrimaryQlClass	member predicate declared in Handler
getAPrimaryQlClass	member predicate declared in IfStmt
getAPrimaryQlClass	member predicate declared in JumpStmt
getAPrimaryQlClass	member predicate declared in LabelStmt
getAPrimaryQlClass	member predicate declared in MicrosoftTryExceptStmt
getAPrimaryQlClass	member predicate declared in MicrosoftTryFinallyStmt
getAPrimaryQlClass	member predicate declared in RangeBasedForStmt
getAPrimaryQlClass	member predicate declared in ReturnStmt
getAPrimaryQlClass	member predicate declared in SwitchCase
getAPrimaryQlClass	member predicate declared in SwitchStmt
getAPrimaryQlClass	member predicate declared in TryStmt
getAPrimaryQlClass	member predicate declared in VlaDeclStmt
getAPrimaryQlClass	member predicate declared in VlaDimensionStmt
getAPrimaryQlClass	member predicate declared in WhileStmt
getAPrimaryQlClass	member predicate declared in LocalStruct
getAPrimaryQlClass	member predicate declared in NestedStruct
getAPrimaryQlClass	member predicate declared in Struct
getAPrimaryQlClass	member predicate declared in ArithmeticType
getAPrimaryQlClass	member predicate declared in ArrayType
getAPrimaryQlClass	member predicate declared in AutoType
getAPrimaryQlClass	member predicate declared in BoolType
getAPrimaryQlClass	member predicate declared in Char16Type
getAPrimaryQlClass	member predicate declared in Char32Type
getAPrimaryQlClass	member predicate declared in Char8Type
getAPrimaryQlClass	member predicate declared in Decimal128Type
getAPrimaryQlClass	member predicate declared in Decimal32Type
getAPrimaryQlClass	member predicate declared in Decimal64Type
getAPrimaryQlClass	member predicate declared in Decltype
getAPrimaryQlClass	member predicate declared in DoubleType
getAPrimaryQlClass	member predicate declared in ErroneousType
getAPrimaryQlClass	member predicate declared in Float128Type
getAPrimaryQlClass	member predicate declared in FloatType
getAPrimaryQlClass	member predicate declared in FunctionPointerType
getAPrimaryQlClass	member predicate declared in FunctionReferenceType
getAPrimaryQlClass	member predicate declared in GNUVectorType
getAPrimaryQlClass	member predicate declared in Int128Type
getAPrimaryQlClass	member predicate declared in IntType
getAPrimaryQlClass	member predicate declared in LValueReferenceType
getAPrimaryQlClass	member predicate declared in LongDoubleType
getAPrimaryQlClass	member predicate declared in LongLongType
getAPrimaryQlClass	member predicate declared in LongType
getAPrimaryQlClass	member predicate declared in NullPointerType
getAPrimaryQlClass	member predicate declared in PlainCharType
getAPrimaryQlClass	member predicate declared in PointerToMemberType
getAPrimaryQlClass	member predicate declared in PointerType
getAPrimaryQlClass	member predicate declared in RValueReferenceType
getAPrimaryQlClass	member predicate declared in ReferenceType
getAPrimaryQlClass	member predicate declared in RoutineType
getAPrimaryQlClass	member predicate declared in ShortType
getAPrimaryQlClass	member predicate declared in SignedCharType
getAPrimaryQlClass	member predicate declared in SpecifiedType
getAPrimaryQlClass	member predicate declared in TemplateParameter
getAPrimaryQlClass	member predicate declared in TemplateTemplateParameter
getAPrimaryQlClass	member predicate declared in TypeMention
getAPrimaryQlClass	member predicate declared in UnknownType
getAPrimaryQlClass	member predicate declared in UnsignedCharType
getAPrimaryQlClass	member predicate declared in VoidType
getAPrimaryQlClass	member predicate declared in WideCharType
getAPrimaryQlClass	member predicate declared in CTypedefType
getAPrimaryQlClass	member predicate declared in LocalTypedefType
getAPrimaryQlClass	member predicate declared in NestedTypedefType
getAPrimaryQlClass	member predicate declared in UsingAliasTypedefType
getAPrimaryQlClass	member predicate declared in LocalUnion
getAPrimaryQlClass	member predicate declared in NestedUnion
getAPrimaryQlClass	member predicate declared in Union
getAPrimaryQlClass	member predicate declared in TypeDeclarationEntry
getAPrimaryQlClass	member predicate declared in UserType
getAPrimaryQlClass	member predicate declared in GlobalVariable
getAPrimaryQlClass	member predicate declared in LocalVariable
getAPrimaryQlClass	member predicate declared in MemberVariable
getAPrimaryQlClass	member predicate declared in NamespaceVariable
getAPrimaryQlClass	member predicate declared in ParameterDeclarationEntry
getAPrimaryQlClass	member predicate declared in Variable
getAPrimaryQlClass	member predicate declared in VariableDeclarationEntry
getAPrivateCanonicalMember	member predicate declared in Class
getAPrivateMember	member predicate declared in Class
getAProtectedCanonicalMember	member predicate declared in Class
getAProtectedMember	member predicate declared in Class
getAPublicCanonicalMember	member predicate declared in Class
getAPublicMember	member predicate declared in Class
getAReadContent	member predicate declared in ContentSet
getAReadContent	member predicate declared in DataFlow :: ContentSet
getARootElement	member predicate declared in XmlFile
getAST	member predicate declared in IRGeneratedVariable
getAST	member predicate declared in IRUserVariable
getAST	member predicate declared in IRVariable
getAST	member predicate declared in Instruction
getAST	member predicate declared in BaseAstNode
getASTVariable	member predicate declared in VariableInstruction
getASecureAlgorithmName	predicate declared in Encryption
getASetter	member predicate declared in StructLikeClass
getASimpleEscapeSequence	member predicate declared in TextLiteral
getASource	member predicate declared in BufferWrite
getASource	member predicate declared in GetsBW
getASource	member predicate declared in RealpathBW
getASource	member predicate declared in ScanfBW
getASource	member predicate declared in SnprintfBW
getASource	member predicate declared in SprintfBW
getASource	member predicate declared in StrCatBW
getASource	member predicate declared in StrCopyBW
getASource	member predicate declared in FileWrite
getASource	member predicate declared in OutputWrite
getASpecialization	member predicate declared in TemplateFunction
getASpecifier	member predicate declared in ClassDerivation
getASpecifier	member predicate declared in Declaration
getASpecifier	member predicate declared in DeclarationEntry
getASpecifier	member predicate declared in EnumConstant
getASpecifier	member predicate declared in FriendDecl
getASpecifier	member predicate declared in Function
getASpecifier	member predicate declared in FunctionDeclarationEntry
getASpecifier	member predicate declared in Type
getASpecifier	member predicate declared in TypeDeclarationEntry
getASpecifier	member predicate declared in UserType
getASpecifier	member predicate declared in Variable
getASpecifier	member predicate declared in VariableDeclarationEntry
getASslv23ProtocolConstant	member predicate declared in BoostorgAsio :: SslContextMethod
getAStandardEscapeSequence	member predicate declared in TextLiteral
getAStaticMember	member predicate declared in Class
getAStmt	member predicate declared in BlockStmt
getAStmt	member predicate declared in SwitchCase
getAStoreContent	member predicate declared in ContentSet
getAStoreContent	member predicate declared in DataFlow :: ContentSet
getASuccessor	member predicate declared in BasicBlock
getASuccessor	member predicate declared in ControlFlowNode
getASuccessor	member predicate declared in PathNode
getASuccessor	member predicate declared in DataFlow :: PathNode
getASuccessor	member predicate declared in PathNode
getASuccessor	member predicate declared in DataFlow2 :: PathNode
getASuccessor	member predicate declared in PathNode
getASuccessor	member predicate declared in PathNode
getASuccessor	member predicate declared in PathNode
getASuccessor	member predicate declared in PathNode
getASuccessor	member predicate declared in IRBlock
getASuccessor	member predicate declared in Instruction
getASuccessor	member predicate declared in MustFlowPathNode
getASuccessor	member predicate declared in SubBasicBlock
getASwitchCase	member predicate declared in SwitchStmt
getATemplateArgument	member predicate declared in FunctionCall
getATemplateArgument	member predicate declared in Declaration
getATemplateArgumentKind	member predicate declared in FunctionCall
getATemplateArgumentKind	member predicate declared in Declaration
getAThrownType	member predicate declared in Function
getAThrownType	member predicate declared in FunctionDeclarationEntry
getATls12ProtocolConstant	member predicate declared in BoostorgAsio :: SslContextMethod
getATls13ProtocolConstant	member predicate declared in BoostorgAsio :: SslContextMethod
getATopLevelDeclaration	member predicate declared in File
getATrueSuccessor	member predicate declared in BasicBlock
getATrueSuccessor	member predicate declared in ControlFlowNode
getATrueSuccessor	member predicate declared in SubBasicBlock
getATypeNameUse	member predicate declared in Type
getAUse	member predicate declared in Instruction
getAUse	member predicate declared in RangeSsaDefinition
getAUse	member predicate declared in SsaDefinition
getAUse	member predicate declared in ValueNumber
getAVariable	member predicate declared in RangeSsaDefinition
getAVariable	member predicate declared in SsaDefinition
getAViableTarget	predicate declared in VirtualDispatch
getAVirtualDerivation	member predicate declared in VirtualBaseClass
getAVirtuallyDerivedClass	member predicate declared in VirtualBaseClass
getAWrittenVariable	member predicate declared in Function
getAbsolutePath	member predicate declared in Container
getAbsolutePath	member predicate declared in File
getAbsolutePath	member predicate declared in Folder
getAbstractness	member predicate declared in MetricNamespace
getAccessedField	member predicate declared in MetricClass
getAccessingMethod	member predicate declared in MetricClass
getActualLocation	member predicate declared in MacroAccess
getActualType	member predicate declared in Expr
getAddressOperand	member predicate declared in IndirectArgumentOutNode
getAddressOperand	member predicate declared in SideEffectOperandNode
getAddressOperand	member predicate declared in MemoryOperand
getAddressable	member predicate declared in BuiltInOperationBuiltInAddressOf
getAddressable	member predicate declared in AddressOfExpr
getAfferentCoupling	member predicate declared in MetricClass
getAfferentCoupling	member predicate declared in MetricFile
getAfferentCoupling	member predicate declared in MetricFunction
getAfferentCoupling	member predicate declared in MetricNamespace
getAlignment	member predicate declared in Class
getAlignment	member predicate declared in ArrayType
getAlignment	member predicate declared in Decltype
getAlignment	member predicate declared in GNUVectorType
getAlignment	member predicate declared in SpecifiedType
getAlignment	member predicate declared in Type
getAlignment	member predicate declared in TypedefType
getAlignmentArgument	member predicate declared in NewOrNewArrayExpr
getAllocatedElementType	member predicate declared in AllocationExpr
getAllocatedElementType	member predicate declared in HeuristicAllocationExpr
getAllocatedElementType	member predicate declared in NewArrayExpr
getAllocatedType	member predicate declared in NewArrayExpr
getAllocatedType	member predicate declared in NewExpr
getAllocatedType	member predicate declared in NewOrNewArrayExpr
getAllocationAddress	member predicate declared in InitializeDynamicAllocationInstruction
getAllocationAddressOperand	member predicate declared in InitializeDynamicAllocationInstruction
getAllocator	member predicate declared in NewOrNewArrayExpr
getAllocatorCall	member predicate declared in DeleteArrayExpr
getAllocatorCall	member predicate declared in DeleteExpr
getAllocatorCall	member predicate declared in NewOrNewArrayExpr
getAnAccess	member predicate declared in EnumConstant
getAnAccess	member predicate declared in Function
getAnAccess	member predicate declared in Variable
getAnAccessToAssignedVariable	predicate declared in DataFlowUtil
getAnAffectedElement	member predicate declared in MacroInvocation
getAnApprovedButHardcodedProtocolConstant	member predicate declared in BoostorgAsio :: SslContextMethod
getAnArgument	member predicate declared in Call
getAnArgument	member predicate declared in ExprCall
getAnArgument	member predicate declared in Compilation
getAnArgument	member predicate declared in CallInstruction
getAnArgument	member predicate declared in Attribute
getAnArgumentOperand	member predicate declared in CallInstruction
getAnArgumentSubExpr	member predicate declared in Call
getAnAssignedValue	member predicate declared in Variable
getAnAssignment	member predicate declared in Variable
getAnAttribute	member predicate declared in EnumConstant
getAnAttribute	member predicate declared in Function
getAnAttribute	member predicate declared in Stmt
getAnAttribute	member predicate declared in Type
getAnAttribute	member predicate declared in Variable
getAnAttribute	member predicate declared in XmlElement
getAnEdgeTarget	member predicate declared in AdditionalControlFlowEdge
getAnEnclosedExpression	member predicate declared in MetricClass
getAnEnclosedStmt	member predicate declared in MetricClass
getAnEnumConstant	member predicate declared in Enum
getAnExpandedElement	member predicate declared in MacroInvocation
getAnExplicitTemplateArgument	member predicate declared in FunctionCall
getAnExplicitTemplateArgumentKind	member predicate declared in FunctionCall
getAnExpr	member predicate declared in GVN
getAnExpr	member predicate declared in GVN
getAnExpr	member predicate declared in HashCons
getAnInclude	member predicate declared in Include
getAnIncludedFile	member predicate declared in File
getAnInitializer	member predicate declared in Constructor
getAnInput	member predicate declared in SsaPhiNode
getAnInput	member predicate declared in SsaPhiNode
getAnInput	member predicate declared in PhiInstruction
getAnInputOperand	member predicate declared in PhiInstruction
getAnInsecureAlgorithmName	predicate declared in Encryption
getAnInsecureHashAlgorithmName	predicate declared in Encryption
getAnInstantiation	member predicate declared in TemplateClass
getAnInstantiation	member predicate declared in TemplateFunction
getAnInstantiation	member predicate declared in TemplateVariable
getAnInstruction	member predicate declared in IRBlockBase
getAnInstruction	member predicate declared in IRFunction
getAnInstruction	member predicate declared in ValueNumber
getAnInvocation	member predicate declared in Macro
getAnIterationVariable	member predicate declared in ForStmt
getAnIterationVariable	member predicate declared in RangeBasedForStmt
getAnOctalEscapeSequence	member predicate declared in TextLiteral
getAnOperand	member predicate declared in Operation
getAnOperand	member predicate declared in Instruction
getAnOutputArgument	member predicate declared in ScanfFunctionCall
getAnOverload	member predicate declared in Function
getAnOverriddenFunction	member predicate declared in MemberFunction
getAnOverridingFunction	member predicate declared in MemberFunction
getAnUltimateDefiningValue	member predicate declared in SsaDefinition
getAnUltimateSsaDefinition	member predicate declared in SsaDefinition
getAnUnconvertedExpr	member predicate declared in GVN
getAnUnwrapperFunction	member predicate declared in PointerWrapper
getAnyDef	member predicate declared in NonPhiMemoryOperand
getAnyDef	member predicate declared in Operand
getAnyDef	member predicate declared in PhiInputOperand
getAnyDef	member predicate declared in RegisterOperand
getArchetype	member predicate declared in FormatAttribute
getArgument	member predicate declared in Call
getArgument	member predicate declared in ExprCall
getArgument	member predicate declared in Compilation
getArgument	member predicate declared in DefinitionByReferenceNode
getArgument	member predicate declared in DataFlow :: DefinitionByReferenceOrIteratorNode
getArgument	member predicate declared in SideEffectOperandNode
getArgument	member predicate declared in CallInstruction
getArgument	member predicate declared in FormattingFunctionCall
getArgument	member predicate declared in Attribute
getArgumentDef	member predicate declared in ReadSideEffectInstruction
getArgumentIndex	member predicate declared in FinalParameterNode
getArgumentIndex	member predicate declared in IndirectArgumentOutNode
getArgumentIndex	member predicate declared in IndirectParameterNode
getArgumentIndex	member predicate declared in SideEffectOperandNode
getArgumentOperand	member predicate declared in CallInstruction
getArgumentOperand	member predicate declared in ReadSideEffectInstruction
getArrayArgument	member predicate declared in ArrayExecFunctionCall
getArrayBase	member predicate declared in ArrayExpr
getArrayBase	member predicate declared in OverloadedArrayExpr
getArrayObjectAddress	member predicate declared in ElementsAddressInstruction
getArrayObjectAddressOperand	member predicate declared in ElementsAddressInstruction
getArrayOffset	member predicate declared in ArrayExpr
getArrayOffset	member predicate declared in OverloadedArrayExpr
getArraySize	member predicate declared in ArrayAggregateLiteral
getArraySize	member predicate declared in ArrayOrVectorAggregateLiteral
getArraySize	member predicate declared in VectorAggregateLiteral
getArraySize	member predicate declared in ArrayType
getAsserted	member predicate declared in Assertion
getAsserted	member predicate declared in LibcAssert
getAsserted	member predicate declared in MacroAssert
getAsserted	member predicate declared in RecoverableAssert
getAst	member predicate declared in IRGeneratedVariable
getAst	member predicate declared in IRUserVariable
getAst	member predicate declared in IRVariable
getAst	member predicate declared in Instruction
getAst	member predicate declared in BaseAstNode
getAstVariable	member predicate declared in VariableInstruction
getAttribute	member predicate declared in AttributeArgument
getAttribute	member predicate declared in XmlElement
getAttributeValue	member predicate declared in XmlElement
getBWDesc	member predicate declared in BufferWrite
getBWDesc	member predicate declared in ScanfBW
getBackEdgeSuccessor	member predicate declared in IRBlock
getBackEdgeSuccessor	member predicate declared in Instruction
getBase	member predicate declared in IRFloatingPointType
getBase	member predicate declared in GlobalUse
getBase	member predicate declared in FloatingPointType
getBaseClass	member predicate declared in BaseClassConversion
getBaseClass	member predicate declared in DerivedClassConversion
getBaseClass	member predicate declared in InheritanceConversion
getBaseClass	member predicate declared in ClassDerivation
getBaseClass	member predicate declared in InheritanceConversionInstruction
getBaseName	member predicate declared in Container
getBaseSourceVariable	member predicate declared in BaseSourceVariableInstruction
getBaseString	member predicate declared in IRDynamicInitializationFlag
getBaseString	member predicate declared in IRGeneratedVariable
getBaseString	member predicate declared in IRStringLiteral
getBaseString	member predicate declared in IRTempVariable
getBaseString	member predicate declared in IRThrowVariable
getBaseType	member predicate declared in ClassDerivation
getBaseType	member predicate declared in PointerWrapper
getBaseType	member predicate declared in Decltype
getBaseType	member predicate declared in DerivedType
getBaseType	member predicate declared in PointerToMemberType
getBaseType	member predicate declared in TypedefType
getBasicBlock	member predicate declared in ControlFlowNode
getBasicBlock	member predicate declared in RangeSsaDefinition
getBasicBlock	member predicate declared in SsaDefinition
getBasicBlock	member predicate declared in Make :: Definition
getBasicBlock	member predicate declared in Make :: DefinitionExt
getBasicBlock	member predicate declared in SubBasicBlock
getBeginEndDeclaration	member predicate declared in RangeBasedForStmt
getBeginVariable	member predicate declared in RangeBasedForStmt
getBinary	member predicate declared in LinkTarget
getBitOffset	member predicate declared in BitField
getBlock	member predicate declared in Function
getBlock	member predicate declared in FunctionDeclarationEntry
getBlock	member predicate declared in Instruction
getBlock	member predicate declared in Handler
getBlockProperty	member predicate declared in IRPropertyProvider
getBody	member predicate declared in Macro
getBodyLocation	member predicate declared in NamespaceDeclarationEntry
getBranchingComplexity	member predicate declared in MetricFunction
getBreakable	member predicate declared in BreakStmt
getBuffer	member predicate declared in ArrayExprBA
getBuffer	member predicate declared in BCopyBA
getBuffer	member predicate declared in BufferAccess
getBuffer	member predicate declared in FreadBA
getBuffer	member predicate declared in MemccpyBA
getBuffer	member predicate declared in MemchrBA
getBuffer	member predicate declared in MemcmpBA
getBuffer	member predicate declared in MemcpyBA
getBuffer	member predicate declared in MemsetBA
getBuffer	member predicate declared in StrncpyBA
getBuffer	member predicate declared in SwabBA
getBuffer	member predicate declared in ZeroMemoryBA
getBufferSize	predicate declared in Buffer
getBufferSize	member predicate declared in SizedBufferMayWriteSideEffectInstruction
getBufferSize	member predicate declared in SizedBufferMustWriteSideEffectInstruction
getBufferSize	member predicate declared in SizedBufferReadSideEffectInstruction
getBufferSizeOperand	member predicate declared in SizedBufferMayWriteSideEffectInstruction
getBufferSizeOperand	member predicate declared in SizedBufferMustWriteSideEffectInstruction
getBufferSizeOperand	member predicate declared in SizedBufferReadSideEffectInstruction
getBufferType	member predicate declared in BufferWrite
getBufferType	member predicate declared in GetsBW
getBufferType	member predicate declared in RealpathBW
getBufferType	member predicate declared in ScanfBW
getBufferType	member predicate declared in SnprintfBW
getBufferType	member predicate declared in SprintfBW
getBufferType	member predicate declared in StrCatBW
getBufferType	member predicate declared in StrCopyBW
getBuiltInOperation	member predicate declared in BuiltInOperationInstruction
getByteOffset	member predicate declared in ClassDerivation
getByteOffset	member predicate declared in Field
getByteSize	member predicate declared in CppType
getByteSize	member predicate declared in IRAddressType
getByteSize	member predicate declared in IRBooleanType
getByteSize	member predicate declared in IRErrorType
getByteSize	member predicate declared in IRFloatingPointType
getByteSize	member predicate declared in IRFunctionAddressType
getByteSize	member predicate declared in IROpaqueType
getByteSize	member predicate declared in IRSignedIntegerType
getByteSize	member predicate declared in IRType
getByteSize	member predicate declared in IRUnknownType
getByteSize	member predicate declared in IRUnsignedIntegerType
getByteSize	member predicate declared in IRVoidType
getByteSize	member predicate declared in ArrayType
getCall	member predicate declared in ArgumentOperand
getCallInstruction	member predicate declared in IndirectArgumentOutNode
getCallInstruction	member predicate declared in IndirectReturnOutNode
getCallInstruction	member predicate declared in SideEffectOperandNode
getCallTarget	member predicate declared in CallInstruction
getCallTargetOperand	member predicate declared in CallInstruction
getCanonicalArithmeticType	member predicate declared in IntegralType
getCanonicalLanguageType	member predicate declared in IRAddressType
getCanonicalLanguageType	member predicate declared in IRBooleanType
getCanonicalLanguageType	member predicate declared in IRErrorType
getCanonicalLanguageType	member predicate declared in IRFloatingPointType
getCanonicalLanguageType	member predicate declared in IRFunctionAddressType
getCanonicalLanguageType	member predicate declared in IROpaqueType
getCanonicalLanguageType	member predicate declared in IRSignedIntegerType
getCanonicalLanguageType	member predicate declared in IRType
getCanonicalLanguageType	member predicate declared in IRUnknownType
getCanonicalLanguageType	member predicate declared in IRUnsignedIntegerType
getCanonicalLanguageType	member predicate declared in IRVoidType
getCanonicalMember	member predicate declared in Class
getCanonicalName	member predicate declared in DeclarationEntry
getCapture	member predicate declared in LambdaExpression
getCatchBlock	member predicate declared in Parameter
getCatchClause	member predicate declared in TryStmt
getCharSize	member predicate declared in BufferWrite
getCharacter	member predicate declared in CharLiteral
getCharacters	member predicate declared in XmlCharacters
getChild	member predicate declared in Expr
getChild	member predicate declared in PrintAstNode
getChild	member predicate declared in Stmt
getChild	member predicate declared in XmlParent
getChildAccessorPredicate	member predicate declared in PrintAstNode
getChildAccessorPredicateInternal	member predicate declared in ConstructorInitializersNode
getChildAccessorPredicateInternal	member predicate declared in DeclarationEntryNode
getChildAccessorPredicateInternal	member predicate declared in DestructorDestructionsNode
getChildAccessorPredicateInternal	member predicate declared in ExprNode
getChildAccessorPredicateInternal	member predicate declared in FunctionNode
getChildAccessorPredicateInternal	member predicate declared in InitializerNode
getChildAccessorPredicateInternal	member predicate declared in ParameterNode
getChildAccessorPredicateInternal	member predicate declared in ParametersNode
getChildAccessorPredicateInternal	member predicate declared in PrintAstNode
getChildAccessorPredicateInternal	member predicate declared in StmtNode
getChildAccessorPredicateInternal	member predicate declared in VariableDeclarationEntryNode
getChildInternal	member predicate declared in ConstructorInitializersNode
getChildInternal	member predicate declared in ConversionNode
getChildInternal	member predicate declared in DeclStmtNode
getChildInternal	member predicate declared in DeclarationEntryNode
getChildInternal	member predicate declared in DestructorDestructionsNode
getChildInternal	member predicate declared in ExprNode
getChildInternal	member predicate declared in FunctionNode
getChildInternal	member predicate declared in InitializerNode
getChildInternal	member predicate declared in ParameterNode
getChildInternal	member predicate declared in ParametersNode
getChildInternal	member predicate declared in PrintAstNode
getChildInternal	member predicate declared in StmtExprNode
getChildInternal	member predicate declared in StmtNode
getChildInternal	member predicate declared in VariableDeclarationEntryNode
getChildNum	member predicate declared in SwitchCase
getChildStmt	member predicate declared in Stmt
getClass	member predicate declared in PointerToMemberType
getClassAndName	member predicate declared in Function
getClassBodyDeclarationEntry	member predicate declared in MemberFunction
getCommand	member predicate declared in ArrayExecFunctionCall
getCommand	member predicate declared in VarargsExecFunctionCall
getCommandArgument	member predicate declared in VarargsExecFunctionCall
getCommentRatio	member predicate declared in MetricFunction
getCommentedElement	member predicate declared in Comment
getCompilation	member predicate declared in Diagnostic
getCondition	member predicate declared in StaticAssert
getCondition	member predicate declared in ConditionalBranchInstruction
getCondition	member predicate declared in ConditionalExpr
getCondition	member predicate declared in ConstexprIfStmt
getCondition	member predicate declared in DoStmt
getCondition	member predicate declared in ForStmt
getCondition	member predicate declared in IfStmt
getCondition	member predicate declared in Loop
getCondition	member predicate declared in MicrosoftTryExceptStmt
getCondition	member predicate declared in RangeBasedForStmt
getCondition	member predicate declared in WhileStmt
getConditionOperand	member predicate declared in ConditionalBranchInstruction
getConfiguration	member predicate declared in PathNode
getConfiguration	member predicate declared in DataFlow :: PathNode
getConfiguration	member predicate declared in PathNode
getConfiguration	member predicate declared in DataFlow2 :: PathNode
getConfiguration	member predicate declared in PathNode
getConfiguration	member predicate declared in PathNode
getConfiguration	member predicate declared in PathNode
getConfiguration	member predicate declared in PathNode
getConfiguration	member predicate declared in MustFlowPathNode
getConstantPart	member predicate declared in FormatLiteral
getConstantSuffix	member predicate declared in FormatLiteral
getConstructor	member predicate declared in ConstructorInitializersNode
getConstructorFieldInit	member predicate declared in DataFlow :: PreConstructorInitThis
getContainer	member predicate declared in Location
getContents	member predicate declared in Comment
getContinuable	member predicate declared in ContinueStmt
getControlFlowScope	member predicate declared in ControlFlowNode
getControlFlowScope	member predicate declared in Expr
getControlFlowScope	member predicate declared in Function
getControlFlowScope	member predicate declared in Initializer
getControlFlowScope	member predicate declared in Stmt
getControllingExpr	member predicate declared in ConstexprIfStmt
getControllingExpr	member predicate declared in ControlStructure
getControllingExpr	member predicate declared in DoStmt
getControllingExpr	member predicate declared in ForStmt
getControllingExpr	member predicate declared in IfStmt
getControllingExpr	member predicate declared in RangeBasedForStmt
getControllingExpr	member predicate declared in SwitchStmt
getControllingExpr	member predicate declared in WhileStmt
getConvSpec	member predicate declared in FormatLiteral
getConvSpecOffset	member predicate declared in FormatLiteral
getConvSpecOffset	member predicate declared in ScanfFormatLiteral
getConvSpecRegexp	member predicate declared in FormatLiteral
getConvSpecRegexp	member predicate declared in ScanfFormatLiteral
getConversion	member predicate declared in Expr
getConversionArgument	member predicate declared in FormattingFunctionCall
getConversionChar	member predicate declared in FormatLiteral
getConversionChar	member predicate declared in ScanfFormatLiteral
getConversionString	member predicate declared in Expr
getConversionType	member predicate declared in FormatLiteral
getConversionTypeAlternate	member predicate declared in FormatLiteral
getConvertedExpr	member predicate declared in ExprNode
getConvertedExpr	member predicate declared in IndirectExprNode
getConvertedResultExpression	member predicate declared in Instruction
getCyclomaticComplexity	member predicate declared in FunctionDeclarationEntry
getCyclomaticComplexity	member predicate declared in MetricFunction
getDataPath	member predicate declared in ExternalData
getDeallocator	member predicate declared in DeleteArrayExpr
getDeallocator	member predicate declared in DeleteExpr
getDeallocator	member predicate declared in NewOrNewArrayExpr
getDebugString	member predicate declared in GVN
getDebugString	member predicate declared in ValueNumber
getDeclaration	member predicate declared in DeclarationEntry
getDeclaration	member predicate declared in FunctionDeclarationEntry
getDeclaration	member predicate declared in Initializer
getDeclaration	member predicate declared in UsingDeclarationEntry
getDeclaration	member predicate declared in DeclStmt
getDeclaration	member predicate declared in TypeDeclarationEntry
getDeclaration	member predicate declared in VariableDeclarationEntry
getDeclarationEntries	predicate declared in Dependency
getDeclarationEntry	member predicate declared in DeclStmt
getDeclaredNumBits	member predicate declared in BitField
getDeclaringClass	member predicate declared in FriendDecl
getDeclaringEnum	member predicate declared in EnumConstant
getDeclaringType	member predicate declared in Declaration
getDeclaringType	member predicate declared in EnumConstant
getDef	member predicate declared in Operand
getDefLowerBounds	predicate declared in SimpleRangeAnalysisInternal
getDefUpperBounds	predicate declared in SimpleRangeAnalysisInternal
getDefaultCaptureMode	member predicate declared in LambdaExpression
getDefaultCase	member predicate declared in SwitchStmt
getDefaultCharType	member predicate declared in FormattingFunction
getDefaultCharType	member predicate declared in FormatLiteral
getDefaultSuccessor	member predicate declared in SwitchInstruction
getDefine	member predicate declared in CorrectIncludeGuard
getDefinedExpr	member predicate declared in IndirectArgumentOutNode
getDefinedExpr	member predicate declared in PostFieldUpdateNode
getDefiningValue	member predicate declared in RangeSsaDefinition
getDefiningValue	member predicate declared in SsaDefinition
getDefinition	member predicate declared in Declaration
getDefinition	member predicate declared in Function
getDefinition	member predicate declared in RangeSsaDefinition
getDefinition	member predicate declared in SsaDefinition
getDefinition	member predicate declared in UserType
getDefinition	member predicate declared in Variable
getDefinitionLocation	member predicate declared in Declaration
getDefinitionLocation	member predicate declared in EnumConstant
getDefinitionLocation	member predicate declared in FriendDecl
getDefinitionLocation	member predicate declared in Function
getDefinitionLocation	member predicate declared in UserType
getDefinitionLocation	member predicate declared in Variable
getDefinitionOverlap	member predicate declared in NonPhiMemoryOperand
getDefinitionOverlap	member predicate declared in Operand
getDefinitionOverlap	member predicate declared in PhiInputOperand
getDefinitionOverlap	member predicate declared in RegisterOperand
getDeletedElementType	member predicate declared in DeleteArrayExpr
getDeletedObjectType	member predicate declared in DeleteExpr
getDependencyOptions	predicate declared in Dependency
getDepth	member predicate declared in XmlElement
getDepth	member predicate declared in XmlParent
getDerivation	member predicate declared in InheritanceConversion
getDerivation	member predicate declared in Class
getDerivation	member predicate declared in InheritanceConversionInstruction
getDerivedClass	member predicate declared in BaseClassConversion
getDerivedClass	member predicate declared in DerivedClassConversion
getDerivedClass	member predicate declared in InheritanceConversion
getDerivedClass	member predicate declared in ClassDerivation
getDerivedClass	member predicate declared in InheritanceConversionInstruction
getDescription	member predicate declared in Declaration
getDescription	member predicate declared in Closure
getDescription	member predicate declared in BufferWriteEstimationReason
getDescription	member predicate declared in TypeBoundsAnalysis
getDescription	member predicate declared in UnspecifiedEstimateReason
getDescription	member predicate declared in ValueFlowAnalysis
getDescription	member predicate declared in WidenedValueFlowAnalysis
getDest	member predicate declared in BufferWrite
getDest	member predicate declared in GetsBW
getDest	member predicate declared in RealpathBW
getDest	member predicate declared in ScanfBW
getDest	member predicate declared in SnprintfBW
getDest	member predicate declared in SprintfBW
getDest	member predicate declared in StrCatBW
getDest	member predicate declared in StrCopyBW
getDest	member predicate declared in ChainedOutputCall
getDest	member predicate declared in FileWrite
getDest	member predicate declared in OperatorLShiftCall
getDest	member predicate declared in PutFunctionCall
getDest	member predicate declared in WriteFunctionCall
getDestType	member predicate declared in ConversionOperator
getDestType	member predicate declared in ImplicitConversionFunction
getDestinationAddress	member predicate declared in StoreInstruction
getDestinationAddress	member predicate declared in WriteSideEffectInstruction
getDestinationAddressOperand	member predicate declared in StoreInstruction
getDestinationAddressOperand	member predicate declared in WriteSideEffectInstruction
getDestinationVAList	member predicate declared in BuiltInVarArgCopy
getDestruction	member predicate declared in Destructor
getDestructor	member predicate declared in Class
getDestructor	member predicate declared in DeleteArrayExpr
getDestructor	member predicate declared in DeleteExpr
getDestructor	member predicate declared in DestructorDestructionsNode
getDestructorCall	member predicate declared in DeleteArrayExpr
getDestructorCall	member predicate declared in DeleteExpr
getDimensionExpr	member predicate declared in VlaDimensionStmt
getDisplayIndex	member predicate declared in IRBlockBase
getDisplayIndexInBlock	member predicate declared in Instruction
getDistanceFromMain	member predicate declared in MetricNamespace
getDomain	member predicate declared in IRFloatingPointType
getDomain	member predicate declared in FloatingPointType
getDumpId	member predicate declared in NonPhiOperand
getDumpId	member predicate declared in Operand
getDumpId	member predicate declared in PhiInputOperand
getDumpLabel	member predicate declared in NonPhiOperand
getDumpLabel	member predicate declared in Operand
getDumpLabel	member predicate declared in PhiInputOperand
getDumpSortOrder	member predicate declared in NonPhiOperand
getDumpSortOrder	member predicate declared in Operand
getDumpSortOrder	member predicate declared in PhiInputOperand
getDumpString	member predicate declared in CppType
getDumpString	member predicate declared in Instruction
getDumpString	member predicate declared in Operand
getEffectiveNumberOfParameters	member predicate declared in Function
getEffectiveNumberOfParameters	member predicate declared in MemberFunction
getEfferentCoupling	member predicate declared in MetricClass
getEfferentCoupling	member predicate declared in MetricFile
getEfferentCoupling	member predicate declared in MetricFunction
getEfferentCoupling	member predicate declared in MetricNamespace
getEfferentSourceCoupling	member predicate declared in MetricClass
getElement	member predicate declared in XmlAttribute
getElementExpr	member predicate declared in ArrayOrVectorAggregateLiteral
getElementPositionIndex	member predicate declared in XmlElement
getElementSize	member predicate declared in PointerArithmeticInstruction
getElementType	member predicate declared in ArrayAggregateLiteral
getElementType	member predicate declared in ArrayOrVectorAggregateLiteral
getElementType	member predicate declared in VectorAggregateLiteral
getElse	member predicate declared in ConditionalExpr
getElse	member predicate declared in ConstexprIfStmt
getElse	member predicate declared in IfStmt
getEnclosingAccessHolder	member predicate declared in LocalClass
getEnclosingAccessHolder	member predicate declared in AccessHolder
getEnclosingAccessHolder	member predicate declared in Function
getEnclosingAccessHolder	member predicate declared in UserType
getEnclosingBlock	member predicate declared in Expr
getEnclosingBlock	member predicate declared in Stmt
getEnclosingCallable	member predicate declared in FinalGlobalValue
getEnclosingCallable	member predicate declared in FinalParameterNode
getEnclosingCallable	member predicate declared in IndirectArgumentOutNode
getEnclosingCallable	member predicate declared in IndirectParameterNode
getEnclosingCallable	member predicate declared in IndirectReturnNode
getEnclosingCallable	member predicate declared in InitialGlobalValue
getEnclosingCallable	member predicate declared in Node
getEnclosingCallable	member predicate declared in DataFlow :: Node
getEnclosingCallable	member predicate declared in PostFieldUpdateNode
getEnclosingCallable	member predicate declared in RawIndirectInstruction
getEnclosingCallable	member predicate declared in RawIndirectOperand
getEnclosingCallable	member predicate declared in SideEffectOperandNode
getEnclosingCallable	member predicate declared in SsaPhiNode
getEnclosingCallable	member predicate declared in VariableNode
getEnclosingDeclaration	member predicate declared in Expr
getEnclosingElement	member predicate declared in Element
getEnclosingElement	member predicate declared in FunctionDeclarationEntry
getEnclosingElement	member predicate declared in GlobalOrNamespaceVariable
getEnclosingFunction	member predicate declared in BasicBlock
getEnclosingFunction	member predicate declared in Expr
getEnclosingFunction	member predicate declared in IRBlockBase
getEnclosingFunction	member predicate declared in IRVariable
getEnclosingFunction	member predicate declared in Instruction
getEnclosingFunction	member predicate declared in MacroInvocation
getEnclosingFunction	member predicate declared in Stmt
getEnclosingFunction	member predicate declared in SubBasicBlock
getEnclosingFunction	member predicate declared in UserType
getEnclosingIRFunction	member predicate declared in IRBlockBase
getEnclosingIRFunction	member predicate declared in IRVariable
getEnclosingIRFunction	member predicate declared in Instruction
getEnclosingIRFunction	member predicate declared in Operand
getEnclosingStmt	member predicate declared in ControlFlowNode
getEnclosingStmt	member predicate declared in Expr
getEnclosingStmt	member predicate declared in Function
getEnclosingStmt	member predicate declared in Initializer
getEnclosingStmt	member predicate declared in Stmt
getEnclosingVariable	member predicate declared in Expr
getEncoding	member predicate declared in XmlFile
getEnd	member predicate declared in BasicBlock
getEnd	member predicate declared in SubBasicBlock
getEndColumn	member predicate declared in Location
getEndDest	member predicate declared in ChainedOutputCall
getEndExpr	member predicate declared in SwitchCase
getEndIf	member predicate declared in PreprocessorBranchDirective
getEndLine	member predicate declared in Location
getEndVariable	member predicate declared in RangeBasedForStmt
getEndif	member predicate declared in CorrectIncludeGuard
getEnterFunctionInstruction	member predicate declared in IRFunction
getEntryBlock	member predicate declared in IRFunction
getEntryPoint	member predicate declared in Function
getEnumConstant	member predicate declared in Enum
getEnvironmentVariable	member predicate declared in EnvironmentRead
getExampleInstruction	member predicate declared in ValueNumber
getExcept	member predicate declared in MicrosoftTryExceptStmt
getException	member predicate declared in ThrowValueInstruction
getExceptionAddress	member predicate declared in ThrowValueInstruction
getExceptionAddressOperand	member predicate declared in ThrowValueInstruction
getExceptionOperand	member predicate declared in ThrowValueInstruction
getExceptionType	member predicate declared in CatchByTypeInstruction
getExitFunctionInstruction	member predicate declared in IRFunction
getExpandedArgument	member predicate declared in MacroInvocation
getExpectedParameterType	member predicate declared in FunctionCall
getExpectedReturnType	member predicate declared in FunctionCall
getExplicitLimit	member predicate declared in BufferWrite
getExplicitLimit	member predicate declared in GetsBW
getExplicitLimit	member predicate declared in SnprintfBW
getExplicitLimit	member predicate declared in StrCatBW
getExplicitLimit	member predicate declared in StrCopyBW
getExplicitTemplateArgument	member predicate declared in FunctionCall
getExplicitTemplateArgumentKind	member predicate declared in FunctionCall
getExplicitUnderlyingType	member predicate declared in Enum
getExplicitlyConverted	member predicate declared in Expr
getExpr	member predicate declared in ConstructorFieldInit
getExpr	member predicate declared in DestructorFieldDestruction
getExpr	member predicate declared in ExprCall
getExpr	member predicate declared in OverloadedPointerDereferenceExpr
getExpr	member predicate declared in Conversion
getExpr	member predicate declared in TypeidOperator
getExpr	member predicate declared in ExprNode
getExpr	member predicate declared in DataFlow :: ExprNode
getExpr	member predicate declared in IndirectExprNode
getExpr	member predicate declared in DataFlow :: PreObjectInitializerNode
getExpr	member predicate declared in DeleteArrayExpr
getExpr	member predicate declared in DeleteExpr
getExpr	member predicate declared in NoExceptExpr
getExpr	member predicate declared in ThrowExpr
getExpr	member predicate declared in Initializer
getExpr	member predicate declared in MacroInvocation
getExpr	member predicate declared in NameQualifier
getExpr	member predicate declared in CoReturnStmt
getExpr	member predicate declared in ComputedGotoStmt
getExpr	member predicate declared in ExprStmt
getExpr	member predicate declared in ReturnStmt
getExpr	member predicate declared in SwitchCase
getExpr	member predicate declared in SwitchStmt
getExpr	member predicate declared in Decltype
getExprOperand	member predicate declared in AlignofExprOperator
getExprOperand	member predicate declared in SizeofExprOperator
getExpression	member predicate declared in SwitchInstruction
getExpressionOperand	member predicate declared in SwitchInstruction
getExtension	member predicate declared in Container
getExtensions	member predicate declared in File
getExtent	member predicate declared in NewArrayExpr
getExtractorCpuSeconds	member predicate declared in Compilation
getExtractorElapsedSeconds	member predicate declared in Compilation
getFalseSuccessor	member predicate declared in ConditionalBranchInstruction
getField	member predicate declared in FieldAddress
getField	member predicate declared in FieldContent
getField	member predicate declared in DataFlow :: FieldContent
getField	member predicate declared in ExternalData
getField	member predicate declared in FieldInstruction
getField	member predicate declared in LambdaCapture
getFieldAddress	member predicate declared in PostFieldUpdateNode
getFieldAsDate	member predicate declared in ExternalData
getFieldAsFloat	member predicate declared in ExternalData
getFieldAsInt	member predicate declared in ExternalData
getFieldExpr	member predicate declared in ClassAggregateLiteral
getFile	member predicate declared in Element
getFile	member predicate declared in Container
getFile	member predicate declared in Location
getFile	member predicate declared in XmlElement
getFile	member predicate declared in XmlFile
getFile	member predicate declared in XmlParent
getFileBySourceArchiveName	predicate declared in IDEContextual
getFileCompiled	member predicate declared in Compilation
getFinally	member predicate declared in MicrosoftTryFinallyStmt
getFirstFormatArgIndex	member predicate declared in FormatAttribute
getFirstFormatArgumentIndex	member predicate declared in FormattingFunction
getFirstInstruction	member predicate declared in IRBlockBase
getFlags	member predicate declared in FormatLiteral
getFloatingPointConversion	member predicate declared in FormatLiteral
getFolder	member predicate declared in Container
getFollowingStmt	member predicate declared in Stmt
getFormat	member predicate declared in FormatLiteral
getFormat	member predicate declared in FormattingFunctionCall
getFormat	member predicate declared in ScanfFormatLiteral
getFormat	member predicate declared in ScanfFunctionCall
getFormatArgument	member predicate declared in FormattingFunctionCall
getFormatArgumentIndexFor	member predicate declared in FormatLiteral
getFormatCharType	member predicate declared in FormattingFunction
getFormatIndex	member predicate declared in FormatAttribute
getFormatParameterIndex	member predicate declared in FormattingFunction
getFormatParameterIndex	member predicate declared in AttributeFormattingFunction
getFormatParameterIndex	member predicate declared in FormattingFunctionCall
getFormatParameterIndex	member predicate declared in UserDefinedFormattingFunction
getFormatParameterIndex	member predicate declared in Fscanf
getFormatParameterIndex	member predicate declared in Scanf
getFormatParameterIndex	member predicate declared in ScanfFunction
getFormatParameterIndex	member predicate declared in ScanfFunctionCall
getFormatParameterIndex	member predicate declared in Snscanf
getFormatParameterIndex	member predicate declared in Sscanf
getFreedArg	member predicate declared in DeallocationFunction
getFreedArg	member predicate declared in OperatorDeleteDeallocationFunction
getFreedExpr	member predicate declared in DeallocationExpr
getFriend	member predicate declared in FriendDecl
getFriendlyName	member predicate declared in GlobalNamespace
getFriendlyName	member predicate declared in Namespace
getFrontendCpuSeconds	member predicate declared in Compilation
getFrontendElapsedSeconds	member predicate declared in Compilation
getFullMessage	member predicate declared in Diagnostic
getFullSignature	member predicate declared in Function
getFullyConverted	member predicate declared in Expr
getFullyConvertedLowerBounds	predicate declared in SimpleRangeAnalysisInternal
getFullyConvertedUpperBounds	predicate declared in SimpleRangeAnalysisInternal
getFunction	member predicate declared in DataFlow :: DefinitionByReferenceOrIteratorNode
getFunction	member predicate declared in DataFlow :: ExplicitParameterNode
getFunction	member predicate declared in DataFlow :: ExprNode
getFunction	member predicate declared in FinalGlobalValue
getFunction	member predicate declared in FinalParameterNode
getFunction	member predicate declared in DataFlow :: ImplicitParameterNode
getFunction	member predicate declared in IndirectArgumentOutNode
getFunction	member predicate declared in IndirectParameterNode
getFunction	member predicate declared in InitialGlobalValue
getFunction	member predicate declared in Node
getFunction	member predicate declared in DataFlow :: Node
getFunction	member predicate declared in PostFieldUpdateNode
getFunction	member predicate declared in DataFlow :: PostUpdateNode
getFunction	member predicate declared in DataFlow :: PreConstructorInitThis
getFunction	member predicate declared in DataFlow :: PreObjectInitializerNode
getFunction	member predicate declared in RawIndirectInstruction
getFunction	member predicate declared in RawIndirectOperand
getFunction	member predicate declared in DataFlow :: RefParameterFinalValueNode
getFunction	member predicate declared in SideEffectOperandNode
getFunction	member predicate declared in SsaPhiNode
getFunction	member predicate declared in DataFlow :: UninitializedNode
getFunction	member predicate declared in VariableNode
getFunction	member predicate declared in BlockExpr
getFunction	member predicate declared in FunctionDeclarationEntry
getFunction	member predicate declared in IRFunctionBase
getFunction	member predicate declared in Parameter
getFunction	member predicate declared in FunctionNode
getFunction	member predicate declared in ParametersNode
getFunction	member predicate declared in LocalScopeVariable
getFunction	member predicate declared in LocalVariable
getFunctionDeclarationEntry	member predicate declared in ParameterDeclarationEntry
getFunctionSymbol	member predicate declared in FunctionInstruction
getGeneratingMacro	member predicate declared in ComputedGotoStmt
getGeneratingMacro	member predicate declared in ConstexprIfStmt
getGeneratingMacro	member predicate declared in DoStmt
getGeneratingMacro	member predicate declared in ExprStmt
getGeneratingMacro	member predicate declared in ForStmt
getGeneratingMacro	member predicate declared in IfStmt
getGeneratingMacro	member predicate declared in Stmt
getGeneratingMacro	member predicate declared in SwitchStmt
getGeneratingMacro	member predicate declared in WhileStmt
getGlobalDef	member predicate declared in InitialGlobalValue
getGlobalUse	member predicate declared in FinalGlobalValue
getGreater	member predicate declared in CompareGEInstruction
getGreater	member predicate declared in CompareGTInstruction
getGreater	member predicate declared in CompareLEInstruction
getGreater	member predicate declared in CompareLTInstruction
getGreater	member predicate declared in RelationalInstruction
getGreaterOperand	member predicate declared in GEExpr
getGreaterOperand	member predicate declared in GTExpr
getGreaterOperand	member predicate declared in LEExpr
getGreaterOperand	member predicate declared in LTExpr
getGreaterOperand	member predicate declared in RelationalOperation
getHalsteadDeliveredBugs	member predicate declared in MetricClass
getHalsteadDeliveredBugs	member predicate declared in MetricFile
getHalsteadDeliveredBugs	member predicate declared in MetricFunction
getHalsteadDifficulty	member predicate declared in MetricClass
getHalsteadDifficulty	member predicate declared in MetricFile
getHalsteadDifficulty	member predicate declared in MetricFunction
getHalsteadEffort	member predicate declared in MetricClass
getHalsteadEffort	member predicate declared in MetricFile
getHalsteadEffort	member predicate declared in MetricFunction
getHalsteadLength	member predicate declared in MetricClass
getHalsteadLength	member predicate declared in MetricFile
getHalsteadLength	member predicate declared in MetricFunction
getHalsteadLevel	member predicate declared in MetricClass
getHalsteadLevel	member predicate declared in MetricFile
getHalsteadLevel	member predicate declared in MetricFunction
getHalsteadN1	member predicate declared in MetricClass
getHalsteadN1	member predicate declared in MetricFile
getHalsteadN1	member predicate declared in MetricFunction
getHalsteadN1Distinct	member predicate declared in MetricClass
getHalsteadN1Distinct	member predicate declared in MetricFile
getHalsteadN1Distinct	member predicate declared in MetricFunction
getHalsteadN2	member predicate declared in MetricClass
getHalsteadN2	member predicate declared in MetricFile
getHalsteadN2	member predicate declared in MetricFunction
getHalsteadN2Distinct	member predicate declared in MetricClass
getHalsteadN2Distinct	member predicate declared in MetricFile
getHalsteadN2Distinct	member predicate declared in MetricFunction
getHalsteadVocabulary	member predicate declared in MetricClass
getHalsteadVocabulary	member predicate declared in MetricFile
getHalsteadVocabulary	member predicate declared in MetricFunction
getHalsteadVolume	member predicate declared in MetricClass
getHalsteadVolume	member predicate declared in MetricFile
getHalsteadVolume	member predicate declared in MetricFunction
getHead	member predicate declared in Macro
getHead	member predicate declared in PreprocessorDirective
getIRFunction	member predicate declared in GlobalDef
getIRFunction	member predicate declared in GlobalUse
getIRType	member predicate declared in CppType
getIRType	member predicate declared in IRVariable
getIRType	member predicate declared in Operand
getIRVariable	member predicate declared in DirectParameterNode
getIRVariable	member predicate declared in VariableInstruction
getId	member predicate declared in OperandTag
getIdentityString	member predicate declared in IROpaqueType
getIdentityString	member predicate declared in IRType
getIdentityString	predicate declared in Print
getIf	member predicate declared in PreprocessorBranchDirective
getIfndef	member predicate declared in CorrectIncludeGuard
getImaginaryOperand	member predicate declared in BuiltInComplexOperation
getImmediateString	member predicate declared in BuiltInInstruction
getImmediateString	member predicate declared in CallInstruction
getImmediateString	member predicate declared in CatchByTypeInstruction
getImmediateString	member predicate declared in ConstantValueInstruction
getImmediateString	member predicate declared in FieldInstruction
getImmediateString	member predicate declared in FunctionInstruction
getImmediateString	member predicate declared in IndexedInstruction
getImmediateString	member predicate declared in InheritanceConversionInstruction
getImmediateString	member predicate declared in Instruction
getImmediateString	member predicate declared in LoadInstruction
getImmediateString	member predicate declared in PointerArithmeticInstruction
getImmediateString	member predicate declared in StoreInstruction
getImmediateString	member predicate declared in StringConstantInstruction
getImmediateString	member predicate declared in VariableInstruction
getImplicitlyConverted	member predicate declared in Expr
getIncludeGuardName	member predicate declared in CorrectIncludeGuard
getIncludeText	member predicate declared in Include
getIncludedFile	member predicate declared in Include
getIndex	member predicate declared in ClassDerivation
getIndex	member predicate declared in InParameter
getIndex	member predicate declared in InParameterDeref
getIndex	member predicate declared in OutParameterDeref
getIndex	member predicate declared in IREllipsisVariable
getIndex	member predicate declared in IRParameter
getIndex	member predicate declared in IRPositionalParameter
getIndex	member predicate declared in IRThisVariable
getIndex	member predicate declared in IndexedInstruction
getIndex	member predicate declared in PositionalArgumentOperand
getIndex	member predicate declared in Parameter
getIndex	member predicate declared in AttributeArgument
getIndex	member predicate declared in ParameterDeclarationEntry
getIndex	member predicate declared in XmlElement
getIndexOfStmt	member predicate declared in BlockStmt
getIndirection	member predicate declared in GlobalUse
getIndirection	member predicate declared in UseImpl
getIndirectionIndex	member predicate declared in IndirectInstruction
getIndirectionIndex	member predicate declared in IndirectOperand
getIndirectionIndex	member predicate declared in FieldContent
getIndirectionIndex	member predicate declared in FinalParameterNode
getIndirectionIndex	member predicate declared in IndirectArgumentOutNode
getIndirectionIndex	member predicate declared in IndirectReturnNode
getIndirectionIndex	member predicate declared in IndirectReturnOutNode
getIndirectionIndex	member predicate declared in PostFieldUpdateNode
getIndirectionIndex	member predicate declared in RawIndirectInstruction
getIndirectionIndex	member predicate declared in RawIndirectOperand
getIndirectionIndex	member predicate declared in UnionContent
getIndirectionIndex	member predicate declared in VariableNode
getIndirectionIndex	member predicate declared in GlobalDef
getIndirectionIndex	member predicate declared in UseImpl
getInheritanceDepth	member predicate declared in MetricClass
getInitExpr	member predicate declared in FoldExpr
getInitialization	member predicate declared in ConstexprIfStmt
getInitialization	member predicate declared in ForStmt
getInitialization	member predicate declared in IfStmt
getInitialization	member predicate declared in SwitchStmt
getInitializationOrder	member predicate declared in Field
getInitializer	member predicate declared in EnumConstant
getInitializer	member predicate declared in NewOrNewArrayExpr
getInitializer	member predicate declared in LambdaCapture
getInitializer	member predicate declared in LambdaExpression
getInitializer	member predicate declared in Constructor
getInitializer	member predicate declared in Variable
getInitializingExpr	member predicate declared in ConditionDeclExpr
getInputLengthParameterIndex	member predicate declared in Snscanf
getInputOperand	member predicate declared in PhiInstruction
getInputParameterIndex	member predicate declared in Fscanf
getInputParameterIndex	member predicate declared in Scanf
getInputParameterIndex	member predicate declared in ScanfFunction
getInputParameterIndex	member predicate declared in ScanfFunctionCall
getInputParameterIndex	member predicate declared in Snscanf
getInputParameterIndex	member predicate declared in Sscanf
getInsecureAlgorithmRegex	predicate declared in Encryption
getInstability	member predicate declared in MetricNamespace
getInstruction	member predicate declared in IndirectInstruction
getInstruction	member predicate declared in IndirectReturnOutNode
getInstruction	member predicate declared in InstructionNode
getInstruction	member predicate declared in RawIndirectInstruction
getInstruction	member predicate declared in IRBlockBase
getInstruction	member predicate declared in MustFlowPathNode
getInstructionCount	member predicate declared in IRBlockBase
getInstructionProperty	member predicate declared in IRPropertyProvider
getIntegralConversion	member predicate declared in FormatLiteral
getIntegralDisplayType	member predicate declared in FormatLiteral
getKind	member predicate declared in GVN
getKind	member predicate declared in GVN
getKind	member predicate declared in HashCons
getKind	member predicate declared in ValueNumber
getLValue	member predicate declared in Assignment
getLabel	member predicate declared in LabelLiteral
getLabel	member predicate declared in OperandTag
getLackOfCohesionCK	member predicate declared in MetricClass
getLackOfCohesionHS	member predicate declared in MetricClass
getLambdaExpression	member predicate declared in Closure
getLambdaFunction	member predicate declared in Closure
getLambdaFunction	member predicate declared in LambdaExpression
getLanguageType	member predicate declared in IRGeneratedVariable
getLanguageType	member predicate declared in IRUserVariable
getLanguageType	member predicate declared in IRVariable
getLanguageType	member predicate declared in Operand
getLanguageType	member predicate declared in TypedOperand
getLastInstruction	member predicate declared in IRBlockBase
getLastNamedParameter	member predicate declared in BuiltInVarArgsStart
getLastStmt	member predicate declared in BlockStmt
getLastStmt	member predicate declared in SwitchCase
getLastStmtIn	member predicate declared in BlockStmt
getLeft	member predicate declared in BinaryInstruction
getLeftOperand	member predicate declared in BinaryOperation
getLeftOperand	member predicate declared in CommaExpr
getLeftOperand	member predicate declared in BinaryInstruction
getLength	member predicate declared in FormatLiteral
getLength	member predicate declared in ScanfFormatLiteral
getLesser	member predicate declared in CompareGEInstruction
getLesser	member predicate declared in CompareGTInstruction
getLesser	member predicate declared in CompareLEInstruction
getLesser	member predicate declared in CompareLTInstruction
getLesser	member predicate declared in RelationalInstruction
getLesserOperand	member predicate declared in GEExpr
getLesserOperand	member predicate declared in GTExpr
getLesserOperand	member predicate declared in LEExpr
getLesserOperand	member predicate declared in LTExpr
getLesserOperand	member predicate declared in RelationalOperation
getLiteral	member predicate declared in IRStringLiteral
getLocalVariable	member predicate declared in UninitializedNode
getLocalVariable	member predicate declared in DataFlow :: UninitializedNode
getLocalVariable	member predicate declared in UninitializedInstruction
getLocation	member predicate declared in GVN
getLocation	member predicate declared in ClassDerivation
getLocation	member predicate declared in ProxyClass
getLocation	member predicate declared in Comment
getLocation	member predicate declared in DataFlow :: DefinitionByReferenceOrIteratorNode
getLocation	member predicate declared in DataFlow :: ExplicitParameterNode
getLocation	member predicate declared in DataFlow :: ExprNode
getLocation	member predicate declared in DataFlow :: ImplicitParameterNode
getLocation	member predicate declared in Node
getLocation	member predicate declared in DataFlow :: Node
getLocation	member predicate declared in DataFlow :: PostUpdateNode
getLocation	member predicate declared in DataFlow :: PreConstructorInitThis
getLocation	member predicate declared in DataFlow :: PreObjectInitializerNode
getLocation	member predicate declared in DataFlow :: RefParameterFinalValueNode
getLocation	member predicate declared in DataFlow :: UninitializedNode
getLocation	member predicate declared in Declaration
getLocation	member predicate declared in Diagnostic
getLocation	member predicate declared in Element
getLocation	member predicate declared in StaticAssert
getLocation	member predicate declared in EnumConstant
getLocation	member predicate declared in Expr
getLocation	member predicate declared in File
getLocation	member predicate declared in Folder
getLocation	member predicate declared in FriendDecl
getLocation	member predicate declared in BuiltInFunction
getLocation	member predicate declared in Function
getLocation	member predicate declared in FunctionDeclarationEntry
getLocation	member predicate declared in GVN
getLocation	member predicate declared in HashCons
getLocation	member predicate declared in IRBlockBase
getLocation	member predicate declared in IRFunctionBase
getLocation	member predicate declared in IRVariable
getLocation	member predicate declared in Initializer
getLocation	member predicate declared in Instruction
getLocation	member predicate declared in LambdaCapture
getLocation	member predicate declared in MacroAccess
getLocation	member predicate declared in MustFlowPathNode
getLocation	member predicate declared in NameQualifier
getLocation	member predicate declared in Namespace
getLocation	member predicate declared in NamespaceDeclarationEntry
getLocation	member predicate declared in UsingEntry
getLocation	member predicate declared in Operand
getLocation	member predicate declared in RegisterOperand
getLocation	member predicate declared in ThisArgumentOperand
getLocation	member predicate declared in Parameter
getLocation	member predicate declared in PreprocessorDirective
getLocation	member predicate declared in BaseAstNode
getLocation	member predicate declared in ConstructorInitializersNode
getLocation	member predicate declared in DestructorDestructionsNode
getLocation	member predicate declared in ParametersNode
getLocation	member predicate declared in PrintAstNode
getLocation	member predicate declared in RangeSsaDefinition
getLocation	member predicate declared in SsaDefinition
getLocation	member predicate declared in Attribute
getLocation	member predicate declared in AttributeArgument
getLocation	member predicate declared in Specifier
getLocation	member predicate declared in GlobalDef
getLocation	member predicate declared in GlobalUse
getLocation	member predicate declared in Stmt
getLocation	member predicate declared in AutoType
getLocation	member predicate declared in Decltype
getLocation	member predicate declared in Type
getLocation	member predicate declared in TypeMention
getLocation	member predicate declared in TypeDeclarationEntry
getLocation	member predicate declared in UserType
getLocation	member predicate declared in ValueNumber
getLocation	member predicate declared in Variable
getLocation	member predicate declared in VariableDeclarationEntry
getLocation	member predicate declared in XmlLocatable
getLocationImpl	member predicate declared in FinalGlobalValue
getLocationImpl	member predicate declared in FinalParameterNode
getLocationImpl	member predicate declared in IndirectArgumentOutNode
getLocationImpl	member predicate declared in IndirectParameterNode
getLocationImpl	member predicate declared in InitialGlobalValue
getLocationImpl	member predicate declared in InstructionNode
getLocationImpl	member predicate declared in Node
getLocationImpl	member predicate declared in OperandNode
getLocationImpl	member predicate declared in PostFieldUpdateNode
getLocationImpl	member predicate declared in RawIndirectInstruction
getLocationImpl	member predicate declared in RawIndirectOperand
getLocationImpl	member predicate declared in SsaPhiNode
getLocationImpl	member predicate declared in VariableNode
getLocationString	member predicate declared in IRGeneratedVariable
getLockAccess	member predicate declared in MutexType
getMacro	member predicate declared in MacroAccess
getMacroName	member predicate declared in MacroAccess
getMaxConvertedLength	member predicate declared in FormatLiteral
getMaxConvertedLength	member predicate declared in FormatLiteral
getMaxConvertedLength	member predicate declared in FormatLiteral
getMaxConvertedLength	member predicate declared in ScanfFormatLiteral
getMaxConvertedLengthLimited	member predicate declared in FormatLiteral
getMaxConvertedLengthLimited	member predicate declared in FormatLiteral
getMaxConvertedLengthLimited	member predicate declared in FormatLiteral
getMaxConvertedLengthLimitedWithReason	member predicate declared in FormatLiteral
getMaxConvertedLengthWithReason	member predicate declared in FormatLiteral
getMaxData	member predicate declared in BufferWrite
getMaxData	member predicate declared in BufferWrite
getMaxData	member predicate declared in RealpathBW
getMaxData	member predicate declared in RealpathBW
getMaxData	member predicate declared in ScanfBW
getMaxData	member predicate declared in ScanfBW
getMaxData	member predicate declared in SnprintfBW
getMaxData	member predicate declared in SnprintfBW
getMaxData	member predicate declared in SprintfBW
getMaxData	member predicate declared in SprintfBW
getMaxData	member predicate declared in StrCatBW
getMaxData	member predicate declared in StrCatBW
getMaxData	member predicate declared in StrCopyBW
getMaxData	member predicate declared in StrCopyBW
getMaxDataLimited	member predicate declared in BufferWrite
getMaxDataLimited	member predicate declared in BufferWrite
getMaxDataLimited	member predicate declared in SnprintfBW
getMaxDataLimited	member predicate declared in SnprintfBW
getMaxDataLimited	member predicate declared in SprintfBW
getMaxDataLimited	member predicate declared in SprintfBW
getMaxLength	member predicate declared in AnalyzedString
getMaxValue	member predicate declared in CaseEdge
getMaxWidth	member predicate declared in ScanfFormatLiteral
getMaxWidthOpt	member predicate declared in ScanfFormatLiteral
getMemoryAccess	member predicate declared in ChiPartialOperand
getMemoryAccess	member predicate declared in ChiTotalOperand
getMemoryAccess	member predicate declared in MemoryOperand
getMemoryAccess	member predicate declared in PhiInputOperand
getMentionedType	member predicate declared in TypeMention
getMessage	member predicate declared in Diagnostic
getMessage	member predicate declared in StaticAssert
getMessage	member predicate declared in DefectExternalData
getMetrics	member predicate declared in Class
getMetrics	member predicate declared in File
getMetrics	member predicate declared in Function
getMetrics	member predicate declared in Namespace
getMinFieldWidth	member predicate declared in FormatLiteral
getMinFieldWidthArgument	member predicate declared in FormattingFunctionCall
getMinFieldWidthOpt	member predicate declared in FormatLiteral
getMinFieldWidthParameterFieldValue	member predicate declared in FormatLiteral
getMinValue	member predicate declared in CaseEdge
getMustlockAccess	member predicate declared in MutexType
getName	member predicate declared in ArrayExprBA
getName	member predicate declared in BCopyBA
getName	member predicate declared in BufferAccess
getName	member predicate declared in FreadBA
getName	member predicate declared in MemccpyBA
getName	member predicate declared in MemchrBA
getName	member predicate declared in MemcmpBA
getName	member predicate declared in MemcpyBA
getName	member predicate declared in MemsetBA
getName	member predicate declared in StrncpyBA
getName	member predicate declared in SwabBA
getName	member predicate declared in ZeroMemoryBA
getName	member predicate declared in Declaration
getName	member predicate declared in DeclarationEntry
getName	member predicate declared in EnumConstant
getName	member predicate declared in FriendDecl
getName	member predicate declared in Function
getName	member predicate declared in FunctionDeclarationEntry
getName	member predicate declared in Macro
getName	member predicate declared in NameQualifyingElement
getName	member predicate declared in Namespace
getName	member predicate declared in Parameter
getName	member predicate declared in PreprocessorUndef
getName	member predicate declared in Attribute
getName	member predicate declared in AttributeArgument
getName	member predicate declared in Specifier
getName	member predicate declared in GotoStmt
getName	member predicate declared in LabelStmt
getName	member predicate declared in BuiltInType
getName	member predicate declared in Decltype
getName	member predicate declared in DerivedType
getName	member predicate declared in PointerToMemberType
getName	member predicate declared in RoutineType
getName	member predicate declared in Type
getName	member predicate declared in TypeDeclarationEntry
getName	member predicate declared in UserType
getName	member predicate declared in GlobalOrNamespaceVariable
getName	member predicate declared in LocalVariable
getName	member predicate declared in MemberVariable
getName	member predicate declared in Variable
getName	member predicate declared in VariableDeclarationEntry
getName	member predicate declared in XmlAttribute
getName	member predicate declared in XmlElement
getName	member predicate declared in XmlFile
getName	member predicate declared in XmlParent
getNameQualifier	member predicate declared in NameQualifiableElement
getNameQualifier	member predicate declared in NameQualifier
getNamedArgument	member predicate declared in MicrosoftAttribute
getNamespace	member predicate declared in Declaration
getNamespace	member predicate declared in NamespaceDeclarationEntry
getNamespace	member predicate declared in UsingDirectiveEntry
getNamespace	member predicate declared in StdAttribute
getNamespace	member predicate declared in XmlAttribute
getNamespace	member predicate declared in XmlElement
getNestingDepth	member predicate declared in MetricFunction
getNestingLevel	member predicate declared in MetricClass
getNext	member predicate declared in PreprocessorBranchDirective
getNextSwitchCase	member predicate declared in SwitchCase
getNoExceptExpr	member predicate declared in FunctionDeclarationEntry
getNode	member predicate declared in BasicBlock
getNode	member predicate declared in MergePathGraph :: PathNode
getNode	member predicate declared in DataFlow :: MergePathGraph :: PathNode
getNode	member predicate declared in PathNode
getNode	member predicate declared in DataFlow :: PathNode
getNode	member predicate declared in PathNode
getNode	member predicate declared in DataFlow2 :: PathNode
getNode	member predicate declared in PathNode
getNode	member predicate declared in PathNode
getNode	member predicate declared in PathNode
getNode	member predicate declared in PathNode
getNode	member predicate declared in GlobalUse
getNode	member predicate declared in UseImpl
getNode	member predicate declared in SubBasicBlock
getNonDefaultCharType	member predicate declared in FormattingFunction
getNonDefaultCharType	member predicate declared in FormatLiteral
getNonNullSuccessor	member predicate declared in AnalysedExpr
getNullSuccessor	member predicate declared in AnalysedExpr
getNumArgNeeded	member predicate declared in FormatLiteral
getNumArgNeeded	member predicate declared in FormatLiteral
getNumBits	member predicate declared in BitField
getNumChild	member predicate declared in Expr
getNumConvSpec	member predicate declared in FormatLiteral
getNumConvSpec	member predicate declared in ScanfFormatLiteral
getNumDeclarations	member predicate declared in DeclStmt
getNumElements	member predicate declared in GNUVectorType
getNumFields	member predicate declared in ExternalData
getNumFormatArgument	member predicate declared in FormattingFunctionCall
getNumStmt	member predicate declared in BlockStmt
getNumberOfArguments	member predicate declared in Call
getNumberOfArguments	member predicate declared in CallInstruction
getNumberOfArguments	member predicate declared in FormattingFunctionCall
getNumberOfCalls	member predicate declared in MetricFunction
getNumberOfCatchClauses	member predicate declared in TryStmt
getNumberOfCharacterSets	member predicate declared in XmlParent
getNumberOfChildren	member predicate declared in XmlParent
getNumberOfClasses	member predicate declared in MetricFile
getNumberOfExplicitTemplateArguments	member predicate declared in FunctionCall
getNumberOfFields	member predicate declared in MetricClass
getNumberOfLines	member predicate declared in FunctionDeclarationEntry
getNumberOfLines	member predicate declared in MetricFile
getNumberOfLines	member predicate declared in MetricFunction
getNumberOfLinesOfCode	member predicate declared in MetricFile
getNumberOfLinesOfCode	member predicate declared in MetricFunction
getNumberOfLinesOfComments	member predicate declared in MetricFile
getNumberOfLinesOfComments	member predicate declared in MetricFunction
getNumberOfMemberFunctions	member predicate declared in MetricClass
getNumberOfMembers	member predicate declared in MetricClass
getNumberOfNestedClasses	member predicate declared in MetricClass
getNumberOfNodes	member predicate declared in SubBasicBlock
getNumberOfOutputArguments	member predicate declared in ScanfFunctionCall
getNumberOfParameters	member predicate declared in Function
getNumberOfParameters	member predicate declared in FunctionDeclarationEntry
getNumberOfParameters	member predicate declared in MetricFunction
getNumberOfParameters	member predicate declared in FunctionPointerIshType
getNumberOfTemplateArguments	member predicate declared in FunctionCall
getNumberOfTemplateArguments	member predicate declared in Declaration
getNumberOfTopLevelFunctions	member predicate declared in MetricFile
getNumberOfUserTypes	member predicate declared in MetricFile
getNumberOfVlaDimensionStmts	member predicate declared in VlaDeclStmt
getNumberOverridden	member predicate declared in MetricClass
getObjectAddress	member predicate declared in FieldAddress
getObjectAddress	member predicate declared in FieldAddressInstruction
getObjectAddressOperand	member predicate declared in FieldAddress
getObjectAddressOperand	member predicate declared in FieldAddressInstruction
getOpcode	member predicate declared in Instruction
getOperand	member predicate declared in IndirectOperand
getOperand	member predicate declared in IndirectReturnOutNode
getOperand	member predicate declared in OperandNode
getOperand	member predicate declared in RawIndirectOperand
getOperand	member predicate declared in AssumeExpr
getOperand	member predicate declared in UnaryOperation
getOperand	member predicate declared in CoReturnStmt
getOperandProperty	member predicate declared in IRPropertyProvider
getOperandTag	member predicate declared in NonPhiOperand
getOperandsString	member predicate declared in Instruction
getOperationString	member predicate declared in Instruction
getOperator	member predicate declared in AddExpr
getOperator	member predicate declared in ConjugationExpr
getOperator	member predicate declared in DivExpr
getOperator	member predicate declared in ImaginaryDivExpr
getOperator	member predicate declared in ImaginaryMulExpr
getOperator	member predicate declared in ImaginaryPartExpr
getOperator	member predicate declared in ImaginaryRealAddExpr
getOperator	member predicate declared in ImaginaryRealSubExpr
getOperator	member predicate declared in MaxExpr
getOperator	member predicate declared in MinExpr
getOperator	member predicate declared in MulExpr
getOperator	member predicate declared in PointerAddExpr
getOperator	member predicate declared in PointerDiffExpr
getOperator	member predicate declared in PointerSubExpr
getOperator	member predicate declared in PostfixDecrExpr
getOperator	member predicate declared in PostfixIncrExpr
getOperator	member predicate declared in PrefixDecrExpr
getOperator	member predicate declared in PrefixIncrExpr
getOperator	member predicate declared in RealImaginaryAddExpr
getOperator	member predicate declared in RealImaginarySubExpr
getOperator	member predicate declared in RealPartExpr
getOperator	member predicate declared in RemExpr
getOperator	member predicate declared in SubExpr
getOperator	member predicate declared in UnaryMinusExpr
getOperator	member predicate declared in UnaryPlusExpr
getOperator	member predicate declared in AssignAddExpr
getOperator	member predicate declared in AssignAndExpr
getOperator	member predicate declared in AssignDivExpr
getOperator	member predicate declared in AssignExpr
getOperator	member predicate declared in AssignLShiftExpr
getOperator	member predicate declared in AssignMulExpr
getOperator	member predicate declared in AssignOrExpr
getOperator	member predicate declared in AssignPointerAddExpr
getOperator	member predicate declared in AssignPointerSubExpr
getOperator	member predicate declared in AssignRShiftExpr
getOperator	member predicate declared in AssignRemExpr
getOperator	member predicate declared in AssignSubExpr
getOperator	member predicate declared in AssignXorExpr
getOperator	member predicate declared in BlockAssignExpr
getOperator	member predicate declared in BitwiseAndExpr
getOperator	member predicate declared in BitwiseOrExpr
getOperator	member predicate declared in BitwiseXorExpr
getOperator	member predicate declared in ComplementExpr
getOperator	member predicate declared in LShiftExpr
getOperator	member predicate declared in RShiftExpr
getOperator	member predicate declared in BuiltInOperationBuiltInAddressOf
getOperator	member predicate declared in VectorFillOperation
getOperator	member predicate declared in EQExpr
getOperator	member predicate declared in GEExpr
getOperator	member predicate declared in GTExpr
getOperator	member predicate declared in LEExpr
getOperator	member predicate declared in LTExpr
getOperator	member predicate declared in NEExpr
getOperator	member predicate declared in AddressOfExpr
getOperator	member predicate declared in CoAwaitExpr
getOperator	member predicate declared in CoYieldExpr
getOperator	member predicate declared in Operation
getOperator	member predicate declared in PointerDereferenceExpr
getOperator	member predicate declared in SpaceshipExpr
getOperator	member predicate declared in ConditionalExpr
getOperator	member predicate declared in LogicalAndExpr
getOperator	member predicate declared in LogicalOrExpr
getOperator	member predicate declared in NotExpr
getOperatorString	member predicate declared in FoldExpr
getOptions	predicate declared in DefaultOptions
getOriginalLength	member predicate declared in TextLiteral
getOutermostMacroAccess	member predicate declared in MacroAccess
getOutputArgument	member predicate declared in FormattingFunctionCall
getOutputArgument	member predicate declared in ScanfFunctionCall
getOutputParameterIndex	member predicate declared in FormattingFunction
getOutputParameterIndex	member predicate declared in UserDefinedFormattingFunction
getOverrides	member predicate declared in MetricClass
getPackExpr	member predicate declared in FoldExpr
getParamArgs	member predicate declared in ScanfBW
getParamDest	member predicate declared in StrcatFunction
getParamDest	member predicate declared in StrcpyFunction
getParamSize	member predicate declared in GetsBW
getParamSize	member predicate declared in SnprintfBW
getParamSize	member predicate declared in StrCatBW
getParamSize	member predicate declared in StrCopyBW
getParamSize	member predicate declared in StrcatFunction
getParamSize	member predicate declared in StrcpyFunction
getParamSrc	member predicate declared in StrCatBW
getParamSrc	member predicate declared in StrCopyBW
getParamSrc	member predicate declared in StrcatFunction
getParamSrc	member predicate declared in StrcpyFunction
getParameter	member predicate declared in DefinitionByReferenceNode
getParameter	member predicate declared in DataFlow :: DefinitionByReferenceOrIteratorNode
getParameter	member predicate declared in DataFlow :: ExplicitParameterNode
getParameter	member predicate declared in FinalParameterNode
getParameter	member predicate declared in IndirectParameterNode
getParameter	member predicate declared in DataFlow :: RefParameterFinalValueNode
getParameter	member predicate declared in Function
getParameter	member predicate declared in InitializeIndirectionInstruction
getParameter	member predicate declared in InitializeParameterInstruction
getParameter	member predicate declared in ReturnIndirectionInstruction
getParameter	member predicate declared in CatchBlock
getParameter	member predicate declared in Handler
getParameterDeclarationEntry	member predicate declared in FunctionDeclarationEntry
getParameterField	member predicate declared in FormatLiteral
getParameterFieldValue	member predicate declared in FormatLiteral
getParameterSizeIndex	member predicate declared in SideEffectFunction
getParameterSizeIndex	member predicate declared in StrcpyFunction
getParameterString	member predicate declared in Function
getParameterString	member predicate declared in FunctionDeclarationEntry
getParameterType	member predicate declared in FunctionPointerIshType
getParameterType	member predicate declared in RoutineType
getParent	member predicate declared in Expr
getParent	member predicate declared in PrintAstNode
getParent	member predicate declared in Stmt
getParent	member predicate declared in XmlCharacters
getParent	member predicate declared in XmlComment
getParent	member predicate declared in XmlDtd
getParent	member predicate declared in XmlElement
getParentContainer	member predicate declared in Container
getParentInvocation	member predicate declared in MacroAccess
getParentNamespace	member predicate declared in GlobalNamespace
getParentNamespace	member predicate declared in Namespace
getParentScope	member predicate declared in Element
getParentStmt	member predicate declared in Stmt
getParentWithConversions	member predicate declared in Expr
getPartial	member predicate declared in ChiInstruction
getPartialOperand	member predicate declared in ChiInstruction
getPhiNode	member predicate declared in SsaPhiNode
getPlacementArgument	member predicate declared in OperatorNewAllocationFunction
getPlacementPointer	member predicate declared in NewOrNewArrayExpr
getPointedSize	predicate declared in BufferAccess
getPointerIndirectionLevel	member predicate declared in BlockType
getPointerIndirectionLevel	member predicate declared in Decltype
getPointerIndirectionLevel	member predicate declared in FunctionPointerType
getPointerIndirectionLevel	member predicate declared in FunctionReferenceType
getPointerIndirectionLevel	member predicate declared in PointerToMemberType
getPointerIndirectionLevel	member predicate declared in PointerType
getPointerIndirectionLevel	member predicate declared in ReferenceType
getPointerIndirectionLevel	member predicate declared in SpecifiedType
getPointerIndirectionLevel	member predicate declared in Type
getPointerIndirectionLevel	member predicate declared in TypedefType
getPositionalArgument	member predicate declared in CallInstruction
getPositionalArgumentOperand	member predicate declared in CallInstruction
getPreUpdateNode	member predicate declared in DataFlow :: DefinitionByReferenceOrIteratorNode
getPreUpdateNode	member predicate declared in IndirectArgumentOutNode
getPreUpdateNode	member predicate declared in PostFieldUpdateNode
getPreUpdateNode	member predicate declared in PostUpdateNode
getPreUpdateNode	member predicate declared in DataFlow :: PostUpdateNode
getPrecedence	member predicate declared in AddExpr
getPrecedence	member predicate declared in DivExpr
getPrecedence	member predicate declared in ImaginaryDivExpr
getPrecedence	member predicate declared in ImaginaryMulExpr
getPrecedence	member predicate declared in ImaginaryRealAddExpr
getPrecedence	member predicate declared in ImaginaryRealSubExpr
getPrecedence	member predicate declared in MulExpr
getPrecedence	member predicate declared in PointerAddExpr
getPrecedence	member predicate declared in PointerDiffExpr
getPrecedence	member predicate declared in PointerSubExpr
getPrecedence	member predicate declared in PostfixDecrExpr
getPrecedence	member predicate declared in PostfixIncrExpr
getPrecedence	member predicate declared in PrefixDecrExpr
getPrecedence	member predicate declared in PrefixIncrExpr
getPrecedence	member predicate declared in RealImaginaryAddExpr
getPrecedence	member predicate declared in RealImaginarySubExpr
getPrecedence	member predicate declared in RemExpr
getPrecedence	member predicate declared in SubExpr
getPrecedence	member predicate declared in UnaryMinusExpr
getPrecedence	member predicate declared in UnaryPlusExpr
getPrecedence	member predicate declared in Assignment
getPrecedence	member predicate declared in BitwiseAndExpr
getPrecedence	member predicate declared in BitwiseOrExpr
getPrecedence	member predicate declared in BitwiseXorExpr
getPrecedence	member predicate declared in ComplementExpr
getPrecedence	member predicate declared in LShiftExpr
getPrecedence	member predicate declared in RShiftExpr
getPrecedence	member predicate declared in Call
getPrecedence	member predicate declared in AlignofOperator
getPrecedence	member predicate declared in CStyleCast
getPrecedence	member predicate declared in ConstCast
getPrecedence	member predicate declared in DynamicCast
getPrecedence	member predicate declared in ReinterpretCast
getPrecedence	member predicate declared in SizeofOperator
getPrecedence	member predicate declared in StaticCast
getPrecedence	member predicate declared in TypeidOperator
getPrecedence	member predicate declared in UuidofOperator
getPrecedence	member predicate declared in EqualityOperation
getPrecedence	member predicate declared in RelationalOperation
getPrecedence	member predicate declared in AddressOfExpr
getPrecedence	member predicate declared in CoAwaitExpr
getPrecedence	member predicate declared in CoYieldExpr
getPrecedence	member predicate declared in CommaExpr
getPrecedence	member predicate declared in DeleteArrayExpr
getPrecedence	member predicate declared in DeleteExpr
getPrecedence	member predicate declared in Expr
getPrecedence	member predicate declared in NewOrNewArrayExpr
getPrecedence	member predicate declared in PointerDereferenceExpr
getPrecedence	member predicate declared in ReferenceToExpr
getPrecedence	member predicate declared in SpaceshipExpr
getPrecedence	member predicate declared in ThrowExpr
getPrecedence	member predicate declared in ConditionalExpr
getPrecedence	member predicate declared in LogicalAndExpr
getPrecedence	member predicate declared in LogicalOrExpr
getPrecedence	member predicate declared in NotExpr
getPrecision	member predicate declared in Overlap
getPrecision	member predicate declared in FormatLiteral
getPrecisionArgument	member predicate declared in FormattingFunctionCall
getPrecisionOpt	member predicate declared in FormatLiteral
getPrecisionParameterFieldValue	member predicate declared in FormatLiteral
getPredecessor	member predicate declared in Instruction
getPredecessorBlock	member predicate declared in PhiInputOperand
getPrefix	member predicate declared in XmlNamespace
getPreviousSwitchCase	member predicate declared in SwitchCase
getPrimaryInstruction	member predicate declared in SideEffectInstruction
getPrimaryQlClasses	member predicate declared in ElementBase
getPrimaryTemplate	member predicate declared in ClassTemplateSpecialization
getPrimaryTemplate	member predicate declared in FunctionTemplateSpecialization
getProperty	member predicate declared in CastNode
getProperty	member predicate declared in DeclarationEntryNode
getProperty	member predicate declared in ExprNode
getProperty	member predicate declared in FunctionNode
getProperty	member predicate declared in ParameterNode
getProperty	member predicate declared in PrintAstNode
getPublicId	member predicate declared in XmlDtd
getQualifiedElement	member predicate declared in NameQualifier
getQualifiedName	member predicate declared in Declaration
getQualifiedName	member predicate declared in Namespace
getQualifier	member predicate declared in VariableAccess
getQualifier	member predicate declared in Call
getQualifier	member predicate declared in VacuousDestructorCall
getQualifyingElement	member predicate declared in NameQualifier
getQueryPath	member predicate declared in ExternalData
getRValue	member predicate declared in Assignment
getRange	member predicate declared in RangeBasedForStmt
getRangeVariable	member predicate declared in RangeBasedForStmt
getRankInBasicBlock	member predicate declared in SubBasicBlock
getReadMemoryAccess	member predicate declared in EntireAllocationReadOpcode
getReadMemoryAccess	member predicate declared in EscapedReadOpcode
getReadMemoryAccess	member predicate declared in IndirectReadOpcode
getReadMemoryAccess	member predicate declared in Opcode :: AliasedUse
getReadMemoryAccess	member predicate declared in Opcode
getReadMemoryAccess	member predicate declared in SizedBufferReadOpcode
getReadMemoryAccess	member predicate declared in UnsizedBufferReadOpcode
getRealOperand	member predicate declared in BuiltInComplexOperation
getRealType	member predicate declared in FloatingPointType
getReallocPtr	member predicate declared in AllocationExpr
getReallocPtr	member predicate declared in HeuristicAllocationExpr
getReallocPtrArg	member predicate declared in AllocationFunction
getReallocPtrArg	member predicate declared in HeuristicAllocationFunction
getRelativePath	member predicate declared in Container
getResponse	member predicate declared in MetricClass
getResultAddress	member predicate declared in Instruction
getResultAddressOperand	member predicate declared in Instruction
getResultExpr	member predicate declared in StmtExpr
getResultIRType	member predicate declared in Instruction
getResultId	member predicate declared in Instruction
getResultLanguageType	member predicate declared in Instruction
getResultMemoryAccess	member predicate declared in Instruction
getResultSize	member predicate declared in Instruction
getResultString	member predicate declared in Instruction
getResultType	member predicate declared in TypeidOperator
getResultType	member predicate declared in Instruction
getReturnAddress	member predicate declared in ReturnValueInstruction
getReturnAddressOperand	member predicate declared in ReturnValueInstruction
getReturnInstruction	member predicate declared in IRFunction
getReturnType	member predicate declared in FunctionPointerIshType
getReturnType	member predicate declared in RoutineType
getReturnValue	member predicate declared in ReturnValueInstruction
getReturnValueOperand	member predicate declared in ReturnValueInstruction
getReturnVariable	member predicate declared in IRFunction
getRight	member predicate declared in BinaryInstruction
getRightOperand	member predicate declared in BinaryOperation
getRightOperand	member predicate declared in CommaExpr
getRightOperand	member predicate declared in BinaryInstruction
getRoot	member predicate declared in XmlDtd
getScanfFunction	member predicate declared in ScanfFunctionCall
getSecureAlgorithmRegex	predicate declared in Encryption
getSemanticConversionString	member predicate declared in ArithmeticConversion
getSemanticConversionString	member predicate declared in BaseClassConversion
getSemanticConversionString	member predicate declared in BoolConversion
getSemanticConversionString	member predicate declared in Cast
getSemanticConversionString	member predicate declared in DerivedClassConversion
getSemanticConversionString	member predicate declared in DynamicCast
getSemanticConversionString	member predicate declared in FloatingPointConversion
getSemanticConversionString	member predicate declared in FloatingPointToIntegralConversion
getSemanticConversionString	member predicate declared in GlvalueConversion
getSemanticConversionString	member predicate declared in IntegralConversion
getSemanticConversionString	member predicate declared in IntegralToFloatingPointConversion
getSemanticConversionString	member predicate declared in IntegralToPointerConversion
getSemanticConversionString	member predicate declared in PointerConversion
getSemanticConversionString	member predicate declared in PointerToIntegralConversion
getSemanticConversionString	member predicate declared in PointerToMemberBaseClassConversion
getSemanticConversionString	member predicate declared in PointerToMemberConversion
getSemanticConversionString	member predicate declared in PointerToMemberDerivedClassConversion
getSemanticConversionString	member predicate declared in PrvalueAdjustmentConversion
getSemanticConversionString	member predicate declared in VoidConversion
getSeverity	member predicate declared in Diagnostic
getShiftedSslOptionsNoSsl2	predicate declared in BoostorgAsio
getShiftedSslOptionsNoSsl3	predicate declared in BoostorgAsio
getShiftedSslOptionsNoTls1	predicate declared in BoostorgAsio
getShiftedSslOptionsNoTls1_1	predicate declared in BoostorgAsio
getShiftedSslOptionsNoTls1_2	predicate declared in BoostorgAsio
getShiftedSslOptionsNoTls1_3	predicate declared in BoostorgAsio
getShortName	member predicate declared in File
getSideEffect	member predicate declared in ReadSideEffectInstruction
getSideEffect	member predicate declared in ReturnIndirectionInstruction
getSideEffectOperand	member predicate declared in ReadSideEffectInstruction
getSideEffectOperand	member predicate declared in ReturnIndirectionInstruction
getSimpleName	member predicate declared in UserType
getSinkType	member predicate declared in RemoteFlowSink
getSize	member predicate declared in ArrayExprBA
getSize	member predicate declared in BCopyBA
getSize	member predicate declared in BufferAccess
getSize	member predicate declared in FreadBA
getSize	member predicate declared in MemccpyBA
getSize	member predicate declared in MemchrBA
getSize	member predicate declared in MemcmpBA
getSize	member predicate declared in MemcpyBA
getSize	member predicate declared in MemsetBA
getSize	member predicate declared in StrncpyBA
getSize	member predicate declared in SwabBA
getSize	member predicate declared in ZeroMemoryBA
getSize	member predicate declared in Enum
getSize	member predicate declared in Operand
getSize	member predicate declared in ArrayType
getSize	member predicate declared in Decltype
getSize	member predicate declared in GNUVectorType
getSize	member predicate declared in SpecifiedType
getSize	member predicate declared in Type
getSize	member predicate declared in TypedefType
getSizeArg	member predicate declared in AllocationFunction
getSizeArg	member predicate declared in HeuristicAllocationFunction
getSizeArg	member predicate declared in OperatorNewAllocationFunction
getSizeBytes	member predicate declared in AllocationExpr
getSizeBytes	member predicate declared in HeuristicAllocationExpr
getSizeExpr	member predicate declared in AllocationExpr
getSizeExpr	member predicate declared in HeuristicAllocationExpr
getSizeMult	member predicate declared in AllocationExpr
getSizeMult	member predicate declared in AllocationFunction
getSizeMult	member predicate declared in HeuristicAllocationExpr
getSizeMult	member predicate declared in HeuristicAllocationFunction
getSizeParameterIndex	member predicate declared in FormattingFunction
getSortOrder	member predicate declared in OperandTag
getSource	member predicate declared in ChainedOutputCall
getSource	member predicate declared in OperatorLShiftCall
getSource	member predicate declared in PutFunctionCall
getSource	member predicate declared in WriteFunctionCall
getSourceAddress	member predicate declared in LoadInstruction
getSourceAddress	member predicate declared in ReturnIndirectionInstruction
getSourceAddressOperand	member predicate declared in LoadInstruction
getSourceAddressOperand	member predicate declared in ReturnIndirectionInstruction
getSourceConvChar	member predicate declared in FileWrite
getSourceDescription	member predicate declared in EnvironmentRead
getSourceType	member predicate declared in FlowSource
getSourceType	member predicate declared in ConversionOperator
getSourceType	member predicate declared in ImplicitConversionFunction
getSourceVAList	member predicate declared in BuiltInVarArgCopy
getSourceValue	member predicate declared in CopyInstruction
getSourceValueOperand	member predicate declared in CopyInstruction
getSourceValueOperand	member predicate declared in CopyValueInstruction
getSourceValueOperand	member predicate declared in LoadInstruction
getSourceValueOperand	member predicate declared in StoreInstruction
getSourceVariable	member predicate declared in SsaPhiNode
getSourceVariable	member predicate declared in Make :: Definition
getSourceVariable	member predicate declared in Make :: DefinitionExt
getSourceVariable	member predicate declared in GlobalUse
getSpecialisationIndex	member predicate declared in MetricClass
getSpecifierString	member predicate declared in SpecifiedType
getStart	member predicate declared in BasicBlock
getStart	member predicate declared in SubBasicBlock
getStartColumn	member predicate declared in Location
getStartLine	member predicate declared in Location
getState	member predicate declared in PathNode
getState	member predicate declared in DataFlow :: PathNode
getState	member predicate declared in PathNode
getState	member predicate declared in DataFlow2 :: PathNode
getState	member predicate declared in PathNode
getState	member predicate declared in PathNode
getState	member predicate declared in PathNode
getState	member predicate declared in PathNode
getStaticCallTarget	member predicate declared in IndirectArgumentOutNode
getStaticCallTarget	member predicate declared in CallInstruction
getStem	member predicate declared in Container
getStmt	member predicate declared in BlockStmt
getStmt	member predicate declared in StmtExpr
getStmt	member predicate declared in MacroInvocation
getStmt	member predicate declared in DoStmt
getStmt	member predicate declared in ForStmt
getStmt	member predicate declared in Loop
getStmt	member predicate declared in MicrosoftTryStmt
getStmt	member predicate declared in RangeBasedForStmt
getStmt	member predicate declared in SwitchStmt
getStmt	member predicate declared in TryStmt
getStmt	member predicate declared in WhileStmt
getStorePointerConversion	member predicate declared in FormatLiteral
getStringExpr	member predicate declared in StrlenCall
getSuccessor	member predicate declared in IRBlock
getSuccessor	member predicate declared in Instruction
getSwitchStmt	member predicate declared in SwitchCase
getSystemId	member predicate declared in XmlDtd
getTag	member predicate declared in Diagnostic
getTag	member predicate declared in IROpaqueType
getTag	member predicate declared in IRTempVariable
getTarget	member predicate declared in Access
getTarget	member predicate declared in EnumConstantAccess
getTarget	member predicate declared in FieldAccess
getTarget	member predicate declared in FunctionAccess
getTarget	member predicate declared in VariableAccess
getTarget	member predicate declared in Call
getTarget	member predicate declared in ConstructorCall
getTarget	member predicate declared in ConstructorFieldInit
getTarget	member predicate declared in DestructorCall
getTarget	member predicate declared in DestructorFieldDestruction
getTarget	member predicate declared in ExprCall
getTarget	member predicate declared in FunctionCall
getTarget	member predicate declared in FormattingFunctionCall
getTarget	member predicate declared in JumpStmt
getTargetType	member predicate declared in FunctionCall
getTemplate	member predicate declared in ClassTemplateInstantiation
getTemplate	member predicate declared in FunctionTemplateInstantiation
getTemplateArgument	member predicate declared in FunctionCall
getTemplateArgument	member predicate declared in Declaration
getTemplateArgumentKind	member predicate declared in FunctionCall
getTemplateArgumentKind	member predicate declared in Declaration
getTemplateParameter	member predicate declared in ProxyClass
getText	member predicate declared in XmlComment
getTextValue	member predicate declared in XmlParent
getThen	member predicate declared in ConditionalExpr
getThen	member predicate declared in ConstexprIfStmt
getThen	member predicate declared in IfStmt
getThisArgument	member predicate declared in CallInstruction
getThisArgumentOperand	member predicate declared in CallInstruction
getThrownType	member predicate declared in Function
getThrownType	member predicate declared in FunctionDeclarationEntry
getTotal	member predicate declared in ChiInstruction
getTotalCpuSeconds	member predicate declared in Compilation
getTotalElapsedSeconds	member predicate declared in Compilation
getTotalOperand	member predicate declared in ChiInstruction
getTrueSuccessor	member predicate declared in ConditionalBranchInstruction
getTryStmt	member predicate declared in CatchBlock
getTryStmt	member predicate declared in Handler
getTrylockAccess	member predicate declared in MutexType
getType	member predicate declared in FunctionCall
getType	member predicate declared in DataFlow :: DefinitionByReferenceOrIteratorNode
getType	member predicate declared in DataFlow :: ExplicitParameterNode
getType	member predicate declared in DataFlow :: ExprNode
getType	member predicate declared in FinalGlobalValue
getType	member predicate declared in FinalParameterNode
getType	member predicate declared in DataFlow :: ImplicitParameterNode
getType	member predicate declared in InitialGlobalValue
getType	member predicate declared in Node
getType	member predicate declared in DataFlow :: Node
getType	member predicate declared in PostUpdateNode
getType	member predicate declared in DataFlow :: PostUpdateNode
getType	member predicate declared in DataFlow :: PreConstructorInitThis
getType	member predicate declared in DataFlow :: PreObjectInitializerNode
getType	member predicate declared in RawIndirectInstruction
getType	member predicate declared in RawIndirectOperand
getType	member predicate declared in DataFlow :: RefParameterFinalValueNode
getType	member predicate declared in SsaPhiNode
getType	member predicate declared in DataFlow :: UninitializedNode
getType	member predicate declared in VariableNode
getType	member predicate declared in DeclarationEntry
getType	member predicate declared in EnumConstant
getType	member predicate declared in Expr
getType	member predicate declared in Function
getType	member predicate declared in FunctionDeclarationEntry
getType	member predicate declared in IRVariable
getType	member predicate declared in Operand
getType	member predicate declared in Parameter
getType	member predicate declared in BaseSourceVariable
getType	member predicate declared in VlaDeclStmt
getType	member predicate declared in TypeDeclarationEntry
getType	member predicate declared in GlobalOrNamespaceVariable
getType	member predicate declared in LocalVariable
getType	member predicate declared in MemberVariable
getType	member predicate declared in Variable
getType	member predicate declared in VariableDeclarationEntry
getTypeBound	member predicate declared in Node
getTypeBound	member predicate declared in DataFlow :: Node
getTypeIdentityString	predicate declared in Print
getTypeImpl	predicate declared in DataFlowUtil
getTypeOfThis	member predicate declared in MemberFunction
getTypeOperand	member predicate declared in AlignofTypeOperator
getTypeOperand	member predicate declared in SizeofTypeOperator
getTypeOperand	member predicate declared in UuidofOperator
getTypeWithAuto	member predicate declared in Variable
getTypedName	member predicate declared in Parameter
getTypedName	member predicate declared in ParameterDeclarationEntry
getTypedefType	member predicate declared in FunctionDeclarationEntry
getURI	member predicate declared in XmlNamespace
getURL	member predicate declared in DefectExternalData
getURL	member predicate declared in Container
getURL	member predicate declared in File
getURL	member predicate declared in Folder
getUltimateQualifier	member predicate declared in NestedFieldAccess
getUnary	member predicate declared in UnaryInstruction
getUnaryOperand	member predicate declared in UnaryInstruction
getUnconverted	member predicate declared in Expr
getUnconvertedResultExpression	member predicate declared in Instruction
getUnderlyingType	member predicate declared in Expr
getUnderlyingType	member predicate declared in Decltype
getUnderlyingType	member predicate declared in Type
getUnderlyingType	member predicate declared in TypedefType
getUnderlyingType	member predicate declared in Variable
getUnexpandedArgument	member predicate declared in MacroInvocation
getUnion	member predicate declared in UnionContent
getUniqueId	member predicate declared in IRDynamicInitializationFlag
getUniqueId	member predicate declared in IRGeneratedVariable
getUniqueId	member predicate declared in IRStringLiteral
getUniqueId	member predicate declared in IRTempVariable
getUniqueId	member predicate declared in IRUserVariable
getUniqueId	member predicate declared in IRVariable
getUniqueId	member predicate declared in Instruction
getUnlockAccess	member predicate declared in MutexType
getUnsigned	member predicate declared in IntegralType
getUnspecifiedType	member predicate declared in DeclarationEntry
getUnspecifiedType	member predicate declared in Expr
getUnspecifiedType	member predicate declared in Function
getUnspecifiedType	member predicate declared in GlobalDef
getUnspecifiedType	member predicate declared in GlobalUse
getUnspecifiedType	member predicate declared in Type
getUnspecifiedType	member predicate declared in Variable
getUpdate	member predicate declared in ForStmt
getUpdate	member predicate declared in RangeBasedForStmt
getUpdatedField	member predicate declared in PostFieldUpdateNode
getUpdatedInterval	member predicate declared in ChiInstruction
getUri	member predicate declared in XmlNamespace
getUse	member predicate declared in NonPhiOperand
getUse	member predicate declared in Operand
getUse	member predicate declared in PhiInputOperand
getUse	member predicate declared in FormatLiteral
getUse	member predicate declared in ScanfFormatLiteral
getUsedInterval	member predicate declared in NonPhiMemoryOperand
getUuid	member predicate declared in Class
getVAList	member predicate declared in BuiltInVarArg
getVAList	member predicate declared in BuiltInVarArgsEnd
getVAList	member predicate declared in BuiltInVarArgsStart
getValue	member predicate declared in EnumConstant
getValue	member predicate declared in Expr
getValue	member predicate declared in ConstantValueInstruction
getValue	member predicate declared in StringConstantInstruction
getValue	member predicate declared in ExprNode
getValue	member predicate declared in StringLiteralNode
getValue	member predicate declared in XmlAttribute
getValueCategoryString	member predicate declared in Expr
getValueConstant	member predicate declared in AttributeArgument
getValueInt	member predicate declared in AttributeArgument
getValueText	member predicate declared in Expr
getValueText	member predicate declared in AttributeArgument
getValueType	member predicate declared in Iterator
getValueType	member predicate declared in AttributeArgument
getVariable	member predicate declared in ConditionDeclExpr
getVariable	member predicate declared in VariableCall
getVariable	member predicate declared in VariableNode
getVariable	member predicate declared in IRAutomaticUserVariable
getVariable	member predicate declared in IRDynamicInitializationFlag
getVariable	member predicate declared in IRStaticUserVariable
getVariable	member predicate declared in IRUserVariable
getVariable	member predicate declared in GlobalDef
getVariable	member predicate declared in GlobalUse
getVariable	member predicate declared in RangeBasedForStmt
getVariable	member predicate declared in VlaDeclStmt
getVariable	member predicate declared in VariableDeclarationEntry
getVariableAccess	member predicate declared in ConditionDeclExpr
getVariableAccessInLoop	member predicate declared in LoopControlVariable
getVariableAccessInLoop	member predicate declared in LoopCounter
getVariableRangeType	predicate declared in RangeAnalysisUtils
getVirtualBaseClassByteOffset	member predicate declared in Class
getVlaDimensionStmt	member predicate declared in VlaDeclStmt
getWideCharType	member predicate declared in FormattingFunction
getWideCharType	member predicate declared in FormatLiteral
getWriteMemoryAccess	member predicate declared in EntireAllocationWriteOpcode
getWriteMemoryAccess	member predicate declared in EscapedWriteOpcode
getWriteMemoryAccess	member predicate declared in IndirectWriteOpcode
getWriteMemoryAccess	member predicate declared in Opcode :: AliasedDefinition
getWriteMemoryAccess	member predicate declared in Opcode :: Chi
getWriteMemoryAccess	member predicate declared in Opcode :: InitializeNonLocal
getWriteMemoryAccess	member predicate declared in Opcode :: Phi
getWriteMemoryAccess	member predicate declared in Opcode
getWriteMemoryAccess	member predicate declared in SizedBufferWriteOpcode
getWriteMemoryAccess	member predicate declared in UnsizedBufferWriteOpcode
getsIterator	member predicate declared in GetIteratorFunction
getter	predicate declared in StructLikeClass
globalValueNumber	predicate declared in ASTValueNumbering
globalValueNumber	predicate declared in GlobalValueNumberingImpl
globalVarFromId	predicate declared in TaintTrackingImpl
gotoEdge	predicate declared in EdgeKind
graphProperties	predicate declared in PrintAST
guardedAbs	predicate declared in Overflow
guardedGreater	predicate declared in Overflow
guardedLesser	predicate declared in Overflow

H

Handler	class declared in Stmt
HashCons	module
HashCons	class declared in HashCons
HeaderFile	class declared in File
HeuristicAllocationExpr	class declared in Allocation
HeuristicAllocationFunction	class declared in Allocation
HexLiteral	class declared in Literal
hasAddressFlow	member predicate declared in AliasFunction
hasAddressOperand	member predicate declared in BufferAccessOpcode
hasAddressOperand	member predicate declared in EntireAllocationAccessOpcode
hasAddressOperand	member predicate declared in IndirectMemoryAccessOpcode
hasAddressOperand	member predicate declared in Opcode
hasAlignedAllocation	member predicate declared in NewOrNewArrayExpr
hasAlignedDeallocation	member predicate declared in DeleteArrayExpr
hasAlignedDeallocation	member predicate declared in DeleteExpr
hasAlignedDeallocation	member predicate declared in NewOrNewArrayExpr
hasAlternateFlag	member predicate declared in FormatLiteral
hasAlternativeDigits	member predicate declared in FormatLiteral
hasArrayInput	member predicate declared in ArrayFunction
hasArrayInput	member predicate declared in FormattingFunction
hasArrayInput	member predicate declared in StrcatFunction
hasArrayInput	member predicate declared in StrcpyFunction
hasArrayOutput	member predicate declared in ArrayFunction
hasArrayOutput	member predicate declared in FormattingFunction
hasArrayOutput	member predicate declared in StrcatFunction
hasArrayOutput	member predicate declared in StrcpyFunction
hasArraySize	member predicate declared in ArrayType
hasArrayWithFixedSize	member predicate declared in ArrayFunction
hasArrayWithNullTerminator	member predicate declared in ArrayFunction
hasArrayWithNullTerminator	member predicate declared in FormattingFunction
hasArrayWithNullTerminator	member predicate declared in StrcatFunction
hasArrayWithNullTerminator	member predicate declared in StrcpyFunction
hasArrayWithUnknownSize	member predicate declared in ArrayFunction
hasArrayWithUnknownSize	member predicate declared in FormattingFunction
hasArrayWithUnknownSize	member predicate declared in StrcatFunction
hasArrayWithUnknownSize	member predicate declared in StrcpyFunction
hasArrayWithVariableSize	member predicate declared in ArrayFunction
hasArrayWithVariableSize	member predicate declared in FormattingFunction
hasArrayWithVariableSize	member predicate declared in StrcpyFunction
hasAttribute	member predicate declared in XmlElement
hasBlank	member predicate declared in FormatLiteral
hasBufferSizeOperand	member predicate declared in Opcode
hasBufferSizeOperand	member predicate declared in SizedBufferAccessOpcode
hasCLinkage	member predicate declared in Function
hasCLinkage	member predicate declared in FunctionDeclarationEntry
hasCLinkage	member predicate declared in RoutineType
hasChild	member predicate declared in Expr
hasChild	member predicate declared in Stmt
hasCommandArgument	member predicate declared in CommandExecutionFunction
hasConstructor	member predicate declared in Class
hasConversion	member predicate declared in Expr
hasCopyConstructor	member predicate declared in Class
hasDataFlow	member predicate declared in DataFlowFunction
hasDataFlow	member predicate declared in StrcatFunction
hasDataFlow	member predicate declared in StrcpyFunction
hasDeclaringType	member predicate declared in Declaration
hasDefaultCase	member predicate declared in SwitchStmt
hasDefinition	member predicate declared in Declaration
hasDestructor	member predicate declared in Class
hasDynamicInitialization	member predicate declared in StaticStorageDurationVariable
hasElse	member predicate declared in ConstexprIfStmt
hasElse	member predicate declared in IfStmt
hasEntryPoint	member predicate declared in Function
hasEnvironmentArgument	member predicate declared in VarargsExecFunctionCall
hasExceptionSpecification	member predicate declared in Function
hasExceptionSpecification	member predicate declared in FunctionDeclarationEntry
hasExplicitConversion	member predicate declared in Expr
hasExplicitLimit	member predicate declared in BufferWrite
hasExplicitLimit	member predicate declared in GetsBW
hasExplicitLimit	member predicate declared in SnprintfBW
hasExplicitLimit	member predicate declared in StrCatBW
hasExplicitLimit	member predicate declared in StrCopyBW
hasExplicitMinFieldWidth	member predicate declared in FormatLiteral
hasExplicitPrecision	member predicate declared in FormatLiteral
hasExplicitUnderlyingType	member predicate declared in Enum
hasExpr	member predicate declared in CoReturnStmt
hasExpr	member predicate declared in ReturnStmt
hasFlow	member predicate declared in Configuration
hasFlow	member predicate declared in DataFlow :: Configuration
hasFlow	member predicate declared in Configuration
hasFlow	member predicate declared in DataFlow2 :: Configuration
hasFlow	member predicate declared in Configuration
hasFlow	member predicate declared in Configuration
hasFlow	member predicate declared in Configuration
hasFlow	member predicate declared in Configuration
hasFlow	member predicate declared in Configuration
hasFlow	member predicate declared in TaintTracking :: Configuration
hasFlow	member predicate declared in Configuration
hasFlow	member predicate declared in Configuration
hasFlow	member predicate declared in Configuration
hasFlowPath	member predicate declared in Configuration
hasFlowPath	member predicate declared in DataFlow :: Configuration
hasFlowPath	member predicate declared in Configuration
hasFlowPath	member predicate declared in DataFlow2 :: Configuration
hasFlowPath	member predicate declared in Configuration
hasFlowPath	member predicate declared in Configuration
hasFlowPath	member predicate declared in Configuration
hasFlowPath	member predicate declared in Configuration
hasFlowPath	member predicate declared in MustFlowConfiguration
hasFlowTo	member predicate declared in Configuration
hasFlowTo	member predicate declared in DataFlow :: Configuration
hasFlowTo	member predicate declared in Configuration
hasFlowTo	member predicate declared in DataFlow2 :: Configuration
hasFlowTo	member predicate declared in Configuration
hasFlowTo	member predicate declared in Configuration
hasFlowTo	member predicate declared in Configuration
hasFlowTo	member predicate declared in Configuration
hasFlowToExpr	member predicate declared in Configuration
hasFlowToExpr	member predicate declared in DataFlow :: Configuration
hasFlowToExpr	member predicate declared in Configuration
hasFlowToExpr	member predicate declared in DataFlow2 :: Configuration
hasFlowToExpr	member predicate declared in Configuration
hasFlowToExpr	member predicate declared in Configuration
hasFlowToExpr	member predicate declared in Configuration
hasFlowToExpr	member predicate declared in Configuration
hasGlobalName	member predicate declared in Declaration
hasGlobalOrStdName	member predicate declared in Declaration
hasGlobalOrStdOrBslName	member predicate declared in Declaration
hasGlobalQualifiedName	member predicate declared in NameQualifiableElement
hasImplicitConversion	member predicate declared in Expr
hasImplicitCopyAssignmentOperator	member predicate declared in Class
hasImplicitCopyConstructor	member predicate declared in Class
hasImplicitMinFieldWidth	member predicate declared in FormatLiteral
hasImplicitPrecision	member predicate declared in FormatLiteral
hasImplicitTemplateArguments	member predicate declared in FunctionCall
hasIncludeGuard	predicate declared in MultipleInclusion
hasIndex	member predicate declared in InitializeIndirectionInstruction
hasIndex	member predicate declared in InitializeParameterInstruction
hasIndex	member predicate declared in ReturnIndirectionInstruction
hasIndexInBlock	member predicate declared in GlobalDef
hasIndexInBlock	member predicate declared in GlobalUse
hasInitializer	member predicate declared in Variable
hasInstructionAndIndex	predicate declared in DataFlowUtil
hasLValueToRValueConversion	member predicate declared in Expr
hasLocalFlowSource	member predicate declared in LocalFlowSourceFunction
hasLocationInfo	member predicate declared in BasicBlock
hasLocationInfo	member predicate declared in MergePathGraph :: PathNode
hasLocationInfo	member predicate declared in DataFlow :: MergePathGraph :: PathNode
hasLocationInfo	member predicate declared in PathNode
hasLocationInfo	member predicate declared in DataFlow :: PathNode
hasLocationInfo	member predicate declared in PathNode
hasLocationInfo	member predicate declared in DataFlow2 :: PathNode
hasLocationInfo	member predicate declared in PathNode
hasLocationInfo	member predicate declared in PathNode
hasLocationInfo	member predicate declared in PathNode
hasLocationInfo	member predicate declared in PathNode
hasLocationInfo	member predicate declared in Content
hasLocationInfo	member predicate declared in DataFlow :: Content
hasLocationInfo	member predicate declared in ContentSet
hasLocationInfo	member predicate declared in DataFlow :: ContentSet
hasLocationInfo	member predicate declared in DataFlow :: FieldContent
hasLocationInfo	member predicate declared in Node
hasLocationInfo	member predicate declared in DataFlow :: Node
hasLocationInfo	member predicate declared in Location
hasLocationInfo	member predicate declared in Make :: Consistency :: RelevantDefinition
hasLocationInfo	member predicate declared in Make :: Consistency :: RelevantDefinitionExt
hasLocationInfo	member predicate declared in XmlLocatable
hasLocationInfo	member predicate declared in Top
hasLocationInfo_Include	predicate declared in definitions
hasMayReadMemoryAccess	member predicate declared in MayReadOpcode
hasMayReadMemoryAccess	member predicate declared in Opcode
hasMayReadMemoryAccess	member predicate declared in MemoryOperand
hasMayWriteMemoryAccess	member predicate declared in MayWriteOpcode
hasMayWriteMemoryAccess	member predicate declared in Opcode
hasMemoryResult	member predicate declared in Instruction
hasMinFieldWidth	member predicate declared in FormatLiteral
hasName	member predicate declared in Declaration
hasName	member predicate declared in Macro
hasName	member predicate declared in Namespace
hasName	member predicate declared in Attribute
hasName	member predicate declared in Specifier
hasName	member predicate declared in GotoStmt
hasName	member predicate declared in Type
hasName	member predicate declared in UserType
hasName	member predicate declared in XmlElement
hasNamespace	member predicate declared in XmlAttribute
hasNamespace	member predicate declared in XmlElement
hasOnlySpecificReadSideEffects	member predicate declared in SideEffectFunction
hasOnlySpecificReadSideEffects	member predicate declared in StrcatFunction
hasOnlySpecificReadSideEffects	member predicate declared in StrcpyFunction
hasOnlySpecificWriteSideEffects	member predicate declared in SideEffectFunction
hasOnlySpecificWriteSideEffects	member predicate declared in StrcatFunction
hasOnlySpecificWriteSideEffects	member predicate declared in StrcpyFunction
hasOperand	member predicate declared in Opcode
hasOperandAndIndex	predicate declared in DataFlowUtil
hasOperandInternal	member predicate declared in BinaryOpcode
hasOperandInternal	member predicate declared in Opcode :: AliasedUse
hasOperandInternal	member predicate declared in Opcode :: Call
hasOperandInternal	member predicate declared in Opcode :: Chi
hasOperandInternal	member predicate declared in Opcode :: InlineAsm
hasOperandInternal	member predicate declared in Opcode :: ReturnIndirection
hasOperandInternal	member predicate declared in Opcode :: Store
hasOperandInternal	member predicate declared in Opcode
hasOperandInternal	member predicate declared in OpcodeWithLoad
hasOperandInternal	member predicate declared in ReadSideEffectOpcode
hasOperandInternal	member predicate declared in UnaryOpcode
hasOperands	member predicate declared in BinaryOperation
hasOperands	member predicate declared in BinaryInstruction
hasPragmaDifferentFile	predicate declared in AutogeneratedFile
hasPrecision	member predicate declared in FormatLiteral
hasPrivateBaseClass	member predicate declared in Class
hasProtectedBaseClass	member predicate declared in Class
hasPublicBaseClass	member predicate declared in Class
hasQualifiedName	member predicate declared in Declaration
hasQualifiedName	member predicate declared in Declaration
hasQualifiedName	member predicate declared in Declaration
hasQualifiedName	member predicate declared in StdAttribute
hasQualifier	member predicate declared in Call
hasRemoteFlowSink	member predicate declared in RemoteFlowSinkFunction
hasRemoteFlowSource	member predicate declared in RemoteFlowSourceFunction
hasResultMayMemoryAccess	member predicate declared in Instruction
hasSign	member predicate declared in FormatLiteral
hasSizedDeallocation	member predicate declared in DeleteArrayExpr
hasSizedDeallocation	member predicate declared in DeleteExpr
hasSizedDeallocation	member predicate declared in NewOrNewArrayExpr
hasSocketInput	member predicate declared in RemoteFlowSinkFunction
hasSocketInput	member predicate declared in RemoteFlowSourceFunction
hasSortKeys	member predicate declared in Instruction
hasSpecificReadSideEffect	member predicate declared in SideEffectFunction
hasSpecificReadSideEffect	member predicate declared in StrcatFunction
hasSpecificReadSideEffect	member predicate declared in StrcpyFunction
hasSpecificWriteSideEffect	member predicate declared in SideEffectFunction
hasSpecificWriteSideEffect	member predicate declared in StrcatFunction
hasSpecificWriteSideEffect	member predicate declared in StrcpyFunction
hasSpecifier	member predicate declared in ClassDerivation
hasSpecifier	member predicate declared in Declaration
hasSpecifier	member predicate declared in DeclarationEntry
hasSpecifier	member predicate declared in Type
hasSpecifier	member predicate declared in UserType
hasSqlArgument	member predicate declared in SqlExecutionFunction
hasSuperQualifiedName	member predicate declared in NameQualifiableElement
hasTag	member predicate declared in Diagnostic
hasTaintFlow	member predicate declared in FormattingFunction
hasTaintFlow	member predicate declared in StrcatFunction
hasTaintFlow	member predicate declared in StrcpyFunction
hasTaintFlow	member predicate declared in TaintFunction
hasTemplateArgumentList	member predicate declared in FunctionCall
hasThousandsGrouping	member predicate declared in FormatLiteral
hasTrailingReturnType	member predicate declared in Function
hasType	member predicate declared in CppType
hasUnspecifiedType	member predicate declared in CppType
hasVirtualBaseClass	member predicate declared in Class
hasVoidParamList	member predicate declared in FunctionDeclarationEntry
hashCons	predicate declared in HashCons

I

IDEContextual	module
ILP32	class declared in Padding
ILP32_MS	class declared in Padding
IR	module
IR	module
IRAddressType	class declared in IRType
IRAutomaticUserVariable	class declared in IRVariable
IRAutomaticVariable	class declared in IRVariable
IRBlock	module
IRBlock	class declared in IRBlock
IRBlockBase	class declared in IRBlock
IRBooleanType	class declared in IRType
IRConfiguration	module
IRConfiguration	module
IRConfiguration	class declared in IRConfiguration
IRDynamicInitializationFlag	class declared in IRVariable
IREllipsisVariable	class declared in IRVariable
IRErrorType	class declared in IRType
IREscapeAnalysisConfiguration	class declared in IRConfiguration
IRFloatingPointType	class declared in IRType
IRFunction	module
IRFunction	class declared in IRFunction
IRFunctionAddressType	class declared in IRType
IRFunctionBase	module
IRFunctionBase	class declared in IRFunctionBase
IRGeneratedVariable	class declared in IRVariable
IRGuardCondition	class declared in IRGuards
IRGuards	module
IRIntegerType	class declared in IRType
IRNumericType	class declared in IRType
IROpaqueType	class declared in IRType
IRParameter	class declared in IRVariable
IRPositionalParameter	class declared in IRVariable
IRPropertyProvider	class declared in IR
IRReturnVariable	class declared in IRVariable
IRSignedIntegerType	class declared in IRType
IRStaticUserVariable	class declared in IRVariable
IRStringLiteral	class declared in IRVariable
IRTempVariable	class declared in IRVariable
IRThisVariable	class declared in IRVariable
IRThrowVariable	class declared in IRVariable
IRType	module
IRType	class declared in IRType
IRTypeConsistency	module declared in IRType
IRUnknownType	class declared in IRType
IRUnsignedIntegerType	class declared in IRType
IRUserVariable	class declared in IRVariable
IRVariable	module
IRVariable	class declared in IRVariable
IRVoidType	class declared in IRType
IfStmt	class declared in Stmt
ImaginaryDivExpr	class declared in ArithmeticOperation
ImaginaryDomain	class declared in Type
ImaginaryMulExpr	class declared in ArithmeticOperation
ImaginaryNumberType	class declared in Type
ImaginaryPartExpr	class declared in ArithmeticOperation
ImaginaryRealAddExpr	class declared in ArithmeticOperation
ImaginaryRealSubExpr	class declared in ArithmeticOperation
ImplicitConversionFunction	class declared in MemberFunction
ImplicitParameterNode	class declared in DataFlowUtil
ImplicitThisFieldAccess	class declared in Access
Import	class declared in Include
InParameter	class declared in FunctionInputsAndOutputs
InParameterDeref	class declared in FunctionInputsAndOutputs
InQualifierAddress	class declared in FunctionInputsAndOutputs
InQualifierObject	class declared in FunctionInputsAndOutputs
InReturnValueDeref	class declared in FunctionInputsAndOutputs
Include	module
Include	class declared in Include
IncludeGuardedHeader	class declared in MultipleInclusion
IncludeNext	class declared in Include
IncrementOperation	class declared in ArithmeticOperation
IndexedInstruction	class declared in Instruction
IndirectArgumentOutNode	class declared in DataFlowUtil
IndirectExprNode	class declared in DataFlowUtil
IndirectInstruction	class declared in DataFlowPrivate
IndirectMayWriteSideEffect	class declared in Opcode
IndirectMayWriteSideEffectInstruction	class declared in Instruction
IndirectMemoryAccess	class declared in MemoryAccessKind
IndirectMemoryAccessOpcode	class declared in Opcode
IndirectMustWriteSideEffect	class declared in Opcode
IndirectMustWriteSideEffectInstruction	class declared in Instruction
IndirectOperand	class declared in DataFlowPrivate
IndirectParameterNode	class declared in DataFlowUtil
IndirectReadOpcode	class declared in Opcode
IndirectReadSideEffect	class declared in Opcode
IndirectReadSideEffectInstruction	class declared in Instruction
IndirectReturnNode	class declared in DataFlowUtil
IndirectReturnOutNode	class declared in DataFlowUtil
IndirectWriteOpcode	class declared in Opcode
InheritanceConversion	class declared in Cast
InheritanceConversionInstruction	class declared in Instruction
InitialGlobalValue	class declared in DataFlowUtil
InitializeDynamicAllocation	class declared in Opcode
InitializeDynamicAllocationInstruction	class declared in Instruction
InitializeIndirection	class declared in Opcode
InitializeIndirectionInstruction	class declared in Instruction
InitializeNonLocal	class declared in Opcode
InitializeNonLocalInstruction	class declared in Instruction
InitializeParameter	class declared in Opcode
InitializeParameterInstruction	class declared in Instruction
InitializeThis	class declared in Opcode
InitializeThisInstruction	class declared in Instruction
Initializer	module
Initializer	class declared in Initializer
InitializerNode	class declared in PrintAST
InlineAsm	class declared in Opcode
InlineAsmInstruction	class declared in Instruction
Instruction	module
Instruction	class declared in Instruction
InstructionBarrierGuard	module declared in DataFlowUtil
InstructionNode	class declared in DataFlowUtil
Int128Type	class declared in Type
Int16_t	class declared in CommonType
Int32_t	class declared in CommonType
Int64_t	class declared in CommonType
Int8_t	class declared in CommonType
IntPointerType	class declared in CommonType
IntType	class declared in Type
Int_fast16_t	class declared in CommonType
Int_fast32_t	class declared in CommonType
Int_fast64_t	class declared in CommonType
Int_fast8_t	class declared in CommonType
Int_least16_t	class declared in CommonType
Int_least32_t	class declared in CommonType
Int_least64_t	class declared in CommonType
Int_least8_t	class declared in CommonType
IntegerConstantInstruction	class declared in Instruction
IntegralConversion	class declared in Cast
IntegralOrEnumType	class declared in Type
IntegralToFloatingPointConversion	class declared in Cast
IntegralToPointerConversion	class declared in Cast
IntegralType	class declared in Type
Intmax_t	class declared in CommonType
Iteration	module
Iterator	module
Iterator	class declared in Iterator
IteratorReferenceFunction	class declared in Iterator
iDominates	predicate declared in Dominance
iPostDominates	predicate declared in Dominance
ifndefDirective	predicate declared in MultipleInclusion
ignoreLackOfCohesionCK	member predicate declared in MetricClass
ignoreOverride	member predicate declared in MetricClass
immediatelyDominates	member predicate declared in IRBlock
immediatelyPostDominates	member predicate declared in IRBlock
implicitCopyAssignmentOperatorDeleted	member predicate declared in Class
implicitCopyConstructorDeleted	member predicate declared in Class
impliesValue	member predicate declared in BinaryLogicalOperation
impliesValue	member predicate declared in LogicalAndExpr
impliesValue	member predicate declared in LogicalOrExpr
inCondition	member predicate declared in AnalysedExpr
inLoop	member predicate declared in BasicBlock
inMacroExpansion	predicate declared in Macro
inMemberOrFriendOf	member predicate declared in AccessHolder
inSystemMacroExpansion	predicate declared in Macro
includeHiddenNodes	member predicate declared in Configuration
includeHiddenNodes	member predicate declared in DataFlow :: Configuration
includeHiddenNodes	member predicate declared in Configuration
includeHiddenNodes	member predicate declared in DataFlow2 :: Configuration
includeHiddenNodes	member predicate declared in Configuration
includeHiddenNodes	member predicate declared in Configuration
includeHiddenNodes	member predicate declared in Configuration
includeHiddenNodes	member predicate declared in Configuration
indirectExprNodeShouldBeIndirectInstruction	predicate declared in DataFlowUtil
indirectReturnOutNodeInstruction0	predicate declared in DataFlowUtil
indirectReturnOutNodeOperand0	predicate declared in DataFlowUtil
instructionNode	predicate declared in DataFlowUtil
int	primitive type
integralBitSize	member predicate declared in Architecture
interesting	member predicate declared in TargetPointsToExpr
interesting	member predicate declared in PointsToExpr
interestingArg	member predicate declared in SystemFunction
interestingArg	member predicate declared in FunctionWithWrappers
interestingArg	member predicate declared in PrintfLikeFunction
interestingElement	predicate declared in definitions
internal_getAnAdditionalSpecifier	member predicate declared in Decltype
internal_getAnAdditionalSpecifier	member predicate declared in SpecifiedType
internal_getAnAdditionalSpecifier	member predicate declared in Type
internal_getAnAdditionalSpecifier	member predicate declared in TypedefType
involvesReference	member predicate declared in Decltype
involvesReference	member predicate declared in DerivedType
involvesReference	member predicate declared in ReferenceType
involvesReference	member predicate declared in Type
involvesReference	member predicate declared in TypedefType
involvesTemplateParameter	member predicate declared in Class
involvesTemplateParameter	member predicate declared in Decltype
involvesTemplateParameter	member predicate declared in DerivedType
involvesTemplateParameter	member predicate declared in FunctionPointerIshType
involvesTemplateParameter	member predicate declared in PointerToMemberType
involvesTemplateParameter	member predicate declared in RoutineType
involvesTemplateParameter	member predicate declared in TemplateParameter
involvesTemplateParameter	member predicate declared in Type
isAbstract	member predicate declared in Class
isAdditionalFlowStep	member predicate declared in Configuration
isAdditionalFlowStep	member predicate declared in Configuration
isAdditionalFlowStep	member predicate declared in DataFlow :: Configuration
isAdditionalFlowStep	member predicate declared in DataFlow :: Configuration
isAdditionalFlowStep	member predicate declared in Configuration
isAdditionalFlowStep	member predicate declared in Configuration
isAdditionalFlowStep	member predicate declared in DataFlow2 :: Configuration
isAdditionalFlowStep	member predicate declared in DataFlow2 :: Configuration
isAdditionalFlowStep	member predicate declared in Configuration
isAdditionalFlowStep	member predicate declared in Configuration
isAdditionalFlowStep	member predicate declared in Configuration
isAdditionalFlowStep	member predicate declared in Configuration
isAdditionalFlowStep	member predicate declared in Configuration
isAdditionalFlowStep	member predicate declared in Configuration
isAdditionalFlowStep	member predicate declared in Configuration
isAdditionalFlowStep	member predicate declared in Configuration
isAdditionalFlowStep	member predicate declared in MustFlowConfiguration
isAdditionalFlowStep	member predicate declared in Configuration
isAdditionalFlowStep	member predicate declared in Configuration
isAdditionalFlowStep	member predicate declared in TaintTracking :: Configuration
isAdditionalFlowStep	member predicate declared in TaintTracking :: Configuration
isAdditionalFlowStep	member predicate declared in Configuration
isAdditionalFlowStep	member predicate declared in Configuration
isAdditionalFlowStep	member predicate declared in Configuration
isAdditionalFlowStep	member predicate declared in Configuration
isAdditionalFlowStep	member predicate declared in Configuration
isAdditionalFlowStep	member predicate declared in Configuration
isAdditionalTaintStep	member predicate declared in Configuration
isAdditionalTaintStep	member predicate declared in Configuration
isAdditionalTaintStep	member predicate declared in TaintTracking :: Configuration
isAdditionalTaintStep	member predicate declared in TaintTracking :: Configuration
isAdditionalTaintStep	member predicate declared in Configuration
isAdditionalTaintStep	member predicate declared in Configuration
isAdditionalTaintStep	member predicate declared in Configuration
isAdditionalTaintStep	member predicate declared in Configuration
isAdditionalTaintStep	member predicate declared in Configuration
isAdditionalTaintStep	member predicate declared in Configuration
isAddressOfAccess	member predicate declared in VariableAccess
isAddressOfAccessNonConst	member predicate declared in VariableAccess
isAffectedByMacro	member predicate declared in Element
isAggregateClass03	predicate declared in PODType03
isAggregateType03	predicate declared in PODType03
isAllocationExpr	predicate declared in Alloc
isAnonymous	member predicate declared in BitField
isAnonymous	member predicate declared in Namespace
isAnonymous	member predicate declared in UserType
isBarrier	member predicate declared in Configuration
isBarrier	member predicate declared in Configuration
isBarrier	member predicate declared in DataFlow :: Configuration
isBarrier	member predicate declared in DataFlow :: Configuration
isBarrier	member predicate declared in Configuration
isBarrier	member predicate declared in Configuration
isBarrier	member predicate declared in DataFlow2 :: Configuration
isBarrier	member predicate declared in DataFlow2 :: Configuration
isBarrier	member predicate declared in Configuration
isBarrier	member predicate declared in Configuration
isBarrier	member predicate declared in Configuration
isBarrier	member predicate declared in Configuration
isBarrier	member predicate declared in Configuration
isBarrier	member predicate declared in Configuration
isBarrier	member predicate declared in Configuration
isBarrier	member predicate declared in Configuration
isBarrier	member predicate declared in StackVariableReachability
isBarrier	member predicate declared in StackVariableReachabilityExt
isBarrier	member predicate declared in Configuration
isBarrier	member predicate declared in Configuration
isBarrier	member predicate declared in TaintTracking :: Configuration
isBarrier	member predicate declared in TaintTracking :: Configuration
isBarrier	member predicate declared in Configuration
isBarrier	member predicate declared in Configuration
isBarrier	member predicate declared in Configuration
isBarrier	member predicate declared in Configuration
isBarrier	member predicate declared in Configuration
isBarrier	member predicate declared in Configuration
isBarrierGuard	member predicate declared in Configuration
isBarrierGuard	member predicate declared in Configuration
isBarrierGuard	member predicate declared in DataFlow :: Configuration
isBarrierGuard	member predicate declared in DataFlow :: Configuration
isBarrierGuard	member predicate declared in Configuration
isBarrierGuard	member predicate declared in Configuration
isBarrierGuard	member predicate declared in DataFlow2 :: Configuration
isBarrierGuard	member predicate declared in DataFlow2 :: Configuration
isBarrierGuard	member predicate declared in Configuration
isBarrierGuard	member predicate declared in Configuration
isBarrierGuard	member predicate declared in Configuration
isBarrierGuard	member predicate declared in Configuration
isBarrierGuard	member predicate declared in Configuration
isBarrierGuard	member predicate declared in Configuration
isBarrierGuard	member predicate declared in Configuration
isBarrierGuard	member predicate declared in Configuration
isBarrierGuard	member predicate declared in Configuration
isBarrierGuard	member predicate declared in Configuration
isBarrierGuard	member predicate declared in TaintTracking :: Configuration
isBarrierGuard	member predicate declared in TaintTracking :: Configuration
isBarrierGuard	member predicate declared in Configuration
isBarrierGuard	member predicate declared in Configuration
isBarrierGuard	member predicate declared in Configuration
isBarrierGuard	member predicate declared in Configuration
isBarrierGuard	member predicate declared in Configuration
isBarrierGuard	member predicate declared in Configuration
isBarrierIn	member predicate declared in Configuration
isBarrierIn	member predicate declared in DataFlow :: Configuration
isBarrierIn	member predicate declared in Configuration
isBarrierIn	member predicate declared in DataFlow2 :: Configuration
isBarrierIn	member predicate declared in Configuration
isBarrierIn	member predicate declared in Configuration
isBarrierIn	member predicate declared in Configuration
isBarrierIn	member predicate declared in Configuration
isBarrierIn	member predicate declared in Configuration
isBarrierIn	member predicate declared in TaintTracking :: Configuration
isBarrierIn	member predicate declared in Configuration
isBarrierIn	member predicate declared in Configuration
isBarrierIn	member predicate declared in Configuration
isBarrierOut	member predicate declared in Configuration
isBarrierOut	member predicate declared in DataFlow :: Configuration
isBarrierOut	member predicate declared in Configuration
isBarrierOut	member predicate declared in DataFlow2 :: Configuration
isBarrierOut	member predicate declared in Configuration
isBarrierOut	member predicate declared in Configuration
isBarrierOut	member predicate declared in Configuration
isBarrierOut	member predicate declared in Configuration
isBarrierOut	member predicate declared in Configuration
isBarrierOut	member predicate declared in TaintTracking :: Configuration
isBarrierOut	member predicate declared in Configuration
isBarrierOut	member predicate declared in Configuration
isBarrierOut	member predicate declared in Configuration
isBefore	member predicate declared in Location
isBefore	member predicate declared in Location
isBinaryFold	member predicate declared in FoldExpr
isBraced	member predicate declared in Initializer
isCDATA	member predicate declared in XmlCharacters
isCapturedByReference	member predicate declared in LambdaCapture
isCertain	member predicate declared in GlobalUse
isCertain	member predicate declared in UseImpl
isCompilerGenerated	member predicate declared in Expr
isCompilerGenerated	member predicate declared in Function
isCompilerGenerated	member predicate declared in Stmt
isCompilerGenerated	member predicate declared in Variable
isCondition	member predicate declared in ControlFlowNode
isConst	member predicate declared in Type
isConst	member predicate declared in Variable
isConstant	member predicate declared in PointerToFieldLiteral
isConstant	member predicate declared in Expr
isConsteval	member predicate declared in Function
isConstexpr	member predicate declared in Function
isConstexpr	member predicate declared in Variable
isConstinit	member predicate declared in Variable
isConstructedFrom	member predicate declared in Class
isConstructedFrom	member predicate declared in Function
isConstructedFrom	member predicate declared in Variable
isDeclaredConstexpr	member predicate declared in Function
isDeclaredVirtual	member predicate declared in Function
isDeeplyConst	member predicate declared in ArrayType
isDeeplyConst	member predicate declared in Decltype
isDeeplyConst	member predicate declared in ReferenceType
isDeeplyConst	member predicate declared in RoutineType
isDeeplyConst	member predicate declared in SpecifiedType
isDeeplyConst	member predicate declared in Type
isDeeplyConst	member predicate declared in TypedefType
isDeeplyConstBelow	member predicate declared in Class
isDeeplyConstBelow	member predicate declared in Enum
isDeeplyConstBelow	member predicate declared in Struct
isDeeplyConstBelow	member predicate declared in ArrayType
isDeeplyConstBelow	member predicate declared in BuiltInType
isDeeplyConstBelow	member predicate declared in Decltype
isDeeplyConstBelow	member predicate declared in FunctionPointerIshType
isDeeplyConstBelow	member predicate declared in GNUVectorType
isDeeplyConstBelow	member predicate declared in PointerToMemberType
isDeeplyConstBelow	member predicate declared in PointerType
isDeeplyConstBelow	member predicate declared in ReferenceType
isDeeplyConstBelow	member predicate declared in RoutineType
isDeeplyConstBelow	member predicate declared in SpecifiedType
isDeeplyConstBelow	member predicate declared in Type
isDeeplyConstBelow	member predicate declared in TypedefType
isDeeplyConstBelow	member predicate declared in Union
isDef	member predicate declared in AnalysedExpr
isDefault	member predicate declared in DataflowAnnotation
isDefault	member predicate declared in NullnessAnnotation
isDefault	member predicate declared in Constructor
isDefault	member predicate declared in SwitchCase
isDefault	member predicate declared in XmlNamespace
isDefaulted	member predicate declared in Function
isDefined	member predicate declared in Declaration
isDefinition	member predicate declared in DeclarationEntry
isDefinition	member predicate declared in FunctionDeclarationEntry
isDefinition	member predicate declared in TypeDeclarationEntry
isDefinition	member predicate declared in VariableDeclarationEntry
isDefinitionInexact	member predicate declared in Operand
isDeleted	member predicate declared in Function
isDummy	member predicate declared in LinkTarget
isEmpty	member predicate declared in BlockStmt
isEncryptionAdditionalEvidence	predicate declared in Encryption
isExplicitlySigned	member predicate declared in IntegralType
isExplicitlyUnsigned	member predicate declared in IntegralType
isExprBannedBoostProtocol	predicate declared in BoostorgAsio
isExprSslV23BoostProtocol	predicate declared in BoostorgAsio
isExprTls12BoostProtocol	predicate declared in BoostorgAsio
isExprTls13BoostProtocol	predicate declared in BoostorgAsio
isExprTlsBoostProtocol	predicate declared in BoostorgAsio
isExtendedPrecision	member predicate declared in FloatingPointType
isFinal	member predicate declared in Class
isFinal	member predicate declared in Function
isFromMacroDefinition	predicate declared in Exclusions
isFromSystemMacroDefinition	predicate declared in Exclusions
isFromTemplateInstantiation	member predicate declared in Element
isFromUninstantiatedTemplate	member predicate declared in Element
isGLValue	member predicate declared in InitialGlobalValue
isGLValue	member predicate declared in Node
isGLValue	member predicate declared in SsaPhiNode
isGLValue	member predicate declared in Instruction
isGLValue	member predicate declared in Operand
isGLValueCategory	member predicate declared in Expr
isGuardPhi	member predicate declared in RangeSsaDefinition
isIRRepresentationOf	member predicate declared in IndirectInstruction
isIRRepresentationOf	member predicate declared in IndirectOperand
isImplicit	member predicate declared in Conversion
isImplicit	member predicate declared in FunctionDeclarationEntry
isImplicit	member predicate declared in LambdaCapture
isImplicitlySigned	member predicate declared in IntegralType
isInMacroExpansion	member predicate declared in Element
isInitializable	member predicate declared in BitField
isInitializable	member predicate declared in Field
isInitialized	member predicate declared in ArrayOrVectorAggregateLiteral
isInitialized	member predicate declared in ClassAggregateLiteral
isInline	member predicate declared in Function
isInline	member predicate declared in Namespace
isInsecureEncryption	predicate declared in Encryption
isLValue	member predicate declared in Expr
isLValueCategory	member predicate declared in Expr
isLValueRefQualified	member predicate declared in MemberFunction
isLeftAdjusted	member predicate declared in FormatLiteral
isLeftFold	member predicate declared in FoldExpr
isLinkerAwareExtracted	predicate declared in Linkage
isLocal	member predicate declared in UserType
isLt	member predicate declared in GuardedSsa
isMember	member predicate declared in Declaration
isMemoryManagementExpr	predicate declared in Alloc
isMicrosoft	member predicate declared in FormattingFunction
isMicrosoft	member predicate declared in FormatLiteral
isModified	member predicate declared in ArrayExpr
isModified	member predicate declared in VariableAccess
isMultiplyDefined	member predicate declared in Function
isMutable	member predicate declared in MemberVariable
isNaked	member predicate declared in Function
isNamed	member predicate declared in Parameter
isNamed	member predicate declared in LabelStmt
isNoExcept	member predicate declared in Function
isNoExcept	member predicate declared in FunctionDeclarationEntry
isNoThrow	member predicate declared in Function
isNoThrow	member predicate declared in FunctionDeclarationEntry
isNormalReturn	member predicate declared in IndirectReturnNode
isNullCheck	member predicate declared in AnalysedExpr
isOnlyFoundByADL	member predicate declared in FunctionCall
isOutputGlobal	member predicate declared in FormattingFunction
isOutputGlobal	member predicate declared in UserDefinedFormattingFunction
isOverride	member predicate declared in Function
isOverrideExplicit	member predicate declared in VirtualFunction
isPOD	member predicate declared in Class
isPRValueCategory	member predicate declared in Expr
isParameter	member predicate declared in FunctionInput
isParameter	member predicate declared in InParameter
isParameterDeref	member predicate declared in FunctionInput
isParameterDeref	member predicate declared in FunctionInput
isParameterDeref	member predicate declared in FunctionOutput
isParameterDeref	member predicate declared in FunctionOutput
isParameterDeref	member predicate declared in InParameterDeref
isParameterDeref	member predicate declared in OutParameterDeref
isParameterDeref	member predicate declared in OutParameterDeref
isParameterDerefOrQualifierObject	member predicate declared in FunctionInput
isParameterDerefOrQualifierObject	member predicate declared in FunctionInput
isParameterDerefOrQualifierObject	member predicate declared in FunctionOutput
isParameterDerefOrQualifierObject	member predicate declared in FunctionOutput
isParameterOf	member predicate declared in DataFlow :: ExplicitParameterNode
isParameterOf	member predicate declared in DataFlow :: ImplicitParameterNode
isParameterOf	member predicate declared in ParameterIndirectionNode
isParameterOf	member predicate declared in ParameterNode
isParameterOf	member predicate declared in DataFlow :: ParameterNode
isParameterOf	member predicate declared in ThisParameterNode
isParameterOrQualifierAddress	member predicate declared in FunctionInput
isParameterReturn	member predicate declared in IndirectReturnNode
isParenthesised	member predicate declared in Expr
isPartialUpdate	member predicate declared in ChiInstruction
isPhiNode	member predicate declared in RangeSsaDefinition
isPhiNode	member predicate declared in SsaDefinition
isPod	member predicate declared in Class
isPodClass03	predicate declared in PODType03
isPodType03	predicate declared in PODType03
isPolymorphic	member predicate declared in Class
isPrecise	member predicate declared in PaddedType
isPrivate	member predicate declared in NestedClass
isPrivate	member predicate declared in NestedEnum
isPrivate	member predicate declared in MemberFunction
isPrivate	member predicate declared in NestedStruct
isPrivate	member predicate declared in NestedUnion
isPrivate	member predicate declared in MemberVariable
isProcessOperationArgument	member predicate declared in SecurityOptions
isProcessOperationArgument	predicate declared in Security
isProtected	member predicate declared in NestedClass
isProtected	member predicate declared in NestedEnum
isProtected	member predicate declared in MemberFunction
isProtected	member predicate declared in NestedStruct
isProtected	member predicate declared in NestedUnion
isProtected	member predicate declared in MemberVariable
isPublic	member predicate declared in NestedClass
isPublic	member predicate declared in NestedEnum
isPublic	member predicate declared in MemberFunction
isPublic	member predicate declared in NestedStruct
isPublic	member predicate declared in NestedUnion
isPublic	member predicate declared in MemberVariable
isPublic	member predicate declared in XmlDtd
isPure	member predicate declared in Expr
isPure	member predicate declared in VirtualFunction
isPure	member predicate declared in Stmt
isPureFunction	member predicate declared in SecurityOptions
isPureFunction	predicate declared in Security
isQualifierAddress	member predicate declared in FunctionInput
isQualifierAddress	member predicate declared in InQualifierAddress
isQualifierObject	member predicate declared in FunctionInput
isQualifierObject	member predicate declared in FunctionInput
isQualifierObject	member predicate declared in FunctionOutput
isQualifierObject	member predicate declared in FunctionOutput
isQualifierObject	member predicate declared in InQualifierObject
isQualifierObject	member predicate declared in OutQualifierObject
isRValue	member predicate declared in VariableAccess
isRValueCategory	member predicate declared in Expr
isRValueRefQualified	member predicate declared in MemberFunction
isReachable	member predicate declared in BasicBlock
isReachableFromFunctionEntry	member predicate declared in IRBlock
isReadOnly	member predicate declared in IRStringLiteral
isReadOnly	member predicate declared in IRVariable
isRefQualified	member predicate declared in MemberFunction
isReferenceVariable	predicate declared in StackAddress
isResultConflated	member predicate declared in Instruction
isResultModeled	member predicate declared in Instruction
isReturnValue	member predicate declared in FunctionOutput
isReturnValue	member predicate declared in OutReturnValue
isReturnValueDeref	member predicate declared in FunctionInput
isReturnValueDeref	member predicate declared in FunctionInput
isReturnValueDeref	member predicate declared in FunctionOutput
isReturnValueDeref	member predicate declared in FunctionOutput
isReturnValueDeref	member predicate declared in InReturnValueDeref
isReturnValueDeref	member predicate declared in OutReturnValueDeref
isRightFold	member predicate declared in FoldExpr
isSanitizer	member predicate declared in Configuration
isSanitizer	member predicate declared in Configuration
isSanitizer	member predicate declared in TaintTracking :: Configuration
isSanitizer	member predicate declared in TaintTracking :: Configuration
isSanitizer	member predicate declared in Configuration
isSanitizer	member predicate declared in Configuration
isSanitizer	member predicate declared in Configuration
isSanitizer	member predicate declared in Configuration
isSanitizer	member predicate declared in Configuration
isSanitizer	member predicate declared in Configuration
isSanitizerGuard	member predicate declared in Configuration
isSanitizerGuard	member predicate declared in Configuration
isSanitizerGuard	member predicate declared in TaintTracking :: Configuration
isSanitizerGuard	member predicate declared in TaintTracking :: Configuration
isSanitizerGuard	member predicate declared in Configuration
isSanitizerGuard	member predicate declared in Configuration
isSanitizerGuard	member predicate declared in Configuration
isSanitizerGuard	member predicate declared in Configuration
isSanitizerGuard	member predicate declared in Configuration
isSanitizerGuard	member predicate declared in Configuration
isSanitizerIn	member predicate declared in Configuration
isSanitizerIn	member predicate declared in TaintTracking :: Configuration
isSanitizerIn	member predicate declared in Configuration
isSanitizerIn	member predicate declared in Configuration
isSanitizerIn	member predicate declared in Configuration
isSanitizerOut	member predicate declared in Configuration
isSanitizerOut	member predicate declared in TaintTracking :: Configuration
isSanitizerOut	member predicate declared in Configuration
isSanitizerOut	member predicate declared in Configuration
isSanitizerOut	member predicate declared in Configuration
isScalarType03	predicate declared in PODType03
isSideEffectFree	member predicate declared in Function
isSigned	member predicate declared in IRIntegerType
isSigned	member predicate declared in IRSignedIntegerType
isSigned	member predicate declared in IntegralType
isSink	member predicate declared in Configuration
isSink	member predicate declared in Configuration
isSink	member predicate declared in DataFlow :: Configuration
isSink	member predicate declared in DataFlow :: Configuration
isSink	member predicate declared in Configuration
isSink	member predicate declared in Configuration
isSink	member predicate declared in DataFlow2 :: Configuration
isSink	member predicate declared in DataFlow2 :: Configuration
isSink	member predicate declared in Configuration
isSink	member predicate declared in Configuration
isSink	member predicate declared in Configuration
isSink	member predicate declared in Configuration
isSink	member predicate declared in Configuration
isSink	member predicate declared in Configuration
isSink	member predicate declared in Configuration
isSink	member predicate declared in Configuration
isSink	member predicate declared in MustFlowConfiguration
isSink	member predicate declared in StackVariableReachability
isSink	member predicate declared in StackVariableReachabilityExt
isSink	member predicate declared in StackVariableReachabilityWithReassignment
isSink	member predicate declared in Configuration
isSink	member predicate declared in Configuration
isSink	member predicate declared in TaintTracking :: Configuration
isSink	member predicate declared in TaintTracking :: Configuration
isSink	member predicate declared in Configuration
isSink	member predicate declared in Configuration
isSink	member predicate declared in Configuration
isSink	member predicate declared in Configuration
isSink	member predicate declared in Configuration
isSink	member predicate declared in Configuration
isSink	member predicate declared in BoostorgAsio :: SslContextCallAbstractConfig
isSink	member predicate declared in BoostorgAsio :: SslContextFlowsToSetOptionConfig
isSink	member predicate declared in BoostorgAsio :: SslOptionConfig
isSinkActual	member predicate declared in StackVariableReachabilityWithReassignment
isSinkGroup	member predicate declared in PathNode
isSinkGroup	member predicate declared in DataFlow :: PathNode
isSinkGroup	member predicate declared in PathNode
isSinkGroup	member predicate declared in DataFlow2 :: PathNode
isSinkGroup	member predicate declared in PathNode
isSinkGroup	member predicate declared in PathNode
isSinkGroup	member predicate declared in PathNode
isSinkGroup	member predicate declared in PathNode
isSource	member predicate declared in Configuration
isSource	member predicate declared in Configuration
isSource	member predicate declared in DataFlow :: Configuration
isSource	member predicate declared in DataFlow :: Configuration
isSource	member predicate declared in PathNode
isSource	member predicate declared in DataFlow :: PathNode
isSource	member predicate declared in Configuration
isSource	member predicate declared in Configuration
isSource	member predicate declared in DataFlow2 :: Configuration
isSource	member predicate declared in DataFlow2 :: Configuration
isSource	member predicate declared in PathNode
isSource	member predicate declared in DataFlow2 :: PathNode
isSource	member predicate declared in Configuration
isSource	member predicate declared in Configuration
isSource	member predicate declared in Configuration
isSource	member predicate declared in Configuration
isSource	member predicate declared in PathNode
isSource	member predicate declared in PathNode
isSource	member predicate declared in Configuration
isSource	member predicate declared in Configuration
isSource	member predicate declared in Configuration
isSource	member predicate declared in Configuration
isSource	member predicate declared in PathNode
isSource	member predicate declared in PathNode
isSource	member predicate declared in MustFlowConfiguration
isSource	member predicate declared in StackVariableReachability
isSource	member predicate declared in StackVariableReachabilityExt
isSource	member predicate declared in StackVariableReachabilityWithReassignment
isSource	member predicate declared in Configuration
isSource	member predicate declared in Configuration
isSource	member predicate declared in TaintTracking :: Configuration
isSource	member predicate declared in TaintTracking :: Configuration
isSource	member predicate declared in Configuration
isSource	member predicate declared in Configuration
isSource	member predicate declared in Configuration
isSource	member predicate declared in Configuration
isSource	member predicate declared in Configuration
isSource	member predicate declared in Configuration
isSource	member predicate declared in BoostorgAsio :: SslContextCallBannedProtocolConfig
isSource	member predicate declared in BoostorgAsio :: SslContextCallConfig
isSource	member predicate declared in BoostorgAsio :: SslContextCallTls12ProtocolConfig
isSource	member predicate declared in BoostorgAsio :: SslContextCallTls13ProtocolConfig
isSource	member predicate declared in BoostorgAsio :: SslContextCallTlsProtocolConfig
isSource	member predicate declared in BoostorgAsio :: SslContextFlowsToSetOptionConfig
isSource	member predicate declared in BoostorgAsio :: SslOptionConfig
isSourceActual	member predicate declared in StackVariableReachabilityWithReassignment
isSourceGroup	member predicate declared in PathNode
isSourceGroup	member predicate declared in DataFlow :: PathNode
isSourceGroup	member predicate declared in PathNode
isSourceGroup	member predicate declared in DataFlow2 :: PathNode
isSourceGroup	member predicate declared in PathNode
isSourceGroup	member predicate declared in PathNode
isSourceGroup	member predicate declared in PathNode
isSourceGroup	member predicate declared in PathNode
isSpecialization	member predicate declared in Function
isSpecialization	member predicate declared in FunctionDeclarationEntry
isStandardLayout	member predicate declared in Class
isStatic	member predicate declared in Declaration
isStrict	member predicate declared in CompareGEInstruction
isStrict	member predicate declared in CompareGTInstruction
isStrict	member predicate declared in CompareLEInstruction
isStrict	member predicate declared in CompareLTInstruction
isStrict	member predicate declared in RelationalInstruction
isStructuredBinding	member predicate declared in Variable
isThisIndirection	member predicate declared in ReturnIndirectionInstruction
isThreadLocal	member predicate declared in Variable
isTopLevel	member predicate declared in Declaration
isTopLevel	member predicate declared in FriendDecl
isTopLevel	member predicate declared in TypeDeclarationEntry
isTwoOperand	member predicate declared in ConditionalExpr
isUnaryFold	member predicate declared in FoldExpr
isUnevaluated	member predicate declared in Expr
isUnreachable	member predicate declared in BasicBlock
isUnsigned	member predicate declared in IRIntegerType
isUnsigned	member predicate declared in IRUnsignedIntegerType
isUnsigned	member predicate declared in IntegralType
isUse	member predicate declared in AnalysedExpr
isUsedAsLValue	member predicate declared in VariableAccess
isUserInput	member predicate declared in SecurityOptions
isUserInput	predicate declared in Security
isValidCheck	member predicate declared in AnalysedExpr
isValueInitialized	member predicate declared in ArrayOrVectorAggregateLiteral
isValueInitialized	member predicate declared in ClassAggregateLiteral
isVarargs	member predicate declared in Function
isVirtual	member predicate declared in FunctionCall
isVirtual	member predicate declared in BaseClassConversion
isVirtual	member predicate declared in ClassDerivation
isVirtual	member predicate declared in Function
isVolatile	member predicate declared in Type
isVolatile	member predicate declared in Variable
isWideCharDefault	member predicate declared in ScanfFormatLiteral
isWideCharDefault	member predicate declared in ScanfFunction
isWideCharDefault	member predicate declared in ScanfFunctionCall
isXValueCategory	member predicate declared in Expr
isZeroPadded	member predicate declared in FormatLiteral

J

JumpStmt

class declared in Stmt

K

killedBy	member predicate declared in DataflowAnnotation
killedBy	member predicate declared in NullnessAnnotation

L

LEExpr	class declared in ComparisonOperation
LLP64_MS	class declared in Padding
LP64	class declared in Padding
LShiftExpr	class declared in BitwiseOperation
LTExpr	class declared in ComparisonOperation
LValueReferenceType	class declared in Type
LabelLiteral	class declared in Literal
LabelStmt	class declared in Stmt
Lambda	module
LambdaCapture	class declared in Lambda
LambdaExpression	class declared in Lambda
LanguageTypeConsistency	module declared in CppType
LeftIsSmaller	type declared in PointlessComparison
LeftIsSmaller	injector declared in PointlessComparison
LeftOperand	class declared in Operand
Lesser	type declared in RangeAnalysisUtils
Lesser	injector declared in RangeAnalysisUtils
LibcAssert	class declared in Assertions
LinkTarget	class declared in Linkage
Linkage	module
Literal	module
Literal	class declared in Literal
Load	class declared in Opcode
LoadInstruction	class declared in Instruction
LoadOperand	class declared in Operand
LocalClass	class declared in Class
LocalEnum	class declared in Enum
LocalFlowSource	class declared in FlowSources
LocalFlowSourceFunction	class declared in FlowSource
LocalScopeVariable	class declared in Variable
LocalStruct	class declared in Struct
LocalTypedefType	class declared in TypedefType
LocalUnion	class declared in Union
LocalVariable	class declared in Variable
Locatable	class declared in Location
Location	module
Location	class declared in Location
LogicalAndExpr	class declared in LogicalOperation
LogicalNot	class declared in Opcode
LogicalNotInstruction	class declared in Instruction
LogicalOperation	module
LogicalOrExpr	class declared in LogicalOperation
LongDoubleType	class declared in Type
LongLongType	class declared in Type
LongType	class declared in Type
Loop	class declared in Stmt
LoopControlVariable	class declared in Iteration
LoopCounter	class declared in Iteration
lastField	member predicate declared in PaddedType
lastFieldIndex	member predicate declared in PaddedType
lastInBB	member predicate declared in SubBasicBlock
lastRef	predicate declared in Make
lastRefExt	predicate declared in Make
lastRefNoUncertainReads	predicate declared in Make
lastRefRedef	predicate declared in Make
lastRefRedefExt	predicate declared in Make
lastRefRedefNoUncertainReads	predicate declared in Make
length	member predicate declared in BasicBlock
linearAccess	predicate declared in RangeAnalysisUtils
localAdditionalTaintStep	predicate declared in TaintTrackingUtil
localAdditionalTaintStep	predicate declared in TaintTrackingUtil
localExprFlow	predicate declared in DataFlowUtil
localExprFlow	predicate declared in DataFlowUtil
localExprTaint	predicate declared in TaintTrackingUtil
localExprTaint	predicate declared in TaintTrackingUtil
localFlow	predicate declared in DataFlowUtil
localFlow	predicate declared in DataFlowUtil
localFlowStep	predicate declared in DataFlowUtil
localInstructionFlow	predicate declared in DataFlowUtil
localInstructionTaint	predicate declared in TaintTrackingUtil
localTaint	predicate declared in TaintTrackingUtil
localTaint	predicate declared in TaintTrackingUtil
localTaintStep	predicate declared in TaintTrackingUtil
localTaintStep	predicate declared in TaintTrackingUtil
location	predicate declared in PointsTo
lockAccess	member predicate declared in MutexType
lockCall	predicate declared in Synchronization
longDoubleAlign	member predicate declared in Architecture
longDoubleAlign	member predicate declared in ILP32
longDoubleAlign	member predicate declared in LP64
longDoubleAlign	member predicate declared in WindowsArchitecture
longDoubleSize	member predicate declared in Architecture
longDoubleSize	member predicate declared in ILP32
longDoubleSize	member predicate declared in LP64
longDoubleSize	member predicate declared in WindowsArchitecture
longLongAlign	member predicate declared in Architecture
longLongAlign	member predicate declared in ILP32
longLongAlign	member predicate declared in LP64
longLongAlign	member predicate declared in WindowsArchitecture
longLongSize	member predicate declared in Architecture
longLongSize	member predicate declared in UnixArchitecture
longLongSize	member predicate declared in WindowsArchitecture
longSize	member predicate declared in Architecture
longSize	member predicate declared in ILP32
longSize	member predicate declared in LP64
longSize	member predicate declared in WindowsArchitecture
lvalue	predicate declared in PointsTo

M

Macro	module
Macro	class declared in Macro
MacroAccess	class declared in Macro
MacroAssert	class declared in Assertions
MacroInvocation	class declared in Macro
Make	module declared in DataFlow
Make	module declared in DataFlow
Make	module declared in Ssa
Make	module declared in TaintTracking
Make	module declared in TaintTracking
MakeWithState	module declared in DataFlow
MakeWithState	module declared in DataFlow
MakeWithState	module declared in TaintTracking
MakeWithState	module declared in TaintTracking
MaxExpr	class declared in ArithmeticOperation
MaximumWidthIntegralType	class declared in CommonType
MayReadOpcode	class declared in Opcode
MayWriteOpcode	class declared in Opcode
Member	module
MemberFunction	module
MemberFunction	class declared in MemberFunction
MemberVariable	class declared in Variable
MemccpyBA	class declared in BufferAccess
MemchrBA	class declared in BufferAccess
MemcmpBA	class declared in BufferAccess
MemcpyBA	class declared in BufferAccess
MemoryAccessKind	module
MemoryAccessKind	class declared in MemoryAccessKind
MemoryOperand	class declared in Operand
MemsetBA	class declared in BufferAccess
MergePathGraph	module declared in DataFlow
MergePathGraph	module declared in DataFlow
MetricClass	module
MetricClass	class declared in MetricClass
MetricFile	module
MetricFile	class declared in MetricFile
MetricFunction	module
MetricFunction	class declared in MetricFunction
MetricNamespace	module
MetricNamespace	class declared in MetricNamespace
MicrosoftAttribute	class declared in Specifier
MicrosoftInt16Type	class declared in CommonType
MicrosoftInt32Type	class declared in CommonType
MicrosoftInt64Type	class declared in CommonType
MicrosoftInt8Type	class declared in CommonType
MicrosoftTryExceptStmt	class declared in Stmt
MicrosoftTryFinallyStmt	class declared in Stmt
MicrosoftTryStmt	class declared in Stmt
MinExpr	class declared in ArithmeticOperation
MinimumWidthIntegralType	class declared in CommonType
Models	module
MonthFieldAccess	class declared in DateTime
MoveAssignmentOperator	class declared in MemberFunction
MoveConstructor	class declared in MemberFunction
Mul	class declared in Opcode
MulExpr	class declared in ArithmeticOperation
MulInstruction	class declared in Instruction
MultipleInclusion	module
MustFlow	module
MustFlowConfiguration	class declared in MustFlow
MustFlowPathNode	class declared in MustFlow
MutexType	class declared in Synchronization
macroLine	predicate declared in Macro
macroLocation	predicate declared in Macro
marks	member predicate declared in DataflowAnnotation
marks	member predicate declared in DataflowAnnotation
mayAddNullTerminator	predicate declared in NullTermination
mayBeGloballyImpure	member predicate declared in Access
mayBeGloballyImpure	member predicate declared in ArrayExpr
mayBeGloballyImpure	member predicate declared in VariableAccess
mayBeGloballyImpure	member predicate declared in CrementOperation
mayBeGloballyImpure	member predicate declared in Assignment
mayBeGloballyImpure	member predicate declared in BlockStmt
mayBeGloballyImpure	member predicate declared in ConstructorFieldInit
mayBeGloballyImpure	member predicate declared in FunctionCall
mayBeGloballyImpure	member predicate declared in OverloadedPointerDereferenceExpr
mayBeGloballyImpure	member predicate declared in ArrayToPointerConversion
mayBeGloballyImpure	member predicate declared in Conversion
mayBeGloballyImpure	member predicate declared in SizeofExprOperator
mayBeGloballyImpure	member predicate declared in SizeofPackOperator
mayBeGloballyImpure	member predicate declared in SizeofTypeOperator
mayBeGloballyImpure	member predicate declared in TypeidOperator
mayBeGloballyImpure	member predicate declared in AddressOfExpr
mayBeGloballyImpure	member predicate declared in BinaryOperation
mayBeGloballyImpure	member predicate declared in CommaExpr
mayBeGloballyImpure	member predicate declared in Expr
mayBeGloballyImpure	member predicate declared in PointerDereferenceExpr
mayBeGloballyImpure	member predicate declared in ThisExpr
mayBeGloballyImpure	member predicate declared in UnaryOperation
mayBeGloballyImpure	member predicate declared in AggregateLiteral
mayBeGloballyImpure	member predicate declared in Literal
mayBeGloballyImpure	member predicate declared in ConditionalExpr
mayBeGloballyImpure	member predicate declared in BreakStmt
mayBeGloballyImpure	member predicate declared in ComputedGotoStmt
mayBeGloballyImpure	member predicate declared in ConstexprIfStmt
mayBeGloballyImpure	member predicate declared in ContinueStmt
mayBeGloballyImpure	member predicate declared in DeclStmt
mayBeGloballyImpure	member predicate declared in DefaultCase
mayBeGloballyImpure	member predicate declared in DoStmt
mayBeGloballyImpure	member predicate declared in EmptyStmt
mayBeGloballyImpure	member predicate declared in ExprStmt
mayBeGloballyImpure	member predicate declared in ForStmt
mayBeGloballyImpure	member predicate declared in GotoStmt
mayBeGloballyImpure	member predicate declared in Handler
mayBeGloballyImpure	member predicate declared in IfStmt
mayBeGloballyImpure	member predicate declared in LabelStmt
mayBeGloballyImpure	member predicate declared in ReturnStmt
mayBeGloballyImpure	member predicate declared in Stmt
mayBeGloballyImpure	member predicate declared in SwitchCase
mayBeGloballyImpure	member predicate declared in SwitchStmt
mayBeGloballyImpure	member predicate declared in TryStmt
mayBeGloballyImpure	member predicate declared in WhileStmt
mayBeImpure	member predicate declared in Access
mayBeImpure	member predicate declared in ArrayExpr
mayBeImpure	member predicate declared in VariableAccess
mayBeImpure	member predicate declared in CrementOperation
mayBeImpure	member predicate declared in BlockStmt
mayBeImpure	member predicate declared in ConstructorFieldInit
mayBeImpure	member predicate declared in FunctionCall
mayBeImpure	member predicate declared in OverloadedPointerDereferenceExpr
mayBeImpure	member predicate declared in ArrayToPointerConversion
mayBeImpure	member predicate declared in Conversion
mayBeImpure	member predicate declared in SizeofExprOperator
mayBeImpure	member predicate declared in SizeofPackOperator
mayBeImpure	member predicate declared in SizeofTypeOperator
mayBeImpure	member predicate declared in TypeidOperator
mayBeImpure	member predicate declared in AddressOfExpr
mayBeImpure	member predicate declared in BinaryOperation
mayBeImpure	member predicate declared in CommaExpr
mayBeImpure	member predicate declared in Expr
mayBeImpure	member predicate declared in PointerDereferenceExpr
mayBeImpure	member predicate declared in ThisExpr
mayBeImpure	member predicate declared in UnaryOperation
mayBeImpure	member predicate declared in AggregateLiteral
mayBeImpure	member predicate declared in Literal
mayBeImpure	member predicate declared in ConditionalExpr
mayBeImpure	member predicate declared in BreakStmt
mayBeImpure	member predicate declared in ComputedGotoStmt
mayBeImpure	member predicate declared in ConstexprIfStmt
mayBeImpure	member predicate declared in ContinueStmt
mayBeImpure	member predicate declared in DeclStmt
mayBeImpure	member predicate declared in DefaultCase
mayBeImpure	member predicate declared in DoStmt
mayBeImpure	member predicate declared in EmptyStmt
mayBeImpure	member predicate declared in ExprStmt
mayBeImpure	member predicate declared in ForStmt
mayBeImpure	member predicate declared in GotoStmt
mayBeImpure	member predicate declared in Handler
mayBeImpure	member predicate declared in IfStmt
mayBeImpure	member predicate declared in LabelStmt
mayBeImpure	member predicate declared in ReturnStmt
mayBeImpure	member predicate declared in Stmt
mayBeImpure	member predicate declared in SwitchCase
mayBeImpure	member predicate declared in SwitchStmt
mayBeImpure	member predicate declared in TryStmt
mayBeImpure	member predicate declared in WhileStmt
mayHaveSideEffects	member predicate declared in Function
mayNotBeCopyConstructorInInstantiation	member predicate declared in CopyConstructor
mayNotBeMoveConstructorInInstantiation	member predicate declared in MoveConstructor
mayReturnNull	predicate declared in Nullness
maybeNull	predicate declared in Dataflow
memberFcnMightRunOnStack	predicate declared in StackAddress
memberMayBeVarSize	predicate declared in Buffer
missingCanonicalLanguageType	predicate declared in IRTypeConsistency
missingCppType	predicate declared in LanguageTypeConsistency
missingGuardAgainstOverflow	predicate declared in Overflow
missingGuardAgainstUnderflow	predicate declared in Overflow
missingIRType	predicate declared in IRTypeConsistency
missingSemanticConversionString	predicate declared in CastConsistency
mkElement	predicate declared in Element
modeledTaintStep	predicate declared in TaintTrackingUtil
multipleCanonicalLanguageTypes	predicate declared in IRTypeConsistency
multipleIRTypes	predicate declared in IRTypeConsistency
multipleSemanticConversionStrings	predicate declared in CastConsistency
mustlockAccess	member predicate declared in CustomMutexType
mustlockAccess	member predicate declared in DefaultMutexType
mustlockAccess	member predicate declared in MutexType
mustlockCall	predicate declared in Synchronization

N

NEExpr	class declared in ComparisonOperation
NULL	module
NULL	class declared in NULL
NameQualifiableElement	class declared in NameQualifiers
NameQualifier	class declared in NameQualifiers
NameQualifiers	module
NameQualifyingElement	class declared in NameQualifiers
Namespace	module
Namespace	class declared in Namespace
NamespaceDeclarationEntry	class declared in Namespace
NamespaceVariable	class declared in Variable
NanAnalysis	module
Negate	class declared in Opcode
NegateInstruction	class declared in Instruction
NestedClass	class declared in Class
NestedEnum	class declared in Enum
NestedFieldAccess	class declared in NestedFields
NestedFields	module
NestedStruct	class declared in Struct
NestedTypedefType	class declared in TypedefType
NestedUnion	class declared in Union
NewArrayExpr	class declared in Expr
NewExpr	class declared in Expr
NewObj	class declared in Opcode
NewObjInstruction	class declared in Instruction
NewOrNewArrayExpr	class declared in Expr
NextVarArg	class declared in Opcode
NextVarArgInstruction	class declared in Instruction
NoArgConstructor	class declared in MemberFunction
NoExceptExpr	class declared in Expr
NoOp	class declared in Opcode
NoOpInstruction	class declared in Instruction
Node	class declared in DataFlowUtil
Node	class declared in DataFlowUtil
NonLocalMemoryAccess	class declared in MemoryAccessKind
NonNanVariableAccess	class declared in NanAnalysis
NonPhiMemoryOperand	class declared in Operand
NonPhiOperand	class declared in Operand
Nonstrict	type declared in RangeAnalysisUtils
Nonstrict	injector declared in RangeAnalysisUtils
NotExpr	class declared in LogicalOperation
NullMacro	class declared in NULL
NullPointerType	class declared in Type
NullTermination	module
NullValue	class declared in Nullness
Nullness	module
NullnessAnnotation	class declared in Dataflow
nanExcludingComparison	predicate declared in NanAnalysis
noTopLevelCode	member predicate declared in HeaderFile
nodes	predicate declared in MergePathGraph :: PathGraph
nodes	predicate declared in DataFlow :: MergePathGraph :: PathGraph
nodes	predicate declared in PathGraph
nodes	predicate declared in PrintAST
nodes	predicate declared in PrintIR
nonNanGuardedVariable	predicate declared in SimpleRangeAnalysis
nonUniqueDef	predicate declared in Make :: Consistency
nonUniqueDefExt	predicate declared in Make :: Consistency
normalTermination	member predicate declared in Compilation
notDominatedByDef	predicate declared in Make :: Consistency
notDominatedByDefExt	predicate declared in Make :: Consistency
nullCheckExpr	predicate declared in Nullness
nullInit	predicate declared in Nullness
nullValue	predicate declared in Nullness

O

OctalLiteral	class declared in Literal
Opcode	module
Opcode	class declared in Opcode
Opcode	module declared in Opcode
OpcodeWithLoad	class declared in Opcode
Operand	module
Operand	class declared in Operand
OperandNode	class declared in DataFlowUtil
OperandTag	class declared in OperandTag
Operation	class declared in Expr
Operator	class declared in Function
OperatorDeleteDeallocationFunction	class declared in Deallocation
OperatorLShiftCall	class declared in FileWrite
OperatorNewAllocationFunction	class declared in Allocation
Options	class declared in DefaultOptions
Options	module
OutParameterDeref	class declared in FunctionInputsAndOutputs
OutQualifierObject	class declared in FunctionInputsAndOutputs
OutReturnValue	class declared in FunctionInputsAndOutputs
OutReturnValueDeref	class declared in FunctionInputsAndOutputs
OutputWrite	module
OutputWrite	class declared in OutputWrite
Overflow	module
Overlap	class declared in Overlap
OverloadedArrayExpr	class declared in Call
OverloadedPointerDereferenceExpr	class declared in Call
OverloadedPointerDereferenceFunction	class declared in Call
o_accmode	predicate declared in Constants
o_creat	predicate declared in Constants
o_excl	predicate declared in Constants
o_rdonly	predicate declared in Constants
o_rdwr	predicate declared in Constants
o_wronly	predicate declared in Constants
okToIgnoreReturnValue	member predicate declared in Options
okToIgnoreReturnValue	member predicate declared in CustomOptions
okToIgnoreReturnValue	predicate declared in Options
operandNode	predicate declared in DataFlowUtil
optimalSize	member predicate declared in PaddedType
outermostWrapperFunctionCall	member predicate declared in FunctionWithWrappers
overrideReturnsNull	member predicate declared in Options
overrideReturnsNull	member predicate declared in CustomOptions
overrideReturnsNull	predicate declared in Options
overrides	member predicate declared in MemberFunction

P

PODType03	module
PackedTimeType	class declared in DateTime
PaddedType	class declared in Padding
Padding	module
ParamAccessForType	class declared in Access
Parameter	module
Parameter	class declared in Parameter
ParameterDeclarationEntry	class declared in Variable
ParameterIndex	class declared in Parameter
ParameterIndirectionNode	class declared in DataFlowUtil
ParameterNode	class declared in DataFlowUtil
ParameterNode	class declared in DataFlowUtil
ParameterNode	class declared in PrintAST
ParametersNode	class declared in PrintAST
ParenthesisExpr	class declared in Expr
ParenthesizedBracedInitializerList	class declared in Expr
PartialClassTemplateSpecialization	class declared in Class
PathGraph	module declared in MergePathGraph
PathGraph	module declared in DataFlow :: MergePathGraph
PathGraph	module declared in MustFlow
PathNode	class declared in MergePathGraph
PathNode	class declared in DataFlow :: MergePathGraph
PathNode	class declared in DataFlowImpl1
PathNode	class declared in DataFlowImpl1
PathNode	class declared in DataFlowImpl2
PathNode	class declared in DataFlowImpl2
PathNode	class declared in DataFlowImpl3
PathNode	class declared in DataFlowImpl3
PathNode	class declared in DataFlowImpl4
PathNode	class declared in DataFlowImpl4
Phi	class declared in Opcode
PhiInputOperand	class declared in Operand
PhiInstruction	class declared in Instruction
PhiMemoryAccess	class declared in MemoryAccessKind
PhiNode	class declared in Make
PhiNode	class declared in SsaInternals
PhiReadNode	class declared in Make
PlainCharType	class declared in Type
PointerAdd	class declared in Opcode
PointerAddExpr	class declared in ArithmeticOperation
PointerAddInstruction	class declared in Instruction
PointerArithmeticInstruction	class declared in Instruction
PointerArithmeticOpcode	class declared in Opcode
PointerArithmeticOperation	class declared in ArithmeticOperation
PointerConversion	class declared in Cast
PointerDereferenceExpr	class declared in Expr
PointerDiff	class declared in Opcode
PointerDiffExpr	class declared in ArithmeticOperation
PointerDiffInstruction	class declared in Instruction
PointerFieldAccess	class declared in Access
PointerOffsetInstruction	class declared in Instruction
PointerOffsetOpcode	class declared in Opcode
PointerSub	class declared in Opcode
PointerSubExpr	class declared in ArithmeticOperation
PointerSubInstruction	class declared in Instruction
PointerToFieldLiteral	class declared in Access
PointerToIntegralConversion	class declared in Cast
PointerToMemberBaseClassConversion	class declared in Cast
PointerToMemberConversion	class declared in Cast
PointerToMemberDerivedClassConversion	class declared in Cast
PointerToMemberType	class declared in Type
PointerType	class declared in Type
PointerWrapper	module
PointerWrapper	class declared in PointerWrapper
PointlessComparison	module
PointsTo	module
PointsToExpr	class declared in PointsTo
PolymorphicClass	module
PolymorphicClass	class declared in PolymorphicClass
PositionalArgumentOperand	class declared in Operand
PostFieldUpdateNode	class declared in DataFlowUtil
PostUpdateNode	class declared in DataFlowUtil
PostUpdateNode	class declared in DataFlowUtil
PostfixCrementOperation	class declared in ArithmeticOperation
PostfixDecrExpr	class declared in ArithmeticOperation
PostfixIncrExpr	class declared in ArithmeticOperation
PragmaOnceIncludeGuard	class declared in MultipleInclusion
PreConstructorInitThis	class declared in DataFlowUtil
PreObjectInitializerNode	class declared in DataFlowUtil
PrefixCrementOperation	class declared in ArithmeticOperation
PrefixDecrExpr	class declared in ArithmeticOperation
PrefixIncrExpr	class declared in ArithmeticOperation
Preprocessor	module
PreprocessorBranch	class declared in Preprocessor
PreprocessorBranchDirective	class declared in Preprocessor
PreprocessorDirective	class declared in Preprocessor
PreprocessorElif	class declared in Preprocessor
PreprocessorElse	class declared in Preprocessor
PreprocessorEndif	class declared in Preprocessor
PreprocessorError	class declared in Preprocessor
PreprocessorIf	class declared in Preprocessor
PreprocessorIfdef	class declared in Preprocessor
PreprocessorIfndef	class declared in Preprocessor
PreprocessorLine	class declared in Preprocessor
PreprocessorPragma	class declared in Preprocessor
PreprocessorUndef	class declared in Preprocessor
PreprocessorWarning	class declared in Preprocessor
Print	module
PrintAST	module
PrintAstConfiguration	class declared in PrintAST
PrintAstNode	class declared in PrintAST
PrintIR	module
PrintIR	module
PrintIRConfiguration	class declared in PrintIR
Printf	module
PrintfFormatAttribute	class declared in Printf
PrintfLike	module
PrintfLikeFunction	class declared in FunctionWithWrappers
PrivateData	module
PrivateDataExpr	class declared in PrivateData
PrivateDataFunction	class declared in PrivateData
PrivateDataVariable	class declared in PrivateData
ProxyClass	class declared in Class
PrvalueAdjustmentConversion	class declared in Cast
Ptrdiff_t	class declared in CommonType
Public	module declared in DataFlowImplSpecific
Public	module declared in DataFlowImplSpecific
PureVirtualFunction	class declared in MemberFunction
PutFunctionCall	class declared in FileWrite
paddedSize	member predicate declared in Architecture
paddedSize	member predicate declared in PaddedType
parameterEscapesOnlyViaReturn	member predicate declared in AliasFunction
parameterIsAlwaysReturned	member predicate declared in AliasFunction
parameterNeverEscapes	member predicate declared in AliasFunction
parameterNode	predicate declared in DataFlowUtil
parameterNode	predicate declared in DataFlowUtil
parameterUsePair	predicate declared in DefinitionsAndUses
parentSetFor	predicate declared in PointsTo
parenthesesWouldChangeMeaning	member predicate declared in Decltype
parents	predicate declared in PrintIR
parseConvSpec	member predicate declared in FormatLiteral
parseConvSpec	member predicate declared in ScanfFormatLiteral
parseOctal	predicate declared in Constants
passesByReference	member predicate declared in Call
passesByReferenceNonConst	member predicate declared in Call
phiHasInputFromBlock	predicate declared in Make
phiHasInputFromBlockExt	predicate declared in Make
pointer	predicate declared in PointsTo
pointerFromCompound	predicate declared in PointsTo
pointerParamFlowsToDef	predicate declared in StackAddress
pointerSize	member predicate declared in Architecture
pointerSize	member predicate declared in ILP32
pointerSize	member predicate declared in ILP32_MS
pointerSize	member predicate declared in LLP64_MS
pointerSize	member predicate declared in LP64
pointerToCompound	predicate declared in PointsTo
pointerValue	predicate declared in PointsTo
pointlessComparison	predicate declared in PointlessComparison
pointsTo	member predicate declared in PointsToExpr
pointsToConst	member predicate declared in PointerWrapper
pointstoinfo	predicate declared in PointsTo
pointstosets	predicate declared in PointsTo
possibleMacroLocation	predicate declared in Macro
postDominanceFrontier	member predicate declared in IRBlock
postDominates	predicate declared in Dominance
postDominates	member predicate declared in IRBlock
preferTemplateDeps	member predicate declared in DependencyOptions
preservedBy	member predicate declared in DataflowAnnotation
primitiveVariadicFormatter	predicate declared in Printf
printfLikeFunction	predicate declared in PrintfLike
protocols	module
provides	member predicate declared in Include
ptrCalls	predicate declared in CallGraph

Q

Qualifier	class declared in VoidContext
qlCast	predicate declared in Cast
qlConversion	predicate declared in Cast

R

RShiftExpr	class declared in BitwiseOperation
RValueReferenceType	class declared in Type
RangeAnalysisUtils	module
RangeBasedForStmt	class declared in Stmt
RangeSSA	module
RangeSsaDefinition	class declared in RangeSSA
RawIndirectInstruction	class declared in DataFlowUtil
RawIndirectOperand	class declared in DataFlowUtil
ReThrow	class declared in Opcode
ReThrowExpr	class declared in Expr
ReThrowInstruction	class declared in Instruction
ReadSideEffectInstruction	class declared in Instruction
ReadSideEffectOpcode	class declared in Opcode
RealDomain	class declared in Type
RealImaginaryAddExpr	class declared in ArithmeticOperation
RealImaginarySubExpr	class declared in ArithmeticOperation
RealNumberType	class declared in Type
RealPartExpr	class declared in ArithmeticOperation
RealpathBW	class declared in BufferWrite
RecoverableAssert	class declared in Assertions
RecursionPrevention	module
RefParameterFinalValueNode	class declared in DataFlowUtil
ReferenceDereferenceExpr	class declared in Expr
ReferenceFieldAccess	class declared in Access
ReferenceToExpr	class declared in Expr
ReferenceType	class declared in Type
RegisterOperand	class declared in Operand
ReinterpretCast	class declared in Cast
RelationalInstruction	class declared in Instruction
RelationalOpcode	class declared in Opcode
RelationalOperation	class declared in ComparisonOperation
RelevantDefinition	class declared in Make :: Consistency
RelevantDefinitionExt	class declared in Make :: Consistency
Rem	class declared in Opcode
RemExpr	class declared in ArithmeticOperation
RemInstruction	class declared in Instruction
RemoteFlowSink	class declared in FlowSources
RemoteFlowSinkFunction	class declared in FlowSource
RemoteFlowSource	class declared in FlowSources
RemoteFlowSourceFunction	class declared in FlowSource
ResolveCall	module
ReturnIndirection	class declared in Opcode
ReturnIndirectionInstruction	class declared in Instruction
ReturnInstruction	class declared in Instruction
ReturnOpcode	class declared in Opcode
ReturnStmt	class declared in Stmt
ReturnValue	class declared in Opcode
ReturnValueInstruction	class declared in Instruction
ReturnVoid	class declared in Opcode
ReturnVoidInstruction	class declared in Instruction
RightIsSmaller	type declared in PointlessComparison
RightIsSmaller	injector declared in PointlessComparison
RightOperand	class declared in Operand
RoutineType	class declared in Type
raisesPrivilege	member predicate declared in SecurityOptions
raisesPrivilege	predicate declared in Security
reachablePointlessComparison	predicate declared in PointlessComparison
reaches	member predicate declared in StackVariableReachability
reaches	member predicate declared in StackVariableReachabilityExt
reaches	member predicate declared in StackVariableReachabilityWithReassignment
reachesEndOfBB	member predicate declared in RangeSsaDefinition
reachesEndOfBB	member predicate declared in SsaDefinition
reachesTo	member predicate declared in StackVariableReachabilityWithReassignment
readWithoutDef	predicate declared in Make :: Consistency
readWithoutDefExt	predicate declared in Make :: Consistency
referenceParamFlowsToDef	predicate declared in StackAddress
refersTo	member predicate declared in Type
refersToDirectly	member predicate declared in Class
refersToDirectly	member predicate declared in DerivedType
refersToDirectly	member predicate declared in PointerToMemberType
refersToDirectly	member predicate declared in RoutineType
refersToDirectly	member predicate declared in Type
relOpWithSwap	predicate declared in RangeAnalysisUtils
relOpWithSwapAndNegate	predicate declared in RangeAnalysisUtils
requiresDealloc	member predicate declared in AllocationExpr
requiresDealloc	member predicate declared in AllocationFunction
requiresDealloc	member predicate declared in HeuristicAllocationExpr
requiresDealloc	member predicate declared in HeuristicAllocationFunction
requiresDealloc	member predicate declared in OperatorNewAllocationFunction
resolve	member predicate declared in TargetPointsToExpr
resolve	predicate declared in PointsTo
resolveCall	predicate declared in ResolveCall
resolveCall	predicate declared in TaintTrackingImpl
resolveToSet	member predicate declared in TargetPointsToExpr
resolveTypedefs	member predicate declared in Decltype
resolveTypedefs	member predicate declared in PointerType
resolveTypedefs	member predicate declared in ReferenceType
resolveTypedefs	member predicate declared in SpecifiedType
resolveTypedefs	member predicate declared in Type
resolveTypedefs	member predicate declared in TypedefType
resolvedCall	predicate declared in CallGraph
returnTypeIsExplicit	member predicate declared in LambdaExpression
returnsFullFormatLength	member predicate declared in Snprintf
returnsNull	member predicate declared in Options
returnsNull	member predicate declared in CustomOptions
returnsNull	predicate declared in Options

S

SSA	module
SSAUtils	module
Scanf	module
Scanf	class declared in Scanf
ScanfBW	class declared in BufferWrite
ScanfFormatLiteral	class declared in Scanf
ScanfFunction	class declared in Scanf
ScanfFunctionCall	class declared in Scanf
ScopedEnum	class declared in Enum
Security	module
SecurityOptions	class declared in Security
SecurityOptions	module
SemanticStackVariable	class declared in Variable
SensitiveExpr	class declared in SensitiveExprs
SensitiveExprs	module
SensitiveFunction	class declared in SensitiveExprs
SensitiveVariable	class declared in SensitiveExprs
ShiftLeft	class declared in Opcode
ShiftLeftInstruction	class declared in Instruction
ShiftRight	class declared in Opcode
ShiftRightInstruction	class declared in Instruction
ShortType	class declared in Type
SideEffect	module
SideEffectFunction	class declared in SideEffect
SideEffectInstruction	class declared in Instruction
SideEffectOpcode	class declared in Opcode
SideEffectOperand	class declared in Operand
SideEffectOperandNode	class declared in DataFlowUtil
SignedCharType	class declared in Type
SimpleRangeAnalysis	module
SimpleRangeAnalysisInternal	module declared in SimpleRangeAnalysis
Size_t	class declared in CommonType
SizedBufferAccessOpcode	class declared in Opcode
SizedBufferMayWriteSideEffect	class declared in Opcode
SizedBufferMayWriteSideEffectInstruction	class declared in Instruction
SizedBufferMustWriteSideEffect	class declared in Opcode
SizedBufferMustWriteSideEffectInstruction	class declared in Instruction
SizedBufferReadOpcode	class declared in Opcode
SizedBufferReadSideEffect	class declared in Opcode
SizedBufferReadSideEffectInstruction	class declared in Instruction
SizedBufferWriteOpcode	class declared in Opcode
SizeofExprOperator	class declared in Cast
SizeofOperator	class declared in Cast
SizeofPackOperator	class declared in Cast
SizeofTypeOperator	class declared in Cast
Snprintf	class declared in FormattingFunction
SnprintfBW	class declared in BufferWrite
Snscanf	class declared in Scanf
SpaceshipExpr	class declared in Expr
SpecifiedType	class declared in Type
Specifier	module
Specifier	class declared in Specifier
SprintfBW	class declared in BufferWrite
Sql	module
SqlBarrierFunction	class declared in Sql
SqlExecutionFunction	class declared in Sql
Ssa	module
SsaDefinition	class declared in SSA
SsaPhiNode	class declared in DataFlowUtil
Sscanf	class declared in Scanf
Ssize_t	class declared in CommonType
SslContextCallAbstractConfig	class declared in BoostorgAsio
SslContextCallBannedProtocolConfig	class declared in BoostorgAsio
SslContextCallConfig	class declared in BoostorgAsio
SslContextCallTls12ProtocolConfig	class declared in BoostorgAsio
SslContextCallTls13ProtocolConfig	class declared in BoostorgAsio
SslContextCallTlsProtocolConfig	class declared in BoostorgAsio
SslContextClass	class declared in BoostorgAsio
SslContextFlowsToSetOptionConfig	class declared in BoostorgAsio
SslContextMethod	class declared in BoostorgAsio
SslOptionConfig	class declared in BoostorgAsio
SslSetOptionsFunction	class declared in BoostorgAsio
StackAddress	module
StackVariable	class declared in Variable
StackVariableReachability	module
StackVariableReachability	class declared in StackVariableReachability
StackVariableReachabilityExt	class declared in StackVariableReachability
StackVariableReachabilityWithReassignment	class declared in StackVariableReachability
StaticAssert	class declared in Element
StaticCast	class declared in Cast
StaticLocalVariable	class declared in Variable
StaticStorageDurationVariable	class declared in Variable
StdAttribute	class declared in Specifier
StdNamespace	class declared in Namespace
Stmt	module
Stmt	class declared in Stmt
StmtExpr	class declared in Expr
StmtExprNode	class declared in PrintAST
StmtNode	class declared in PrintAST
StmtParent	class declared in Stmt
StorageClassSpecifier	class declared in Specifier
Store	class declared in Opcode
StoreInstruction	class declared in Instruction
StoreValueOperand	class declared in Operand
StrCatBW	class declared in BufferWrite
StrCopyBW	class declared in BufferWrite
Strcat	module
Strcat	module
StrcatFunction	class declared in Strcat
StrcatFunction	class declared in Strcat
Strcpy	module
StrcpyFunction	class declared in Strcpy
Strict	type declared in RangeAnalysisUtils
Strict	injector declared in RangeAnalysisUtils
StringAnalysis	module
StringConstant	class declared in Opcode
StringConstantInstruction	class declared in Instruction
StringLiteral	class declared in Literal
StringLiteralNode	class declared in PrintAST
StrlenCall	class declared in StringAnalysis
StrncpyBA	class declared in BufferAccess
Struct	module
Struct	class declared in Struct
StructLikeClass	module
StructLikeClass	class declared in StructLikeClass
StructSystemTimeYearFieldAccess	class declared in DateTime
StructTmDayFieldAccess	class declared in DateTime
StructTmMonthFieldAccess	class declared in DateTime
StructTmYearFieldAccess	class declared in DateTime
Sub	class declared in Opcode
SubBasicBlock	class declared in SubBasicBlocks
SubBasicBlockCutNode	class declared in SubBasicBlocks
SubBasicBlocks	module
SubExpr	class declared in ArithmeticOperation
SubInstruction	class declared in Instruction
SwabBA	class declared in BufferAccess
Switch	class declared in Opcode
SwitchCase	class declared in Stmt
SwitchInstruction	class declared in Instruction
SwitchStmt	class declared in Stmt
Symbol	class declared in Dependency
Synchronization	module
SystemFunction	class declared in CommandExecution
SystemTimeDayFieldAccess	class declared in DateTime
SystemTimeMonthFieldAccess	class declared in DateTime
s_irgrp	predicate declared in Constants
s_iroth	predicate declared in Constants
s_irusr	predicate declared in Constants
s_irwxg	predicate declared in Constants
s_irwxo	predicate declared in Constants
s_irwxu	predicate declared in Constants
s_isgid	predicate declared in Constants
s_isuid	predicate declared in Constants
s_isvtx	predicate declared in Constants
s_iwgrp	predicate declared in Constants
s_iwoth	predicate declared in Constants
s_iwusr	predicate declared in Constants
s_ixgrp	predicate declared in Constants
s_ixoth	predicate declared in Constants
s_ixusr	predicate declared in Constants
safeFloor	predicate declared in SimpleRangeAnalysis
setflow	predicate declared in PointsTo
setlocations	predicate declared in PointsTo
setter	predicate declared in StructLikeClass
shareField	member predicate declared in MetricClass
shellCommand	predicate declared in CommandExecution
shellCommandPreface	predicate declared in CommandExecution
shouldCreateIRForFunction	member predicate declared in IRConfiguration
shouldEvaluateDebugStringsForFunction	member predicate declared in IRConfiguration
shouldPrint	member predicate declared in PrintAstNode
shouldPrintFunction	member predicate declared in PrintAstConfiguration
shouldPrintFunction	member predicate declared in PrintIRConfiguration
simpleLocalFlowStep	predicate declared in DataFlowUtil
sinkGrouping	member predicate declared in Configuration
sinkGrouping	member predicate declared in DataFlow :: Configuration
sinkGrouping	member predicate declared in Configuration
sinkGrouping	member predicate declared in DataFlow2 :: Configuration
sinkGrouping	member predicate declared in Configuration
sinkGrouping	member predicate declared in Configuration
sinkGrouping	member predicate declared in Configuration
sinkGrouping	member predicate declared in Configuration
sourceGrouping	member predicate declared in Configuration
sourceGrouping	member predicate declared in DataFlow :: Configuration
sourceGrouping	member predicate declared in Configuration
sourceGrouping	member predicate declared in DataFlow2 :: Configuration
sourceGrouping	member predicate declared in Configuration
sourceGrouping	member predicate declared in Configuration
sourceGrouping	member predicate declared in Configuration
sourceGrouping	member predicate declared in Configuration
specsAreKnown	member predicate declared in FormatLiteral
sqlArgument	member predicate declared in SecurityOptions
sqlArgument	predicate declared in Security
sqlArgument	member predicate declared in CustomSecurityOptions
ssaDefReachesEndOfBlock	predicate declared in Make
ssaDefReachesEndOfBlockExt	predicate declared in Make
ssaDefReachesRead	predicate declared in Make
ssaDefReachesReadExt	predicate declared in Make
stackPointerFlowsToDef	predicate declared in StackAddress
stackPointerFlowsToUse	predicate declared in StackAddress
stackReferenceFlowsToDef	predicate declared in StackAddress
stackReferenceFlowsToDef_Impl	predicate declared in StackAddress
stackReferenceFlowsToUse	predicate declared in StackAddress
startsWithIfndef	predicate declared in MultipleInclusion
staticTarget	member predicate declared in TargetPointsToExpr
stmtEnclosingElement	predicate declared in Enclosing
strictlyDominates	predicate declared in Dominance
strictlyDominates	member predicate declared in IRBlock
strictlyPostDominates	predicate declared in Dominance
strictlyPostDominates	member predicate declared in IRBlock
string	primitive type
stripPointer	predicate declared in DataFlowUtil
stripTopLevelSpecifiers	member predicate declared in Decltype
stripTopLevelSpecifiers	member predicate declared in SpecifiedType
stripTopLevelSpecifiers	member predicate declared in Type
stripTopLevelSpecifiers	member predicate declared in TypedefType
stripType	member predicate declared in Decltype
stripType	member predicate declared in DerivedType
stripType	member predicate declared in Type
stripType	member predicate declared in TypedefType
subpaths	predicate declared in MergePathGraph :: PathGraph
subpaths	predicate declared in DataFlow :: MergePathGraph :: PathGraph
subsumes	member predicate declared in Location
successors_extended	predicate declared in ControlFlowGraph

T

TBaseSourceVariable	datatype declared in SsaInternalsCommon
TIRDynamicInitializationFlag	type declared in TIRVariable
TIRStringLiteral	type declared in TIRVariable
TIRTempVariable	type declared in TIRVariable
TIRUserVariable	type declared in TIRVariable
TIRVariable	datatype declared in TIRVariable
TNonPhiMemoryOperand	type declared in AliasedSsaOperands
TPhiOperand	type declared in AliasedSsaOperands
TTempVariableTag	datatype declared in TempVariableTag
TValueNumber	datatype declared in ValueNumberingInternal
Taint	module
TaintFunction	class declared in Taint
TaintTracking	module
TaintTracking	module
TaintTracking	module
TaintTracking	module
TaintTracking	module
TaintTracking	module
TaintTracking	module declared in TaintTracking
TaintTracking	module declared in TaintTracking
TaintTracking	module declared in TaintTracking
TaintTracking2	module
TaintTracking2	module
TaintTracking2	module
TaintTracking2	module declared in TaintTracking2
TaintTracking2	module declared in TaintTracking2
TaintTracking2	module declared in TaintTracking2
TaintTracking3	module
TaintTracking3	module
TaintTracking3	module declared in TaintTracking3
TaintTracking3	module declared in TaintTracking3
TaintTrackingImpl	module
TaintTrackingImpl	module
TaintTrackingImpl	module
TaintTrackingImpl	module
TaintTrackingImpl	module
TaintTrackingImpl	module
TaintTrackingUtil	module
TaintTrackingUtil	module
TargetPointsToExpr	class declared in CallGraph
TempVariableTag	module
TempVariableTag	class declared in TempVariableTag
TemplateClass	class declared in Class
TemplateFunction	class declared in Function
TemplateParameter	class declared in Type
TemplateTemplateParameter	class declared in Type
TemplateVariable	class declared in Variable
TemporaryObjectExpr	class declared in Cast
TestFile	module
TestFile	class declared in TestFile
TextLiteral	class declared in Literal
ThisArgumentOperand	class declared in Operand
ThisExpr	class declared in Expr
ThisParameterNode	class declared in DataFlowUtil
ThrowExpr	class declared in Expr
ThrowInstruction	class declared in Instruction
ThrowOpcode	class declared in Opcode
ThrowValue	class declared in Opcode
ThrowValueInstruction	class declared in Instruction
Top	class declared in definitions
TopLevelFunction	class declared in Function
TrueEdge	class declared in EdgeKind
TryStmt	class declared in Stmt
Type	module
Type	class declared in Type
TypeBoundsAnalysis	class declared in Printf
TypeDeclarationEntry	class declared in UserType
TypeDomain	class declared in Type
TypeMention	class declared in Type
TypeName	class declared in Access
TypedOperand	class declared in Operand
TypedefType	module
TypedefType	class declared in TypedefType
TypeidOperator	class declared in Cast
tainted	predicate declared in TaintTrackingImpl
taintedIncludingGlobalVars	predicate declared in TaintTrackingImpl
terminatesInBreakStmt	member predicate declared in SwitchCase
terminatesInReturnStmt	member predicate declared in SwitchCase
terminatesInThrowStmt	member predicate declared in SwitchCase
toString	member predicate declared in GVN
toString	member predicate declared in Access
toString	member predicate declared in ArrayExpr
toString	member predicate declared in EnumConstantAccess
toString	member predicate declared in FunctionAccess
toString	member predicate declared in ParamAccessForType
toString	member predicate declared in TypeName
toString	member predicate declared in VariableAccess
toString	member predicate declared in PostfixDecrExpr
toString	member predicate declared in PostfixIncrExpr
toString	member predicate declared in AssignExpr
toString	member predicate declared in AssignOperation
toString	member predicate declared in BlockAssignExpr
toString	member predicate declared in ConditionDeclExpr
toString	member predicate declared in BlockStmt
toString	member predicate declared in BuiltInBitCast
toString	member predicate declared in BuiltInChooseExpr
toString	member predicate declared in BuiltInComplexOperation
toString	member predicate declared in BuiltInIntAddr
toString	member predicate declared in BuiltInNoOp
toString	member predicate declared in BuiltInOperationArrayExtent
toString	member predicate declared in BuiltInOperationArrayRank
toString	member predicate declared in BuiltInOperationBuiltInConvertVector
toString	member predicate declared in BuiltInOperationBuiltInOffsetOf
toString	member predicate declared in BuiltInOperationBuiltInShuffle
toString	member predicate declared in BuiltInOperationBuiltInShuffleVector
toString	member predicate declared in BuiltInOperationBuiltInTypesCompatibleP
toString	member predicate declared in BuiltInOperationHasAssign
toString	member predicate declared in BuiltInOperationHasCopy
toString	member predicate declared in BuiltInOperationHasFinalizer
toString	member predicate declared in BuiltInOperationHasNoThrowAssign
toString	member predicate declared in BuiltInOperationHasNoThrowConstructor
toString	member predicate declared in BuiltInOperationHasNoThrowCopy
toString	member predicate declared in BuiltInOperationHasNothrowMoveAssign
toString	member predicate declared in BuiltInOperationHasTrivialAssign
toString	member predicate declared in BuiltInOperationHasTrivialConstructor
toString	member predicate declared in BuiltInOperationHasTrivialCopy
toString	member predicate declared in BuiltInOperationHasTrivialDestructor
toString	member predicate declared in BuiltInOperationHasTrivialMoveAssign
toString	member predicate declared in BuiltInOperationHasTrivialMoveConstructor
toString	member predicate declared in BuiltInOperationHasUniqueObjectRepresentations
toString	member predicate declared in BuiltInOperationHasUserDestructor
toString	member predicate declared in BuiltInOperationHasVirtualDestructor
toString	member predicate declared in BuiltInOperationIsAbstract
toString	member predicate declared in BuiltInOperationIsAggregate
toString	member predicate declared in BuiltInOperationIsArithmetic
toString	member predicate declared in BuiltInOperationIsArray
toString	member predicate declared in BuiltInOperationIsAssignable
toString	member predicate declared in BuiltInOperationIsBaseOf
toString	member predicate declared in BuiltInOperationIsClass
toString	member predicate declared in BuiltInOperationIsCompleteType
toString	member predicate declared in BuiltInOperationIsCompound
toString	member predicate declared in BuiltInOperationIsConst
toString	member predicate declared in BuiltInOperationIsConstructible
toString	member predicate declared in BuiltInOperationIsConvertibleTo
toString	member predicate declared in BuiltInOperationIsDelegate
toString	member predicate declared in BuiltInOperationIsDestructible
toString	member predicate declared in BuiltInOperationIsEmpty
toString	member predicate declared in BuiltInOperationIsEnum
toString	member predicate declared in BuiltInOperationIsFinal
toString	member predicate declared in BuiltInOperationIsFloatingPoint
toString	member predicate declared in BuiltInOperationIsFunction
toString	member predicate declared in BuiltInOperationIsFundamental
toString	member predicate declared in BuiltInOperationIsIntegral
toString	member predicate declared in BuiltInOperationIsInterfaceClass
toString	member predicate declared in BuiltInOperationIsLayoutCompatible
toString	member predicate declared in BuiltInOperationIsLiteralType
toString	member predicate declared in BuiltInOperationIsLvalueReference
toString	member predicate declared in BuiltInOperationIsMemberFunctionPointer
toString	member predicate declared in BuiltInOperationIsMemberObjectPointer
toString	member predicate declared in BuiltInOperationIsMemberPointer
toString	member predicate declared in BuiltInOperationIsNothrowAssignable
toString	member predicate declared in BuiltInOperationIsNothrowConstructible
toString	member predicate declared in BuiltInOperationIsNothrowDestructible
toString	member predicate declared in BuiltInOperationIsObject
toString	member predicate declared in BuiltInOperationIsPod
toString	member predicate declared in BuiltInOperationIsPointer
toString	member predicate declared in BuiltInOperationIsPointerInterconvertibleBaseOf
toString	member predicate declared in BuiltInOperationIsPolymorphic
toString	member predicate declared in BuiltInOperationIsRefArray
toString	member predicate declared in BuiltInOperationIsRefClass
toString	member predicate declared in BuiltInOperationIsReference
toString	member predicate declared in BuiltInOperationIsRvalueReference
toString	member predicate declared in BuiltInOperationIsSame
toString	member predicate declared in BuiltInOperationIsScalar
toString	member predicate declared in BuiltInOperationIsSealed
toString	member predicate declared in BuiltInOperationIsSigned
toString	member predicate declared in BuiltInOperationIsSimpleValueClass
toString	member predicate declared in BuiltInOperationIsStandardLayout
toString	member predicate declared in BuiltInOperationIsTriviallyAssignable
toString	member predicate declared in BuiltInOperationIsTriviallyConstructible
toString	member predicate declared in BuiltInOperationIsTriviallyCopyable
toString	member predicate declared in BuiltInOperationIsTriviallyDestructible
toString	member predicate declared in BuiltInOperationIsUnion
toString	member predicate declared in BuiltInOperationIsUnsigned
toString	member predicate declared in BuiltInOperationIsValueClass
toString	member predicate declared in BuiltInOperationIsVoid
toString	member predicate declared in BuiltInOperationIsVolatile
toString	member predicate declared in BuiltInVarArg
toString	member predicate declared in BuiltInVarArgCopy
toString	member predicate declared in BuiltInVarArgsEnd
toString	member predicate declared in BuiltInVarArgsStart
toString	member predicate declared in Call
toString	member predicate declared in ConstructorFieldInit
toString	member predicate declared in DestructorFieldDestruction
toString	member predicate declared in ExprCall
toString	member predicate declared in FunctionCall
toString	member predicate declared in VacuousDestructorCall
toString	member predicate declared in AlignofExprOperator
toString	member predicate declared in AlignofTypeOperator
toString	member predicate declared in ArrayToPointerConversion
toString	member predicate declared in CStyleCast
toString	member predicate declared in ConstCast
toString	member predicate declared in DynamicCast
toString	member predicate declared in ReinterpretCast
toString	member predicate declared in SizeofExprOperator
toString	member predicate declared in SizeofPackOperator
toString	member predicate declared in SizeofTypeOperator
toString	member predicate declared in StaticCast
toString	member predicate declared in TemporaryObjectExpr
toString	member predicate declared in TypeidOperator
toString	member predicate declared in UuidofOperator
toString	member predicate declared in ClassDerivation
toString	member predicate declared in Comment
toString	member predicate declared in Compilation
toString	member predicate declared in CppType
toString	member predicate declared in MergePathGraph :: PathNode
toString	member predicate declared in DataFlow :: MergePathGraph :: PathNode
toString	member predicate declared in PathNode
toString	member predicate declared in DataFlow :: PathNode
toString	member predicate declared in PathNode
toString	member predicate declared in DataFlow2 :: PathNode
toString	member predicate declared in PathNode
toString	member predicate declared in PathNode
toString	member predicate declared in PathNode
toString	member predicate declared in PathNode
toString	member predicate declared in DataFlowImplCommonPublic :: FeatureEqualSourceSinkCallContext
toString	member predicate declared in DataFlow :: FeatureEqualSourceSinkCallContext
toString	member predicate declared in DataFlowImplCommonPublic :: FeatureHasSinkCallContext
toString	member predicate declared in DataFlow :: FeatureHasSinkCallContext
toString	member predicate declared in DataFlowImplCommonPublic :: FeatureHasSourceCallContext
toString	member predicate declared in DataFlow :: FeatureHasSourceCallContext
toString	member predicate declared in DataFlowImplCommonPublic :: FlowFeature
toString	member predicate declared in DataFlow :: FlowFeature
toString	member predicate declared in Content
toString	member predicate declared in DataFlow :: Content
toString	member predicate declared in ContentSet
toString	member predicate declared in DataFlow :: ContentSet
toString	member predicate declared in DataFlow :: DefinitionByReferenceNode
toString	member predicate declared in DataFlow :: ExplicitParameterNode
toString	member predicate declared in DataFlow :: ExprNode
toString	member predicate declared in FieldContent
toString	member predicate declared in DataFlow :: FieldContent
toString	member predicate declared in DataFlow :: ImplicitParameterNode
toString	member predicate declared in Node
toString	member predicate declared in DataFlow :: Node
toString	member predicate declared in DataFlow :: PreConstructorInitThis
toString	member predicate declared in DataFlow :: PreObjectInitializerNode
toString	member predicate declared in DataFlow :: RefParameterFinalValueNode
toString	member predicate declared in DataFlow :: UninitializedNode
toString	member predicate declared in UnionContent
toString	member predicate declared in Declaration
toString	member predicate declared in DeclarationEntry
toString	member predicate declared in Diagnostic
toString	member predicate declared in CaseEdge
toString	member predicate declared in DefaultEdge
toString	member predicate declared in EdgeKind
toString	member predicate declared in ExceptionEdge
toString	member predicate declared in FalseEdge
toString	member predicate declared in GotoEdge
toString	member predicate declared in TrueEdge
toString	member predicate declared in ElementBase
toString	member predicate declared in StaticAssert
toString	member predicate declared in AssumeExpr
toString	member predicate declared in BinaryOperation
toString	member predicate declared in BlockExpr
toString	member predicate declared in CommaExpr
toString	member predicate declared in DeleteArrayExpr
toString	member predicate declared in DeleteExpr
toString	member predicate declared in ErrorExpr
toString	member predicate declared in Expr
toString	member predicate declared in FoldExpr
toString	member predicate declared in NewArrayExpr
toString	member predicate declared in NewExpr
toString	member predicate declared in NoExceptExpr
toString	member predicate declared in ParenthesisExpr
toString	member predicate declared in ParenthesizedBracedInitializerList
toString	member predicate declared in ReThrowExpr
toString	member predicate declared in ReferenceDereferenceExpr
toString	member predicate declared in ReferenceToExpr
toString	member predicate declared in StmtExpr
toString	member predicate declared in ThisExpr
toString	member predicate declared in ThrowExpr
toString	member predicate declared in UnaryOperation
toString	member predicate declared in ExternalData
toString	member predicate declared in Container
toString	member predicate declared in FunctionInput
toString	member predicate declared in FunctionOutput
toString	member predicate declared in InParameter
toString	member predicate declared in InParameterDeref
toString	member predicate declared in InQualifierAddress
toString	member predicate declared in InQualifierObject
toString	member predicate declared in InReturnValueDeref
toString	member predicate declared in OutParameterDeref
toString	member predicate declared in OutQualifierObject
toString	member predicate declared in OutReturnValue
toString	member predicate declared in OutReturnValueDeref
toString	member predicate declared in GVN
toString	member predicate declared in HashCons
toString	member predicate declared in IRPropertyProvider
toString	member predicate declared in IRBlockBase
toString	member predicate declared in IRConfiguration
toString	member predicate declared in IREscapeAnalysisConfiguration
toString	member predicate declared in IRFunctionBase
toString	member predicate declared in IRAddressType
toString	member predicate declared in IRBooleanType
toString	member predicate declared in IRErrorType
toString	member predicate declared in IRFloatingPointType
toString	member predicate declared in IRFunctionAddressType
toString	member predicate declared in IROpaqueType
toString	member predicate declared in IRSignedIntegerType
toString	member predicate declared in IRType
toString	member predicate declared in IRUnknownType
toString	member predicate declared in IRUnsignedIntegerType
toString	member predicate declared in IRVoidType
toString	member predicate declared in IRDynamicInitializationFlag
toString	member predicate declared in IREllipsisVariable
toString	member predicate declared in IRGeneratedVariable
toString	member predicate declared in IRReturnVariable
toString	member predicate declared in IRThisVariable
toString	member predicate declared in IRUserVariable
toString	member predicate declared in IRVariable
toString	member predicate declared in Import
toString	member predicate declared in Include
toString	member predicate declared in IncludeNext
toString	member predicate declared in Initializer
toString	member predicate declared in Instruction
toString	member predicate declared in LambdaCapture
toString	member predicate declared in LambdaExpression
toString	member predicate declared in LinkTarget
toString	member predicate declared in AggregateLiteral
toString	member predicate declared in Literal
toString	member predicate declared in Location
toString	member predicate declared in ConditionalExpr
toString	member predicate declared in Macro
toString	member predicate declared in MacroAccess
toString	member predicate declared in BufferMemoryAccess
toString	member predicate declared in ChiPartialMemoryAccess
toString	member predicate declared in ChiTotalMemoryAccess
toString	member predicate declared in EntireAllocationMemoryAccess
toString	member predicate declared in EscapedMemoryAccess
toString	member predicate declared in IndirectMemoryAccess
toString	member predicate declared in MemoryAccessKind
toString	member predicate declared in NonLocalMemoryAccess
toString	member predicate declared in PhiMemoryAccess
toString	member predicate declared in MustFlowPathNode
toString	member predicate declared in NameQualifier
toString	member predicate declared in Namespace
toString	member predicate declared in NamespaceDeclarationEntry
toString	member predicate declared in UsingDeclarationEntry
toString	member predicate declared in UsingDirectiveEntry
toString	member predicate declared in Opcode :: Add
toString	member predicate declared in Opcode :: AliasedDefinition
toString	member predicate declared in Opcode :: AliasedUse
toString	member predicate declared in Opcode :: BitAnd
toString	member predicate declared in Opcode :: BitComplement
toString	member predicate declared in Opcode :: BitOr
toString	member predicate declared in Opcode :: BitXor
toString	member predicate declared in Opcode :: BufferMayWriteSideEffect
toString	member predicate declared in Opcode :: BufferMustWriteSideEffect
toString	member predicate declared in Opcode :: BufferReadSideEffect
toString	member predicate declared in Opcode :: BuiltIn
toString	member predicate declared in Opcode :: Call
toString	member predicate declared in Opcode :: CallReadSideEffect
toString	member predicate declared in Opcode :: CallSideEffect
toString	member predicate declared in Opcode :: CatchAny
toString	member predicate declared in Opcode :: CatchByType
toString	member predicate declared in Opcode :: CheckedConvertOrNull
toString	member predicate declared in Opcode :: CheckedConvertOrThrow
toString	member predicate declared in Opcode :: Chi
toString	member predicate declared in Opcode :: CompareEQ
toString	member predicate declared in Opcode :: CompareGE
toString	member predicate declared in Opcode :: CompareGT
toString	member predicate declared in Opcode :: CompareLE
toString	member predicate declared in Opcode :: CompareLT
toString	member predicate declared in Opcode :: CompareNE
toString	member predicate declared in Opcode :: CompleteObjectAddress
toString	member predicate declared in Opcode :: ConditionalBranch
toString	member predicate declared in Opcode :: Constant
toString	member predicate declared in Opcode :: Convert
toString	member predicate declared in Opcode :: ConvertToDerived
toString	member predicate declared in Opcode :: ConvertToNonVirtualBase
toString	member predicate declared in Opcode :: ConvertToVirtualBase
toString	member predicate declared in Opcode :: CopyValue
toString	member predicate declared in Opcode :: Div
toString	member predicate declared in Opcode :: ElementsAddress
toString	member predicate declared in Opcode :: EnterFunction
toString	member predicate declared in Opcode :: Error
toString	member predicate declared in Opcode :: ExitFunction
toString	member predicate declared in Opcode :: FieldAddress
toString	member predicate declared in Opcode :: FunctionAddress
toString	member predicate declared in Opcode :: IndirectMayWriteSideEffect
toString	member predicate declared in Opcode :: IndirectMustWriteSideEffect
toString	member predicate declared in Opcode :: IndirectReadSideEffect
toString	member predicate declared in Opcode :: InitializeDynamicAllocation
toString	member predicate declared in Opcode :: InitializeIndirection
toString	member predicate declared in Opcode :: InitializeNonLocal
toString	member predicate declared in Opcode :: InitializeParameter
toString	member predicate declared in Opcode :: InitializeThis
toString	member predicate declared in Opcode :: InlineAsm
toString	member predicate declared in Opcode :: Load
toString	member predicate declared in Opcode :: LogicalNot
toString	member predicate declared in Opcode :: Mul
toString	member predicate declared in Opcode :: Negate
toString	member predicate declared in Opcode :: NewObj
toString	member predicate declared in Opcode :: NextVarArg
toString	member predicate declared in Opcode :: NoOp
toString	member predicate declared in Opcode :: Phi
toString	member predicate declared in Opcode :: PointerAdd
toString	member predicate declared in Opcode :: PointerDiff
toString	member predicate declared in Opcode :: PointerSub
toString	member predicate declared in Opcode :: ReThrow
toString	member predicate declared in Opcode :: Rem
toString	member predicate declared in Opcode :: ReturnIndirection
toString	member predicate declared in Opcode :: ReturnValue
toString	member predicate declared in Opcode :: ReturnVoid
toString	member predicate declared in Opcode :: ShiftLeft
toString	member predicate declared in Opcode :: ShiftRight
toString	member predicate declared in Opcode :: SizedBufferMayWriteSideEffect
toString	member predicate declared in Opcode :: SizedBufferMustWriteSideEffect
toString	member predicate declared in Opcode :: SizedBufferReadSideEffect
toString	member predicate declared in Opcode :: Store
toString	member predicate declared in Opcode :: StringConstant
toString	member predicate declared in Opcode :: Sub
toString	member predicate declared in Opcode :: Switch
toString	member predicate declared in Opcode :: ThrowValue
toString	member predicate declared in Opcode :: Uninitialized
toString	member predicate declared in Opcode :: Unreached
toString	member predicate declared in Opcode :: UnsignedShiftRight
toString	member predicate declared in Opcode :: Unwind
toString	member predicate declared in Opcode :: VarArg
toString	member predicate declared in Opcode :: VarArgsEnd
toString	member predicate declared in Opcode :: VarArgsStart
toString	member predicate declared in Opcode :: VariableAddress
toString	member predicate declared in Opcode
toString	member predicate declared in NonPhiMemoryOperand
toString	member predicate declared in Operand
toString	member predicate declared in PhiInputOperand
toString	member predicate declared in RegisterOperand
toString	member predicate declared in OperandTag
toString	member predicate declared in Overlap
toString	member predicate declared in PreprocessorDirective
toString	member predicate declared in PreprocessorElif
toString	member predicate declared in PreprocessorElse
toString	member predicate declared in PreprocessorEndif
toString	member predicate declared in PreprocessorError
toString	member predicate declared in PreprocessorIf
toString	member predicate declared in PreprocessorIfdef
toString	member predicate declared in PreprocessorIfndef
toString	member predicate declared in PreprocessorLine
toString	member predicate declared in PreprocessorPragma
toString	member predicate declared in PreprocessorUndef
toString	member predicate declared in PreprocessorWarning
toString	member predicate declared in BaseAstNode
toString	member predicate declared in ConstructorInitializersNode
toString	member predicate declared in DestructorDestructionsNode
toString	member predicate declared in FunctionNode
toString	member predicate declared in ParametersNode
toString	member predicate declared in PrintAstConfiguration
toString	member predicate declared in PrintAstNode
toString	member predicate declared in StringLiteralNode
toString	member predicate declared in PrintIRConfiguration
toString	member predicate declared in BufferWriteEstimationReason
toString	member predicate declared in TypeBoundsAnalysis
toString	member predicate declared in UnspecifiedEstimateReason
toString	member predicate declared in ValueFlowAnalysis
toString	member predicate declared in WidenedValueFlowAnalysis
toString	member predicate declared in RangeSsaDefinition
toString	member predicate declared in SsaDefinition
toString	member predicate declared in AlignAs
toString	member predicate declared in Attribute
toString	member predicate declared in AttributeArgument
toString	member predicate declared in Specifier
toString	member predicate declared in Make :: Definition
toString	member predicate declared in Make :: DefinitionExt
toString	member predicate declared in Make :: PhiNode
toString	member predicate declared in Make :: PhiReadNode
toString	member predicate declared in GlobalDef
toString	member predicate declared in UseImpl
toString	member predicate declared in BaseSourceVariable
toString	member predicate declared in AsmStmt
toString	member predicate declared in BreakStmt
toString	member predicate declared in CoReturnStmt
toString	member predicate declared in ComputedGotoStmt
toString	member predicate declared in ConstexprIfStmt
toString	member predicate declared in ContinueStmt
toString	member predicate declared in DeclStmt
toString	member predicate declared in DefaultCase
toString	member predicate declared in DoStmt
toString	member predicate declared in EmptyStmt
toString	member predicate declared in ExprStmt
toString	member predicate declared in ForStmt
toString	member predicate declared in GotoStmt
toString	member predicate declared in Handler
toString	member predicate declared in IfStmt
toString	member predicate declared in LabelStmt
toString	member predicate declared in MicrosoftTryExceptStmt
toString	member predicate declared in MicrosoftTryFinallyStmt
toString	member predicate declared in RangeBasedForStmt
toString	member predicate declared in ReturnStmt
toString	member predicate declared in Stmt
toString	member predicate declared in SwitchCase
toString	member predicate declared in SwitchStmt
toString	member predicate declared in TryStmt
toString	member predicate declared in VlaDeclStmt
toString	member predicate declared in VlaDimensionStmt
toString	member predicate declared in WhileStmt
toString	member predicate declared in TempVariableTag
toString	member predicate declared in BuiltInType
toString	member predicate declared in ComplexDomain
toString	member predicate declared in Decltype
toString	member predicate declared in DerivedType
toString	member predicate declared in ImaginaryDomain
toString	member predicate declared in PointerToMemberType
toString	member predicate declared in RealDomain
toString	member predicate declared in RoutineType
toString	member predicate declared in TypeDomain
toString	member predicate declared in TypeMention
toString	member predicate declared in ValueNumber
toString	member predicate declared in ParameterDeclarationEntry
toString	member predicate declared in XmlAttribute
toString	member predicate declared in XmlCharacters
toString	member predicate declared in XmlComment
toString	member predicate declared in XmlDtd
toString	member predicate declared in XmlElement
toString	member predicate declared in XmlFile
toString	member predicate declared in XmlLocatable
toString	member predicate declared in XmlNamespace
toString	member predicate declared in XmlParent
toStringImpl	member predicate declared in FinalGlobalValue
toStringImpl	member predicate declared in FinalParameterNode
toStringImpl	member predicate declared in IndirectArgumentOutNode
toStringImpl	member predicate declared in IndirectParameterNode
toStringImpl	member predicate declared in InitialGlobalValue
toStringImpl	member predicate declared in InstructionNode
toStringImpl	member predicate declared in Node
toStringImpl	member predicate declared in OperandNode
toStringImpl	member predicate declared in PostFieldUpdateNode
toStringImpl	member predicate declared in RawIndirectInstruction
toStringImpl	member predicate declared in RawIndirectOperand
toStringImpl	member predicate declared in SsaPhiNode
toStringImpl	member predicate declared in ThisParameterNode
toStringImpl	member predicate declared in VariableNode
toStringWithContext	member predicate declared in PathNode
toStringWithContext	member predicate declared in DataFlow :: PathNode
toStringWithContext	member predicate declared in PathNode
toStringWithContext	member predicate declared in DataFlow2 :: PathNode
toStringWithContext	member predicate declared in PathNode
toStringWithContext	member predicate declared in PathNode
toStringWithContext	member predicate declared in PathNode
toStringWithContext	member predicate declared in PathNode
trailingPadding	member predicate declared in PaddedType
trueEdge	predicate declared in EdgeKind
trylockAccess	member predicate declared in CustomMutexType
trylockAccess	member predicate declared in DefaultMutexType
trylockAccess	member predicate declared in MutexType
trylockCall	predicate declared in Synchronization
typeAlignment	member predicate declared in PaddedType
typeBitSize	member predicate declared in PaddedType
typeLowerBound	predicate declared in RangeAnalysisUtils
typeUpperBound	predicate declared in RangeAnalysisUtils

U

UInt16_t	class declared in CommonType
UInt32_t	class declared in CommonType
UInt64_t	class declared in CommonType
UInt8_t	class declared in CommonType
UInt_fast16_t	class declared in CommonType
UInt_fast32_t	class declared in CommonType
UInt_fast64_t	class declared in CommonType
UInt_fast8_t	class declared in CommonType
UInt_least16_t	class declared in CommonType
UInt_least32_t	class declared in CommonType
UInt_least64_t	class declared in CommonType
UInt_least8_t	class declared in CommonType
Uintmax_t	class declared in CommonType
UnaryArithmeticInstruction	class declared in Instruction
UnaryArithmeticOpcode	class declared in Opcode
UnaryArithmeticOperation	class declared in ArithmeticOperation
UnaryBitwiseInstruction	class declared in Instruction
UnaryBitwiseOpcode	class declared in Opcode
UnaryBitwiseOperation	class declared in BitwiseOperation
UnaryInstruction	class declared in Instruction
UnaryLogicalOperation	class declared in LogicalOperation
UnaryMinusExpr	class declared in ArithmeticOperation
UnaryOpcode	class declared in Opcode
UnaryOperand	class declared in Operand
UnaryOperation	class declared in Expr
UnaryPlusExpr	class declared in ArithmeticOperation
UncertainWriteDefinition	class declared in Make
Uninitialized	class declared in Opcode
UninitializedInstruction	class declared in Instruction
UninitializedNode	class declared in DataFlowUtil
UninitializedNode	class declared in DataFlowUtil
Union	module
Union	class declared in Union
UnionContent	class declared in DataFlowUtil
UnixArchitecture	class declared in Padding
UnknownDefaultLocation	class declared in Location
UnknownExprLocation	class declared in Location
UnknownLocation	class declared in Location
UnknownStmtLocation	class declared in Location
UnknownType	class declared in Type
UnpackedTimeType	class declared in DateTime
Unreached	class declared in Opcode
UnreachedInstruction	class declared in Instruction
UnsignedCharType	class declared in Type
UnsignedShiftRight	class declared in Opcode
UnsignedShiftRightInstruction	class declared in Instruction
UnsizedBufferAccessOpcode	class declared in Opcode
UnsizedBufferReadOpcode	class declared in Opcode
UnsizedBufferWriteOpcode	class declared in Opcode
UnspecifiedEstimateReason	class declared in Printf
Unwind	class declared in Opcode
UnwindInstruction	class declared in Instruction
UseImpl	class declared in SsaInternals
UserDefinedFormattingFunction	class declared in Printf
UserType	module
UserType	class declared in UserType
UsingAliasTypedefType	class declared in TypedefType
UsingDeclarationEntry	class declared in Namespace
UsingDirectiveEntry	class declared in Namespace
UsingEntry	class declared in Namespace
UuidofOperator	class declared in Cast
uncertainWriteDefinitionInput	predicate declared in Make
underlyingElement	predicate declared in Element
uninitializedNode	predicate declared in DataFlowUtil
uninitializedNode	predicate declared in DataFlowUtil
unknownSemanticConversionString	predicate declared in CastConsistency
unlockAccess	member predicate declared in CustomMutexType
unlockAccess	member predicate declared in DefaultMutexType
unlockAccess	member predicate declared in MutexType
unlockCall	predicate declared in Synchronization
unreachable	predicate declared in BasicBlocks
unresolveElement	predicate declared in Element
useOfVar	predicate declared in DefinitionsAndUses
useOfVarActual	predicate declared in DefinitionsAndUses
useSoundEscapeAnalysis	member predicate declared in IREscapeAnalysisConfiguration
useUsePair	predicate declared in DefinitionsAndUses
userInputArgument	member predicate declared in SecurityOptions
userInputArgument	predicate declared in Security
userInputArgument	member predicate declared in CustomSecurityOptions
userInputReturn	member predicate declared in SecurityOptions
userInputReturned	member predicate declared in SecurityOptions
userInputReturned	predicate declared in Security
userInputReturned	member predicate declared in CustomSecurityOptions
usesAddressOperand	member predicate declared in BufferMemoryAccess
usesAddressOperand	member predicate declared in EntireAllocationMemoryAccess
usesAddressOperand	member predicate declared in IndirectMemoryAccess
usesAddressOperand	member predicate declared in MemoryAccessKind
usesMacro	member predicate declared in File

V

VacuousDestructorCall	class declared in Call
ValueFieldAccess	class declared in Access
ValueFlowAnalysis	class declared in Printf
ValueNumber	class declared in ValueNumbering
ValueNumbering	module
ValueNumbering	module
VarArg	class declared in Opcode
VarArgInstruction	class declared in Instruction
VarArgsEnd	class declared in Opcode
VarArgsEndInstruction	class declared in Instruction
VarArgsExpr	class declared in BuiltInOperations
VarArgsStart	class declared in Opcode
VarArgsStartInstruction	class declared in Instruction
VarargsExecFunctionCall	class declared in CommandExecution
Variable	module
Variable	class declared in Variable
VariableAccess	class declared in Access
VariableAddress	class declared in Opcode
VariableAddressInstruction	class declared in Instruction
VariableCall	class declared in Call
VariableDeclarationEntry	class declared in Variable
VariableDeclarationEntryNode	class declared in PrintAST
VariableInstruction	class declared in Instruction
VariableNode	class declared in DataFlowUtil
VectorAggregateLiteral	class declared in Literal
VectorFillOperation	class declared in BuiltInOperations
VirtualBaseClass	class declared in Class
VirtualClassDerivation	class declared in Class
VirtualDispatch	module declared in VirtualDispatchPrototype
VirtualDispatchPrototype	module
VirtualFunction	class declared in MemberFunction
VlaDeclStmt	class declared in Stmt
VlaDimensionStmt	class declared in Stmt
VoidContext	module
VoidConversion	class declared in Cast
VoidPointerType	class declared in CommonType
VoidType	class declared in Type
validCheckExpr	predicate declared in Nullness
valueNumber	predicate declared in ValueNumbering
valueNumberOfOperand	predicate declared in ValueNumbering
varArgRead	predicate declared in PointsTo
varMaxVal	predicate declared in RangeAnalysisUtils
varMinVal	predicate declared in RangeAnalysisUtils
varUse	predicate declared in Overflow
var_definition	predicate declared in SSAUtils
variableMustBeNullTerminated	predicate declared in NullTermination
variableNode	predicate declared in DataFlowUtil
variadicFormatter	predicate declared in Printf
virtualArg	predicate declared in PointsTo
virtualCalls	predicate declared in CallGraph
virtualRet	predicate declared in PointsTo
virtualThis	predicate declared in PointsTo

W

Wchar_t	class declared in CommonType
WhileStmt	class declared in Stmt
WideCharType	class declared in Type
WidenedValueFlowAnalysis	class declared in Printf
WindowsArchitecture	class declared in Padding
WriteDefinition	class declared in Make
WriteFunctionCall	class declared in FileWrite
WriteSideEffectInstruction	class declared in Instruction
WriteSideEffectOpcode	class declared in Opcode
wasNotTaken	member predicate declared in PreprocessorBranch
wasPredictable	member predicate declared in PreprocessorBranch
wasTaken	member predicate declared in PreprocessorBranch
wastedSpace	member predicate declared in Architecture
wastedSpace	member predicate declared in PaddedType
wideCharSize	member predicate declared in Architecture
wideCharSize	member predicate declared in UnixArchitecture
wideCharSize	member predicate declared in WindowsArchitecture
wrapperFunction	member predicate declared in FunctionWithWrappers

X

XML	module
XmlAttribute	class declared in XML
XmlCharacters	class declared in XML
XmlComment	class declared in XML
XmlDtd	class declared in XML
XmlElement	class declared in XML
XmlFile	class declared in XML
XmlLocatable	class declared in XML
XmlNamespace	class declared in XML
XmlParent	class declared in XML

Y

YearFieldAccess

class declared in DateTime

Z

Zero	class declared in Nullness
ZeroMemoryBA	class declared in BufferAccess

@

@access	union type
@addexpr	branch type
@address_of	branch type
@aggregateliteral	branch type
@alignas	branch type
@andexpr	branch type
@andlogicalexpr	branch type
@any_new_expr	union type
@arithnegexpr	branch type
@array_to_pointer	branch type
@arrayextent	branch type
@arrayrank	branch type
@assign_arith_expr	union type
@assign_bitwise_expr	union type
@assign_expr	union type
@assign_op_expr	union type
@assignaddexpr	branch type
@assignandexpr	branch type
@assigndivexpr	branch type
@assignexpr	branch type
@assignlshiftexpr	branch type
@assignmulexpr	branch type
@assignorexpr	branch type
@assignpaddexpr	branch type
@assignpsubexpr	branch type
@assignremexpr	branch type
@assignrshiftexpr	branch type
@assignsubexpr	branch type
@assignxorexpr	branch type
@assume	branch type
@attribute	case type
@attribute_arg	case type
@bin_arith_op_expr	union type
@bin_bitwise_op_expr	union type
@bin_log_op_expr	union type
@bin_op_expr	union type
@blockassignexpr	branch type
@braced_init_list	branch type
@builtin_op	union type
@builtinaddressof	branch type
@builtinbitcast	branch type
@builtinchooseexpr	branch type
@builtincomplex	branch type
@builtinconvertvector	branch type
@builtinshuffle	branch type
@builtinshufflevector	branch type
@builtintype	case type
@c_style_cast	branch type
@callexpr	branch type
@cast	union type
@cfgnode	union type
@cmp_op_expr	union type
@co_await	branch type
@co_yield	branch type
@commaexpr	branch type
@comment	type
@compilation	type
@complementexpr	branch type
@condition_decl	branch type
@conditionalexpr	branch type
@conjugation	branch type
@const_cast	branch type
@container	union type
@conversion	union type
@crement_expr	union type
@ctordelegatinginit	branch type
@ctordirectinit	branch type
@ctorfieldinit	branch type
@ctorinit	union type
@ctorvirtualinit	branch type
@declaration	union type
@declspec	branch type
@decltype	type
@decrement_expr	union type
@delete_array_expr	branch type
@delete_expr	branch type
@derivation	type
@derivedtype	case type
@diagnostic	type
@divexpr	branch type
@dtordestruct	union type
@dtordirectdestruct	branch type
@dtorfielddestruct	branch type
@dtorvirtualdestruct	branch type
@dynamic_cast	branch type
@element	union type
@enumconstant	type
@eq_op_expr	union type
@eqexpr	branch type
@errorexpr	branch type
@expr	case type
@expr_stmt	branch type
@externalDataElement	type
@file	type
@fjaddexpr	branch type
@fjsubexpr	branch type
@folder	type
@foldexpr	branch type
@frienddecl	type
@fun_decl	type
@funbindexpr	union type
@function	type
@geexpr	branch type
@globalvariable	type
@gnuattribute	branch type
@gtexpr	branch type
@hasassignexpr	branch type
@hascopyexpr	branch type
@hasfinalizerexpr	branch type
@hasnothrowassign	branch type
@hasnothrowconstr	branch type
@hasnothrowcopy	branch type
@hasnothrowmoveassignexpr	branch type
@hastrivialassign	branch type
@hastrivialconstr	branch type
@hastrivialcopy	branch type
@hastrivialdestructor	branch type
@hastrivialmoveassignexpr	branch type
@hastrivialmoveconstructorexpr	branch type
@hasuniqueobjectrepresentations	branch type
@hasuserdestr	branch type
@hasvirtualdestr	branch type
@imagpartexpr	branch type
@increment_expr	union type
@indirect	branch type
@initialiser	type
@intaddrexpr	branch type
@isabstractexpr	branch type
@isaggregate	branch type
@isarithmetic	branch type
@isarray	branch type
@isassignable	branch type
@isbaseofexpr	branch type
@isclassexpr	branch type
@iscompletetype	branch type
@iscompound	branch type
@isconst	branch type
@isconstructibleexpr	branch type
@isconvtoexpr	branch type
@isdelegateexpr	branch type
@isdestructibleexpr	branch type
@isemptyexpr	branch type
@isenumexpr	branch type
@isfinalexpr	branch type
@isfloatingpoint	branch type
@isfunction	branch type
@isfundamental	branch type
@isintegral	branch type
@isinterfaceclassexpr	branch type
@islayoutcompatible	branch type
@isliteraltypeexpr	branch type
@islvaluereference	branch type
@ismemberfunctionpointer	branch type
@ismemberobjectpointer	branch type
@ismemberpointer	branch type
@isnothrowassignableexpr	branch type
@isnothrowconstructibleexpr	branch type
@isnothrowdestructibleexpr	branch type
@isobject	branch type
@ispodexpr	branch type
@ispointer	branch type
@ispointerinterconvertiblebaseof	branch type
@ispolyexpr	branch type
@isrefarrayexpr	branch type
@isrefclassexpr	branch type
@isreference	branch type
@isrvaluereference	branch type
@issame	branch type
@isscalar	branch type
@issealedexpr	branch type
@issigned	branch type
@issimplevalueclassexpr	branch type
@isstandardlayoutexpr	branch type
@istriviallyassignableexpr	branch type
@istriviallyconstructibleexpr	branch type
@istriviallycopyableexpr	branch type
@istriviallydestructibleexpr	branch type
@isunionexpr	branch type
@isunsigned	branch type
@isvalueclassexpr	branch type
@isvoid	branch type
@isvolatile	branch type
@jdivexpr	branch type
@jfaddexpr	branch type
@jfsubexpr	branch type
@jmulexpr	branch type
@jump	union type
@lambdacapture	type
@lambdaexpr	branch type
@leexpr	branch type
@link_target	type
@literal	branch type
@localscopevariable	union type
@localvariable	type
@location	union type
@lshiftexpr	branch type
@ltexpr	branch type
@macroinvocation	case type
@maxexpr	branch type
@membervariable	type
@minexpr	branch type
@msattribute	branch type
@mulexpr	branch type
@namequalifiableelement	union type
@namequalifier	type
@namequalifyingelement	union type
@namespace	type
@namespace_decl	type
@neexpr	branch type
@new_array_expr	branch type
@new_expr	branch type
@noexceptexpr	branch type
@noopexpr	branch type
@notexpr	branch type
@offsetofexpr	branch type
@op_expr	union type
@orexpr	branch type
@orlogicalexpr	branch type
@p_arith_op_expr	union type
@paddexpr	branch type
@param_ref	branch type
@parameter	type
@parexpr	branch type
@pdiffexpr	branch type
@postdecrexpr	branch type
@postfix_crement_expr	union type
@postincrexpr	branch type
@ppd_branch	union type
@ppd_define	branch type
@ppd_elif	branch type
@ppd_else	branch type
@ppd_endif	branch type
@ppd_error	branch type
@ppd_if	branch type
@ppd_ifdef	branch type
@ppd_ifndef	branch type
@ppd_include	union type
@ppd_include_next	branch type
@ppd_line	branch type
@ppd_objc_import	branch type
@ppd_pragma	branch type
@ppd_undef	branch type
@ppd_warning	branch type
@predecrexpr	branch type
@prefix_crement_expr	union type
@preincrexpr	branch type
@preprocdirect	case type
@psubexpr	branch type
@ptrtomember	type
@realpartexpr	branch type
@ref_indirect	branch type
@reference_to	branch type
@reinterpret_cast	branch type
@rel_op_expr	union type
@remexpr	branch type
@routineexpr	branch type
@routinetype	type
@rshiftexpr	branch type
@runtime_alignof	branch type
@runtime_sizeof	branch type
@sizeof_pack	branch type
@spaceshipexpr	branch type
@specifier	type
@static_assert	type
@static_cast	branch type
@stdattribute	branch type
@stmt	case type
@stmt_asm	branch type
@stmt_assigned_goto	branch type
@stmt_block	branch type
@stmt_break	branch type
@stmt_co_return	branch type
@stmt_constexpr_if	branch type
@stmt_continue	branch type
@stmt_decl	branch type
@stmt_empty	branch type
@stmt_end_test_while	branch type
@stmt_expr	branch type
@stmt_for	branch type
@stmt_goto	branch type
@stmt_handler	branch type
@stmt_if	branch type
@stmt_label	branch type
@stmt_microsoft_try	branch type
@stmt_range_based_for	branch type
@stmt_return	branch type
@stmt_set_vla_size	branch type
@stmt_switch	branch type
@stmt_switch_case	branch type
@stmt_try_block	branch type
@stmt_vla_decl	branch type
@stmt_while	branch type
@subexpr	branch type
@subscriptexpr	branch type
@temp_init	branch type
@thisaccess	branch type
@throw_expr	branch type
@type	union type
@type_decl	type
@type_id	branch type
@type_mention	type
@type_operand	branch type
@typescompexpr	branch type
@un_arith_op_expr	union type
@un_bitwise_op_expr	union type
@un_log_op_expr	union type
@un_op_expr	union type
@unaryplusexpr	branch type
@usertype	type
@using	type
@uuidof	branch type
@vaargexpr	branch type
@vacopyexpr	branch type
@vacuous_destructor_call	branch type
@vaendexpr	branch type
@var_args_expr	union type
@var_decl	type
@varaccess	branch type
@variable	union type
@vastartexpr	branch type
@vec_fill	branch type
@xmlattribute	type
@xmlcharacters	type
@xmlcomment	type
@xmldtd	type
@xmlelement	type
@xmllocatable	union type
@xmlnamespace	type
@xmlparent	union type
@xorexpr	branch type