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 10.1.0 (changelog, source).

Index

A

ASTValueNumbering	module
AbstractClass	class declared in Class
AbstractValue	class declared in IRGuards
Access	module
Access	class declared in Access
AccessHolder	class declared in Declaration
AccessSpecifier	class declared in Specifier
ActualTestResult	class declared in Make::MakeTest
Add	class declared in Opcode
AddExpr	class declared in ArithmeticOperation
AddInstruction	class declared in Instruction
AdditionalCallTarget	class declared in DataFlowUtil
AdditionalControlFlowEdge	class declared in ControlFlowGraph
AddressOfExpr	class declared in Expr
AddressOperand	class declared in Operand
AggregateLiteral	class declared in Literal
AlertFiltering	module
AlertFilteringImpl	module declared in AlertFiltering
Alias	module
AliasFunction	class declared in Alias
AliasedDefinition	class declared in Opcode
AliasedDefinitionInstruction	class declared in Instruction
AliasedUse	class declared in Opcode
AliasedUseInstruction	class declared in Instruction
AlignAs	class declared in Specifier
AlignofExprOperator	class declared in Cast
AlignofOperator	class declared in Cast
AlignofTypeOperator	class declared in Cast
Alloc	module
Allocation	module
AllocationExpr	class declared in Allocation
AllocationFunction	class declared in Allocation
AllocationToInvalidPointer	module
AlwaysSehThrowingFunction	class declared in Throwing
AnalysedExpr	class declared in Nullness
AnalyzedString	class declared in StringAnalysis
AndExpr	class declared in GuardsInput
Append	module declared in Make::Folder
Architecture	class declared in Padding
ArgumentOperand	class declared in Operand
ArgumentPosition	class declared in GuardsInput
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
AstFlowTest	module declared in FlowTestCommon
AstNode	class declared in PrintAST
Attribute	class declared in Specifier
AttributeArgument	class declared in Specifier
AttributeFormattingFunction	class declared in Printf
AutoType	class declared in TemplateParameter
AutoconfConfigureTestFile	class declared in ConfigurationTestFile
AutogeneratedFile	module
AutogeneratedFile	class declared in AutogeneratedFile
accessAt	member predicate declared in Make::TestAdjacentRefs::Ref
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
adjacentRefPhi	predicate declared in Make::TestAdjacentRefs
adjacentRefRead	predicate declared in Make::TestAdjacentRefs
adjacentUseUse	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
allocateDescriptorCall	predicate declared in PointsTo
allocationFunctionModel	predicate declared in Allocation
allocationToInvalidPointerFieldFlowBranchLimit	predicate declared in AllocationToInvalidPointer
allowHeterogeneousBitfields	member predicate declared in Architecture
allowHeterogeneousBitfields	member predicate declared in UnixArchitecture
allowHeterogeneousBitfields	member predicate declared in WindowsArchitecture
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
asBooleanValue	member predicate declared in Make::GuardValue
asBooleanValue	member predicate declared in GuardsInput::ConstantExpr
asCertainDefinition	member predicate declared in Public::Node
asConstantCase	member predicate declared in GuardsInput::Case
asConstantValue	member predicate declared in Make::GuardValue
asConstantValue	member predicate declared in GuardsInput::ConstantExpr
asConvertedExpr	member predicate declared in Public::Node
asConvertedExpr	member predicate declared in Public::Node
asDefiningArgument	member predicate declared in Public::Node
asDefiningArgument	member predicate declared in Public::Node
asDefiningArgument	member predicate declared in Node
asDefinition	member predicate declared in Public::Node
asDefinition	member predicate declared in Public::Node
asExpr	member predicate declared in Public::Node
asExpr	member predicate declared in Public::Node
asExpr	member predicate declared in Node
asIndirectArgument	member predicate declared in Public::Node
asIndirectArgument	member predicate declared in Public::Node
asIndirectConvertedExpr	member predicate declared in Public::Node
asIndirectConvertedExpr	member predicate declared in Public::Node
asIndirectDefinition	member predicate declared in Public::Node
asIndirectDefinition	member predicate declared in Public::Node
asIndirectExpr	member predicate declared in Public::Node
asIndirectExpr	member predicate declared in Public::Node
asIndirectExpr	member predicate declared in Public::Node
asIndirectInstruction	member predicate declared in Public::Node
asIndirectOperand	member predicate declared in Public::Node
asIndirectUninitialized	member predicate declared in Public::Node
asIndirectUninitialized	member predicate declared in Public::Node
asIndirectVariable	member predicate declared in Public::Node
asIndirectVariable	member predicate declared in Public::Node
asInstruction	member predicate declared in Public::Node
asInstruction	member predicate declared in Node0Impl
asIntValue	member predicate declared in Make::GuardValue
asIntegerValue	member predicate declared in GuardsInput::ConstantExpr
asOperand	member predicate declared in Public::Node
asOperand	member predicate declared in Node0Impl
asParameter	member predicate declared in Public::Node
asParameter	member predicate declared in Public::Node
asParameter	member predicate declared in Node
asPartialDefinition	member predicate declared in Public::Node
asPartialDefinition	member predicate declared in Node
asSome	member predicate declared in Option::Option
asSourceCallable	member predicate declared in DataFlowCallable
asSummarizedCallable	member predicate declared in DataFlowCallable
asUncertainDefinition	member predicate declared in Public::Node
asUninitialized	member predicate declared in Public::Node
asUninitialized	member predicate declared in Node
asVariable	member predicate declared in Public::Node
assignedBy	member predicate declared in DataflowAnnotation

B

BCopyBA	class declared in BufferAccess
BadIncludeGuard	class declared in MultipleInclusion
BarrierGuard	module declared in DataFlowUtil
BarrierGuard	module declared in DataFlowUtil
BarrierGuard	module declared in Make::DataFlowIntegration
BarrierGuardDefWithState	module declared in Make::DataFlowIntegration
BarrierGuardWithState	module declared in Make::DataFlowIntegration
BaseAstNode	class declared in PrintAST
BaseClassConversion	class declared in Cast
BasicBlock	module
BasicBlock	class declared in Make
BasicBlock	class declared in BasicBlocks
BasicBlock	class declared in IRCfg
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
Boolean	module
Boolean	class declared in Boolean
BooleanSuccessor	class declared in SuccessorType
BooleanValue	class declared in IRGuards
BoostorgAsio	module declared in protocols
Bound	class declared in RangeAnalysis
BreakStmt	class declared in Stmt
BreakSuccessor	class declared in SuccessorType
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
BuiltInIsTrivial	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
BuiltInOperationBuiltInIsCorrespondingMember	class declared in BuiltInOperations
BuiltInOperationBuiltInIsPointerInterconvertible	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
BuiltInOperationHasAttribute	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
BuiltInOperationIsAssignableNoPreconditionCheck	class declared in BuiltInOperations
BuiltInOperationIsBaseOf	class declared in BuiltInOperations
BuiltInOperationIsBitwiseCloneable	class declared in BuiltInOperations
BuiltInOperationIsBoundedArray	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
BuiltInOperationIsConvertible	class declared in BuiltInOperations
BuiltInOperationIsConvertibleTo	class declared in BuiltInOperations
BuiltInOperationIsCorrespondingMember	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
BuiltInOperationIsInvocable	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
BuiltInOperationIsNothrowConvertible	class declared in BuiltInOperations
BuiltInOperationIsNothrowDestructible	class declared in BuiltInOperations
BuiltInOperationIsNothrowInvocable	class declared in BuiltInOperations
BuiltInOperationIsObject	class declared in BuiltInOperations
BuiltInOperationIsPod	class declared in BuiltInOperations
BuiltInOperationIsPointer	class declared in BuiltInOperations
BuiltInOperationIsPointerInterconvertibleBaseOf	class declared in BuiltInOperations
BuiltInOperationIsPointerInterconvertibleWithClass	class declared in BuiltInOperations
BuiltInOperationIsPolymorphic	class declared in BuiltInOperations
BuiltInOperationIsRefArray	class declared in BuiltInOperations
BuiltInOperationIsRefClass	class declared in BuiltInOperations
BuiltInOperationIsReference	class declared in BuiltInOperations
BuiltInOperationIsReferenceable	class declared in BuiltInOperations
BuiltInOperationIsRvalueReference	class declared in BuiltInOperations
BuiltInOperationIsSame	class declared in BuiltInOperations
BuiltInOperationIsSameAs	class declared in BuiltInOperations
BuiltInOperationIsScalar	class declared in BuiltInOperations
BuiltInOperationIsScopedEnum	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
BuiltInOperationIsTriviallyCopyAssignable	class declared in BuiltInOperations
BuiltInOperationIsTriviallyCopyable	class declared in BuiltInOperations
BuiltInOperationIsTriviallyDestructible	class declared in BuiltInOperations
BuiltInOperationIsTriviallyEqualityComparable	class declared in BuiltInOperations
BuiltInOperationIsTriviallyRelocatable	class declared in BuiltInOperations
BuiltInOperationIsUnboundedArray	class declared in BuiltInOperations
BuiltInOperationIsUnion	class declared in BuiltInOperations
BuiltInOperationIsUnsigned	class declared in BuiltInOperations
BuiltInOperationIsValidWinRtType	class declared in BuiltInOperations
BuiltInOperationIsValueClass	class declared in BuiltInOperations
BuiltInOperationIsVoid	class declared in BuiltInOperations
BuiltInOperationIsVolatile	class declared in BuiltInOperations
BuiltInOperationIsWinClass	class declared in BuiltInOperations
BuiltInOperationIsWinInterface	class declared in BuiltInOperations
BuiltInOperationOpcode	class declared in Opcode
BuiltInOperationReferenceBindsToTemporary	class declared in BuiltInOperations
BuiltInOperationReferenceConstructsFromTemporary	class declared in BuiltInOperations
BuiltInOperationReferenceCovertsFromTemporary	class declared in BuiltInOperations
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
barrierGuardModel	predicate declared in ModelsAsData
barrierModel	predicate declared in ModelsAsData
barrierNode	predicate declared in ExternalFlow
barrierSqlArgument	member predicate declared in SqlBarrierFunction
baseClassEnd	member predicate declared in PaddedType
baseClassSize	member predicate declared in Architecture
baseClassSize	member predicate declared in UnixArchitecture
baseClassSize	member predicate declared in WindowsArchitecture
bbDominates	predicate declared in Dominance
bbIDominates	predicate declared in Dominance
bbIPostDominates	predicate declared in Dominance
bbPostDominates	predicate declared in Dominance
bbStrictlyDominates	predicate declared in Dominance
bbStrictlyPostDominates	predicate declared in Dominance
bbSuccessorEntryReachesLoopInvariant	predicate declared in StackVariableReachability
biggestAlignmentUpTo	member predicate declared in PaddedType
biggestFieldSizeUpTo	member predicate declared in PaddedType
bitSize	member predicate declared in Architecture
blame	member predicate declared in BadIncludeGuard
blame	member predicate declared in PragmaOnceIncludeGuard
boolean	primitive type
bounded	predicate declared in RangeStage
bounded	predicate declared in RangeAnalysis
bounded1	predicate declared in RangeAnalysisUtil
bounded2	predicate declared in RangeAnalysisUtil
breaksFromNestedLoops	member predicate declared in GotoStmt
buildModeNone	member predicate declared in Compilation

C

C11GenericExpr	class declared in Expr
C11GenericNode	class declared in PrintAST
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
CallingConventionSpecifier	class declared in Specifier
Case	class declared in GuardsInput
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
ChildStmtNode	class declared in PrintAST
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
CmakeTryCompileFile	class declared in ConfigurationTestFile
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
CompoundRequirementExpr	class declared in Concept
ComputedGotoStmt	class declared in Stmt
Concept	module
Concept	class declared in Concept
ConceptIdExpr	class declared in Concept
ConceptIdExprArgumentsNode	class declared in PrintAST
ConceptIdExprNode	class declared in PrintAST
ConceptIdExprTypeArgumentNode	class declared in PrintAST
CondReason	class declared in RangeAnalysis
ConditionDeclExpr	class declared in Assignment
ConditionKind	class declared in SuccessorType
ConditionOperand	class declared in Operand
ConditionalBranch	class declared in Opcode
ConditionalBranchInstruction	class declared in Instruction
ConditionalExpr	class declared in GuardsInput
ConditionalExpr	class declared in LogicalOperation
ConditionalStmt	class declared in Stmt
Configs	module declared in DataFlow
ConfigurationTestFile	module
ConfigurationTestFile	class declared in ConfigurationTestFile
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
ConstantExpr	class declared in GuardsInput
ConstantInstruction	class declared in Instruction
ConstantValueInstruction	class declared in Instruction
Constants	module
ConstevalIfStmt	class declared in Stmt
ConstexprIfStmt	class declared in Stmt
Constructor	class declared in MemberFunction
ConstructorBaseInit	class declared in Call
ConstructorCall	class declared in Call
ConstructorDefaultFieldInit	class declared in Call
ConstructorDelegationInit	class declared in Call
ConstructorDirectFieldInit	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
Container	class declared in Make
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
ContinueSuccessor	class declared in SuccessorType
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
CppExceptionEdge	class declared in EdgeKind
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
Customizations	module
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
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 IRGuardCondition
comparesEq	member predicate declared in IRGuardCondition
comparesEq	predicate declared in IRGuards
comparesLt	member predicate declared in IRGuardCondition
comparesLt	member predicate declared in IRGuardCondition
comparesLt	predicate declared in IRGuards
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 Make::Logic::Guard
controlsBranchEdge	member predicate declared in Make::Logic::Guard
controlsEdge	member predicate declared in IRGuardCondition
convertedBounded	predicate declared in RangeAnalysis
convertedExprMightOverflow	predicate declared in SimpleRangeAnalysis
convertedExprMightOverflowNegatively	predicate declared in SimpleRangeAnalysis
convertedExprMightOverflowPositively	predicate declared in SimpleRangeAnalysis
convertedExprNode	predicate declared in Public
correctIncludeGuard	predicate declared in MultipleInclusion
couldAccessMember	member predicate declared in AccessHolder
countNrOfLowerBounds	predicate declared in SimpleRangeAnalysisInternal
countNrOfUpperBounds	predicate declared in SimpleRangeAnalysisInternal
cpp	module
cppExceptionEdge	predicate declared in EdgeKind
custom_phi_node	member predicate declared in RangeSsa
custom_phi_node	member predicate declared in SsaHelper
cyclomaticComplexityBranches	predicate declared in MetricFunction

D

DataFlow	module
DataFlow	module
DataFlow	module
DataFlow	module
DataFlow	module
DataFlow	module declared in DataFlow
DataFlow	module declared in DataFlow
DataFlow	module declared in DataFlow
DataFlowCallable	class declared in DataFlowPrivate
DataFlowFunction	class declared in DataFlow
DataFlowIntegration	module declared in Make
DataFlowMake	module declared in DataFlow
DataFlowMakeOverlay	module declared in DataFlow
DataFlowType	class declared in DataFlowPrivate
DataFlowUtil	module
DataFlowUtil	module
Dataflow	module
DataflowAnnotation	class declared in Dataflow
DatasizeofExprOperator	class declared in Cast
DatasizeofOperator	class declared in Cast
DatasizeofTypeOperator	class declared in Cast
DateTime	module
DayFieldAccess	class declared in DateTime
Deallocation	module
DeallocationExpr	class declared in Deallocation
DeallocationFunction	class declared in Deallocation
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
DeductionGuide	class declared in Function
Def	class declared in DefinitionsAndUses
DefOrUse	class declared in DefinitionsAndUses
DefaultCase	class declared in Stmt
DefaultEdge	class declared in EdgeKind
DefaultMutexType	class declared in Synchronization
DefaultOptions	module
DefectExternalData	class declared in ExternalArtifact
Definition	class declared in Make
Definition	class declared in SsaImpl
DefinitionByReferenceNode	class declared in Public
DefinitionByReferenceNode	class declared in DataFlowUtil
DefinitionByReferenceOrIteratorNode	class declared in DataFlowUtil
DefinitionsAndUses	module
DeleteArrayExpr	class declared in Expr
DeleteExpr	class declared in Expr
DeleteOrDeleteArrayExpr	class declared in Expr
DenseRank	module
DenseRank	module declared in DenseRank
DenseRank1	module declared in DenseRank
DenseRank2	module declared in DenseRank
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
DirectExplicitDefinition	class declared in SsaImpl
DirectSuccessor	class declared in SuccessorType
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
deallocationFunctionModel	predicate declared in Deallocation
declaredUsingAutoType	member predicate declared in Variable
defMightOverflow	predicate declared in SimpleRangeAnalysis
defMightOverflowNegatively	predicate declared in SimpleRangeAnalysis
defMightOverflowPositively	predicate declared in SimpleRangeAnalysis
defaultAdditionalTaintStep	predicate declared in TaintTrackingUtil
defaultAdditionalTaintStep	predicate declared in TaintTrackingUtil
defaultEdge	predicate declared in EdgeKind
defaultImplicitTaintRead	predicate declared in TaintTrackingUtil
defaultImplicitTaintRead	predicate declared in TaintTrackingUtil
defaultSourceSinkIsRelated	predicate declared in FlowAfterFree
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
definitelyNull	predicate declared in Dataflow
definition	predicate declared in DefinitionsAndUses
definitionBarrier	predicate declared in DefinitionsAndUses
definitionByReference	predicate declared in DefinitionsAndUses
definitionByReferenceNodeFromArgument	predicate declared in Public
definitionByReferenceNodeFromArgument	predicate declared in DataFlowUtil
definitionOf	predicate declared in definitions
definitionReaches	predicate declared in DefinitionsAndUses
definitionUsePair	predicate declared in DefinitionsAndUses
definitions	module
denseRank	predicate declared in DenseRank1
denseRank	predicate declared in DenseRank2
denseRank	predicate declared in DenseRank
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
diffInformationAvailable	predicate declared in AlertFilteringImpl
directDereferencedByOperation	predicate declared in Dereferenced
directionIsGreater	predicate declared in RangeAnalysisUtils
directionIsLesser	predicate declared in RangeAnalysisUtils
directlyControls	member predicate declared in Make::PreGuard
directlyValueControls	member predicate declared in Make::PreGuard
distinctMembers	member predicate declared in MetricClass
dominanceFrontier	member predicate declared in IRBlock
dominates	member predicate declared in Make::BasicBlock
dominates	predicate declared in Dominance
dominates	member predicate declared in IRBlock
dominates	member predicate declared in IRCfg::BasicBlock
dominatingEdge	predicate declared in Make
dominatingEdge	predicate declared in IRCfg
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	module declared in EdgeKind
Element	module
Element	class declared in Element
ElementBase	class declared in Element
ElementContent	class declared in DataFlowUtil
ElementsAddress	class declared in Opcode
ElementsAddressInstruction	class declared in Instruction
Embed	class declared in Preprocessor
EmptinessSuccessor	class declared in SuccessorType
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 Make
EntryBasicBlock	class declared in BasicBlocks
EntryBasicBlock	class declared in IRCfg
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
ExceptionSuccessor	class declared in SuccessorType
Exclusions	module
ExitBasicBlock	class declared in BasicBlocks
ExitFunction	class declared in Opcode
ExitFunctionInstruction	class declared in Instruction
ExitSuccessor	class declared in SuccessorType
ExpectationComment	class declared in TestPostProcessing::Make::TestImpl2
ExplicitDefinition	class declared in SsaImpl
ExplicitParameterNode	class declared in DataFlowUtil
Expr	module
Expr	class declared in Expr
Expr	class declared in GuardsInput
ExprCall	class declared in Call
ExprInVoidContext	class declared in VoidContext
ExprNode	class declared in DataFlowUtil
ExprNode	class declared in PrintAST
ExprNodes	module
ExprStmt	class declared in Stmt
ExternalArtifact	module
ExternalData	class declared in ExternalArtifact
ExternalFlow	module
ExternalFlowDebug	module declared in ExternalFlow
edgeDominates	member predicate declared in Make::BasicBlock
edges	predicate declared in MustFlow::Global::PathGraph
edges	predicate declared in PrintAST
edges	predicate declared in PrintIR
edges	predicate declared in ShowProvenance
endsWithEndif	predicate declared in MultipleInclusion
ensuresEq	member predicate declared in IRGuardCondition
ensuresEq	member predicate declared in IRGuardCondition
ensuresEqEdge	member predicate declared in IRGuardCondition
ensuresEqEdge	member predicate declared in IRGuardCondition
ensuresLt	member predicate declared in IRGuardCondition
ensuresLt	member predicate declared in IRGuardCondition
ensuresLtEdge	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
equalityTest	predicate declared in GuardsInput
estimateNrOfBounds	predicate declared in SimpleRangeAnalysisInternal
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 IntrinsicTransformedType
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 ScalableVectorType
explain	member predicate declared in SpecifiedType
explain	member predicate declared in Type
explain	member predicate declared in TypeofType
explain	member predicate declared in CTypedefType
explain	member predicate declared in UsingAliasTypedefType
explain	member predicate declared in Union
explain	member predicate declared in UserType
exprDefinition	predicate declared in DefinitionsAndUses
exprEnclosingElement	predicate declared in Enclosing
exprExits	member predicate declared in Options
exprExits	member predicate declared in CustomOptions
exprExits	predicate declared in Options
exprMaxVal	predicate declared in RangeAnalysisUtils
exprMightOverflowNegatively	predicate declared in SimpleRangeAnalysis
exprMightOverflowPositively	predicate declared in SimpleRangeAnalysis
exprMinVal	predicate declared in RangeAnalysisUtils
exprModulus	predicate declared in ModulusAnalysis
exprNode	predicate declared in Public
exprNode	predicate declared in DataFlowUtil
exprWithEmptyRange	predicate declared in SimpleRangeAnalysis

F

FailureLocatable	class declared in Make::MakeTest
FalseEdge	class declared in EdgeKind
FalseNegativeTestExpectation	class declared in Make::MakeTest
FalsePositiveTestExpectation	class declared in Make::MakeTest
FastestMinimumWidthIntegralType	class declared in CommonType
Field	module
Field	class declared in Field
FieldAccess	class declared in Access
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
File	class declared in Make
FileSystem	module
FileSystem	module
FileWrite	module
FileWrite	class declared in FileWrite
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
Flow	module declared in Make
FlowAfterFree	module
FlowFromFree	module declared in FlowAfterFree
FlowNullary	module declared in Make
FlowSource	module
FlowSource	class declared in FlowSources
FlowSources	module
FlowSteps	module
FlowTestCommon	module
FoldExpr	class declared in Expr
Folder	class declared in File
Folder	class declared in Make
Folder	module declared in Make
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
FunctionParametersNode	class declared in PrintAST
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
fieldIndex	member predicate declared in PaddedType
fieldSize	member predicate declared in PaddedType
fileIsInDiff	predicate declared in AlertFilteringImpl
filterByLocation	predicate declared in AlertFilteringImpl
findRootCause	member predicate declared in Element
firstInBB	member predicate declared in SubBasicBlock
firstUse	predicate declared in Make
float	primitive type
flow	predicate declared in PointsTo
flowFromCompound	predicate declared in PointsTo
flowPath	predicate declared in MustFlow::Global
flowToCompound	predicate declared in PointsTo
fopenCall	predicate declared in File
formatArgumentMustBeNullTerminated	predicate declared in NullTermination
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
GetIteratorFunction	class declared in Iterator
GetsBW	class declared in BufferWrite
Global	module declared in DataFlowMake
Global	module declared in DataFlowMakeOverlay
Global	module declared in MustFlow
Global	module declared in TaintFlowMake
Global	module declared in TaintFlowMakeOverlay
GlobalNamespace	class declared in Namespace
GlobalOrNamespaceVariable	class declared in Variable
GlobalOrNamespaceVariableNode	class declared in PrintAST
GlobalValueNumbering	module
GlobalVariable	class declared in Variable
GlobalWithState	module declared in DataFlowMake
GlobalWithState	module declared in DataFlowMakeOverlay
GlobalWithState	module declared in TaintFlowMake
GlobalWithState	module declared in TaintFlowMakeOverlay
GlvalueConversion	class declared in Cast
GnuAttribute	class declared in Specifier
GoodTestExpectation	class declared in Make::MakeTest
GotoEdge	class declared in EdgeKind
GotoStmt	class declared in Stmt
GotoSuccessor	class declared in SuccessorType
Greater	injector declared in RangeAnalysisUtils
GroupedMemoryAccess	class declared in MemoryAccessKind
Guard	class declared in Make::Logic
GuardValue	class declared in Make
GuardedSsa	class declared in Guards
Guards	module
Guards	module
GuardsInput	module declared in IRGuards
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
getABarrierInstruction	predicate declared in SizeBarrier
getABarrierNode	predicate declared in BarrierGuard
getABarrierNode	predicate declared in ParameterizedBarrierGuard
getABarrierNode	predicate declared in ParameterizedBarrierGuard
getABarrierNode	predicate declared in ParameterizedInstructionBarrierGuard
getABarrierNode	predicate declared in ParameterizedInstructionBarrierGuard
getABarrierNode	predicate declared in SizeBarrier
getABarrierNode	predicate declared in Make::DataFlowIntegration::BarrierGuard
getABarrierNode	predicate declared in Make::DataFlowIntegration::BarrierGuardDefWithState
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
getAChild	member predicate declared in Expr
getAChild	member predicate declared in PreprocessorBlock
getAChild	member predicate declared in PrintAstNode
getAChild	member predicate declared in Stmt
getAChildContainer	member predicate declared in Make::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
getAConstructor	member predicate declared in Class
getAConstructorCall	member predicate declared in BoostorgAsio::SslContextClass
getAContructorCall	member predicate declared in BoostorgAsio::SslContextClass
getAConvertedExpr	member predicate declared in GVN
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
getAFalseSuccessor	member predicate declared in BasicBlock
getAFalseSuccessor	member predicate declared in ControlFlowNode
getAFalseSuccessor	member predicate declared in SubBasicBlock
getAField	member predicate declared in Class
getAField	member predicate declared in FieldContent
getAField	member predicate declared in NonUnionFieldContent
getAField	member predicate declared in UnionContent
getAFieldExpr	member predicate declared in ClassAggregateLiteral
getAFile	member predicate declared in Declaration
getAFile	member predicate declared in Make::Container
getAFile	member predicate declared in Namespace
getAFileCompiled	member predicate declared in Compilation
getAFileDependency	member predicate declared in MetricFile
getAFolder	member predicate declared in Make::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
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
getAMacro	member predicate declared in PreprocessorBlock
getAMatchingExpectation	predicate declared in Make::MakeTest
getAMatchingSuccessorType	predicate declared in EdgeKind
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 Make::BasicBlock
getANode	member predicate declared in BasicBlock
getANode	member predicate declared in SubBasicBlock
getANonStandardEscapeSequence	member predicate declared in TextLiteral
getAParameter	member predicate declared in RequiresExpr
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 Make::BasicBlock
getAPredecessor	member predicate declared in Make::BasicBlock
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 BuiltInIsTrivial
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 BuiltInOperationBuiltInIsCorrespondingMember
getAPrimaryQlClass	member predicate declared in BuiltInOperationBuiltInIsPointerInterconvertible
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 BuiltInOperationHasAttribute
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 BuiltInOperationIsAssignableNoPreconditionCheck
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsBaseOf
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsBitwiseCloneable
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsBoundedArray
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 BuiltInOperationIsConvertible
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsConvertibleTo
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsCorrespondingMember
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 BuiltInOperationIsInvocable
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 BuiltInOperationIsNothrowConvertible
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsNothrowDestructible
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsNothrowInvocable
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 BuiltInOperationIsPointerInterconvertibleWithClass
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 BuiltInOperationIsReferenceable
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsRvalueReference
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsSame
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsSameAs
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsScalar
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsScopedEnum
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 BuiltInOperationIsTriviallyCopyAssignable
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsTriviallyCopyable
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsTriviallyDestructible
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsTriviallyEqualityComparable
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsTriviallyRelocatable
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsUnboundedArray
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsUnion
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsUnsigned
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsValidWinRtType
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsValueClass
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsVoid
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsVolatile
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsWinClass
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsWinInterface
getAPrimaryQlClass	member predicate declared in BuiltInOperationReferenceBindsToTemporary
getAPrimaryQlClass	member predicate declared in BuiltInOperationReferenceConstructsFromTemporary
getAPrimaryQlClass	member predicate declared in BuiltInOperationReferenceCovertsFromTemporary
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 ConstructorDefaultFieldInit
getAPrimaryQlClass	member predicate declared in ConstructorDelegationInit
getAPrimaryQlClass	member predicate declared in ConstructorDirectFieldInit
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 DatasizeofExprOperator
getAPrimaryQlClass	member predicate declared in DatasizeofTypeOperator
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 SizeofPackExprOperator
getAPrimaryQlClass	member predicate declared in SizeofPackTypeOperator
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 CompoundRequirementExpr
getAPrimaryQlClass	member predicate declared in Concept
getAPrimaryQlClass	member predicate declared in ConceptIdExpr
getAPrimaryQlClass	member predicate declared in NestedRequirementExpr
getAPrimaryQlClass	member predicate declared in RequiresExpr
getAPrimaryQlClass	member predicate declared in SimpleRequirementExpr
getAPrimaryQlClass	member predicate declared in TypeRequirementExpr
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 C11GenericExpr
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 ReuseExpr
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 CallingConventionSpecifier
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 ConstevalIfStmt
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 LeaveStmt
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 AutoType
getAPrimaryQlClass	member predicate declared in NonTypeTemplateParameter
getAPrimaryQlClass	member predicate declared in TemplateTemplateParameter
getAPrimaryQlClass	member predicate declared in TemplateTemplateParameterInstantiation
getAPrimaryQlClass	member predicate declared in TypeTemplateParameter
getAPrimaryQlClass	member predicate declared in ArithmeticType
getAPrimaryQlClass	member predicate declared in ArrayType
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 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 IntrinsicTransformedType
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 ScalableVectorCount
getAPrimaryQlClass	member predicate declared in ScalableVectorType
getAPrimaryQlClass	member predicate declared in ShortType
getAPrimaryQlClass	member predicate declared in SignedCharType
getAPrimaryQlClass	member predicate declared in SpecifiedType
getAPrimaryQlClass	member predicate declared in TypeMention
getAPrimaryQlClass	member predicate declared in TypeofExprType
getAPrimaryQlClass	member predicate declared in TypeofTypeType
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
getAPrimaryQlClass	member predicate declared in VariableTemplateInstantiation
getAPrimaryQlClass	member predicate declared in VariableTemplateSpecialization
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
getARead	member predicate declared in Make::MakeSsa::SsaDefinition
getAReadContent	member predicate declared in ContentSet
getAReadContent	member predicate declared in ContentSet
getAReferringConceptIdExpr	member predicate declared in Concept
getARelevantTag	predicate declared in AstFlowTest
getARelevantTag	predicate declared in IRFlowTest
getARelevantTag	predicate declared in Make::MergeTests
getARequirement	member predicate declared in RequiresExpr
getARequiresClause	member predicate declared in FunctionDeclarationEntry
getAReturnExpr	member predicate declared in GuardsInput::NonOverridableMethod
getARuntimeTarget	predicate declared in DataFlowUtil
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 ContentSet
getASuccessor	member predicate declared in Make::BasicBlock
getASuccessor	member predicate declared in Make::BasicBlock
getASuccessor	member predicate declared in BasicBlock
getASuccessor	member predicate declared in ControlFlowNode
getASuccessor	member predicate declared in IRBlock
getASuccessor	member predicate declared in IRCfg::BasicBlock
getASuccessor	member predicate declared in IRCfg::BasicBlock
getASuccessor	member predicate declared in Instruction
getASuccessor	member predicate declared in MustFlow::Global::PathNode
getASuccessor	member predicate declared in SubBasicBlock
getASwitchCase	member predicate declared in SwitchStmt
getATemplateArgument	member predicate declared in FunctionCall
getATemplateArgument	member predicate declared in ConceptIdExpr
getATemplateArgument	member predicate declared in Declaration
getATemplateArgumentKind	member predicate declared in FunctionCall
getATemplateArgumentKind	member predicate declared in ConceptIdExpr
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 PchFile
getAUse	member predicate declared in RangeSsaDefinition
getAUse	member predicate declared in SsaDefinition
getAUse	member predicate declared in SsaHelper
getAUse	member predicate declared in Definition
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 Make::Container
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 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 IntrinsicTransformedType
getAlignment	member predicate declared in SpecifiedType
getAlignment	member predicate declared in Type
getAlignment	member predicate declared in TypeofType
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 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
getAnArrayOffset	member predicate declared in OverloadedArrayExpr
getAnAssignedValue	member predicate declared in Variable
getAnAssignment	member predicate declared in Variable
getAnAssociationExpr	member predicate declared in C11GenericExpr
getAnAssociationType	member predicate declared in C11GenericExpr
getAnAttribute	member predicate declared in EnumConstant
getAnAttribute	member predicate declared in Function
getAnAttribute	member predicate declared in Namespace
getAnAttribute	member predicate declared in Stmt
getAnAttribute	member predicate declared in Type
getAnAttribute	member predicate declared in Variable
getAnEdgeTarget	member predicate declared in AdditionalControlFlowEdge
getAnElementExpr	member predicate declared in ArrayOrVectorAggregateLiteral
getAnEnclosedExpression	member predicate declared in MetricClass
getAnEnclosedStmt	member predicate declared in MetricClass
getAnEnumConstant	member predicate declared in Enum
getAnExpandedArgument	member predicate declared in Compilation
getAnExpandedElement	member predicate declared in MacroInvocation
getAnExplicitDeclarationEntry	member predicate declared in Function
getAnExplicitTemplateArgument	member predicate declared in FunctionCall
getAnExplicitTemplateArgumentKind	member predicate declared in FunctionCall
getAnExpr	member predicate declared in GVN
getAnExpr	member predicate declared in HashCons
getAnExpr	member predicate declared in Bound
getAnExpr	member predicate declared in Bound
getAnExpr	member predicate declared in ValueNumberBound
getAnExpr	member predicate declared in ZeroBound
getAnIRVariable	member predicate declared in UninitializedGroupInstruction
getAnImplicitDestructorCall	member predicate declared in Expr
getAnImplicitDestructorCall	member predicate declared in Stmt
getAnInclude	member predicate declared in Include
getAnInclude	member predicate declared in PreprocessorBlock
getAnIncludedFile	member predicate declared in File
getAnIndirectBarrierNode	predicate declared in BarrierGuard
getAnIndirectBarrierNode	predicate declared in BarrierGuard
getAnIndirectBarrierNode	predicate declared in InstructionBarrierGuard
getAnIndirectBarrierNode	predicate declared in InstructionBarrierGuard
getAnIndirectBarrierNode	predicate declared in ParameterizedBarrierGuard
getAnIndirectBarrierNode	predicate declared in ParameterizedBarrierGuard
getAnIndirectBarrierNode	predicate declared in ParameterizedBarrierGuard
getAnIndirectBarrierNode	predicate declared in ParameterizedInstructionBarrierGuard
getAnIndirectBarrierNode	predicate declared in ParameterizedInstructionBarrierGuard
getAnIndirectBarrierNode	predicate declared in ParameterizedInstructionBarrierGuard
getAnIndirectUse	member predicate declared in Definition
getAnInitializer	member predicate declared in Constructor
getAnInput	member predicate declared in BinaryInstruction
getAnInput	member predicate declared in PhiInstruction
getAnInput	member predicate declared in Make::MakeSsa::SsaPhiDefinition
getAnInput	member predicate declared in PhiNode
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 TemplateTemplateParameter
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
getAnOperand	member predicate declared in StringConcatenation
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
getAnUltimateDefinition	member predicate declared in Make::MakeSsa::SsaDefinition
getAnUltimateDefinition	member predicate declared in Definition
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 Public::DefinitionByReferenceNode
getArgument	member predicate declared in DefinitionByReferenceOrIteratorNode
getArgument	member predicate declared in GuardsInput::NonOverridableMethodCall
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 IndirectArgumentOutNode
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
getArrayOffset	member predicate declared in OverloadedArrayExpr
getArraySize	member predicate declared in NewArrayExpr
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
getAssignedInstruction	member predicate declared in ExplicitDefinition
getAssociationExpr	member predicate declared in C11GenericExpr
getAssociationType	member predicate declared in C11GenericExpr
getAst	member predicate declared in IRUserVariable
getAst	member predicate declared in Instruction
getAst	member predicate declared in BaseAstNode
getAstVariable	member predicate declared in VariableInstruction
getAttribute	member predicate declared in AttributeArgument
getAwaitReady	member predicate declared in CoAwaitExpr
getAwaitReady	member predicate declared in CoYieldExpr
getAwaitResume	member predicate declared in CoAwaitExpr
getAwaitResume	member predicate declared in CoYieldExpr
getAwaitSuspend	member predicate declared in CoAwaitExpr
getAwaitSuspend	member predicate declared in CoYieldExpr
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 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 Make::Container
getBaseString	member predicate declared in IRDynamicInitializationFlag
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 IntrinsicTransformedType
getBaseType	member predicate declared in PointerToMemberType
getBaseType	member predicate declared in TypeofType
getBaseType	member predicate declared in TypedefType
getBasicBlock	member predicate declared in ControlFlowNode
getBasicBlock	member predicate declared in Public::Node
getBasicBlock	member predicate declared in Make::PreGuard
getBasicBlock	member predicate declared in GuardsInput::Expr
getBasicBlock	member predicate declared in RangeSsaDefinition
getBasicBlock	member predicate declared in SsaDefinition
getBasicBlock	member predicate declared in Make::Definition
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
getBufferSizeProj	predicate declared in Buffer
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
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
getCase	member predicate declared in MatchValue
getCatchBlock	member predicate declared in Parameter
getCatchClause	member predicate declared in TryStmt
getCharSize	member predicate declared in BufferWrite
getCharacter	member predicate declared in CharLiteral
getChild	member predicate declared in Expr
getChild	member predicate declared in PrintAstNode
getChild	member predicate declared in Stmt
getChildAccessorPredicate	member predicate declared in PrintAstNode
getChildAccessorPredicateInternal	member predicate declared in ConceptIdExprArgumentsNode
getChildAccessorPredicateInternal	member predicate declared in ConceptIdExprNode
getChildAccessorPredicateInternal	member predicate declared in ConceptIdExprTypeArgumentNode
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 FunctionParametersNode
getChildAccessorPredicateInternal	member predicate declared in GlobalOrNamespaceVariableNode
getChildAccessorPredicateInternal	member predicate declared in InitializerNode
getChildAccessorPredicateInternal	member predicate declared in ParameterNode
getChildAccessorPredicateInternal	member predicate declared in PrintAstNode
getChildAccessorPredicateInternal	member predicate declared in RequiresExprNode
getChildAccessorPredicateInternal	member predicate declared in RequiresExprParametersNode
getChildAccessorPredicateInternal	member predicate declared in StmtNode
getChildAccessorPredicateInternal	member predicate declared in VariableDeclarationEntryNode
getChildInternal	member predicate declared in C11GenericNode
getChildInternal	member predicate declared in ChildStmtNode
getChildInternal	member predicate declared in ConceptIdExprArgumentsNode
getChildInternal	member predicate declared in ConceptIdExprNode
getChildInternal	member predicate declared in ConceptIdExprTypeArgumentNode
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 FunctionParametersNode
getChildInternal	member predicate declared in GlobalOrNamespaceVariableNode
getChildInternal	member predicate declared in HandlerNode
getChildInternal	member predicate declared in InitializerNode
getChildInternal	member predicate declared in ParameterNode
getChildInternal	member predicate declared in PrintAstNode
getChildInternal	member predicate declared in RequiresExprNode
getChildInternal	member predicate declared in RequiresExprParametersNode
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
getCompileTimeEvaluatedBranch	member predicate declared in ConstevalIfStmt
getConcept	member predicate declared in ConceptIdExpr
getConceptIdExpr	member predicate declared in ConceptIdExprArgumentsNode
getCond	member predicate declared in CondReason
getCond	member predicate declared in RangeStage::SemCondReason
getCondition	member predicate declared in StaticAssert
getCondition	member predicate declared in GuardsInput::ConditionalExpr
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
getConstantPart	member predicate declared in FormatLiteral
getConstantSuffix	member predicate declared in FormatLiteral
getConstraint	member predicate declared in NestedRequirementExpr
getConstructor	member predicate declared in ConstructorInitializersNode
getConstructorFieldInit	member predicate declared in PreConstructorInitThis
getContainer	member predicate declared in Location
getContents	member predicate declared in Comment
getContinuable	member predicate declared in ContinueStmt
getControlFlowNode	member predicate declared in GuardsInput::Expr
getControlFlowNode	member predicate declared in Make::MakeSsa::SsaDefinition
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 C11GenericExpr
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
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 DeleteOrDeleteArrayExpr
getDeallocator	member predicate declared in NewOrNewArrayExpr
getDeallocatorCall	member predicate declared in DeleteOrDeleteArrayExpr
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
getDecltype	member predicate declared in ProxyClass
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 PostUpdateNodeImpl
getDefiningExpr	member predicate declared in Make::MakeSsa::SsaExplicitWrite
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 Make::MakeSsa::SsaExplicitWrite
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
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 UninitializedInstruction
getDestinationAddress	member predicate declared in WriteSideEffectInstruction
getDestinationAddressOperand	member predicate declared in StoreInstruction
getDestinationAddressOperand	member predicate declared in UninitializedInstruction
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 DeleteOrDeleteArrayExpr
getDestructor	member predicate declared in DestructorDestructionsNode
getDestructorCall	member predicate declared in DeleteOrDeleteArrayExpr
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
getDualValue	member predicate declared in Make::GuardValue
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
getEdge	member predicate declared in GuardsInput::Case
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
getElementExpr	member predicate declared in ArrayOrVectorAggregateLiteral
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 GuardsInput::ConditionalExpr
getElse	member predicate declared in ConditionalExpr
getElse	member predicate declared in ConstevalIfStmt
getElse	member predicate declared in ConstexprIfStmt
getElse	member predicate declared in IfStmt
getEmbeddedFile	member predicate declared in Embed
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 Make::BasicBlock
getEnclosingCallable	member predicate declared in PostUpdateNodeImpl
getEnclosingCallable	member predicate declared in Public::Node
getEnclosingCallable	member predicate declared in Public::VariableNode
getEnclosingCallable	member predicate declared in Node0Impl
getEnclosingCallable	member predicate declared in Node
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 Instruction
getEnclosingFunction	member predicate declared in MacroInvocation
getEnclosingFunction	member predicate declared in Stmt
getEnclosingFunction	member predicate declared in StmtParent
getEnclosingFunction	member predicate declared in SubBasicBlock
getEnclosingFunction	member predicate declared in UserType
getEnclosingIRFunction	member predicate declared in IRBlockBase
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
getEnclosingTry	member predicate declared in LeaveStmt
getEnclosingVariable	member predicate declared in Expr
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
getEndLine	member predicate declared in PreprocessorBlock
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
getEnum	member predicate declared in UsingEnumDeclarationEntry
getEnumConstant	member predicate declared in Enum
getEnvironmentVariable	member predicate declared in EnvironmentRead
getEqualChildExpr	member predicate declared in GuardsInput::IdExpr
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 Compilation
getExpandedArgument	member predicate declared in MacroInvocation
getExpectation	member predicate declared in Make::MakeTest::InvalidTestExpectation
getExpectationText	member predicate declared in Make::MakeTest::FailureLocatable
getExpectedParameterType	member predicate declared in FunctionCall
getExpectedReturnType	member predicate declared in FunctionCall
getExplicitExpr	member predicate declared in Function
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 ConditionDeclExpr
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 CompoundRequirementExpr
getExpr	member predicate declared in Concept
getExpr	member predicate declared in ExprNode
getExpr	member predicate declared in PreObjectInitializerNode
getExpr	member predicate declared in DeleteOrDeleteArrayExpr
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
getExpr	member predicate declared in TypeofExprType
getExprOperand	member predicate declared in AlignofExprOperator
getExprOperand	member predicate declared in DatasizeofExprOperator
getExprOperand	member predicate declared in SizeofExprOperator
getExprOperand	member predicate declared in SizeofPackExprOperator
getExprWithReuse	member predicate declared in DeleteOrDeleteArrayExpr
getExpression	member predicate declared in SwitchInstruction
getExpressionOperand	member predicate declared in SwitchInstruction
getExtension	member predicate declared in Make::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 FieldContent
getField	member predicate declared in FieldContent
getField	member predicate declared in NonUnionFieldContent
getField	member predicate declared in UnionContent
getField	member predicate declared in ExternalData
getField	member predicate declared in FieldInstruction
getField	member predicate declared in LambdaCapture
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 Make::Container
getFile	member predicate declared in Location
getFile	member predicate declared in PreprocessorBlock
getFileBySourceArchiveName	predicate declared in IdeContextual
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
getFirstNode	member predicate declared in Make::BasicBlock
getFlags	member predicate declared in FormatLiteral
getFloatingPointConversion	member predicate declared in FormatLiteral
getFolder	member predicate declared in Make::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
getFullyConverted	member predicate declared in Expr
getFullyConvertedLowerBounds	predicate declared in SimpleRangeAnalysisInternal
getFullyConvertedUpperBounds	predicate declared in SimpleRangeAnalysisInternal
getFullyTemplatedFunction	predicate declared in ExternalFlow
getFunction	member predicate declared in PostUpdateNodeImpl
getFunction	member predicate declared in Public::Node
getFunction	member predicate declared in Public::VariableNode
getFunction	member predicate declared in Node0Impl
getFunction	member predicate declared in DefinitionByReferenceOrIteratorNode
getFunction	member predicate declared in ExplicitParameterNode
getFunction	member predicate declared in ExprNode
getFunction	member predicate declared in ImplicitParameterNode
getFunction	member predicate declared in Node
getFunction	member predicate declared in PostUpdateNode
getFunction	member predicate declared in PreConstructorInitThis
getFunction	member predicate declared in PreObjectInitializerNode
getFunction	member predicate declared in RefParameterFinalValueNode
getFunction	member predicate declared in UninitializedNode
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 FunctionParametersNode
getFunction	member predicate declared in Definition
getFunction	member predicate declared in LocalScopeVariable
getFunction	member predicate declared in LocalVariable
getFunctionDeclarationEntry	member predicate declared in ParameterDeclarationEntry
getFunctionRequiresClause	member predicate declared in FunctionDeclarationEntry
getFunctionSymbol	member predicate declared in FunctionInstruction
getGeneratingMacro	member predicate declared in ComputedGotoStmt
getGeneratingMacro	member predicate declared in ConstevalIfStmt
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
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
getHeaderFile	member predicate declared in PchFile
getIRType	member predicate declared in CppType
getIRType	member predicate declared in Operand
getIRVariable	member predicate declared in InstructionDirectParameterNode
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
getImmediateDominator	member predicate declared in Make::BasicBlock
getImmediateDominator	member predicate declared in IRCfg::BasicBlock
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 UninitializedGroupInstruction
getImmediateString	member predicate declared in VariableInstruction
getImplicitDestructorCall	member predicate declared in Expr
getImplicitDestructorCall	member predicate declared in Stmt
getImplicitlyConverted	member predicate declared in Expr
getIncludeGuardName	member predicate declared in CorrectIncludeGuard
getIncludeText	member predicate declared in Include
getIncludeText	member predicate declared in Embed
getIncludedFile	member predicate declared in Include
getInconsistencyCounts	predicate declared in Make::Consistency
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 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
getIndexOfStmt	member predicate declared in BlockStmt
getIndirection	member predicate declared in Definition
getIndirectionIndex	member predicate declared in PostUpdateNodeImpl
getIndirectionIndex	member predicate declared in Public::IndirectUninitializedNode
getIndirectionIndex	member predicate declared in Public::VariableNode
getIndirectionIndex	member predicate declared in Content
getIndirectionIndex	member predicate declared in ElementContent
getIndirectionIndex	member predicate declared in FieldContent
getIndirectionIndex	member predicate declared in NonUnionFieldContent
getIndirectionIndex	member predicate declared in UnionContent
getIndirectionIndex	member predicate declared in Definition
getIndirectionInput	member predicate declared in FunctionInput
getIndirectionInput	member predicate declared in InParameter
getIndirectionInput	member predicate declared in InParameterDeref
getIndirectionInput	member predicate declared in InQualifierAddress
getIndirectionInput	member predicate declared in InQualifierObject
getIndirectionInput	member predicate declared in InReturnValueDeref
getIndirectionOutput	member predicate declared in FunctionOutput
getIndirectionOutput	member predicate declared in OutParameterDeref
getIndirectionOutput	member predicate declared in OutQualifierObject
getIndirectionOutput	member predicate declared in OutReturnValue
getIndirectionOutput	member predicate declared in OutReturnValueDeref
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 RangeBasedForStmt
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 Public::InstructionNode
getInstruction	member predicate declared in IRBlockBase
getInstruction	member predicate declared in MustFlow::Global::PathNode
getInstructionCount	member predicate declared in IRBlockBase
getInstructionProperty	member predicate declared in IRPropertyProvider
getIntegralConversion	member predicate declared in FormatLiteral
getIntegralDisplayType	member predicate declared in FormatLiteral
getIntrinsicName	member predicate declared in IntrinsicTransformedType
getInvalidModelKind	predicate declared in KindValidation
getKind	member predicate declared in GVN
getKind	member predicate declared in HashCons
getKind	member predicate declared in BooleanSuccessor
getKind	member predicate declared in EmptinessSuccessor
getKind	member predicate declared in MatchingSuccessor
getKind	member predicate declared in NullnessSuccessor
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 IRUserVariable
getLanguageType	member predicate declared in Operand
getLanguageType	member predicate declared in TypedOperand
getLastInstruction	member predicate declared in IRBlockBase
getLastNamedParameter	member predicate declared in BuiltInVarArgsStart
getLastNode	member predicate declared in Make::BasicBlock
getLastNode	member predicate declared in IRCfg::BasicBlock
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 UninitializedInstruction
getLocation	member predicate declared in GVN
getLocation	member predicate declared in Make::BasicBlock
getLocation	member predicate declared in ClassDerivation
getLocation	member predicate declared in ProxyClass
getLocation	member predicate declared in Comment
getLocation	member predicate declared in Concept
getLocation	member predicate declared in Public::Node
getLocation	member predicate declared in DataFlowCallable
getLocation	member predicate declared in Node0Impl
getLocation	member predicate declared in DefinitionByReferenceOrIteratorNode
getLocation	member predicate declared in ExplicitParameterNode
getLocation	member predicate declared in ExprNode
getLocation	member predicate declared in ImplicitParameterNode
getLocation	member predicate declared in Node
getLocation	member predicate declared in PostUpdateNode
getLocation	member predicate declared in PreConstructorInitThis
getLocation	member predicate declared in PreObjectInitializerNode
getLocation	member predicate declared in RefParameterFinalValueNode
getLocation	member predicate declared in 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 FriendDecl
getLocation	member predicate declared in Function
getLocation	member predicate declared in FunctionDeclarationEntry
getLocation	member predicate declared in HashCons
getLocation	member predicate declared in IRBlockBase
getLocation	member predicate declared in IRFunctionBase
getLocation	member predicate declared in Initializer
getLocation	member predicate declared in Make::MakeTest::ActualTestResult
getLocation	member predicate declared in Make::MakeTest::FailureLocatable
getLocation	member predicate declared in TestPostProcessing::Make::TestImpl2::ExpectationComment
getLocation	member predicate declared in Instruction
getLocation	member predicate declared in LambdaCapture
getLocation	member predicate declared in MacroAccess
getLocation	member predicate declared in MustFlow::Global::PathNode
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 LocatableOption::Option
getLocation	member predicate declared in Parameter
getLocation	member predicate declared in PreprocessorDirective
getLocation	member predicate declared in BaseAstNode
getLocation	member predicate declared in ConceptIdExprArgumentsNode
getLocation	member predicate declared in ConceptIdExprTypeArgumentNode
getLocation	member predicate declared in ConstructorInitializersNode
getLocation	member predicate declared in DestructorDestructionsNode
getLocation	member predicate declared in FunctionParametersNode
getLocation	member predicate declared in PrintAstNode
getLocation	member predicate declared in RequiresExprParametersNode
getLocation	member predicate declared in Bound
getLocation	member predicate declared in ValueNumberBound
getLocation	member predicate declared in ZeroBound
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 Make::Definition
getLocation	member predicate declared in Make::TestAdjacentRefs::Ref
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 TypeofExprType
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
getLocationImpl	member predicate declared in PostUpdateNodeImpl
getLocationImpl	member predicate declared in Public::Node
getLocationImpl	member predicate declared in Public::VariableNode
getLocationImpl	member predicate declared in Node0Impl
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
getMethod	member predicate declared in GuardsInput::NonOverridableMethodCall
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 Concept
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 SpecialNameQualifyingElement
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 IntrinsicTransformedType
getName	member predicate declared in PointerToMemberType
getName	member predicate declared in RoutineType
getName	member predicate declared in Type
getName	member predicate declared in TypeofType
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
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
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 Make::BasicBlock
getNode	member predicate declared in BasicBlock
getNode	member predicate declared in IRCfg::BasicBlock
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
getNumTupleElements	member predicate declared in ScalableVectorType
getNumberOfArguments	member predicate declared in Call
getNumberOfArguments	member predicate declared in CallInstruction
getNumberOfArguments	member predicate declared in MacroInvocation
getNumberOfArguments	member predicate declared in FormattingFunctionCall
getNumberOfCalls	member predicate declared in MetricFunction
getNumberOfCatchClauses	member predicate declared in TryStmt
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 RequiresExpr
getNumberOfParameters	member predicate declared in Function
getNumberOfParameters	member predicate declared in FunctionDeclarationEntry
getNumberOfParameters	member predicate declared in MetricFunction
getNumberOfParameters	member predicate declared in FunctionPointerIshType
getNumberOfRequirements	member predicate declared in RequiresExpr
getNumberOfTemplateArguments	member predicate declared in FunctionCall
getNumberOfTemplateArguments	member predicate declared in ConceptIdExpr
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 FieldAddressInstruction
getObjectAddressOperand	member predicate declared in FieldAddressInstruction
getOffsetInClass	member predicate declared in Field
getOpcode	member predicate declared in Instruction
getOperand	member predicate declared in PostUpdateNodeImpl
getOperand	member predicate declared in Public::OperandNode
getOperand	member predicate declared in AssumeExpr
getOperand	member predicate declared in UnaryOperation
getOperand	member predicate declared in GuardsInput::NotExpr
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 StrlcatFunction
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 StrlcatFunction
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 StrlcatFunction
getParamSrc	member predicate declared in StrcpyFunction
getParameter	member predicate declared in RequiresExpr
getParameter	member predicate declared in InstructionDirectParameterNode
getParameter	member predicate declared in Public::DefinitionByReferenceNode
getParameter	member predicate declared in DefinitionByReferenceOrIteratorNode
getParameter	member predicate declared in ExplicitParameterNode
getParameter	member predicate declared in RefParameterFinalValueNode
getParameter	member predicate declared in Function
getParameter	member predicate declared in GuardsInput::NonOverridableMethod
getParameter	member predicate declared in InitializeIndirectionInstruction
getParameter	member predicate declared in InitializeParameterInstruction
getParameter	member predicate declared in ReturnIndirectionInstruction
getParameter	member predicate declared in Make::MakeSsa::SsaParameterInit
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
getParameterTypeName	predicate declared in ExternalFlow
getParameterTypeWithoutTemplateArguments	predicate declared in ExternalFlow
getParent	member predicate declared in Expr
getParent	member predicate declared in PreprocessorBlock
getParent	member predicate declared in PrintAstNode
getParent	member predicate declared in Stmt
getParentContainer	member predicate declared in Make::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
getParentVlaDecl	member predicate declared in VlaDeclStmt
getParentWithConversions	member predicate declared in Expr
getPartial	member predicate declared in ChiInstruction
getPartialOperand	member predicate declared in ChiInstruction
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 IntrinsicTransformedType
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 TypeofType
getPointerIndirectionLevel	member predicate declared in TypedefType
getPositionalArgument	member predicate declared in CallInstruction
getPositionalArgumentOperand	member predicate declared in CallInstruction
getPreUpdateNode	member predicate declared in PostUpdateNodeImpl
getPreUpdateNode	member predicate declared in Public::PostUpdateNode
getPreUpdateNode	member predicate declared in DefinitionByReferenceOrIteratorNode
getPreUpdateNode	member predicate declared in 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 DatasizeofOperator
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 DeleteOrDeleteArrayExpr
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
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
getPrimaryTemplate	member predicate declared in VariableTemplateSpecialization
getPriorDefinition	member predicate declared in Make::MakeSsa::SsaUncertainWrite
getProperty	member predicate declared in CastNode
getProperty	member predicate declared in DeclarationEntryNode
getProperty	member predicate declared in ExprNode
getProperty	member predicate declared in ParameterNode
getProperty	member predicate declared in PrintAstNode
getQualifiedElement	member predicate declared in NameQualifier
getQualifiedName	member predicate declared in Declaration
getQualifiedName	member predicate declared in Namespace
getQualifier	member predicate declared in FunctionAccess
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
getReferencedMember	member predicate declared in UsingDeclarationEntry
getRelativePath	member predicate declared in Make::Container
getRequirement	member predicate declared in RequiresExpr
getRequiresClause	member predicate declared in TypeDeclarationEntry
getRequiresClause	member predicate declared in VariableDeclarationEntry
getRequiresExpr	member predicate declared in Parameter
getRequiresExpr	member predicate declared in RequiresExprParametersNode
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
getResultNode	member predicate declared in StringConcatenation
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
getReturnTypeRequirement	member predicate declared in CompoundRequirementExpr
getReturnValue	member predicate declared in ReturnValueInstruction
getReturnValueOperand	member predicate declared in ReturnValueInstruction
getReturnVariable	member predicate declared in IRFunction
getReusedExpr	member predicate declared in ReuseExpr
getRight	member predicate declared in BinaryInstruction
getRightOperand	member predicate declared in BinaryOperation
getRightOperand	member predicate declared in CommaExpr
getRightOperand	member predicate declared in BinaryInstruction
getRuntimeEvaluatedBranch	member predicate declared in ConstevalIfStmt
getScanfFunction	member predicate declared in ScanfFunctionCall
getScope	member predicate declared in Make::BasicBlock
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 BufferAccess
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 IntrinsicTransformedType
getSize	member predicate declared in SpecifiedType
getSize	member predicate declared in Type
getSize	member predicate declared in TypeofType
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
getSizeExpr	member predicate declared in ArrayExprBA
getSizeExpr	member predicate declared in BCopyBA
getSizeExpr	member predicate declared in BufferAccess
getSizeExpr	member predicate declared in FreadBA
getSizeExpr	member predicate declared in MemccpyBA
getSizeExpr	member predicate declared in MemchrBA
getSizeExpr	member predicate declared in MemcmpBA
getSizeExpr	member predicate declared in MemcpyBA
getSizeExpr	member predicate declared in MemsetBA
getSizeExpr	member predicate declared in StrncpyBA
getSizeExpr	member predicate declared in SwabBA
getSizeExpr	member predicate declared in ZeroMemoryBA
getSizeMult	member predicate declared in AllocationExpr
getSizeMult	member predicate declared in AllocationFunction
getSizeMult	member predicate declared in HeuristicAllocationExpr
getSizeMult	member predicate declared in HeuristicAllocationFunction
getSizeMult	member predicate declared in ArrayExprBA
getSizeMult	member predicate declared in BCopyBA
getSizeMult	member predicate declared in BufferAccess
getSizeMult	member predicate declared in FreadBA
getSizeMult	member predicate declared in MemccpyBA
getSizeMult	member predicate declared in MemchrBA
getSizeMult	member predicate declared in MemcmpBA
getSizeMult	member predicate declared in MemcpyBA
getSizeMult	member predicate declared in MemsetBA
getSizeMult	member predicate declared in StrncpyBA
getSizeMult	member predicate declared in SwabBA
getSizeMult	member predicate declared in ZeroMemoryBA
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 Make::Definition
getSourceVariable	member predicate declared in Make::TestAdjacentRefs::Ref
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
getStartLine	member predicate declared in PreprocessorBlock
getStaticCallTarget	member predicate declared in IndirectArgumentOutNode
getStaticCallTarget	member predicate declared in CallInstruction
getStem	member predicate declared in Make::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
getSwitchCase	member predicate declared in SwitchStmt
getSwitchExpr	member predicate declared in GuardsInput::Case
getSwitchStmt	member predicate declared in SwitchCase
getTag	member predicate declared in Diagnostic
getTag	member predicate declared in IROpaqueType
getTag	member predicate declared in IRTempVariable
getTag	member predicate declared in Make::MakeTest::ActualTestResult
getTag	member predicate declared in Make::MakeTest::FailureLocatable
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
getTemplate	member predicate declared in TemplateTemplateParameterInstantiation
getTemplate	member predicate declared in VariableTemplateInstantiation
getTemplateArgument	member predicate declared in FunctionCall
getTemplateArgument	member predicate declared in ConceptIdExpr
getTemplateArgument	member predicate declared in Declaration
getTemplateArgumentKind	member predicate declared in FunctionCall
getTemplateArgumentKind	member predicate declared in ConceptIdExpr
getTemplateArgumentKind	member predicate declared in Declaration
getTemplateClass	member predicate declared in DeductionGuide
getTemplateParameter	member predicate declared in ProxyClass
getTemplateRequiresClause	member predicate declared in FunctionDeclarationEntry
getThen	member predicate declared in GuardsInput::ConditionalExpr
getThen	member predicate declared in ConditionalExpr
getThen	member predicate declared in ConstevalIfStmt
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
getTransitiveNumberOfVlaDimensionStmts	member predicate declared in VlaDeclStmt
getTransitiveVlaDimensionStmt	member predicate declared in VlaDeclStmt
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 Public::Node
getType	member predicate declared in Public::PostUpdateNode
getType	member predicate declared in Public::VariableNode
getType	member predicate declared in Node0Impl
getType	member predicate declared in DefinitionByReferenceOrIteratorNode
getType	member predicate declared in ExplicitParameterNode
getType	member predicate declared in ExprNode
getType	member predicate declared in ImplicitParameterNode
getType	member predicate declared in Node
getType	member predicate declared in PostUpdateNode
getType	member predicate declared in PreConstructorInitThis
getType	member predicate declared in PreObjectInitializerNode
getType	member predicate declared in RefParameterFinalValueNode
getType	member predicate declared in UninitializedNode
getType	member predicate declared in DeclarationEntry
getType	member predicate declared in EnumConstant
getType	member predicate declared in Expr
getType	member predicate declared in ReuseExpr
getType	member predicate declared in Function
getType	member predicate declared in FunctionDeclarationEntry
getType	member predicate declared in Operand
getType	member predicate declared in Parameter
getType	member predicate declared in VlaDeclStmt
getType	member predicate declared in IntrinsicTransformedType
getType	member predicate declared in TypeofTypeType
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 Public::Node
getTypeBound	member predicate declared in Node
getTypeConstraint	member predicate declared in TypeTemplateParameter
getTypeIdentityString	predicate declared in Print
getTypeOfThis	member predicate declared in MemberFunction
getTypeOperand	member predicate declared in AlignofTypeOperator
getTypeOperand	member predicate declared in DatasizeofExprOperator
getTypeOperand	member predicate declared in DatasizeofOperator
getTypeOperand	member predicate declared in DatasizeofTypeOperator
getTypeOperand	member predicate declared in SizeofExprOperator
getTypeOperand	member predicate declared in SizeofOperator
getTypeOperand	member predicate declared in SizeofPackTypeOperator
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
getURL	member predicate declared in DefectExternalData
getURL	member predicate declared in Make::Container
getURL	member predicate declared in Make::File
getURL	member predicate declared in Make::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
getUnderlyingCallable	member predicate declared in DataFlowCallable
getUnderlyingType	member predicate declared in Expr
getUnderlyingType	member predicate declared in Definition
getUnderlyingType	member predicate declared in Decltype
getUnderlyingType	member predicate declared in IntrinsicTransformedType
getUnderlyingType	member predicate declared in Type
getUnderlyingType	member predicate declared in TypeofType
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 IRStringLiteral
getUniqueId	member predicate declared in IRTempVariable
getUniqueId	member predicate declared in IRUserVariable
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 Definition
getUnspecifiedType	member predicate declared in Type
getUnspecifiedType	member predicate declared in Variable
getUpdate	member predicate declared in ForStmt
getUpdate	member predicate declared in RangeBasedForStmt
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 BooleanValue
getValue	member predicate declared in Make::MakeTest::ActualTestResult
getValue	member predicate declared in Make::MakeTest::FailureLocatable
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 Make::MakeSsa::SsaExplicitWrite
getValue	member predicate declared in Definition
getValue	member predicate declared in BooleanSuccessor
getValue	member predicate declared in EmptinessSuccessor
getValue	member predicate declared in MatchingSuccessor
getValue	member predicate declared in NullnessSuccessor
getValueCategoryString	member predicate declared in Expr
getValueConstant	member predicate declared in AttributeArgument
getValueExpr	member predicate declared in AttributeArgument
getValueInt	member predicate declared in AttributeArgument
getValueNumber	member predicate declared in ValueNumberBound
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 Public::VariableNode
getVariable	member predicate declared in Def
getVariable	member predicate declared in DefOrUse
getVariable	member predicate declared in ParameterDef
getVariable	member predicate declared in Use
getVariable	member predicate declared in IRDynamicInitializationFlag
getVariable	member predicate declared in IRStaticUserVariable
getVariable	member predicate declared in IRUserVariable
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::UninitializedGroup
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
gotoEdge	predicate declared in EdgeKind
graphProperties	predicate declared in PrintAST
guardChecks	predicate declared in Make::Logic::ParameterizedValidationWrapper
guardChecksDef	predicate declared in Make::Logic::ParameterizedValidationWrapper
guardChecksDef	predicate declared in Make::Logic::ValidationWrapper
guardedAbs	predicate declared in Overflow
guardedGreater	predicate declared in Overflow
guardedLesser	predicate declared in Overflow

H

Handler	class declared in Stmt
HandlerNode	class declared in PrintAST
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
hasActualResult	predicate declared in AstFlowTest
hasActualResult	predicate declared in IRFlowTest
hasActualResult	predicate declared in Make::MergeTests
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 DeleteOrDeleteArrayExpr
hasAlignedDeallocation	member predicate declared in NewOrNewArrayExpr
hasAlternateFlag	member predicate declared in FormatLiteral
hasAlternativeDigits	member predicate declared in FormatLiteral
hasAmbiguousReturnType	member predicate declared in Function
hasArrayInput	member predicate declared in ArrayFunction
hasArrayInput	member predicate declared in FormattingFunction
hasArrayInput	member predicate declared in StrcatFunction
hasArrayInput	member predicate declared in StrlcatFunction
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 StrlcatFunction
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 StrlcatFunction
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 StrlcatFunction
hasArrayWithUnknownSize	member predicate declared in StrcpyFunction
hasArrayWithVariableSize	member predicate declared in ArrayFunction
hasArrayWithVariableSize	member predicate declared in FormattingFunction
hasArrayWithVariableSize	member predicate declared in StrcpyFunction
hasBlank	member predicate declared in FormatLiteral
hasBranchEdge	member predicate declared in Make::PreGuard
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
hasCompileTimeEvaluatedBranch	member predicate declared in ConstevalIfStmt
hasConstructor	member predicate declared in Class
hasConversion	member predicate declared in Expr
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
hasDesignator	member predicate declared in ArrayOrVectorAggregateLiteral
hasDesignator	member predicate declared in ClassAggregateLiteral
hasDestructor	member predicate declared in Class
hasDynamicInitialization	member predicate declared in StaticStorageDurationVariable
hasElse	member predicate declared in ConstevalIfStmt
hasElse	member predicate declared in ConstexprIfStmt
hasElse	member predicate declared in IfStmt
hasEntryPoint	member predicate declared in Function
hasEnvironmentArgument	member predicate declared in VarargsExecFunctionCall
hasErrors	member predicate declared in Function
hasExceptionSpecification	member predicate declared in Function
hasExceptionSpecification	member predicate declared in FunctionDeclarationEntry
hasExpectationWithValue	predicate declared in Make
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
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
hasIncompleteSsa	member predicate declared in IRFunction
hasIndex	member predicate declared in InitializeIndirectionInstruction
hasIndex	member predicate declared in InitializeParameterInstruction
hasIndex	member predicate declared in ReturnIndirectionInstruction
hasIndexInBlock	member predicate declared in Public::Node
hasInitializer	member predicate declared in Variable
hasInputFromBlock	member predicate declared in Make::MakeSsa::SsaPhiDefinition
hasInputFromBlock	member predicate declared in PhiNode
hasInstructionAndIndex	predicate declared in Public
hasLValueToRValueConversion	member predicate declared in Expr
hasLocalFlowSource	member predicate declared in LocalFlowSourceFunction
hasLocationInfo	member predicate declared in BasicBlock
hasLocationInfo	member predicate declared in Content
hasLocationInfo	member predicate declared in Content
hasLocationInfo	member predicate declared in ContentSet
hasLocationInfo	member predicate declared in ContentSet
hasLocationInfo	member predicate declared in FieldContent
hasLocationInfo	member predicate declared in Location
hasLocationInfo	member predicate declared in OptionWithLocationInfo::Option
hasLocationInfo	member predicate declared in PreprocessorBlock
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
hasOnlySpecificReadSideEffects	member predicate declared in SideEffectFunction
hasOnlySpecificReadSideEffects	member predicate declared in StrcatFunction
hasOnlySpecificReadSideEffects	member predicate declared in StrlcatFunction
hasOnlySpecificReadSideEffects	member predicate declared in StrcpyFunction
hasOnlySpecificWriteSideEffects	member predicate declared in SideEffectFunction
hasOnlySpecificWriteSideEffects	member predicate declared in StrcatFunction
hasOnlySpecificWriteSideEffects	member predicate declared in StrlcatFunction
hasOnlySpecificWriteSideEffects	member predicate declared in StrcpyFunction
hasOperand	member predicate declared in Opcode
hasOperandAndIndex	predicate declared in Public
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
hasOptionalResult	predicate declared in Make::MergeTests
hasParameterList	member predicate declared in LambdaExpression
hasPragmaDifferentFile	predicate declared in AutogeneratedFile
hasPrecision	member predicate declared in FormatLiteral
hasPrivateBaseClass	member predicate declared in Class
hasProperty	predicate declared in Make::Flow
hasProperty	predicate declared in Make::FlowNullary
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 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
hasRuntimeEvaluatedBranch	member predicate declared in ConstevalIfStmt
hasSign	member predicate declared in FormatLiteral
hasSize	predicate declared in ProductFlowUtils
hasSizedDeallocation	member predicate declared in DeleteOrDeleteArrayExpr
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 StrlcatFunction
hasSpecificReadSideEffect	member predicate declared in StrcpyFunction
hasSpecificWriteSideEffect	member predicate declared in SideEffectFunction
hasSpecificWriteSideEffect	member predicate declared in StrcatFunction
hasSpecificWriteSideEffect	member predicate declared in StrlcatFunction
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 StrlcatFunction
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
hasUnderlyingType	member predicate declared in CppType
hasUnspecifiedType	member predicate declared in CppType
hasValueBranchEdge	member predicate declared in Make::PreGuard
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
IRBlock	module
IRBlock	class declared in IRBlock
IRBlockBase	class declared in IRBlock
IRBooleanType	class declared in IRType
IRCfg	module declared in IRBlock
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
IRFlowTest	module declared in FlowTestCommon
IRFunction	module
IRFunction	class declared in IRFunction
IRFunctionAddressType	class declared in IRType
IRFunctionBase	module
IRFunctionBase	class declared in IRFunctionBase
IRGuardCondition	class declared in IRGuards
IRGuards	module
IRIntegerType	class declared in IRType
IRNumericType	class declared in IRType
IROpaqueType	class declared in IRType
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
IRVoidType	class declared in IRType
IdExpr	class declared in GuardsInput
IdeContextual	module declared in FileSystem
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 DataFlowNodes
IndirectExplicitDefinition	class declared in SsaImpl
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
IndirectReadOpcode	class declared in Opcode
IndirectReadSideEffect	class declared in Opcode
IndirectReadSideEffectInstruction	class declared in Instruction
IndirectUninitializedNode	class declared in Public
IndirectWriteOpcode	class declared in Opcode
InheritanceConversion	class declared in Cast
InheritanceConversionInstruction	class declared in Instruction
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
InlineExpectationsTest	module
InlineExpectationsTest	module
Instruction	module
Instruction	class declared in Instruction
InstructionBarrierGuard	module declared in DataFlowUtil
InstructionDirectParameterNode	class declared in DataFlowNodes
InstructionNode	class declared in Public
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
InternalUtil	module declared in Make::Logic
Intmax_t	class declared in CommonType
IntrinsicTransformedType	class declared in Type
InvalidPointerToDereference	module
InvalidTestExpectation	class declared in Make::MakeTest
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 Make::BasicBlock
immediatelyDominates	member predicate declared in IRBlock
immediatelyPostDominates	member predicate declared in IRBlock
implicitCopyAssignmentOperatorDeleted	member predicate declared in Class
implicitCopyConstructorDeleted	member predicate declared in Class
impliesClearOf	member predicate declared in Content
impliesClearOf	member predicate declared in ElementContent
impliesClearOf	member predicate declared in FieldContent
impliesClearOf	member predicate declared in NonUnionFieldContent
impliesClearOf	member predicate declared in UnionContent
impliesValue	member predicate declared in BinaryLogicalOperation
impliesValue	member predicate declared in LogicalAndExpr
impliesValue	member predicate declared in LogicalOrExpr
inCondition	member predicate declared in AnalysedExpr
inDominanceFrontier	member predicate declared in Make::BasicBlock
inDominanceFrontier	member predicate declared in IRCfg::BasicBlock
inLoop	member predicate declared in Make::BasicBlock
inLoop	member predicate declared in BasicBlock
inMacroExpansion	predicate declared in Macro
inMemberOrFriendOf	member predicate declared in AccessHolder
inSystemMacroExpansion	predicate declared in Macro
initialBounded	predicate declared in RangeStage
instructionNode	predicate declared in Public
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 IntrinsicTransformedType
internal_getAnAdditionalSpecifier	member predicate declared in SpecifiedType
internal_getAnAdditionalSpecifier	member predicate declared in Type
internal_getAnAdditionalSpecifier	member predicate declared in TypeofType
internal_getAnAdditionalSpecifier	member predicate declared in TypedefType
interpretModelForTest	predicate declared in ModelsAsData
invalidModelRow	predicate declared in ModelValidation
invalidPointerToDereferenceFieldFlowBranchLimit	predicate declared in InvalidPointerToDereference
involvesReference	member predicate declared in Decltype
involvesReference	member predicate declared in DerivedType
involvesReference	member predicate declared in IntrinsicTransformedType
involvesReference	member predicate declared in ReferenceType
involvesReference	member predicate declared in Type
involvesReference	member predicate declared in TypeofType
involvesReference	member predicate declared in TypedefType
involvesTemplateParameter	member predicate declared in Class
involvesTemplateParameter	member predicate declared in TypeTemplateParameter
involvesTemplateParameter	member predicate declared in Decltype
involvesTemplateParameter	member predicate declared in DerivedType
involvesTemplateParameter	member predicate declared in FunctionPointerIshType
involvesTemplateParameter	member predicate declared in IntrinsicTransformedType
involvesTemplateParameter	member predicate declared in PointerToMemberType
involvesTemplateParameter	member predicate declared in RoutineType
involvesTemplateParameter	member predicate declared in Type
involvesTemplateParameter	member predicate declared in TypeofType
isAbstract	member predicate declared in Class
isAddressOfAccess	member predicate declared in VariableAccess
isAddressOfAccessNonConst	member predicate declared in VariableAccess
isAffectedByMacro	member predicate declared in Element
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
isArgumentNode	member predicate declared in ConceptIdExprTypeArgumentNode
isBarrier	member predicate declared in StackVariableReachability
isBarrier	member predicate declared in StackVariableReachabilityExt
isBefore	member predicate declared in Location
isBefore	member predicate declared in Location
isBinaryFold	member predicate declared in FoldExpr
isBoolean	member predicate declared in ConditionKind
isBraced	member predicate declared in Initializer
isCapturedByReference	member predicate declared in LambdaCapture
isCertain	member predicate declared in Definition
isCompilerGenerated	member predicate declared in Expr
isCompilerGenerated	member predicate declared in Function
isCompilerGenerated	member predicate declared in Stmt
isCompilerGenerated	member predicate declared in LocalVariable
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 IntrinsicTransformedType
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 TypeofType
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 IntrinsicTransformedType
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 ScalableVectorType
isDeeplyConstBelow	member predicate declared in SpecifiedType
isDeeplyConstBelow	member predicate declared in Type
isDeeplyConstBelow	member predicate declared in TypeofType
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 DefaultEdge
isDefault	member predicate declared in Constructor
isDefault	member predicate declared in SwitchCase
isDefaultAssociation	member predicate declared in C11GenericExpr
isDefaultCase	member predicate declared in GuardsInput::Case
isDefaulted	member predicate declared in Function
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
isDestroyingDeleteDeallocation	member predicate declared in DeleteOrDeleteArrayExpr
isDestroyingDeleteDeallocation	member predicate declared in NewOrNewArrayExpr
isDummy	member predicate declared in LinkTarget
isEmptiness	member predicate declared in ConditionKind
isEmpty	member predicate declared in BlockStmt
isEmpty	member predicate declared in EmptinessSuccessor
isEncryptionAdditionalEvidence	predicate declared in Encryption
isEquality	member predicate declared in Make::PreGuard
isExFreePoolCall	predicate declared in FlowAfterFree
isExcludedMmFreePageFromMdl	predicate declared in FlowAfterFree
isExplicit	member predicate declared in Function
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
isFinalValueOfParameter	member predicate declared in Public::Node
isFinalValueOfParameter	member predicate declared in Public::Node
isFree	predicate declared in FlowAfterFree
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 Public::Node
isGLValue	member predicate declared in Node0Impl
isGLValue	member predicate declared in Instruction
isGLValue	member predicate declared in Operand
isGLValueCategory	member predicate declared in Expr
isGuardPhi	member predicate declared in RangeSsaDefinition
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
isIndirectParameterDefinition	member predicate declared in Definition
isIndirectThisDefinition	member predicate declared in Definition
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
isIntRange	member predicate declared in Make::GuardValue
isLValue	member predicate declared in Expr
isLValueCategory	member predicate declared in Expr
isLValueCategory	member predicate declared in ReuseExpr
isLValueRefQualified	member predicate declared in MemberFunction
isLeftAdjusted	member predicate declared in FormatLiteral
isLeftFold	member predicate declared in FoldExpr
isLinkerAwareExtracted	predicate declared in Linkage
isLiveAtEndOfBlock	member predicate declared in Make::MakeSsa::SsaDefinition
isLiveAtEndOfBlock	member predicate declared in Definition
isLocal	member predicate declared in UserType
isLt	member predicate declared in GuardedSsa
isMatch	member predicate declared in MatchingSuccessor
isMatching	member predicate declared in ConditionKind
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 CompoundRequirementExpr
isNoExcept	member predicate declared in Function
isNoExcept	member predicate declared in FunctionDeclarationEntry
isNoThrow	member predicate declared in Function
isNoThrow	member predicate declared in FunctionDeclarationEntry
isNonNullValue	member predicate declared in Make::GuardValue
isNone	member predicate declared in Option::Option
isNot	member predicate declared in ConstevalIfStmt
isNull	member predicate declared in GuardsInput::ConstantExpr
isNull	member predicate declared in NullnessSuccessor
isNullCheck	member predicate declared in AnalysedExpr
isNullValue	member predicate declared in Make::GuardValue
isNullness	member predicate declared in Make::GuardValue
isNullness	member predicate declared in ConditionKind
isOnlyFoundByADL	member predicate declared in FunctionCall
isOptional	member predicate declared in Make::MakeTest::ActualTestResult
isOutputGlobal	member predicate declared in FormattingFunction
isOutputGlobal	member predicate declared in UserDefinedFormattingFunction
isOverride	member predicate declared in Function
isOverrideExplicit	member predicate declared in VirtualFunction
isPRValueCategory	member predicate declared in Expr
isPRValueCategory	member predicate declared in ReuseExpr
isParameter	member predicate declared in FunctionInput
isParameter	member predicate declared in InParameter
isParameterDefinition	member predicate declared in Definition
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
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 ExplicitParameterNode
isParameterOf	member predicate declared in ImplicitParameterNode
isParameterOf	member predicate declared in ParameterNode
isParameterOrQualifierAddress	member predicate declared in FunctionInput
isParenthesised	member predicate declared in Expr
isPartialUpdate	member predicate declared in ChiInstruction
isPartialWrite	member predicate declared in FormattingFunction
isPartialWrite	member predicate declared in PartialFlowFunction
isPhiNode	member predicate declared in RangeSsaDefinition
isPhiNode	member predicate declared in SsaDefinition
isPhiRead	member predicate declared in Make::TestAdjacentRefs::Ref
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
isPrototyped	member predicate declared in Function
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
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
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
isReturnValueDeref	member predicate declared in OutReturnValueDeref
isRightFold	member predicate declared in FoldExpr
isScalarType03	predicate declared in PODType03
isSelectedAssociation	member predicate declared in C11GenericExpr
isSideEffectFree	member predicate declared in Function
isSigned	member predicate declared in IRIntegerType
isSigned	member predicate declared in IRSignedIntegerType
isSigned	member predicate declared in IntegralType
isSingleton	member predicate declared in ContentSet
isSingleton	member predicate declared in Make::GuardValue
isSink	member predicate declared in StackVariableReachability
isSink	member predicate declared in StackVariableReachabilityExt
isSink	member predicate declared in StackVariableReachabilityWithReassignment
isSinkActual	member predicate declared in StackVariableReachabilityWithReassignment
isSource	member predicate declared in StackVariableReachability
isSource	member predicate declared in StackVariableReachabilityExt
isSource	member predicate declared in StackVariableReachabilityWithReassignment
isSourceActual	member predicate declared in StackVariableReachabilityWithReassignment
isSourceParameterOf	member predicate declared in InstructionDirectParameterNode
isSpecialization	member predicate declared in Function
isSpecialization	member predicate declared in FunctionDeclarationEntry
isSpecialization	member predicate declared in Variable
isSpecialization	member predicate declared in VariableDeclarationEntry
isStandardLayout	member predicate declared in Class
isStatic	member predicate declared in Declaration
isStatic	member predicate declared in LocalVariable
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
isThis	member predicate declared in InstructionDirectParameterNode
isThisAccess	member predicate declared in ParamAccessForType
isThisDefinition	member predicate declared in Definition
isThisIndirection	member predicate declared in ReturnIndirectionInstruction
isThreadLocal	member predicate declared in Variable
isThrowsException	member predicate declared in Make::GuardValue
isTopLevel	member predicate declared in Declaration
isTopLevel	member predicate declared in FriendDecl
isTopLevel	member predicate declared in TypeDeclarationEntry
isTwoOperand	member predicate declared in ConditionalExpr
isTypeConstraint	member predicate declared in ConceptIdExpr
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
isUse	predicate declared in UseAfterFree
isUse0	predicate declared in UseAfterFree
isUsedAsLValue	member predicate declared in VariableAccess
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
isVla	member predicate declared in ArrayType
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
isXValueCategory	member predicate declared in ReuseExpr
isZeroPadded	member predicate declared in FormatLiteral

J

JumpStmt

class declared in Stmt

K

KindValidation	module declared in ModelValidation
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
LeaveStmt	class declared in Stmt
LeftIsSmaller	injector declared in PointlessComparison
LeftOperand	class declared in Operand
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
LocatableOption	module declared in Option
Location	module
Location	module
Location	class declared in Location
Logic	module declared in Make
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
length	member predicate declared in Make::BasicBlock
length	member predicate declared in BasicBlock
length	member predicate declared in IRCfg::BasicBlock
linearAccess	predicate declared in RangeAnalysisUtils
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
localFlowStep	predicate declared in Make::DataFlowIntegration
localInstructionFlow	predicate declared in DataFlowUtil
localInstructionTaint	predicate declared in TaintTrackingUtil
localMustFlowStep	predicate declared in Make::DataFlowIntegration
localTaint	predicate declared in TaintTrackingUtil
localTaint	predicate declared in TaintTrackingUtil
localTaintStep	predicate declared in TaintTrackingUtil
location	predicate declared in PointsTo
locationIsInDiff	predicate declared in AlertFilteringImpl
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
lowerBound	predicate declared in SimpleRangeAnalysis
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 BasicBlock
Make	module declared in FileSystem
Make	module declared in Guards
Make	module declared in InlineExpectationsTest
Make	module declared in TestPostProcessing
Make	module declared in Ssa
Make	module declared in TypeFlow
Make	module declared in UniversalFlow
Make	module declared in Xml
MakeSsa	module declared in Make
MakeTest	module declared in Make
MatchValue	class declared in IRGuards
MatchingSuccessor	class declared in SuccessorType
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
MergeTests	module declared in Make
MergeTests3	module declared in Make
MergeTests4	module declared in Make
MergeTests5	module declared in Make
MesonPrivateTestFile	class declared in ConfigurationTestFile
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
ModelValidation	module declared in ExternalFlow
ModelValidation	module
Models	module
ModelsAsData	module
ModelsAsData	module declared in ModelsAsData
ModulusAnalysis	module
ModulusAnalysis	module declared in ModulusAnalysis
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
MustFlow	module 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
matchEdge	member predicate declared in GuardsInput::Case
mayAddNullTerminator	predicate declared in NullTermination
mayBeFromImplicitlyDeclaredFunction	member predicate declared in Call
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 DatasizeofExprOperator
mayBeGloballyImpure	member predicate declared in DatasizeofTypeOperator
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 ConstevalIfStmt
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 LeaveStmt
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 DatasizeofExprOperator
mayBeImpure	member predicate declared in DatasizeofTypeOperator
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 ConstevalIfStmt
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 LeaveStmt
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
modelCoverage	predicate declared in ModelsAsData
modeledTaintStep	predicate declared in TaintTrackingUtil
models	predicate declared in ShowProvenance
models	predicate declared in TranslateModels
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
NestedRequirementExpr	class declared in Concept
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
NoReason	class declared in RangeAnalysis
Node	class declared in Public
Node	class declared in DataFlowUtil
Node0Impl	class declared in DataFlowPrivate
NonCppThrowingFunction	class declared in NonThrowing
NonLocalMemoryAccess	class declared in MemoryAccessKind
NonNanVariableAccess	class declared in NanAnalysis
NonNullExpr	class declared in GuardsInput
NonOverridableMethod	class declared in GuardsInput
NonOverridableMethodCall	class declared in GuardsInput
NonPhiMemoryOperand	class declared in Operand
NonPhiOperand	class declared in Operand
NonThrowing	module
NonTypeTemplateParameter	class declared in TemplateParameter
NonUnionFieldContent	class declared in DataFlowUtil
None	class declared in LocatableOption
None	class declared in Option
None	class declared in OptionWithLocationInfo
Nonstrict	injector declared in RangeAnalysisUtils
NotExpr	class declared in GuardsInput
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
NullnessSuccessor	class declared in SuccessorType
nanExcludingComparison	predicate declared in NanAnalysis
neutralModel	predicate declared in ModelsAsData
noTopLevelCode	member predicate declared in HeaderFile
nodes	predicate declared in MustFlow::Global::PathGraph
nodes	predicate declared in PrintAST
nodes	predicate declared in PrintIR
nonMatchEdge	member predicate declared in GuardsInput::Case
nonNanGuardedVariable	predicate declared in SimpleRangeAnalysis
nonUniqueDef	predicate declared in Make::Consistency
nonUniqueDefReachesEndOfBlock	predicate declared in Make::Consistency
none_	predicate declared in Option
normalTermination	member predicate declared in Compilation
notDominatedByDef	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 Public
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
Option	module
Option	class declared in LocatableOption
Option	module declared in Option
Option	class declared in Option
Option	class declared in OptionWithLocationInfo
OptionWithLocationInfo	module declared in Option
Options	class declared in DefaultOptions
Options	module
OrExpr	class declared in GuardsInput
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 Public
operationIsOffBy	predicate declared in InvalidPointerToDereference
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
ParameterDef	class declared in DefinitionsAndUses
ParameterIndex	class declared in Parameter
ParameterNode	class declared in DataFlowUtil
ParameterNode	class declared in PrintAST
ParameterPosition	class declared in GuardsInput
ParameterizedBarrierGuard	module declared in DataFlowUtil
ParameterizedInstructionBarrierGuard	module declared in DataFlowUtil
ParameterizedValidationWrapper	module declared in Make::Logic
ParenthesisExpr	class declared in Expr
ParenthesizedBracedInitializerList	class declared in Expr
PartialClassTemplateSpecialization	class declared in Class
PartialFlow	module
PartialFlowFunction	class declared in PartialFlow
PathGraph	module declared in MustFlow::Global
PathNode	class declared in MustFlow::Global
PchFile	module
PchFile	class declared in PchFile
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 SsaImpl
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
PointerConstantInstruction	class declared in Instruction
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
PostUpdateNode	class declared in Public
PostUpdateNode	class declared in DataFlowUtil
PostUpdateNodeImpl	class declared in DataFlowNodes
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
PreGuard	class declared in Make
PreObjectInitializerNode	class declared in DataFlowUtil
PrefixCrementOperation	class declared in ArithmeticOperation
PrefixDecrExpr	class declared in ArithmeticOperation
PrefixIncrExpr	class declared in ArithmeticOperation
PreprocBlock	module
Preprocessor	module
PreprocessorBlock	class declared in PreprocBlock
PreprocessorBranch	class declared in Preprocessor
PreprocessorBranchDirective	class declared in Preprocessor
PreprocessorDirective	class declared in Preprocessor
PreprocessorElif	class declared in Preprocessor
PreprocessorElifdef	class declared in Preprocessor
PreprocessorElifndef	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
ProductFlowUtils	module
ProvenancePathGraph	module
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
Public	module declared in DataFlowNodes
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
parameterMatch	predicate declared in GuardsInput
parameterNeverEscapes	member predicate declared in AliasFunction
parameterNode	predicate declared in Public
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
phiReadWithoutTwoPriorRefs	predicate declared in Make::Consistency
phiWithoutTwoPriorRefs	predicate declared in Make::Consistency
phi_node	member predicate declared in SsaHelper
pointer	predicate declared in PointsTo
pointerAddInstructionHasBounds	predicate declared in AllocationToInvalidPointer
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	member predicate declared in Make::BasicBlock
postDominates	predicate declared in Dominance
postDominates	member predicate declared in IRBlock
postDominates	member predicate declared in IRCfg::BasicBlock
potentiallyOverflowingExpr	predicate declared in RangeStage
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
queryRelations	predicate declared in TestPostProcessing
queryResults	predicate declared in TestPostProcessing

R

RShiftExpr	class declared in BitwiseOperation
RValueReferenceType	class declared in Type
RangeAnalysis	module
RangeAnalysis	module
RangeAnalysisUtil	module
RangeAnalysisUtils	module
RangeBasedForStmt	class declared in Stmt
RangeSSA	module
RangeSsa	class declared in RangeSSA
RangeSsaDefinition	class declared in RangeSSA
RangeStage	module declared in RangeAnalysis
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
Reason	class declared in RangeAnalysis
RecoverableAssert	class declared in Assertions
RedoSuccessor	class declared in SuccessorType
Ref	class declared in Make::TestAdjacentRefs
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
RelationStrictness	class declared in RangeAnalysisUtils
RelationalInstruction	class declared in Instruction
RelationalOpcode	class declared in Opcode
RelationalOperation	class declared in ComparisonOperation
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
RequirementExpr	class declared in Concept
RequiresExpr	class declared in Concept
RequiresExprNode	class declared in PrintAST
RequiresExprParametersNode	class declared in PrintAST
Resolve	module declared in Make::Folder
ResolveCall	module
RetrySuccessor	class declared in SuccessorType
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
ReturnSuccessor	class declared in SuccessorType
ReturnValue	class declared in Opcode
ReturnValueInstruction	class declared in Instruction
ReturnVoid	class declared in Opcode
ReturnVoidInstruction	class declared in Instruction
ReuseExpr	class declared in Expr
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 DefOrUse
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
readWithMultiplePriorRefs	predicate declared in Make::Consistency
readWithoutDef	predicate declared in Make::Consistency
readWithoutPriorRef	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
repeatStars	predicate declared in DataFlowUtil
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 Make::Folder::Resolve
resolve	predicate declared in PointsTo
resolveCall	predicate declared in ResolveCall
resolveToSet	member predicate declared in TargetPointsToExpr
resolveTypedefs	member predicate declared in ArrayType
resolveTypedefs	member predicate declared in Decltype
resolveTypedefs	member predicate declared in IntrinsicTransformedType
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 TypeofType
resolveTypedefs	member predicate declared in TypedefType
resolvedCall	predicate declared in CallGraph
restrictAlertsTo	predicate declared in AlertFiltering
restrictAlertsToExactLocation	predicate declared in AlertFiltering
resultRelations	predicate declared in TestPostProcessing::Make
resultRelations	predicate declared in TestPostProcessing::TranslateProvenanceResults
results	predicate declared in TestPostProcessing::Make
results	predicate declared in TestPostProcessing::TranslateProvenanceResults
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
ScalableVectorCount	class declared in Type
ScalableVectorType	class declared in Type
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
SehExceptionEdge	class declared in EdgeKind
SemCondReason	class declared in RangeStage
SemNoReason	class declared in RangeStage
SemReason	class declared in RangeStage
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
ShowProvenance	module declared in ProvenancePathGraph
SideEffect	module
SideEffectFunction	class declared in SideEffect
SideEffectInstruction	class declared in Instruction
SideEffectOpcode	class declared in Opcode
SideEffectOperand	class declared in Operand
SignedCharType	class declared in Type
SimpleRangeAnalysis	module
SimpleRangeAnalysis	module
SimpleRangeAnalysisInternal	module declared in SimpleRangeAnalysis
SimpleRequirementExpr	class declared in Concept
SizeBarrier	module declared in ProductFlowUtils
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
SizeofPackExprOperator	class declared in Cast
SizeofPackOperator	class declared in Cast
SizeofPackTypeOperator	class declared in Cast
SizeofTypeOperator	class declared in Cast
Snprintf	class declared in FormattingFunction
SnprintfBW	class declared in BufferWrite
Snscanf	class declared in Scanf
Some	class declared in LocatableOption
Some	class declared in Option
Some	class declared in OptionWithLocationInfo
Spaceship	class declared in Opcode
SpaceshipExpr	class declared in Expr
SpaceshipInstruction	class declared in Instruction
SpecialNameQualifyingElement	class declared in NameQualifiers
SpecifiedType	class declared in Type
Specifier	module
Specifier	class declared in Specifier
SpeculativeGlobal	module declared in TaintFlowMake
SpeculativeGlobal	module declared in TaintFlowMakeOverlay
SpeculativeGlobalWithState	module declared in TaintFlowMake
SpeculativeGlobalWithState	module declared in TaintFlowMakeOverlay
SprintfBW	class declared in BufferWrite
Sql	module
SqlBarrierFunction	class declared in Sql
SqlExecutionFunction	class declared in Sql
Ssa	module declared in DataFlowUtil
Ssa	module
SsaDefinition	class declared in SSA
SsaDefinition	class declared in Make::MakeSsa
SsaExplicitWrite	class declared in Make::MakeSsa
SsaHelper	class declared in SSAUtils
SsaImplicitEntryDefinition	class declared in Make::MakeSsa
SsaImplicitWrite	class declared in Make::MakeSsa
SsaParameterInit	class declared in Make::MakeSsa
SsaPhiDefinition	class declared in Make::MakeSsa
SsaSynthReadNode	class declared in Make::DataFlowIntegration
SsaUncertainWrite	class declared in Make::MakeSsa
SsaWriteDefinition	class declared in Make::MakeSsa
Sscanf	class declared in Scanf
Ssize_t	class declared in CommonType
SslContextCallGlobal	module declared in BoostorgAsio
SslContextClass	class declared in BoostorgAsio
SslContextMethod	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
StandardSsa	class declared in SSA
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
StrcatFunction	class declared in Strcat
Strcpy	module
StrcpyFunction	class declared in Strcpy
Strict	injector declared in RangeAnalysisUtils
StringAnalysis	module
StringConcatenation	module
StringConcatenation	class declared in StringConcatenation
StringConstant	class declared in Opcode
StringConstantInstruction	class declared in Instruction
StringLiteral	class declared in Literal
StringLiteralNode	class declared in PrintAST
StrlcatFunction	class declared in Strcat
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
SuccessorType	module
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
sehExceptionEdge	predicate declared in EdgeKind
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
shouldPrintDeclaration	member predicate declared in PrintAstConfiguration
shouldPrintDeclaration	member predicate declared in PrintIRConfiguration
shouldPrintInstruction	member predicate declared in IRPropertyProvider
shouldPrintOperand	member predicate declared in IRPropertyProvider
simpleLocalFlowStep	predicate declared in DataFlowUtil
sinkModel	predicate declared in ModelsAsData
sinkNode	predicate declared in ExternalFlow
some	predicate declared in LocatableOption
some	predicate declared in Option
some	predicate declared in OptionWithLocationInfo
sourceModel	predicate declared in ModelsAsData
sourceNode	predicate declared in ExternalFlow
specsAreKnown	member predicate declared in FormatLiteral
speculativeTaintStep	predicate declared in TaintTrackingUtil
sqlArgument	member predicate declared in SecurityOptions
sqlArgument	predicate declared in Security
sqlArgument	member predicate declared in CustomSecurityOptions
ssaControls	predicate declared in Make::Logic
ssaControlsBranchEdge	predicate declared in Make::Logic
ssaDefReachesRead	predicate declared in Make
ssaDefinitionReachesEndOfBB	member predicate declared in SsaHelper
ssa_defn	member predicate declared in SsaHelper
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	member predicate declared in Make::BasicBlock
strictlyDominates	predicate declared in Dominance
strictlyDominates	predicate declared in FlowAfterFree
strictlyDominates	member predicate declared in IRBlock
strictlyDominates	member predicate declared in IRCfg::BasicBlock
strictlyPostDominates	member predicate declared in Make::BasicBlock
strictlyPostDominates	predicate declared in Dominance
strictlyPostDominates	predicate declared in FlowAfterFree
strictlyPostDominates	member predicate declared in IRBlock
strictlyPostDominates	member predicate declared in IRCfg::BasicBlock
string	primitive type
stripTopLevelSpecifiers	member predicate declared in Decltype
stripTopLevelSpecifiers	member predicate declared in IntrinsicTransformedType
stripTopLevelSpecifiers	member predicate declared in SpecifiedType
stripTopLevelSpecifiers	member predicate declared in Type
stripTopLevelSpecifiers	member predicate declared in TypeofType
stripTopLevelSpecifiers	member predicate declared in TypedefType
stripType	member predicate declared in Decltype
stripType	member predicate declared in DerivedType
stripType	member predicate declared in IntrinsicTransformedType
stripType	member predicate declared in Type
stripType	member predicate declared in TypeofType
stripType	member predicate declared in TypedefType
subsumes	member predicate declared in Location
successors_extended	predicate declared in ControlFlowGraph
summaryModel	predicate declared in ExternalFlow
summaryModel	predicate declared in ModelsAsData

T

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
TRelationStrictness	datatype declared in RangeAnalysisUtils
TTempVariableTag	datatype declared in TempVariableTag
TValueNumber	datatype declared in ValueNumberingInternal
Taint	module
TaintFlowMake	module declared in TaintTracking
TaintFlowMakeOverlay	module declared in TaintTracking
TaintFunction	class declared in Taint
TaintInheritingContent	class declared in FlowSteps
TaintTracking	module
TaintTracking	module
TaintTracking	module
TaintTracking	module
TaintTracking	module declared in TaintTracking
TaintTracking	module declared in TaintTracking
TaintTracking	module declared in TaintTracking
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	module
TemplateTemplateParameter	class declared in TemplateParameter
TemplateTemplateParameterInstantiation	class declared in TemplateParameter
TemplateVariable	class declared in Variable
TemporaryObjectExpr	class declared in Cast
TestAdjacentRefs	module declared in Make
TestFile	module
TestFile	class declared in TestFile
TestImpl2	module declared in TestPostProcessing::Make
TestPostProcessing	module declared in InlineExpectationsTest
TestPostProcessing	module declared in ProvenancePathGraph
TextLiteral	class declared in Literal
ThisArgumentOperand	class declared in Operand
ThisExpr	class declared in Expr
ThisParameterInstructionNode	class declared in Public
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
Throwing	module
TimeFieldsDayFieldAccess	class declared in DateTime
TimeFieldsMonthFieldAccess	class declared in DateTime
TimeFieldsYearFieldAccess	class declared in DateTime
Top	class declared in definitions
TopLevelFunction	class declared in Function
TranslateModels	module declared in ProvenancePathGraph
TranslateProvenanceResults	module declared in TestPostProcessing
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
TypeFlow	module
TypeLibraryImport	class declared in Include
TypeMention	class declared in Type
TypeName	class declared in Access
TypeRequirementExpr	class declared in Concept
TypeTemplateParameter	class declared in TemplateParameter
TypeTrack	module declared in TypeTracking
TypeTracking	module
TypeTracking	module declared in TypeTracking
TypedOperand	class declared in Operand
TypedefType	module
TypedefType	class declared in TypedefType
Typeid	class declared in Opcode
TypeidExpr	class declared in Opcode
TypeidExprInstruction	class declared in Instruction
TypeidInstruction	class declared in Instruction
TypeidOperator	class declared in Cast
TypeidType	class declared in Opcode
TypeidTypeInstruction	class declared in Instruction
TypeofExprType	class declared in Type
TypeofType	class declared in Type
TypeofTypeType	class declared in Type
tagIsIgnored	predicate declared in Make::MergeTests
terminatesInBreakStmt	member predicate declared in SwitchCase
terminatesInReturnStmt	member predicate declared in SwitchCase
terminatesInThrowStmt	member predicate declared in SwitchCase
testFailures	predicate declared in Make::MakeTest
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 Make::BasicBlock
toString	member predicate declared in BlockStmt
toString	member predicate declared in Boolean
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 BuiltInIsTrivial
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 BuiltInOperationBuiltInIsCorrespondingMember
toString	member predicate declared in BuiltInOperationBuiltInIsPointerInterconvertible
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 BuiltInOperationHasAttribute
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 BuiltInOperationIsAssignableNoPreconditionCheck
toString	member predicate declared in BuiltInOperationIsBaseOf
toString	member predicate declared in BuiltInOperationIsBitwiseCloneable
toString	member predicate declared in BuiltInOperationIsBoundedArray
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 BuiltInOperationIsConvertible
toString	member predicate declared in BuiltInOperationIsConvertibleTo
toString	member predicate declared in BuiltInOperationIsCorrespondingMember
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 BuiltInOperationIsInvocable
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 BuiltInOperationIsNothrowConvertible
toString	member predicate declared in BuiltInOperationIsNothrowDestructible
toString	member predicate declared in BuiltInOperationIsNothrowInvocable
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 BuiltInOperationIsPointerInterconvertibleWithClass
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 BuiltInOperationIsReferenceable
toString	member predicate declared in BuiltInOperationIsRvalueReference
toString	member predicate declared in BuiltInOperationIsSame
toString	member predicate declared in BuiltInOperationIsSameAs
toString	member predicate declared in BuiltInOperationIsScalar
toString	member predicate declared in BuiltInOperationIsScopedEnum
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 BuiltInOperationIsTriviallyCopyAssignable
toString	member predicate declared in BuiltInOperationIsTriviallyCopyable
toString	member predicate declared in BuiltInOperationIsTriviallyDestructible
toString	member predicate declared in BuiltInOperationIsTriviallyEqualityComparable
toString	member predicate declared in BuiltInOperationIsTriviallyRelocatable
toString	member predicate declared in BuiltInOperationIsUnboundedArray
toString	member predicate declared in BuiltInOperationIsUnion
toString	member predicate declared in BuiltInOperationIsUnsigned
toString	member predicate declared in BuiltInOperationIsValidWinRtType
toString	member predicate declared in BuiltInOperationIsValueClass
toString	member predicate declared in BuiltInOperationIsVoid
toString	member predicate declared in BuiltInOperationIsVolatile
toString	member predicate declared in BuiltInOperationIsWinClass
toString	member predicate declared in BuiltInOperationIsWinInterface
toString	member predicate declared in BuiltInOperationReferenceBindsToTemporary
toString	member predicate declared in BuiltInOperationReferenceConstructsFromTemporary
toString	member predicate declared in BuiltInOperationReferenceCovertsFromTemporary
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 ConstructorBaseInit
toString	member predicate declared in ConstructorFieldInit
toString	member predicate declared in ConstructorInit
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 DatasizeofExprOperator
toString	member predicate declared in DatasizeofTypeOperator
toString	member predicate declared in DynamicCast
toString	member predicate declared in ReinterpretCast
toString	member predicate declared in SizeofExprOperator
toString	member predicate declared in SizeofPackExprOperator
toString	member predicate declared in SizeofPackTypeOperator
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 CompoundRequirementExpr
toString	member predicate declared in ConceptIdExpr
toString	member predicate declared in NestedRequirementExpr
toString	member predicate declared in RequiresExpr
toString	member predicate declared in CppType
toString	member predicate declared in Public::Node
toString	member predicate declared in DataFlowCallable
toString	member predicate declared in DataFlowType
toString	member predicate declared in Node0Impl
toString	member predicate declared in Content
toString	member predicate declared in Content
toString	member predicate declared in ContentSet
toString	member predicate declared in ContentSet
toString	member predicate declared in DefinitionByReferenceNode
toString	member predicate declared in ElementContent
toString	member predicate declared in ExplicitParameterNode
toString	member predicate declared in ExprNode
toString	member predicate declared in FieldContent
toString	member predicate declared in FieldContent
toString	member predicate declared in ImplicitParameterNode
toString	member predicate declared in Node
toString	member predicate declared in NonUnionFieldContent
toString	member predicate declared in PreConstructorInitThis
toString	member predicate declared in PreObjectInitializerNode
toString	member predicate declared in RefParameterFinalValueNode
toString	member predicate declared in 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 CppExceptionEdge
toString	member predicate declared in DefaultEdge
toString	member predicate declared in FalseEdge
toString	member predicate declared in GotoEdge
toString	member predicate declared in SehExceptionEdge
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 C11GenericExpr
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 ReuseExpr
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 Make::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 Make::GuardValue
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 IRReturnVariable
toString	member predicate declared in IRThisVariable
toString	member predicate declared in IRUserVariable
toString	member predicate declared in Import
toString	member predicate declared in Include
toString	member predicate declared in IncludeNext
toString	member predicate declared in TypeLibraryImport
toString	member predicate declared in Initializer
toString	member predicate declared in Make::MakeTest::ActualTestResult
toString	member predicate declared in Make::MakeTest::FailureLocatable
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 GroupedMemoryAccess
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 MustFlow::Global::PathNode
toString	member predicate declared in NameQualifier
toString	member predicate declared in SpecialNameQualifyingElement
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 UsingEnumDeclarationEntry
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::Spaceship
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::TypeidExpr
toString	member predicate declared in Opcode::TypeidType
toString	member predicate declared in Opcode::Uninitialized
toString	member predicate declared in Opcode::UninitializedGroup
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::VirtualDeleteFunctionAddress
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 Option::Option
toString	member predicate declared in Overlap
toString	member predicate declared in PchFile
toString	member predicate declared in PreprocessorBlock
toString	member predicate declared in Embed
toString	member predicate declared in PreprocessorDirective
toString	member predicate declared in PreprocessorElif
toString	member predicate declared in PreprocessorElifdef
toString	member predicate declared in PreprocessorElifndef
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 ConceptIdExprArgumentsNode
toString	member predicate declared in ConceptIdExprTypeArgumentNode
toString	member predicate declared in ConstructorInitializersNode
toString	member predicate declared in DestructorDestructionsNode
toString	member predicate declared in FunctionParametersNode
toString	member predicate declared in PrintAstConfiguration
toString	member predicate declared in PrintAstNode
toString	member predicate declared in RequiresExprParametersNode
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 Bound
toString	member predicate declared in CondReason
toString	member predicate declared in NoReason
toString	member predicate declared in RangeStage::SemCondReason
toString	member predicate declared in RangeStage::SemNoReason
toString	member predicate declared in RangeStage::SemReason
toString	member predicate declared in Reason
toString	member predicate declared in ValueNumberBound
toString	member predicate declared in ZeroBound
toString	member predicate declared in RelationStrictness
toString	member predicate declared in RangeSsaDefinition
toString	member predicate declared in SsaDefinition
toString	member predicate declared in SsaHelper
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::MakeSsa::SsaDefinition
toString	member predicate declared in Make::MakeSsa::SsaImplicitEntryDefinition
toString	member predicate declared in Make::MakeSsa::SsaImplicitWrite
toString	member predicate declared in Make::MakeSsa::SsaParameterInit
toString	member predicate declared in Make::MakeSsa::SsaPhiDefinition
toString	member predicate declared in Make::PhiNode
toString	member predicate declared in Make::TestAdjacentRefs::Ref
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 ConstevalIfStmt
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 LeaveStmt
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 BooleanSuccessor
toString	member predicate declared in BreakSuccessor
toString	member predicate declared in ConditionKind
toString	member predicate declared in ContinueSuccessor
toString	member predicate declared in DirectSuccessor
toString	member predicate declared in EmptinessSuccessor
toString	member predicate declared in ExceptionSuccessor
toString	member predicate declared in ExitSuccessor
toString	member predicate declared in GotoSuccessor
toString	member predicate declared in MatchingSuccessor
toString	member predicate declared in NullnessSuccessor
toString	member predicate declared in RedoSuccessor
toString	member predicate declared in RetrySuccessor
toString	member predicate declared in ReturnSuccessor
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 IntrinsicTransformedType
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 TypeofType
toString	member predicate declared in Unit
toString	member predicate declared in ValueNumber
toString	member predicate declared in ParameterDeclarationEntry
toString	member predicate declared in Void
toStringImpl	member predicate declared in IndirectArgumentOutNode
toStringImpl	member predicate declared in Public::Node
toStringImpl	member predicate declared in Public::ThisParameterInstructionNode
toStringImpl	member predicate declared in Public::VariableNode
toStringImpl	member predicate declared in Node0Impl
trailingPadding	member predicate declared in PaddedType
translateModels	predicate declared in TranslateModels
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
UninitializedGroup	class declared in Opcode
UninitializedGroupInstruction	class declared in Instruction
UninitializedInstruction	class declared in Instruction
UninitializedNode	class declared in Public
UninitializedNode	class declared in DataFlowUtil
Union	module
Union	class declared in Union
UnionContent	class declared in DataFlowUtil
Unit	module
Unit	class declared in Unit
UniversalFlow	module
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
Use	class declared in DefinitionsAndUses
UseAfterFree	module
UserDefinedFormattingFunction	class declared in Printf
UserDefinedLiteral	class declared in Function
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
UsingEnumDeclarationEntry	class declared in Namespace
UuidofOperator	class declared in Cast
underlyingElement	predicate declared in Element
uninitializedNode	predicate declared in Public
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
upperBound	predicate declared in SimpleRangeAnalysis
upperBoundMayBeWidened	predicate declared in SimpleRangeAnalysis
useOfVar	predicate declared in DefinitionsAndUses
useOfVarActual	predicate declared in DefinitionsAndUses
useSoundEscapeAnalysis	member predicate declared in IREscapeAnalysisConfiguration
useUsePair	predicate declared in DefinitionsAndUses
uselessPhiNode	predicate declared in Make::Consistency
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
ValidationWrapper	module declared in Make::Logic
ValueFieldAccess	class declared in Access
ValueFlowAnalysis	class declared in Printf
ValueNumber	class declared in ValueNumbering
ValueNumberBound	class declared in RangeAnalysis
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 Public
VariableTemplateInstantiation	class declared in Variable
VariableTemplateSpecialization	class declared in Variable
VectorAggregateLiteral	class declared in Literal
VectorFillOperation	class declared in BuiltInOperations
VirtualBaseClass	class declared in Class
VirtualClassDerivation	class declared in Class
VirtualDeleteFunctionAddress	class declared in Opcode
VirtualDeleteFunctionAddressInstruction	class declared in Instruction
VirtualDispatch	module declared in VirtualDispatchPrototype
VirtualDispatchPrototype	module
VirtualFunction	class declared in MemberFunction
VlaDeclStmt	class declared in Stmt
VlaDimensionStmt	class declared in Stmt
Void	module
Void	class declared in Void
VoidContext	module
VoidConversion	class declared in Cast
VoidPointerType	class declared in CommonType
VoidType	class declared in Type
validCheckExpr	predicate declared in Nullness
valueControls	member predicate declared in Make::Logic::Guard
valueControlsBranchEdge	member predicate declared in Make::Logic::Guard
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 Public
variadicFormatter	predicate declared in Printf
viableTarget	member predicate declared in AdditionalCallTarget
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
widenLowerBound	predicate declared in SimpleRangeAnalysis
widenUpperBound	predicate declared in SimpleRangeAnalysis
wrapperFunction	member predicate declared in FunctionWithWrappers

X

XML	module
Xml	module

Y

YearFieldAccess

class declared in DateTime

Z

Zero	class declared in Nullness
ZeroBound	class declared in RangeAnalysis
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
@builtinhasattribute	branch type
@builtiniscorrespondingmember	branch type
@builtinispointerinterconvertiblewithclass	branch type
@builtinshuffle	branch type
@builtinshufflevector	branch type
@builtintype	case type
@c11_generic	branch 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
@compound_requirement	branch type
@concept_id	branch type
@concept_template	type
@condition_decl	branch type
@conditionalexpr	branch type
@conjugation	branch type
@const_cast	branch type
@conversion	union type
@crement_expr	union type
@ctordelegatinginit	branch type
@ctordirectinit	branch type
@ctorfieldinit	branch type
@ctorinit	union type
@ctorvirtualinit	branch type
@datasizeof	branch type
@declaration	union type
@declspec	branch 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
@fjaddexpr	branch type
@fjsubexpr	branch type
@foldexpr	branch type
@frienddecl	type
@fun_decl	type
@funbindexpr	union type
@function	case 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
@isassignablenopreconditioncheck	branch type
@isbaseofexpr	branch type
@isbitwisecloneable	branch type
@isboundedarray	branch type
@isclassexpr	branch type
@iscompletetype	branch type
@iscompound	branch type
@isconst	branch type
@isconstructibleexpr	branch type
@isconvertible	branch type
@isconvtoexpr	branch type
@iscorrespondingmember	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
@isinvocable	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
@isnothrowconvertible	branch type
@isnothrowdestructibleexpr	branch type
@isnothrowinvocable	branch type
@isobject	branch type
@ispodexpr	branch type
@ispointer	branch type
@ispointerinterconvertiblebaseof	branch type
@ispointerinterconvertiblewithclass	branch type
@ispolyexpr	branch type
@isrefarrayexpr	branch type
@isrefclassexpr	branch type
@isreference	branch type
@isreferenceable	branch type
@isrvaluereference	branch type
@issame	branch type
@issameas	branch type
@isscalar	branch type
@isscopedenum	branch type
@issealedexpr	branch type
@issigned	branch type
@issimplevalueclassexpr	branch type
@isstandardlayoutexpr	branch type
@istrivialexpr	branch type
@istriviallyassignableexpr	branch type
@istriviallyconstructibleexpr	branch type
@istriviallycopyableexpr	branch type
@istriviallycopyassignable	branch type
@istriviallydestructibleexpr	branch type
@istriviallyequalitycomparable	branch type
@istriviallyrelocatable	branch type
@isunboundedarray	branch type
@isunionexpr	branch type
@isunsigned	branch type
@isvalidwinrttype	branch type
@isvalueclassexpr	branch type
@isvoid	branch type
@isvolatile	branch type
@iswinclass	branch type
@iswininterface	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_default	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
@nested_requirement	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
@pch	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_elifdef	branch type
@ppd_elifndef	branch type
@ppd_else	branch type
@ppd_embed	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_ms_import	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
@referencebindstotemporary	branch type
@referenceconstructsfromtemporary	branch type
@referenceconvertsfromtemporary	branch type
@reinterpret_cast	branch type
@rel_op_expr	union type
@remexpr	branch type
@requires_expr	branch type
@reuseexpr	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
@specialnamequalifyingelement	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_consteval_or_not_consteval_if	union 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_leave	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	case type
@using	case 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
@xorexpr	branch type