Index

A

ASTValueNumbering	module
AV_Rule_166	module
AbstractClass	class declared in Class
AbstractClass	characteristic predicate declared in AbstractClass
Access	class declared in Access
Access	module
AccessHolder	class declared in Declaration
AccessSpecifier	class declared in Specifier
AccessSpecifier	characteristic predicate declared in AccessSpecifier
AddExpr	class declared in ArithmeticOperation
AdditionalControlFlowEdge	class declared in ControlFlowGraph
AddressOfExpr	class declared in Expr
AggregateLiteral	class declared in Literal
Alias	module
AliasFunction	class declared in Alias
AlignAs	class declared in Specifier
AlignofExprOperator	class declared in Cast
AlignofExprOperator	characteristic predicate declared in AlignofExprOperator
AlignofOperator	class declared in Cast
AlignofTypeOperator	class declared in Cast
AlignofTypeOperator	characteristic predicate declared in AlignofTypeOperator
Alloc	module
Allocation	module
AllocationExpr	class declared in Allocation
AllocationFunction	class declared in Allocation
AnalysedExpr	class declared in Nullness
AnalysedString	class declared in StringAnalysis
Architecture	characteristic predicate declared in Architecture
Architecture	class declared in Padding
ArithmeticConversion	class declared in Cast
ArithmeticConversion	characteristic predicate declared in ArithmeticConversion
ArithmeticOperation	module
ArithmeticType	class declared in Type
ArithmeticType	characteristic predicate declared in ArithmeticType
ArrayAggregateLiteral	class declared in Literal
ArrayAggregateLiteral	characteristic predicate declared in ArrayAggregateLiteral
ArrayExecFunctionCall	class declared in CommandExecution
ArrayExecFunctionCall	characteristic predicate declared in ArrayExecFunctionCall
ArrayExpr	class declared in Access
ArrayExprBA	class declared in BufferAccess
ArrayExprBA	characteristic predicate declared in ArrayExprBA
ArrayFunction	class declared in ArrayFunction
ArrayFunction	module
ArrayOrVectorAggregateLiteral	class declared in Literal
ArrayOrVectorAggregateLiteral	characteristic predicate declared in ArrayOrVectorAggregateLiteral
ArrayToPointerConversion	class declared in Cast
ArrayType	class declared in Type
ArrayType	characteristic predicate declared in ArrayType
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	class declared in Assignment
Assignment	module
AssumeExpr	class declared in Expr
AstNode	class declared in PrintAST
AstNode	characteristic predicate declared in AstNode
Attribute	class declared in Specifier
AttributeArgument	class declared in Specifier
AttributeFormattingFunction	characteristic predicate declared in AttributeFormattingFunction
AttributeFormattingFunction	class declared in Printf
AutoType	class declared in Type
AutoType	characteristic predicate declared in AutoType
AutogeneratedFile	class declared in AutogeneratedFile
AutogeneratedFile	characteristic predicate declared in AutogeneratedFile
AutogeneratedFile	module
a	field declared in SALParameter
abs	primitive predicate declared in int
abs	primitive predicate declared in float
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
acos	primitive predicate declared in int
acos	primitive predicate declared in float
affectedByMacro	predicate declared in Macro
aggInitExprsUpTo	predicate declared in HashCons
aggregateLiteralChild	predicate declared in PointsTo
alignment	member predicate declared in Architecture
allCalls	predicate declared in CallGraph
allCharactersString	member predicate declared in XMLParent
allocExpr	predicate declared in NewDelete
allocExprOrIndirect	predicate declared in NewDelete
allocMayBeFreed	predicate declared in MemoryFreed
allocReaches	predicate declared in NewDelete
allocateDescriptorCall	predicate declared in PointsTo
allowHeterogeneousBitfields	member predicate declared in Architecture
allowHeterogeneousBitfields	member predicate declared in UnixArchitecture
allowHeterogeneousBitfields	member predicate declared in WindowsArchitecture
allowImplicitRead	member predicate declared in DataFlow::Configuration
alwaysCheckReturnValue	member predicate declared in Options
alwaysCheckReturnValue	predicate declared in Options
alwaysCheckReturnValue	member predicate declared in CustomOptions
analyzableExpr	predicate declared in HashCons
anyFileCompiledAsMicrosoft	predicate declared in File
anythingPointsTo	predicate declared in PointsTo
argv	predicate declared in Security
arrayType	field declared in ArrayAggregateLiteral
asConvertedExpr	member predicate declared in Node
asDefiningArgument	member predicate declared in Node
asExpr	member predicate declared in Node
asInstruction	member predicate declared in Node
asOperand	member predicate declared in Node
asParameter	member predicate declared in Node
asPartialDefinition	member predicate declared in Node
asVariable	member predicate declared in Node
asin	primitive predicate declared in int
asin	primitive predicate declared in float
assignedVariable	member predicate declared in ZeroAssignment
ast	field declared in BaseAstNode
ast	field declared in DeclarationEntryNode
ast	field declared in VariableDeclarationEntryNode
atan	primitive predicate declared in int
atan	primitive predicate declared in float

B

BCopyBA	class declared in BufferAccess
BCopyBA	characteristic predicate declared in BCopyBA
BadIncludeGuard	class declared in MultipleInclusion
BaseAstNode	class declared in PrintAST
BaseClassConversion	class declared in Cast
BaseClassConversion	characteristic predicate declared in BaseClassConversion
BasicBlock	class declared in BasicBlocks
BasicBlock	characteristic predicate declared in BasicBlock
BasicBlocks	module
BasicOStreamCall	class declared in FileWrite
BasicOStreamCall	characteristic predicate declared in BasicOStreamCall
BasicOStreamClass	class declared in FileWrite
BasicOStreamClass	characteristic predicate declared in BasicOStreamClass
BinaryArithmeticOperation	class declared in ArithmeticOperation
BinaryBitwiseOperation	class declared in BitwiseOperation
BinaryFloatingPointType	class declared in Type
BinaryFloatingPointType	characteristic predicate declared in BinaryFloatingPointType
BinaryLogicalOperation	class declared in LogicalOperation
BinaryOperation	class declared in Expr
BitField	class declared in Field
BitField	characteristic predicate declared in BitField
BitwiseAndExpr	class declared in BitwiseOperation
BitwiseOperation	module
BitwiseOrExpr	class declared in BitwiseOperation
BitwiseXorExpr	class declared in BitwiseOperation
Block	module
BlockExpr	class declared in Expr
BlockStmt	class declared in Block
BlockType	characteristic predicate declared in BlockType
BlockType	class declared in Type
BoolConversion	class declared in Cast
BoolConversion	characteristic predicate declared in BoolConversion
BoolType	class declared in Type
BoolType	characteristic predicate declared in BoolType
BoostorgAsio	module declared in protocols
BreakStmt	class declared in Stmt
Buffer	module
BufferAccess	class declared in BufferAccess
BufferAccess	module
BufferWrite	class declared in BufferWrite
BufferWrite	module
BufferWriteCall	class declared in BufferWrite
BufferWriteEstimationReason	class declared in Printf
BuiltInChooseExpr	class declared in BuiltInOperations
BuiltInComplexOperation	class declared in BuiltInOperations
BuiltInFunction	class declared in Function
BuiltInIntAddr	class declared in BuiltInOperations
BuiltInNoOp	class declared in BuiltInOperations
BuiltInOperation	class declared in BuiltInOperations
BuiltInOperationBuiltInAddressOf	class declared in BuiltInOperations
BuiltInOperationBuiltInConvertVector	class declared in BuiltInOperations
BuiltInOperationBuiltInOffsetOf	class declared in BuiltInOperations
BuiltInOperationBuiltInShuffleVector	class declared in BuiltInOperations
BuiltInOperationBuiltInTypesCompatibleP	class declared in BuiltInOperations
BuiltInOperationHasAssign	class declared in BuiltInOperations
BuiltInOperationHasCopy	class declared in BuiltInOperations
BuiltInOperationHasFinalizer	class declared in BuiltInOperations
BuiltInOperationHasNoThrowAssign	class declared in BuiltInOperations
BuiltInOperationHasNoThrowConstructor	class declared in BuiltInOperations
BuiltInOperationHasNoThrowCopy	class declared in BuiltInOperations
BuiltInOperationHasNothrowMoveAssign	class declared in BuiltInOperations
BuiltInOperationHasTrivialAssign	class declared in BuiltInOperations
BuiltInOperationHasTrivialConstructor	class declared in BuiltInOperations
BuiltInOperationHasTrivialCopy	class declared in BuiltInOperations
BuiltInOperationHasTrivialDestructor	class declared in BuiltInOperations
BuiltInOperationHasTrivialMoveAssign	class declared in BuiltInOperations
BuiltInOperationHasTrivialMoveConstructor	class declared in BuiltInOperations
BuiltInOperationHasUserDestructor	class declared in BuiltInOperations
BuiltInOperationHasVirtualDestructor	class declared in BuiltInOperations
BuiltInOperationIsAbstract	class declared in BuiltInOperations
BuiltInOperationIsBaseOf	class declared in BuiltInOperations
BuiltInOperationIsClass	class declared in BuiltInOperations
BuiltInOperationIsConstructible	class declared in BuiltInOperations
BuiltInOperationIsConvertibleTo	class declared in BuiltInOperations
BuiltInOperationIsDelegate	class declared in BuiltInOperations
BuiltInOperationIsDestructible	class declared in BuiltInOperations
BuiltInOperationIsEmpty	class declared in BuiltInOperations
BuiltInOperationIsEnum	class declared in BuiltInOperations
BuiltInOperationIsFinal	class declared in BuiltInOperations
BuiltInOperationIsInterfaceClass	class declared in BuiltInOperations
BuiltInOperationIsLiteralType	class declared in BuiltInOperations
BuiltInOperationIsNothrowAssignable	class declared in BuiltInOperations
BuiltInOperationIsNothrowConstructible	class declared in BuiltInOperations
BuiltInOperationIsNothrowDestructible	class declared in BuiltInOperations
BuiltInOperationIsPod	class declared in BuiltInOperations
BuiltInOperationIsPolymorphic	class declared in BuiltInOperations
BuiltInOperationIsRefArray	class declared in BuiltInOperations
BuiltInOperationIsRefClass	class declared in BuiltInOperations
BuiltInOperationIsSealed	class declared in BuiltInOperations
BuiltInOperationIsSimpleValueClass	class declared in BuiltInOperations
BuiltInOperationIsStandardLayout	class declared in BuiltInOperations
BuiltInOperationIsTriviallyAssignable	class declared in BuiltInOperations
BuiltInOperationIsTriviallyConstructible	class declared in BuiltInOperations
BuiltInOperationIsTriviallyCopyable	class declared in BuiltInOperations
BuiltInOperationIsTriviallyDestructible	class declared in BuiltInOperations
BuiltInOperationIsUnion	class declared in BuiltInOperations
BuiltInOperationIsValueClass	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
BuiltInVarArgsList	characteristic predicate declared in BuiltInVarArgsList
BuiltInVarArgsStart	class declared in BuiltInOperations
barrierSqlArgument	member predicate declared in SqlBarrierFunction
base	field declared in FloatingPointType
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
bitAnd	primitive predicate declared in int
bitNot	primitive predicate declared in int
bitOr	primitive predicate declared in int
bitShiftLeft	primitive predicate declared in int
bitShiftRight	primitive predicate declared in int
bitShiftRightSigned	primitive predicate declared in int
bitSize	member predicate declared in Architecture
bitXor	primitive predicate declared in int
blame	member predicate declared in BadIncludeGuard
blame	member predicate declared in PragmaOnceIncludeGuard
boolean	primitive type
booleanAnd	primitive predicate declared in boolean
booleanNot	primitive predicate declared in boolean
booleanOr	primitive predicate declared in boolean
booleanXor	primitive predicate declared in boolean
boundsCheckExpr	predicate declared in Negativity
boundsChecked	predicate declared in Negativity
branch	field declared in IRGuardCondition
breaksFromNestedLoops	member predicate declared in GotoStmt

C

CFile	class declared in File
CFile	characteristic predicate declared in CFile
CStyleCast	class declared in Cast
CStyleComment	class declared in Comments
CStyleComment	characteristic predicate declared in CStyleComment
CTypedefType	class declared in TypedefType
CTypedefType	characteristic predicate declared in CTypedefType
Call	class declared in Call
Call	characteristic predicate declared in Call
Call	module
CallGraph	module
CaptionedComments	module
Cast	class declared in Cast
Cast	module
CastConsistency	module declared in Cast
CastNode	class declared in PrintAST
CastNode	characteristic predicate declared in CastNode
CatchAnyBlock	class declared in Stmt
CatchAnyBlock	characteristic predicate declared in CatchAnyBlock
CatchBlock	class declared in Stmt
CatchBlock	characteristic predicate declared in CatchBlock
ChainedOutputCall	class declared in FileWrite
Char16Type	class declared in Type
Char16Type	characteristic predicate declared in Char16Type
Char32Type	class declared in Type
Char32Type	characteristic predicate declared in Char32Type
Char8Type	class declared in Type
Char8Type	characteristic predicate declared in Char8Type
CharLiteral	class declared in Literal
CharLiteral	characteristic predicate declared in CharLiteral
CharPointerType	class declared in CommonType
CharPointerType	characteristic predicate declared in CharPointerType
CharType	class declared in Type
CharType	characteristic predicate declared in CharType
Class	class declared in Class
Class	characteristic predicate declared in Class
Class	module
ClassAggregateLiteral	class declared in Literal
ClassAggregateLiteral	characteristic predicate declared in ClassAggregateLiteral
ClassDerivation	class declared in Class
ClassTemplateInstantiation	class declared in Class
ClassTemplateInstantiation	characteristic predicate declared in ClassTemplateInstantiation
ClassTemplateSpecialization	class declared in Class
ClassTemplateSpecialization	characteristic predicate declared in ClassTemplateSpecialization
ClassicForLoop	characteristic predicate declared in ClassicForLoop
ClassicForLoop	class declared in LoopBounds
ClosedExpr	characteristic predicate declared in ClosedExpr
ClosedExpr	class declared in FileClosed
Closure	class declared in Lambda
Closure	characteristic predicate declared in Closure
CoAwaitExpr	class declared in Expr
CoReturnStmt	class declared in Stmt
CoYieldExpr	class declared in Expr
CodeDuplication	module
CommaExpr	class declared in Expr
CommandExecution	module
CommandExecution	module
CommandExecutionFunction	class declared in CommandExecution
Comment	class declared in Comments
CommentBlock	characteristic predicate declared in CommentBlock
CommentBlock	class declared in CommentedOutCode
CommentedOutCode	class declared in CommentedOutCode
CommentedOutCode	characteristic predicate declared in CommentedOutCode
CommentedOutCode	module
Comments	module
CommonType	module
ComparisonOperation	class declared in ComparisonOperation
ComparisonOperation	module
Compilation	class declared in Compilation
Compilation	module
CompilerCatastrophe	class declared in Diagnostics
CompilerCatastrophe	characteristic predicate declared in CompilerCatastrophe
CompilerDiscretionaryError	class declared in Diagnostics
CompilerDiscretionaryError	characteristic predicate declared in CompilerDiscretionaryError
CompilerError	class declared in Diagnostics
CompilerError	characteristic predicate declared in CompilerError
CompilerRemark	class declared in Diagnostics
CompilerRemark	characteristic predicate declared in CompilerRemark
CompilerWarning	class declared in Diagnostics
CompilerWarning	characteristic predicate declared in CompilerWarning
ComplementExpr	class declared in BitwiseOperation
ComplexDomain	class declared in Type
ComplexNumberType	class declared in Type
ComplexNumberType	characteristic predicate declared in ComplexNumberType
ComputedGotoStmt	class declared in Stmt
ConditionDeclExpr	class declared in Assignment
ConditionalExpr	class declared in LogicalOperation
ConditionalStmt	class declared in Stmt
Configuration	class declared in TaintTrackingImpl
Configuration	class declared in TaintTrackingImpl
Configuration	class declared in TaintTrackingImpl
Configuration	characteristic predicate declared in DataFlow::Configuration
Configuration	class declared in TaintTrackingImpl
Configuration	class declared in DataFlowImpl3
ConjugationExpr	class declared in ArithmeticOperation
ConstCast	class declared in Cast
ConstMemberFunction	class declared in MemberFunction
ConstMemberFunction	characteristic predicate declared in ConstMemberFunction
Constants	module
ConstexprIfStmt	class declared in Stmt
Constructor	class declared in MemberFunction
Constructor	characteristic predicate declared in Constructor
ConstructorBaseInit	class declared in Call
ConstructorCall	class declared in Call
ConstructorCall	characteristic predicate declared in ConstructorCall
ConstructorDelegationInit	class declared in Call
ConstructorDirectInit	class declared in Call
ConstructorFieldInit	class declared in Call
ConstructorInit	class declared in Call
ConstructorInitializersNode	class declared in PrintAST
ConstructorInitializersNode	characteristic predicate declared in ConstructorInitializersNode
ConstructorVirtualInit	class declared in Call
Container	class declared in File
ContinueStmt	class declared in Stmt
ControlFlowGraph	module
ControlFlowNode	class declared in ControlFlowGraph
ControlFlowNodeBase	class declared in ControlFlowGraph
ControlStructure	class declared in Stmt
Conversion	class declared in Cast
ConversionNode	class declared in PrintAST
ConversionNode	characteristic predicate declared in ConversionNode
ConversionOperator	class declared in MemberFunction
ConversionOperator	characteristic predicate declared in ConversionOperator
Copy	class declared in CodeDuplication
CopyAssignmentOperator	class declared in MemberFunction
CopyAssignmentOperator	characteristic predicate declared in CopyAssignmentOperator
CopyConstructor	class declared in MemberFunction
CopyConstructor	characteristic predicate declared in CopyConstructor
CorrectIncludeGuard	class declared in MultipleInclusion
CorrectIncludeGuard	characteristic predicate declared in CorrectIncludeGuard
CppFile	class declared in File
CppFile	characteristic predicate declared in CppFile
CppStyleComment	class declared in Comments
CppStyleComment	characteristic predicate declared in CppStyleComment
CrementOperation	class declared in ArithmeticOperation
CustomMutexType	class declared in Options
CustomMutexType	characteristic predicate declared in CustomMutexType
CustomOptions	class declared in Options
CustomSecurityOptions	class declared in SecurityOptions
c	field declared in ExtractionUnrecoverableError
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
canValueFlow	predicate declared in StringAnalysis
cast	field declared in CastNode
ceil	primitive predicate declared in float
charAt	primitive predicate declared in string
charLoc	member predicate declared in Location
checkedError	predicate declared in Negativity
checkedNull	predicate declared in Nullness
checkedSuccess	predicate declared in Negativity
checkedValid	predicate declared in Nullness
children	predicate declared in PointsTo
childrenByElement	predicate declared in PointsTo
classLevelDuplication	predicate declared in CodeDuplication
classType	field declared in ClassAggregateLiteral
closed	predicate declared in FileClosed
cmpWithLinearBound	predicate declared in RangeAnalysisUtils
combineWith	member predicate declared in BufferWriteEstimationReason
comparesEq	member predicate declared in GuardCondition
comparesEq	member predicate declared in GuardCondition
comparesEq	member predicate declared in IRGuardCondition
comparesLt	member predicate declared in GuardCondition
comparesLt	member predicate declared in GuardCondition
comparesLt	member predicate declared in IRGuardCondition
compiledAsC	member predicate declared in File
compiledAsCpp	member predicate declared in File
compiledAsMicrosoft	member predicate declared in File
compoundEdge	predicate declared in PointsTo
conditionAlwaysFalse	member predicate declared in WhileStmt
conditionAlwaysFalse	member predicate declared in ForStmt
conditionAlwaysTrue	member predicate declared in WhileStmt
conditionAlwaysTrue	member predicate declared in ForStmt
conditionAlwaysTrueUponEntry	member predicate declared in WhileStmt
conditionAlwaysTrueUponEntry	member predicate declared in ForStmt
conditionalSuccessor	predicate declared in Negativity
confidence	member predicate declared in PointsToExpr
constructorMightRunOnStack	predicate declared in StackAddress
contains	member predicate declared in BasicBlock
controls	member predicate declared in GuardCondition
controls	member predicate declared in GuardCondition
controls	member predicate declared in IRGuardCondition
controlsEdge	member predicate declared in IRGuardCondition
conv	field declared in ConversionNode
copySign	primitive predicate declared in float
correctIncludeGuard	predicate declared in MultipleInclusion
cos	primitive predicate declared in int
cos	primitive predicate declared in float
cosh	primitive predicate declared in int
cosh	primitive predicate declared in float
counter	member predicate declared in ClassicForLoop
cpp	module
ctor	field declared in ConstructorInitializersNode
cyclomaticComplexityBranches	predicate declared in MetricFunction

D

DataFlow	module
DataFlow	module declared in DataFlow
DataFlow	module
DataFlow	module declared in DataFlow
DataFlow	module
DataFlow2	module declared in DataFlow2
DataFlow2	module
DataFlow2	module declared in DataFlow2
DataFlow2	module
DataFlow3	module declared in DataFlow3
DataFlow3	module
DataFlowFunction	class declared in DataFlow
DataFlowImpl3	module
Dataflow	module
DataflowAnnotation	class declared in Dataflow
DateTime	module
DayFieldAccess	class declared in DateTime
Deallocation	module
DeallocationExpr	class declared in Deallocation
DeallocationFunction	class declared in Deallocation
Decimal128Type	class declared in Type
Decimal128Type	characteristic predicate declared in Decimal128Type
Decimal32Type	class declared in Type
Decimal32Type	characteristic predicate declared in Decimal32Type
Decimal64Type	class declared in Type
Decimal64Type	characteristic predicate declared in Decimal64Type
DecimalFloatingPointType	class declared in Type
DecimalFloatingPointType	characteristic predicate declared in DecimalFloatingPointType
DeclStmt	class declared in Stmt
DeclStmtNode	class declared in PrintAST
DeclStmtNode	characteristic predicate declared in DeclStmtNode
Declaration	class declared in Declaration
Declaration	module
DeclarationEntry	class declared in Declaration
DeclarationEntryNode	class declared in PrintAST
DeclarationEntryNode	characteristic predicate declared in DeclarationEntryNode
Declspec	class declared in Specifier
Decltype	class declared in Type
DecrementOperation	class declared in ArithmeticOperation
Def	class declared in DefinitionsAndUses
DefOrUse	class declared in DefinitionsAndUses
DefaultCase	class declared in Stmt
DefaultCase	characteristic predicate declared in DefaultCase
DefaultMutexType	class declared in Synchronization
DefaultOptions	module
DefaultTaintTracking	module
DefectExternalData	class declared in ExternalArtifact
DefectExternalData	characteristic predicate declared in DefectExternalData
DefectFilter	module
DefectResult	characteristic predicate declared in DefectResult
DefectResult	class declared in DefectFilter
DefinitionsAndUses	module
DeleteArrayExpr	class declared in Expr
DeleteExpr	class declared in Expr
Dependency	module
DependencyOptions	class declared in Dependency
DependsSource	class declared in Dependency
Dereferenced	module
DerivedClassConversion	class declared in Cast
DerivedClassConversion	characteristic predicate declared in DerivedClassConversion
DerivedType	class declared in Type
Destructor	class declared in MemberFunction
Destructor	characteristic predicate declared in Destructor
DestructorBaseDestruction	class declared in Call
DestructorCall	class declared in Call
DestructorCall	characteristic predicate declared in DestructorCall
DestructorDestruction	class declared in Call
DestructorDestructionsNode	class declared in PrintAST
DestructorDestructionsNode	characteristic predicate declared in DestructorDestructionsNode
DestructorDirectDestruction	class declared in Call
DestructorFieldDestruction	class declared in Call
DestructorVirtualDestruction	class declared in Call
Diagnostic	class declared in Diagnostics
Diagnostics	module
DivExpr	class declared in ArithmeticOperation
DoStmt	class declared in Stmt
Dominance	module
DotFieldAccess	class declared in Access
DoubleType	class declared in Type
DoubleType	characteristic predicate declared in DoubleType
DuplicateBlock	class declared in CodeDuplication
DynamicCast	class declared in Cast
dataSize	member predicate declared in PaddedType
date	primitive type
daysTo	primitive predicate declared in date
declStmt	field declared in DeclarationEntryNode
declStmt	field declared in DeclStmtNode
declaredUsingAutoType	member predicate declared in Variable
default	module
defectResults	predicate declared in DefectFilter
definedByParameter	member predicate declared in SsaDefinition
definitelyNull	predicate declared in Dataflow
definition	predicate declared in DefinitionsAndUses
definitionBarrier	predicate declared in DefinitionsAndUses
definitionByReference	predicate declared in DefinitionsAndUses
definitionOf	predicate declared in definitions
definitionReaches	predicate declared in DefinitionsAndUses
definitionUsePair	predicate declared in DefinitionsAndUses
definitions	module
dependency_pointerTypeUse	predicate declared in Dependency
dependsOnDeclOnly	predicate declared in Dependency
dependsOnSimple	predicate declared in Dependency
dependsOnTransitive	predicate declared in Dependency
deref	predicate declared in Dataflow
dereferenced	predicate declared in Dereferenced
dereferencedByOperation	predicate declared in Dereferenced
derivesFrom	member predicate declared in Class
directionIsGreater	predicate declared in RangeAnalysisUtils
directionIsLesser	predicate declared in RangeAnalysisUtils
distinctMembers	member predicate declared in MetricClass
domain	field declared in FloatingPointType
dominates	predicate declared in Dominance
doubleAlign	member predicate declared in Architecture
doubleAlign	member predicate declared in ILP32
doubleAlign	member predicate declared in LP64
doubleAlign	member predicate declared in WindowsArchitecture
dtor	field declared in DestructorDestructionsNode
duplicateFiles	predicate declared in CodeDuplication
duplicateLines	predicate declared in CodeDuplication
duplicateLinesCovered	predicate declared in CodeDuplication
duplicateMethod	predicate declared in CodeDuplication
duplicateStatements	predicate declared in CodeDuplication

E

EQExpr	class declared in ComparisonOperation
Element	class declared in Element
Element	module
ElementBase	class declared in Element
EmptyFile	class declared in MultipleInclusion
EmptyFile	characteristic predicate declared in EmptyFile
EmptyStmt	class declared in Stmt
Enclosing	module
Encryption	module
EntryBasicBlock	class declared in BasicBlocks
EntryBasicBlock	characteristic predicate declared in EntryBasicBlock
Enum	class declared in Enum
Enum	module
EnumConstant	class declared in Enum
EnumConstantAccess	class declared in Access
EnumSwitch	class declared in Stmt
EnumSwitch	characteristic predicate declared in EnumSwitch
Environment	module
EnvironmentRead	class declared in Environment
EqualityOperation	class declared in ComparisonOperation
ErroneousType	class declared in Type
ErroneousType	characteristic predicate declared in ErroneousType
ErrorExpr	class declared in Expr
EscapesTree	module
Exclusions	module
ExitBasicBlock	class declared in BasicBlocks
ExitBasicBlock	characteristic predicate declared in ExitBasicBlock
Expr	class declared in Expr
Expr	module
ExprCall	class declared in Call
ExprInVoidContext	class declared in VoidContext
ExprInVoidContext	characteristic predicate declared in ExprInVoidContext
ExprNode	class declared in PrintAST
ExprNode	characteristic predicate declared in ExprNode
ExprStmt	class declared in Stmt
ExternalArtifact	module
ExternalData	class declared in ExternalArtifact
ExternalDependencies	module
ExtractionProblem	class declared in ExtractionProblems
ExtractionProblems	module
ExtractionRecoverableWarning	class declared in ExtractionProblems
ExtractionRecoverableWarning	characteristic predicate declared in ExtractionRecoverableWarning
ExtractionUnknownProblem	class declared in ExtractionProblems
ExtractionUnknownProblem	characteristic predicate declared in ExtractionUnknownProblem
ExtractionUnrecoverableError	class declared in ExtractionProblems
ExtractionUnrecoverableError	characteristic predicate declared in ExtractionUnrecoverableError
edges	predicate declared in PrintAST
edges	predicate declared in PathGraph
encodedDependencies	predicate declared in ExternalDependencies
endsWithEndif	predicate declared in MultipleInclusion
ensuresEq	member predicate declared in GuardCondition
ensuresEq	member predicate declared in GuardCondition
ensuresEq	member predicate declared in IRGuardCondition
ensuresEqEdge	member predicate declared in IRGuardCondition
ensuresLt	member predicate declared in GuardCondition
ensuresLt	member predicate declared in GuardCondition
ensuresLt	member predicate declared in IRGuardCondition
ensuresLtEdge	member predicate declared in IRGuardCondition
enumAlignment	member predicate declared in Architecture
enumBitSize	member predicate declared in Architecture
eqOpWithSwapAndNegate	predicate declared in RangeAnalysisUtils
eqZeroWithNegate	predicate declared in RangeAnalysisUtils
err	field declared in ExtractionRecoverableWarning
err	field declared in ExtractionUnknownProblem
errorCondition	predicate declared in Negativity
errorSuccessor	predicate declared in Negativity
exits	member predicate declared in Options
exits	predicate declared in Options
exits	member predicate declared in CustomOptions
exp	primitive predicate declared in int
exp	primitive predicate declared in float
explain	member predicate declared in Type
explain	member predicate declared in BuiltInType
explain	member predicate declared in Decltype
explain	member predicate declared in PointerType
explain	member predicate declared in ReferenceType
explain	member predicate declared in RValueReferenceType
explain	member predicate declared in SpecifiedType
explain	member predicate declared in ArrayType
explain	member predicate declared in GNUVectorType
explain	member predicate declared in FunctionPointerType
explain	member predicate declared in FunctionReferenceType
explain	member predicate declared in BlockType
explain	member predicate declared in PointerToMemberType
explain	member predicate declared in RoutineType
explain	member predicate declared in Class
explain	member predicate declared in UserType
explain	member predicate declared in CTypedefType
explain	member predicate declared in UsingAliasTypedefType
explain	member predicate declared in Struct
explain	member predicate declared in Union
explain	member predicate declared in Enum
explorationLimit	member predicate declared in DataFlow::Configuration
expr	field declared in ExprNode
expr	field declared in StmtExprNode
exprDefinition	predicate declared in DefinitionsAndUses
exprEnclosingElement	predicate declared in Enclosing
exprExits	member predicate declared in Options
exprExits	predicate declared in Options
exprExits	member predicate declared in CustomOptions
exprMaxVal	predicate declared in RangeAnalysisUtils
exprMinVal	predicate declared in RangeAnalysisUtils
extended	field declared in FloatingPointType

F

FastestMinimumWidthIntegralType	class declared in CommonType
FastestMinimumWidthIntegralType	characteristic predicate declared in FastestMinimumWidthIntegralType
Field	class declared in Field
Field	characteristic predicate declared in Field
Field	module
FieldAccess	class declared in Access
FieldAccess	characteristic predicate declared in FieldAccess
File	class declared in File
File	module
File	module
FileClosed	module
FileSystem	module
FileWrite	class declared in FileWrite
FileWrite	characteristic predicate declared in FileWrite
FileWrite	module
FixedWidthEnumType	class declared in CommonType
FixedWidthEnumType	characteristic predicate declared in FixedWidthEnumType
FixedWidthIntegralType	class declared in CommonType
FixedWidthIntegralType	characteristic predicate declared in FixedWidthIntegralType
Float128Type	class declared in Type
Float128Type	characteristic predicate declared in Float128Type
FloatType	class declared in Type
FloatType	characteristic predicate declared in FloatType
FloatingPointConversion	class declared in Cast
FloatingPointConversion	characteristic predicate declared in FloatingPointConversion
FloatingPointToIntegralConversion	class declared in Cast
FloatingPointToIntegralConversion	characteristic predicate declared in FloatingPointToIntegralConversion
FloatingPointType	class declared in Type
FloatingPointType	characteristic predicate declared in FloatingPointType
FlowSource	class declared in FlowSources
FlowSource	module
FlowSources	module
FoldExpr	class declared in Expr
Folder	class declared in File
ForStmt	class declared in Stmt
FormatAttribute	class declared in Specifier
FormatAttribute	characteristic predicate declared in FormatAttribute
FormatLiteral	class declared in Printf
FormatLiteral	characteristic predicate declared in FormatLiteral
FormattingFunction	class declared in FormattingFunction
FormattingFunction	module
FormattingFunctionCall	class declared in Printf
FormattingFunctionCall	characteristic predicate declared in FormattingFunctionCall
FreadBA	class declared in BufferAccess
FreadBA	characteristic predicate declared in FreadBA
FreedExpr	characteristic predicate declared in FreedExpr
FreedExpr	class declared in MemoryFreed
FriendDecl	class declared in FriendDecl
FriendDecl	module
Fscanf	class declared in Scanf
Fscanf	characteristic predicate declared in Fscanf
FullClassTemplateSpecialization	class declared in Class
FullClassTemplateSpecialization	characteristic predicate declared in FullClassTemplateSpecialization
Function	class declared in Function
Function	module
FunctionAccess	class declared in Access
FunctionCall	class declared in Call
FunctionCall	characteristic predicate declared in FunctionCall
FunctionDeclarationEntry	class declared in Function
FunctionInput	class declared in FunctionInputsAndOutputs
FunctionInputsAndOutputs	module
FunctionNode	class declared in PrintAST
FunctionNode	characteristic predicate declared in FunctionNode
FunctionOutput	class declared in FunctionInputsAndOutputs
FunctionPointerIshType	class declared in Type
FunctionPointerIshType	characteristic predicate declared in FunctionPointerIshType
FunctionPointerType	class declared in Type
FunctionPointerType	characteristic predicate declared in FunctionPointerType
FunctionReferenceType	characteristic predicate declared in FunctionReferenceType
FunctionReferenceType	class declared in Type
FunctionSpecifier	class declared in Specifier
FunctionSpecifier	characteristic predicate declared in FunctionSpecifier
FunctionTemplateInstantiation	class declared in Function
FunctionTemplateSpecialization	class declared in Function
FunctionTryStmt	class declared in Stmt
FunctionTryStmt	characteristic predicate declared in FunctionTryStmt
FunctionWithWrappers	class declared in FunctionWithWrappers
FunctionWithWrappers	module
f	field declared in ExtractionUnrecoverableError
f	field declared in StrCopyBW
f	field declared in StrCatBW
f	field declared in SprintfBW
fcloseCall	predicate declared in File
fieldEnd	member predicate declared in PaddedType
fieldFlowBranchLimit	member predicate declared in DataFlow::Configuration
fieldIndex	member predicate declared in PaddedType
fieldSize	member predicate declared in PaddedType
fileLevelDuplication	predicate declared in CodeDuplication
findRootCause	member predicate declared in Element
float	primitive type
floor	primitive predicate declared in float
flow	predicate declared in PointsTo
flowFromCompound	predicate declared in PointsTo
flowToCompound	predicate declared in PointsTo
flowsTo	predicate declared in DataFlowImpl3
fopenCall	predicate declared in File
fopenCallMayBeClosed	predicate declared in FileClosed
formatArgumentMustBeNullTerminated	predicate declared in NullTermination
freeCall	predicate declared in Alloc
freeExpr	predicate declared in NewDelete
freeExprOrIndirect	predicate declared in NewDelete
freeFunction	predicate declared in Alloc
fromSource	member predicate declared in File
fromSource	member predicate declared in Element
fromSource	member predicate declared in Namespace
fromSource	member predicate declared in Initializer
fullLocationInfo	member predicate declared in Location
func	field declared in ParametersNode
func	field declared in FunctionNode
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
GNUVectorType	characteristic predicate declared in GNUVectorType
GTExpr	class declared in ComparisonOperation
GVN	class declared in ASTValueNumbering
GetIteratorFunction	class declared in Iterator
GetsBW	class declared in BufferWrite
GetsBW	characteristic predicate declared in GetsBW
GlobalNamespace	class declared in Namespace
GlobalNamespace	characteristic predicate declared in GlobalNamespace
GlobalOrNamespaceVariable	class declared in Variable
GlobalValueNumbering	module
GlobalVariable	class declared in Variable
GlvalueConversion	class declared in Cast
GlvalueConversion	characteristic predicate declared in GlvalueConversion
GnuAttribute	class declared in Specifier
GotoStmt	class declared in Stmt
Greater	injector declared in RangeAnalysisUtils
Greater	type declared in RangeAnalysisUtils
GuardCondition	class declared in Guards
GuardCondition	class declared in IRGuards
GuardCondition	characteristic predicate declared in GuardCondition
GuardCondition	characteristic predicate declared in GuardCondition
GuardedSsa	class declared in Guards
Guards	module
gcd	primitive predicate declared in int
getABannedProtocolConstant	member predicate declared in BoostorgAsio::SslContextMethod
getABaseClass	member predicate declared in Class
getABaseClassByteOffset	member predicate declared in Class
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
getACatchClause	member predicate declared in TryStmt
getACharactersSet	member predicate declared in XMLParent
getAChild	member predicate declared in Expr
getAChild	member predicate declared in Stmt
getAChild	member predicate declared in XMLParent
getAChild	member predicate declared in XMLParent
getAChild	member predicate declared in PrintAstNode
getAChildContainer	member predicate declared in Container
getAChildNamespace	member predicate declared in Namespace
getAChildNamespace	member predicate declared in GlobalNamespace
getAClass	member predicate declared in LinkTarget
getAClassDependency	member predicate declared in MetricClass
getAComment	member predicate declared in XMLParent
getAConstructor	member predicate declared in Class
getAContructorCall	member predicate declared in BoostorgAsio::SslContextClass
getADTD	member predicate declared in XMLFile
getADeclaration	member predicate declared in File
getADeclaration	member predicate declared in Function
getADeclaration	member predicate declared in Class
getADeclaration	member predicate declared in UserType
getADeclaration	member predicate declared in Namespace
getADeclaration	member predicate declared in GlobalNamespace
getADeclaration	member predicate declared in ControlStructure
getADeclaration	member predicate declared in ForStmt
getADeclaration	member predicate declared in DeclStmt
getADeclaration	member predicate declared in BlockStmt
getADeclarationEntry	member predicate declared in Function
getADeclarationEntry	member predicate declared in UserType
getADeclarationEntry	member predicate declared in Declaration
getADeclarationEntry	member predicate declared in Namespace
getADeclarationEntry	member predicate declared in Variable
getADeclarationEntry	member predicate declared in DeclStmt
getADeclarationLocation	member predicate declared in Function
getADeclarationLocation	member predicate declared in UserType
getADeclarationLocation	member predicate declared in Declaration
getADeclarationLocation	member predicate declared in EnumConstant
getADeclarationLocation	member predicate declared in Variable
getADeclarationLocation	member predicate declared in FriendDecl
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 ControlFlowNode
getAFalseSuccessor	member predicate declared in BasicBlock
getAFeature	member predicate declared in DataFlow::Configuration
getAField	member predicate declared in Class
getAFile	member predicate declared in LibraryElement
getAFile	member predicate declared in Library
getAFile	member predicate declared in Container
getAFile	member predicate declared in Declaration
getAFile	member predicate declared in Namespace
getAFileCompiled	member predicate declared in Compilation
getAFolder	member predicate declared in Container
getAFormatterWideType	predicate declared in FormattingFunction
getAFriendDecl	member predicate declared in Class
getAFunction	member predicate declared in LinkTarget
getAGeneratedElement	member predicate declared in MacroInvocation
getAGenericTlsProtocolConstant	member predicate declared in BoostorgAsio::SslContextMethod
getAGetter	member predicate declared in StructLikeClass
getAGuard	member predicate declared in PreprocessorDirective
getAHexEscapeSequence	member predicate declared in TextLiteral
getALinkTarget	member predicate declared in Function
getALinkTarget	member predicate declared in Class
getALoop	member predicate declared in LoopCounter
getALoop	member predicate declared in LoopControlVariable
getAMember	member predicate declared in Class
getAMember	member predicate declared in Class
getAMemberFunction	member predicate declared in Class
getAMemberVariable	member predicate declared in Class
getAMissingCase	member predicate declared in EnumSwitch
getANameQualifier	member predicate declared in NameQualifyingElement
getANamespaceDependency	member predicate declared in MetricNamespace
getANestedType	member predicate declared in Class
getANode	member predicate declared in BasicBlock
getANonStandardEscapeSequence	member predicate declared in TextLiteral
getAParameter	member predicate declared in Function
getAParameterDeclarationEntry	member predicate declared in FunctionDeclarationEntry
getAParameterType	member predicate declared in FunctionPointerIshType
getAParameterType	member predicate declared in RoutineType
getAPhiInput	member predicate declared in SsaDefinition
getAPredecessor	member predicate declared in ControlFlowNode
getAPredecessor	member predicate declared in BasicBlock
getAPredecessor	member predicate declared in Instruction
getAPrimaryQlClass	member predicate declared in Folder
getAPrimaryQlClass	member predicate declared in File
getAPrimaryQlClass	member predicate declared in HeaderFile
getAPrimaryQlClass	member predicate declared in CFile
getAPrimaryQlClass	member predicate declared in CppFile
getAPrimaryQlClass	member predicate declared in ErroneousType
getAPrimaryQlClass	member predicate declared in UnknownType
getAPrimaryQlClass	member predicate declared in ArithmeticType
getAPrimaryQlClass	member predicate declared in BoolType
getAPrimaryQlClass	member predicate declared in PlainCharType
getAPrimaryQlClass	member predicate declared in UnsignedCharType
getAPrimaryQlClass	member predicate declared in SignedCharType
getAPrimaryQlClass	member predicate declared in ShortType
getAPrimaryQlClass	member predicate declared in IntType
getAPrimaryQlClass	member predicate declared in LongType
getAPrimaryQlClass	member predicate declared in LongLongType
getAPrimaryQlClass	member predicate declared in Int128Type
getAPrimaryQlClass	member predicate declared in FloatType
getAPrimaryQlClass	member predicate declared in DoubleType
getAPrimaryQlClass	member predicate declared in LongDoubleType
getAPrimaryQlClass	member predicate declared in Float128Type
getAPrimaryQlClass	member predicate declared in Decimal32Type
getAPrimaryQlClass	member predicate declared in Decimal64Type
getAPrimaryQlClass	member predicate declared in Decimal128Type
getAPrimaryQlClass	member predicate declared in VoidType
getAPrimaryQlClass	member predicate declared in WideCharType
getAPrimaryQlClass	member predicate declared in Char8Type
getAPrimaryQlClass	member predicate declared in Char16Type
getAPrimaryQlClass	member predicate declared in Char32Type
getAPrimaryQlClass	member predicate declared in NullPointerType
getAPrimaryQlClass	member predicate declared in Decltype
getAPrimaryQlClass	member predicate declared in PointerType
getAPrimaryQlClass	member predicate declared in ReferenceType
getAPrimaryQlClass	member predicate declared in LValueReferenceType
getAPrimaryQlClass	member predicate declared in RValueReferenceType
getAPrimaryQlClass	member predicate declared in SpecifiedType
getAPrimaryQlClass	member predicate declared in ArrayType
getAPrimaryQlClass	member predicate declared in GNUVectorType
getAPrimaryQlClass	member predicate declared in FunctionPointerType
getAPrimaryQlClass	member predicate declared in FunctionReferenceType
getAPrimaryQlClass	member predicate declared in PointerToMemberType
getAPrimaryQlClass	member predicate declared in RoutineType
getAPrimaryQlClass	member predicate declared in TemplateParameter
getAPrimaryQlClass	member predicate declared in TemplateTemplateParameter
getAPrimaryQlClass	member predicate declared in AutoType
getAPrimaryQlClass	member predicate declared in TypeMention
getAPrimaryQlClass	member predicate declared in FunctionDeclarationEntry
getAPrimaryQlClass	member predicate declared in Operator
getAPrimaryQlClass	member predicate declared in Class
getAPrimaryQlClass	member predicate declared in ClassDerivation
getAPrimaryQlClass	member predicate declared in LocalClass
getAPrimaryQlClass	member predicate declared in NestedClass
getAPrimaryQlClass	member predicate declared in AbstractClass
getAPrimaryQlClass	member predicate declared in TemplateClass
getAPrimaryQlClass	member predicate declared in ClassTemplateInstantiation
getAPrimaryQlClass	member predicate declared in ClassTemplateSpecialization
getAPrimaryQlClass	member predicate declared in FullClassTemplateSpecialization
getAPrimaryQlClass	member predicate declared in PartialClassTemplateSpecialization
getAPrimaryQlClass	member predicate declared in VirtualClassDerivation
getAPrimaryQlClass	member predicate declared in VirtualBaseClass
getAPrimaryQlClass	member predicate declared in ProxyClass
getAPrimaryQlClass	member predicate declared in UserType
getAPrimaryQlClass	member predicate declared in Specifier
getAPrimaryQlClass	member predicate declared in FunctionSpecifier
getAPrimaryQlClass	member predicate declared in StorageClassSpecifier
getAPrimaryQlClass	member predicate declared in AccessSpecifier
getAPrimaryQlClass	member predicate declared in FormatAttribute
getAPrimaryQlClass	member predicate declared in NamespaceDeclarationEntry
getAPrimaryQlClass	member predicate declared in Parameter
getAPrimaryQlClass	member predicate declared in FunctionCall
getAPrimaryQlClass	member predicate declared in OverloadedPointerDereferenceExpr
getAPrimaryQlClass	member predicate declared in OverloadedArrayExpr
getAPrimaryQlClass	member predicate declared in ExprCall
getAPrimaryQlClass	member predicate declared in VariableCall
getAPrimaryQlClass	member predicate declared in ConstructorCall
getAPrimaryQlClass	member predicate declared in DestructorCall
getAPrimaryQlClass	member predicate declared in VacuousDestructorCall
getAPrimaryQlClass	member predicate declared in ConstructorInit
getAPrimaryQlClass	member predicate declared in ConstructorBaseInit
getAPrimaryQlClass	member predicate declared in ConstructorDirectInit
getAPrimaryQlClass	member predicate declared in ConstructorVirtualInit
getAPrimaryQlClass	member predicate declared in ConstructorDelegationInit
getAPrimaryQlClass	member predicate declared in ConstructorFieldInit
getAPrimaryQlClass	member predicate declared in DestructorDestruction
getAPrimaryQlClass	member predicate declared in DestructorBaseDestruction
getAPrimaryQlClass	member predicate declared in DestructorDirectDestruction
getAPrimaryQlClass	member predicate declared in DestructorVirtualDestruction
getAPrimaryQlClass	member predicate declared in DestructorFieldDestruction
getAPrimaryQlClass	member predicate declared in Macro
getAPrimaryQlClass	member predicate declared in MacroAccess
getAPrimaryQlClass	member predicate declared in MacroInvocation
getAPrimaryQlClass	member predicate declared in CTypedefType
getAPrimaryQlClass	member predicate declared in UsingAliasTypedefType
getAPrimaryQlClass	member predicate declared in LocalTypedefType
getAPrimaryQlClass	member predicate declared in NestedTypedefType
getAPrimaryQlClass	member predicate declared in Struct
getAPrimaryQlClass	member predicate declared in LocalStruct
getAPrimaryQlClass	member predicate declared in NestedStruct
getAPrimaryQlClass	member predicate declared in Union
getAPrimaryQlClass	member predicate declared in LocalUnion
getAPrimaryQlClass	member predicate declared in NestedUnion
getAPrimaryQlClass	member predicate declared in Enum
getAPrimaryQlClass	member predicate declared in LocalEnum
getAPrimaryQlClass	member predicate declared in NestedEnum
getAPrimaryQlClass	member predicate declared in ScopedEnum
getAPrimaryQlClass	member predicate declared in EnumConstant
getAPrimaryQlClass	member predicate declared in Field
getAPrimaryQlClass	member predicate declared in BitField
getAPrimaryQlClass	member predicate declared in Variable
getAPrimaryQlClass	member predicate declared in LocalVariable
getAPrimaryQlClass	member predicate declared in MemberVariable
getAPrimaryQlClass	member predicate declared in VariableAccess
getAPrimaryQlClass	member predicate declared in FieldAccess
getAPrimaryQlClass	member predicate declared in Initializer
getAPrimaryQlClass	member predicate declared in MemberFunction
getAPrimaryQlClass	member predicate declared in VirtualFunction
getAPrimaryQlClass	member predicate declared in PureVirtualFunction
getAPrimaryQlClass	member predicate declared in ConstMemberFunction
getAPrimaryQlClass	member predicate declared in Constructor
getAPrimaryQlClass	member predicate declared in CopyConstructor
getAPrimaryQlClass	member predicate declared in MoveConstructor
getAPrimaryQlClass	member predicate declared in Destructor
getAPrimaryQlClass	member predicate declared in ConversionOperator
getAPrimaryQlClass	member predicate declared in CopyAssignmentOperator
getAPrimaryQlClass	member predicate declared in MoveAssignmentOperator
getAPrimaryQlClass	member predicate declared in FriendDecl
getAPrimaryQlClass	member predicate declared in UnaryMinusExpr
getAPrimaryQlClass	member predicate declared in UnaryPlusExpr
getAPrimaryQlClass	member predicate declared in ConjugationExpr
getAPrimaryQlClass	member predicate declared in PrefixIncrExpr
getAPrimaryQlClass	member predicate declared in PrefixDecrExpr
getAPrimaryQlClass	member predicate declared in PostfixIncrExpr
getAPrimaryQlClass	member predicate declared in PostfixDecrExpr
getAPrimaryQlClass	member predicate declared in RealPartExpr
getAPrimaryQlClass	member predicate declared in ImaginaryPartExpr
getAPrimaryQlClass	member predicate declared in AddExpr
getAPrimaryQlClass	member predicate declared in SubExpr
getAPrimaryQlClass	member predicate declared in MulExpr
getAPrimaryQlClass	member predicate declared in DivExpr
getAPrimaryQlClass	member predicate declared in RemExpr
getAPrimaryQlClass	member predicate declared in ImaginaryMulExpr
getAPrimaryQlClass	member predicate declared in ImaginaryDivExpr
getAPrimaryQlClass	member predicate declared in RealImaginaryAddExpr
getAPrimaryQlClass	member predicate declared in ImaginaryRealAddExpr
getAPrimaryQlClass	member predicate declared in RealImaginarySubExpr
getAPrimaryQlClass	member predicate declared in ImaginaryRealSubExpr
getAPrimaryQlClass	member predicate declared in MinExpr
getAPrimaryQlClass	member predicate declared in MaxExpr
getAPrimaryQlClass	member predicate declared in PointerAddExpr
getAPrimaryQlClass	member predicate declared in PointerSubExpr
getAPrimaryQlClass	member predicate declared in PointerDiffExpr
getAPrimaryQlClass	member predicate declared in ComplementExpr
getAPrimaryQlClass	member predicate declared in LShiftExpr
getAPrimaryQlClass	member predicate declared in RShiftExpr
getAPrimaryQlClass	member predicate declared in BitwiseAndExpr
getAPrimaryQlClass	member predicate declared in BitwiseOrExpr
getAPrimaryQlClass	member predicate declared in BitwiseXorExpr
getAPrimaryQlClass	member predicate declared in NotExpr
getAPrimaryQlClass	member predicate declared in LogicalAndExpr
getAPrimaryQlClass	member predicate declared in LogicalOrExpr
getAPrimaryQlClass	member predicate declared in ConditionalExpr
getAPrimaryQlClass	member predicate declared in EQExpr
getAPrimaryQlClass	member predicate declared in NEExpr
getAPrimaryQlClass	member predicate declared in GTExpr
getAPrimaryQlClass	member predicate declared in LTExpr
getAPrimaryQlClass	member predicate declared in GEExpr
getAPrimaryQlClass	member predicate declared in LEExpr
getAPrimaryQlClass	member predicate declared in AssignExpr
getAPrimaryQlClass	member predicate declared in AssignAddExpr
getAPrimaryQlClass	member predicate declared in AssignSubExpr
getAPrimaryQlClass	member predicate declared in AssignMulExpr
getAPrimaryQlClass	member predicate declared in AssignDivExpr
getAPrimaryQlClass	member predicate declared in AssignRemExpr
getAPrimaryQlClass	member predicate declared in AssignAndExpr
getAPrimaryQlClass	member predicate declared in AssignOrExpr
getAPrimaryQlClass	member predicate declared in AssignXorExpr
getAPrimaryQlClass	member predicate declared in AssignLShiftExpr
getAPrimaryQlClass	member predicate declared in AssignRShiftExpr
getAPrimaryQlClass	member predicate declared in AssignPointerAddExpr
getAPrimaryQlClass	member predicate declared in AssignPointerSubExpr
getAPrimaryQlClass	member predicate declared in ConditionDeclExpr
getAPrimaryQlClass	member predicate declared in CStyleCast
getAPrimaryQlClass	member predicate declared in StaticCast
getAPrimaryQlClass	member predicate declared in ConstCast
getAPrimaryQlClass	member predicate declared in ReinterpretCast
getAPrimaryQlClass	member predicate declared in IntegralConversion
getAPrimaryQlClass	member predicate declared in FloatingPointConversion
getAPrimaryQlClass	member predicate declared in FloatingPointToIntegralConversion
getAPrimaryQlClass	member predicate declared in IntegralToFloatingPointConversion
getAPrimaryQlClass	member predicate declared in PointerConversion
getAPrimaryQlClass	member predicate declared in PointerToMemberConversion
getAPrimaryQlClass	member predicate declared in PointerToIntegralConversion
getAPrimaryQlClass	member predicate declared in IntegralToPointerConversion
getAPrimaryQlClass	member predicate declared in BoolConversion
getAPrimaryQlClass	member predicate declared in VoidConversion
getAPrimaryQlClass	member predicate declared in BaseClassConversion
getAPrimaryQlClass	member predicate declared in DerivedClassConversion
getAPrimaryQlClass	member predicate declared in PointerToMemberBaseClassConversion
getAPrimaryQlClass	member predicate declared in PointerToMemberDerivedClassConversion
getAPrimaryQlClass	member predicate declared in GlvalueConversion
getAPrimaryQlClass	member predicate declared in PrvalueAdjustmentConversion
getAPrimaryQlClass	member predicate declared in DynamicCast
getAPrimaryQlClass	member predicate declared in TypeidOperator
getAPrimaryQlClass	member predicate declared in SizeofPackOperator
getAPrimaryQlClass	member predicate declared in SizeofExprOperator
getAPrimaryQlClass	member predicate declared in SizeofTypeOperator
getAPrimaryQlClass	member predicate declared in ArrayToPointerConversion
getAPrimaryQlClass	member predicate declared in TemporaryObjectExpr
getAPrimaryQlClass	member predicate declared in LambdaExpression
getAPrimaryQlClass	member predicate declared in Closure
getAPrimaryQlClass	member predicate declared in LambdaCapture
getAPrimaryQlClass	member predicate declared in Literal
getAPrimaryQlClass	member predicate declared in LabelLiteral
getAPrimaryQlClass	member predicate declared in CharLiteral
getAPrimaryQlClass	member predicate declared in StringLiteral
getAPrimaryQlClass	member predicate declared in OctalLiteral
getAPrimaryQlClass	member predicate declared in HexLiteral
getAPrimaryQlClass	member predicate declared in AggregateLiteral
getAPrimaryQlClass	member predicate declared in ClassAggregateLiteral
getAPrimaryQlClass	member predicate declared in ArrayAggregateLiteral
getAPrimaryQlClass	member predicate declared in VectorAggregateLiteral
getAPrimaryQlClass	member predicate declared in BuiltInOperation
getAPrimaryQlClass	member predicate declared in BuiltInVarArgsStart
getAPrimaryQlClass	member predicate declared in BuiltInVarArgsEnd
getAPrimaryQlClass	member predicate declared in BuiltInVarArg
getAPrimaryQlClass	member predicate declared in BuiltInVarArgCopy
getAPrimaryQlClass	member predicate declared in BuiltInNoOp
getAPrimaryQlClass	member predicate declared in BuiltInOperationBuiltInOffsetOf
getAPrimaryQlClass	member predicate declared in BuiltInIntAddr
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasAssign
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasCopy
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasNoThrowAssign
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasNoThrowConstructor
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasNoThrowCopy
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 BuiltInOperationHasUserDestructor
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasVirtualDestructor
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsAbstract
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsBaseOf
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsClass
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsConvertibleTo
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsEmpty
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsEnum
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsPod
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsPolymorphic
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsUnion
getAPrimaryQlClass	member predicate declared in BuiltInOperationBuiltInShuffleVector
getAPrimaryQlClass	member predicate declared in BuiltInOperationBuiltInConvertVector
getAPrimaryQlClass	member predicate declared in BuiltInOperationBuiltInAddressOf
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsTriviallyConstructible
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsDestructible
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsNothrowDestructible
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsTriviallyDestructible
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsTriviallyAssignable
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsNothrowAssignable
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsStandardLayout
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsTriviallyCopyable
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsLiteralType
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasTrivialMoveConstructor
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasTrivialMoveAssign
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasNothrowMoveAssign
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsConstructible
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsNothrowConstructible
getAPrimaryQlClass	member predicate declared in BuiltInOperationHasFinalizer
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsDelegate
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsInterfaceClass
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsRefArray
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsRefClass
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsSealed
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsSimpleValueClass
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsValueClass
getAPrimaryQlClass	member predicate declared in BuiltInOperationIsFinal
getAPrimaryQlClass	member predicate declared in BuiltInChooseExpr
getAPrimaryQlClass	member predicate declared in VectorFillOperation
getAPrimaryQlClass	member predicate declared in BuiltInComplexOperation
getAPrimaryQlClass	member predicate declared in ExprStmt
getAPrimaryQlClass	member predicate declared in IfStmt
getAPrimaryQlClass	member predicate declared in ConstexprIfStmt
getAPrimaryQlClass	member predicate declared in WhileStmt
getAPrimaryQlClass	member predicate declared in JumpStmt
getAPrimaryQlClass	member predicate declared in GotoStmt
getAPrimaryQlClass	member predicate declared in ContinueStmt
getAPrimaryQlClass	member predicate declared in BreakStmt
getAPrimaryQlClass	member predicate declared in LabelStmt
getAPrimaryQlClass	member predicate declared in CoReturnStmt
getAPrimaryQlClass	member predicate declared in ReturnStmt
getAPrimaryQlClass	member predicate declared in DoStmt
getAPrimaryQlClass	member predicate declared in RangeBasedForStmt
getAPrimaryQlClass	member predicate declared in ForStmt
getAPrimaryQlClass	member predicate declared in SwitchCase
getAPrimaryQlClass	member predicate declared in SwitchStmt
getAPrimaryQlClass	member predicate declared in Handler
getAPrimaryQlClass	member predicate declared in TryStmt
getAPrimaryQlClass	member predicate declared in FunctionTryStmt
getAPrimaryQlClass	member predicate declared in CatchBlock
getAPrimaryQlClass	member predicate declared in CatchAnyBlock
getAPrimaryQlClass	member predicate declared in MicrosoftTryExceptStmt
getAPrimaryQlClass	member predicate declared in MicrosoftTryFinallyStmt
getAPrimaryQlClass	member predicate declared in DeclStmt
getAPrimaryQlClass	member predicate declared in EmptyStmt
getAPrimaryQlClass	member predicate declared in AsmStmt
getAPrimaryQlClass	member predicate declared in VlaDimensionStmt
getAPrimaryQlClass	member predicate declared in VlaDeclStmt
getAPrimaryQlClass	member predicate declared in BlockStmt
getAPrimaryQlClass	member predicate declared in CharPointerType
getAPrimaryQlClass	member predicate declared in IntPointerType
getAPrimaryQlClass	member predicate declared in VoidPointerType
getAPrimaryQlClass	member predicate declared in Size_t
getAPrimaryQlClass	member predicate declared in Ssize_t
getAPrimaryQlClass	member predicate declared in Ptrdiff_t
getAPrimaryQlClass	member predicate declared in Int8_t
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 UInt8_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 Int_least8_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 UInt_least8_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 Int_fast8_t
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 UInt_fast8_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 Intmax_t
getAPrimaryQlClass	member predicate declared in Uintmax_t
getAPrimaryQlClass	member predicate declared in Wchar_t
getAPrimaryQlClass	member predicate declared in BuiltInVarArgsList
getAPrimaryQlClass	member predicate declared in AttributeFormattingFunction
getAPrimaryQlClass	member predicate declared in UserDefinedFormattingFunction
getAPrimaryQlClass	member predicate declared in FormattingFunctionCall
getAPrimaryQlClass	member predicate declared in FormattingFunction
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
getARootElement	member predicate declared in XMLFile
getAST	member predicate declared in BaseAstNode
getAST	member predicate declared in Instruction
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 StrCopyBW
getASource	member predicate declared in StrCatBW
getASource	member predicate declared in SprintfBW
getASource	member predicate declared in SnprintfBW
getASource	member predicate declared in GetsBW
getASource	member predicate declared in ScanfBW
getASource	member predicate declared in RealpathBW
getASource	member predicate declared in FileWrite
getASpecifier	member predicate declared in Type
getASpecifier	member predicate declared in Function
getASpecifier	member predicate declared in FunctionDeclarationEntry
getASpecifier	member predicate declared in ClassDerivation
getASpecifier	member predicate declared in UserType
getASpecifier	member predicate declared in Declaration
getASpecifier	member predicate declared in DeclarationEntry
getASpecifier	member predicate declared in EnumConstant
getASpecifier	member predicate declared in Variable
getASpecifier	member predicate declared in FriendDecl
getASslv23ProtocolConstant	member predicate declared in BoostorgAsio::SslContextMethod
getAStandardEscapeSequence	member predicate declared in TextLiteral
getAStaticMember	member predicate declared in Class
getAStmt	member predicate declared in SwitchCase
getAStmt	member predicate declared in BlockStmt
getASuccessor	member predicate declared in ControlFlowNode
getASuccessor	member predicate declared in BasicBlock
getASuccessor	member predicate declared in Instruction
getASuccessor	member predicate declared in MustFlowPathNode
getASwitchCase	member predicate declared in SwitchStmt
getATemplateArgument	member predicate declared in Declaration
getATemplateArgument	member predicate declared in FunctionCall
getATemplateArgumentKind	member predicate declared in Declaration
getATemplateArgumentKind	member predicate declared in FunctionCall
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 ControlFlowNode
getATrueSuccessor	member predicate declared in BasicBlock
getATypeNameUse	member predicate declared in Type
getAUse	member predicate declared in SsaDefinition
getAUse	member predicate declared in Instruction
getAVariable	member predicate declared in SsaDefinition
getAViableTarget	predicate declared in VirtualDispatch
getAVirtualDerivation	member predicate declared in VirtualBaseClass
getAVirtuallyDerivedClass	member predicate declared in VirtualBaseClass
getAWrittenVariable	member predicate declared in Function
getAbsolutePath	member predicate declared in Container
getAbsolutePath	member predicate declared in Folder
getAbsolutePath	member predicate declared in File
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
getAddressable	member predicate declared in BuiltInOperationBuiltInAddressOf
getAfferentCoupling	member predicate declared in MetricNamespace
getAfferentCoupling	member predicate declared in MetricClass
getAfferentCoupling	member predicate declared in MetricFunction
getAlignment	member predicate declared in Type
getAlignment	member predicate declared in Decltype
getAlignment	member predicate declared in SpecifiedType
getAlignment	member predicate declared in ArrayType
getAlignment	member predicate declared in GNUVectorType
getAlignment	member predicate declared in Class
getAlignment	member predicate declared in TypedefType
getAllocatedElementType	member predicate declared in AllocationExpr
getAnAccess	member predicate declared in Function
getAnAccess	member predicate declared in EnumConstant
getAnAccess	member predicate declared in Variable
getAnAffectedElement	member predicate declared in MacroInvocation
getAnApprovedButHardcodedProtocolConstant	member predicate declared in BoostorgAsio::SslContextMethod
getAnArgument	member predicate declared in Attribute
getAnArgument	member predicate declared in Call
getAnArgument	member predicate declared in ExprCall
getAnArgument	member predicate declared in Compilation
getAnArgumentSubExpr	member predicate declared in Call
getAnAssignedValue	member predicate declared in Variable
getAnAssignment	member predicate declared in Variable
getAnAttribute	member predicate declared in Type
getAnAttribute	member predicate declared in Function
getAnAttribute	member predicate declared in EnumConstant
getAnAttribute	member predicate declared in Variable
getAnAttribute	member predicate declared in Stmt
getAnAttribute	member predicate declared in XMLElement
getAnEnclosedExpression	member predicate declared in MetricClass
getAnEnclosedStmt	member predicate declared in MetricClass
getAnEnumConstant	member predicate declared in Enum
getAnExpandedElement	member predicate declared in MacroInvocation
getAnExplicitTemplateArgument	member predicate declared in FunctionCall
getAnExplicitTemplateArgumentKind	member predicate declared in FunctionCall
getAnExpr	member predicate declared in HashCons
getAnInclude	member predicate declared in Include
getAnIncludedFile	member predicate declared in File
getAnInitializer	member predicate declared in Constructor
getAnInsecureAlgorithmName	predicate declared in Encryption
getAnInsecureHashAlgorithmName	predicate declared in Encryption
getAnInstantiation	member predicate declared in TemplateClass
getAnInvocation	member predicate declared in Macro
getAnIterationVariable	member predicate declared in RangeBasedForStmt
getAnIterationVariable	member predicate declared in ForStmt
getAnOctalEscapeSequence	member predicate declared in TextLiteral
getAnOperand	member predicate declared in Operation
getAnOperand	member predicate declared in Instruction
getAnOverload	member predicate declared in Function
getAnOverriddenFunction	member predicate declared in MemberFunction
getAnOverridingFunction	member predicate declared in MemberFunction
getAnUltimateDefiningValue	member predicate declared in SsaDefinition
getAnUltimateSsaDefinition	member predicate declared in SsaDefinition
getAnUnwrapperFunction	member predicate declared in PointerWrapper
getArchetype	member predicate declared in FormatAttribute
getArgument	member predicate declared in Attribute
getArgument	member predicate declared in Call
getArgument	member predicate declared in ExprCall
getArgument	member predicate declared in Compilation
getArgument	member predicate declared in FormattingFunctionCall
getArrayArgument	member predicate declared in ArrayExecFunctionCall
getArrayBase	member predicate declared in OverloadedArrayExpr
getArrayOffset	member predicate declared in OverloadedArrayExpr
getArraySize	member predicate declared in ArrayType
getArraySize	member predicate declared in ArrayOrVectorAggregateLiteral
getArraySize	member predicate declared in ArrayAggregateLiteral
getArraySize	member predicate declared in VectorAggregateLiteral
getAsserted	member predicate declared in Assertion
getAsserted	member predicate declared in LibcAssert
getAsserted	member predicate declared in MacroAssert
getAsserted	member predicate declared in RecoverableAssert
getAst	member predicate declared in BaseAstNode
getAst	member predicate declared in Instruction
getAttribute	member predicate declared in AttributeArgument
getAttribute	member predicate declared in XMLElement
getAttributeValue	member predicate declared in XMLElement
getBWDesc	member predicate declared in BufferWrite
getBWDesc	member predicate declared in ScanfBW
getBackEdgeSuccessor	member predicate declared in Instruction
getBase	member predicate declared in FloatingPointType
getBaseClass	member predicate declared in ClassDerivation
getBaseClass	member predicate declared in InheritanceConversion
getBaseClass	member predicate declared in BaseClassConversion
getBaseClass	member predicate declared in DerivedClassConversion
getBaseName	member predicate declared in Container
getBaseType	member predicate declared in DerivedType
getBaseType	member predicate declared in Decltype
getBaseType	member predicate declared in PointerToMemberType
getBaseType	member predicate declared in ClassDerivation
getBaseType	member predicate declared in TypedefType
getBasicBlock	member predicate declared in ControlFlowNode
getBasicBlock	member predicate declared in SsaDefinition
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 Handler
getBlock	member predicate declared in Instruction
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 BufferAccess
getBuffer	member predicate declared in MemcpyBA
getBuffer	member predicate declared in BCopyBA
getBuffer	member predicate declared in StrncpyBA
getBuffer	member predicate declared in MemccpyBA
getBuffer	member predicate declared in MemcmpBA
getBuffer	member predicate declared in SwabBA
getBuffer	member predicate declared in MemsetBA
getBuffer	member predicate declared in ZeroMemoryBA
getBuffer	member predicate declared in MemchrBA
getBuffer	member predicate declared in FreadBA
getBuffer	member predicate declared in ArrayExprBA
getBufferSize	predicate declared in Buffer
getBufferType	member predicate declared in BufferWrite
getBufferType	member predicate declared in StrCopyBW
getBufferType	member predicate declared in StrCatBW
getBufferType	member predicate declared in SprintfBW
getBufferType	member predicate declared in SnprintfBW
getBufferType	member predicate declared in GetsBW
getBufferType	member predicate declared in ScanfBW
getBufferType	member predicate declared in RealpathBW
getByteOffset	member predicate declared in ClassDerivation
getByteOffset	member predicate declared in Field
getByteSize	member predicate declared in ArrayType
getCanonicalArithmeticType	member predicate declared in IntegralType
getCanonicalMember	member predicate declared in Class
getCanonicalName	member predicate declared in DeclarationEntry
getCapture	member predicate declared in LambdaExpression
getCatchBlock	member predicate declared in Parameter
getCatchClause	member predicate declared in TryStmt
getCharSize	member predicate declared in BufferWrite
getCharacter	member predicate declared in CharLiteral
getCharacters	member predicate declared in XMLCharacters
getChild	member predicate declared in Expr
getChild	member predicate declared in Stmt
getChild	member predicate declared in XMLParent
getChild	member predicate declared in PrintAstNode
getChildAccessorPredicate	member predicate declared in PrintAstNode
getChildAccessorPredicateInternal	member predicate declared in PrintAstNode
getChildAccessorPredicateInternal	member predicate declared in ExprNode
getChildAccessorPredicateInternal	member predicate declared in DeclarationEntryNode
getChildAccessorPredicateInternal	member predicate declared in VariableDeclarationEntryNode
getChildAccessorPredicateInternal	member predicate declared in StmtNode
getChildAccessorPredicateInternal	member predicate declared in ParameterNode
getChildAccessorPredicateInternal	member predicate declared in InitializerNode
getChildAccessorPredicateInternal	member predicate declared in ParametersNode
getChildAccessorPredicateInternal	member predicate declared in ConstructorInitializersNode
getChildAccessorPredicateInternal	member predicate declared in DestructorDestructionsNode
getChildAccessorPredicateInternal	member predicate declared in FunctionNode
getChildInternal	member predicate declared in PrintAstNode
getChildInternal	member predicate declared in ExprNode
getChildInternal	member predicate declared in ConversionNode
getChildInternal	member predicate declared in StmtExprNode
getChildInternal	member predicate declared in DeclarationEntryNode
getChildInternal	member predicate declared in VariableDeclarationEntryNode
getChildInternal	member predicate declared in StmtNode
getChildInternal	member predicate declared in DeclStmtNode
getChildInternal	member predicate declared in ParameterNode
getChildInternal	member predicate declared in InitializerNode
getChildInternal	member predicate declared in ParametersNode
getChildInternal	member predicate declared in ConstructorInitializersNode
getChildInternal	member predicate declared in DestructorDestructionsNode
getChildInternal	member predicate declared in FunctionNode
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 VarargsExecFunctionCall
getCommand	member predicate declared in ArrayExecFunctionCall
getCommandArgument	member predicate declared in VarargsExecFunctionCall
getComment	member predicate declared in CommentBlock
getCommentRatio	member predicate declared in MetricFunction
getCommentTextCaptioned	predicate declared in CaptionedComments
getCommentedElement	member predicate declared in Comment
getCompilation	member predicate declared in Diagnostic
getCondition	member predicate declared in ConditionalExpr
getCondition	member predicate declared in IfStmt
getCondition	member predicate declared in ConstexprIfStmt
getCondition	member predicate declared in Loop
getCondition	member predicate declared in WhileStmt
getCondition	member predicate declared in DoStmt
getCondition	member predicate declared in RangeBasedForStmt
getCondition	member predicate declared in ForStmt
getCondition	member predicate declared in MicrosoftTryExceptStmt
getConfiguration	member predicate declared in MustFlowPathNode
getConstantPart	member predicate declared in FormatLiteral
getConstantSuffix	member predicate declared in FormatLiteral
getConstructor	member predicate declared in ConstructorInitializersNode
getContainer	member predicate declared in Location
getContents	member predicate declared in Comment
getContinuable	member predicate declared in ContinueStmt
getControlFlowScope	member predicate declared in Function
getControlFlowScope	member predicate declared in Expr
getControlFlowScope	member predicate declared in Initializer
getControlFlowScope	member predicate declared in ControlFlowNode
getControlFlowScope	member predicate declared in Stmt
getControllingExpr	member predicate declared in ControlStructure
getControllingExpr	member predicate declared in IfStmt
getControllingExpr	member predicate declared in ConstexprIfStmt
getControllingExpr	member predicate declared in WhileStmt
getControllingExpr	member predicate declared in DoStmt
getControllingExpr	member predicate declared in RangeBasedForStmt
getControllingExpr	member predicate declared in ForStmt
getControllingExpr	member predicate declared in SwitchStmt
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
getDay	primitive predicate declared in date
getDeclaration	member predicate declared in SALAnnotation
getDeclaration	member predicate declared in FunctionDeclarationEntry
getDeclaration	member predicate declared in DeclarationEntry
getDeclaration	member predicate declared in UsingDeclarationEntry
getDeclaration	member predicate declared in Initializer
getDeclaration	member predicate declared in DeclStmt
getDeclarationEntries	predicate declared in Dependency
getDeclarationEntry	member predicate declared in SALAnnotation
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
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 FormatLiteral
getDefaultCharType	member predicate declared in FormattingFunction
getDefine	member predicate declared in CorrectIncludeGuard
getDefiningValue	member predicate declared in SsaDefinition
getDefinition	member predicate declared in Function
getDefinition	member predicate declared in UserType
getDefinition	member predicate declared in Declaration
getDefinition	member predicate declared in Variable
getDefinition	member predicate declared in SsaDefinition
getDefinitionLocation	member predicate declared in Function
getDefinitionLocation	member predicate declared in UserType
getDefinitionLocation	member predicate declared in Declaration
getDefinitionLocation	member predicate declared in EnumConstant
getDefinitionLocation	member predicate declared in Variable
getDefinitionLocation	member predicate declared in FriendDecl
getDependencyOptions	predicate declared in Dependency
getDepth	member predicate declared in XMLParent
getDepth	member predicate declared in XMLElement
getDerivation	member predicate declared in Class
getDerivation	member predicate declared in InheritanceConversion
getDerivedClass	member predicate declared in ClassDerivation
getDerivedClass	member predicate declared in InheritanceConversion
getDerivedClass	member predicate declared in BaseClassConversion
getDerivedClass	member predicate declared in DerivedClassConversion
getDescription	member predicate declared in Declaration
getDescription	member predicate declared in Closure
getDescription	member predicate declared in BufferWriteEstimationReason
getDescription	member predicate declared in UnspecifiedEstimateReason
getDescription	member predicate declared in TypeBoundsAnalysis
getDescription	member predicate declared in WidenedValueFlowAnalysis
getDescription	member predicate declared in ValueFlowAnalysis
getDest	member predicate declared in BufferWrite
getDest	member predicate declared in StrCopyBW
getDest	member predicate declared in StrCatBW
getDest	member predicate declared in SprintfBW
getDest	member predicate declared in SnprintfBW
getDest	member predicate declared in GetsBW
getDest	member predicate declared in ScanfBW
getDest	member predicate declared in RealpathBW
getDest	member predicate declared in FileWrite
getDest	member predicate declared in ChainedOutputCall
getDest	member predicate declared in OperatorLShiftCall
getDest	member predicate declared in PutFunctionCall
getDest	member predicate declared in WriteFunctionCall
getDestType	member predicate declared in ImplicitConversionFunction
getDestType	member predicate declared in ConversionOperator
getDestinationVAList	member predicate declared in BuiltInVarArgCopy
getDestruction	member predicate declared in Destructor
getDestructor	member predicate declared in Class
getDestructor	member predicate declared in DestructorDestructionsNode
getDimensionExpr	member predicate declared in VlaDimensionStmt
getDisplayIndexInBlock	member predicate declared in Instruction
getDistanceFromMain	member predicate declared in MetricNamespace
getDomain	member predicate declared in FloatingPointType
getDumpString	member predicate declared in Instruction
getEffectiveNumberOfParameters	member predicate declared in Function
getEffectiveNumberOfParameters	member predicate declared in MemberFunction
getEfferentCoupling	member predicate declared in MetricNamespace
getEfferentCoupling	member predicate declared in MetricClass
getEfferentCoupling	member predicate declared in MetricFunction
getEfferentSourceCoupling	member predicate declared in MetricClass
getElement	member predicate declared in XMLAttribute
getElementExpr	member predicate declared in ArrayOrVectorAggregateLiteral
getElementPositionIndex	member predicate declared in XMLElement
getElementType	member predicate declared in ArrayOrVectorAggregateLiteral
getElementType	member predicate declared in ArrayAggregateLiteral
getElementType	member predicate declared in VectorAggregateLiteral
getElse	member predicate declared in ConditionalExpr
getElse	member predicate declared in IfStmt
getElse	member predicate declared in ConstexprIfStmt
getEnclosingAccessHolder	member predicate declared in Function
getEnclosingAccessHolder	member predicate declared in LocalClass
getEnclosingAccessHolder	member predicate declared in UserType
getEnclosingBlock	member predicate declared in Expr
getEnclosingBlock	member predicate declared in Stmt
getEnclosingCallable	member predicate declared in Node
getEnclosingElement	member predicate declared in Element
getEnclosingElement	member predicate declared in FunctionDeclarationEntry
getEnclosingFunction	member predicate declared in UserType
getEnclosingFunction	member predicate declared in Expr
getEnclosingFunction	member predicate declared in MacroInvocation
getEnclosingFunction	member predicate declared in BasicBlock
getEnclosingFunction	member predicate declared in Stmt
getEnclosingFunction	member predicate declared in Instruction
getEnclosingIRFunction	member predicate declared in Instruction
getEnclosingStmt	member predicate declared in Function
getEnclosingStmt	member predicate declared in Expr
getEnclosingStmt	member predicate declared in Initializer
getEnclosingStmt	member predicate declared in ControlFlowNode
getEnclosingStmt	member predicate declared in Stmt
getEnclosingVariable	member predicate declared in Expr
getEncoding	member predicate declared in XMLFile
getEnd	member predicate declared in BasicBlock
getEndColumn	member predicate declared in MetricResult
getEndColumn	member predicate declared in DefectResult
getEndColumn	member predicate declared in Location
getEndDest	member predicate declared in ChainedOutputCall
getEndExpr	member predicate declared in SwitchCase
getEndLine	member predicate declared in MetricResult
getEndLine	member predicate declared in DefectResult
getEndLine	member predicate declared in Location
getEndVariable	member predicate declared in RangeBasedForStmt
getEndif	member predicate declared in CorrectIncludeGuard
getEntryPoint	member predicate declared in Function
getEnumConstant	member predicate declared in Enum
getEquivalenceClass	member predicate declared in Copy
getExcept	member predicate declared in MicrosoftTryExceptStmt
getExpandedArgument	member predicate declared in MacroInvocation
getExpectedParameterType	member predicate declared in FunctionCall
getExpectedReturnType	member predicate declared in FunctionCall
getExplicitLimit	member predicate declared in BufferWrite
getExplicitLimit	member predicate declared in StrCopyBW
getExplicitLimit	member predicate declared in StrCatBW
getExplicitLimit	member predicate declared in SnprintfBW
getExplicitLimit	member predicate declared in GetsBW
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 Decltype
getExpr	member predicate declared in OverloadedPointerDereferenceExpr
getExpr	member predicate declared in ExprCall
getExpr	member predicate declared in ConstructorFieldInit
getExpr	member predicate declared in DestructorFieldDestruction
getExpr	member predicate declared in MacroInvocation
getExpr	member predicate declared in Initializer
getExpr	member predicate declared in Conversion
getExpr	member predicate declared in TypeidOperator
getExpr	member predicate declared in ExprStmt
getExpr	member predicate declared in ComputedGotoStmt
getExpr	member predicate declared in CoReturnStmt
getExpr	member predicate declared in ReturnStmt
getExpr	member predicate declared in SwitchCase
getExpr	member predicate declared in SwitchStmt
getExpr	member predicate declared in NameQualifier
getExprOperand	member predicate declared in SizeofExprOperator
getExprOperand	member predicate declared in AlignofExprOperator
getExtension	member predicate declared in Container
getExtensions	member predicate declared in File
getExtractorCpuSeconds	member predicate declared in Compilation
getExtractorElapsedSeconds	member predicate declared in Compilation
getField	member predicate declared in LambdaCapture
getField	member predicate declared in ExternalData
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 ExtractionProblem
getFile	member predicate declared in ExtractionUnrecoverableError
getFile	member predicate declared in ExtractionRecoverableWarning
getFile	member predicate declared in ExtractionUnknownProblem
getFile	member predicate declared in MetricResult
getFile	member predicate declared in DefectResult
getFile	member predicate declared in Container
getFile	member predicate declared in Element
getFile	member predicate declared in Location
getFile	member predicate declared in XMLParent
getFile	member predicate declared in XMLFile
getFile	member predicate declared in XMLElement
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
getFlags	member predicate declared in FormatLiteral
getFloatingPointConversion	member predicate declared in FormatLiteral
getFolder	member predicate declared in Container
getFolder	member predicate declared in XMLFile
getFollowingStmt	member predicate declared in Stmt
getFormat	member predicate declared in FormattingFunctionCall
getFormat	member predicate declared in FormatLiteral
getFormat	member predicate declared in ScanfFunctionCall
getFormat	member predicate declared in ScanfFormatLiteral
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 AttributeFormattingFunction
getFormatParameterIndex	member predicate declared in UserDefinedFormattingFunction
getFormatParameterIndex	member predicate declared in FormattingFunctionCall
getFormatParameterIndex	member predicate declared in FormattingFunction
getFormatParameterIndex	member predicate declared in ScanfFunction
getFormatParameterIndex	member predicate declared in Scanf
getFormatParameterIndex	member predicate declared in Fscanf
getFormatParameterIndex	member predicate declared in Sscanf
getFormatParameterIndex	member predicate declared in Snscanf
getFormatParameterIndex	member predicate declared in ScanfFunctionCall
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 Namespace
getFriendlyName	member predicate declared in GlobalNamespace
getFrontendCpuSeconds	member predicate declared in Compilation
getFrontendElapsedSeconds	member predicate declared in Compilation
getFullMessage	member predicate declared in Diagnostic
getFullSignature	member predicate declared in Function
getFullyConverted	member predicate declared in Expr
getFullyConvertedLowerBounds	predicate declared in SimpleRangeAnalysisInternal
getFullyConvertedUpperBounds	predicate declared in SimpleRangeAnalysisInternal
getFunction	member predicate declared in FunctionDeclarationEntry
getFunction	member predicate declared in Parameter
getFunction	member predicate declared in LocalVariable
getFunction	member predicate declared in Node
getFunction	member predicate declared in ParametersNode
getFunction	member predicate declared in FunctionNode
getGeneratingMacro	member predicate declared in Stmt
getGeneratingMacro	member predicate declared in ExprStmt
getGeneratingMacro	member predicate declared in IfStmt
getGeneratingMacro	member predicate declared in ConstexprIfStmt
getGeneratingMacro	member predicate declared in WhileStmt
getGeneratingMacro	member predicate declared in ComputedGotoStmt
getGeneratingMacro	member predicate declared in DoStmt
getGeneratingMacro	member predicate declared in ForStmt
getGeneratingMacro	member predicate declared in SwitchStmt
getGreaterOperand	member predicate declared in RelationalOperation
getGreaterOperand	member predicate declared in GTExpr
getGreaterOperand	member predicate declared in LTExpr
getGreaterOperand	member predicate declared in GEExpr
getGreaterOperand	member predicate declared in LEExpr
getHalsteadDeliveredBugs	member predicate declared in MetricClass
getHalsteadDeliveredBugs	member predicate declared in MetricFunction
getHalsteadDifficulty	member predicate declared in MetricClass
getHalsteadDifficulty	member predicate declared in MetricFunction
getHalsteadEffort	member predicate declared in MetricClass
getHalsteadEffort	member predicate declared in MetricFunction
getHalsteadLength	member predicate declared in MetricClass
getHalsteadLength	member predicate declared in MetricFunction
getHalsteadLevel	member predicate declared in MetricClass
getHalsteadLevel	member predicate declared in MetricFunction
getHalsteadN1	member predicate declared in MetricClass
getHalsteadN1	member predicate declared in MetricFunction
getHalsteadN1Distinct	member predicate declared in MetricClass
getHalsteadN1Distinct	member predicate declared in MetricFunction
getHalsteadN2	member predicate declared in MetricClass
getHalsteadN2	member predicate declared in MetricFunction
getHalsteadN2Distinct	member predicate declared in MetricClass
getHalsteadN2Distinct	member predicate declared in MetricFunction
getHalsteadVocabulary	member predicate declared in MetricClass
getHalsteadVocabulary	member predicate declared in MetricFunction
getHalsteadVolume	member predicate declared in MetricClass
getHalsteadVolume	member predicate declared in MetricFunction
getHead	member predicate declared in PreprocessorDirective
getHead	member predicate declared in Macro
getHours	primitive predicate declared in date
getIdentityString	predicate declared in Print
getIfndef	member predicate declared in CorrectIncludeGuard
getImaginaryOperand	member predicate declared in BuiltInComplexOperation
getImmediateString	member predicate declared in Instruction
getImplicitlyConverted	member predicate declared in Expr
getIncludeGuardName	member predicate declared in CorrectIncludeGuard
getIncludeText	member predicate declared in Include
getIncludedFile	member predicate declared in Include
getIndex	member predicate declared in ClassDerivation
getIndex	member predicate declared in AttributeArgument
getIndex	member predicate declared in Parameter
getIndex	member predicate declared in XMLElement
getIndexOfStmt	member predicate declared in BlockStmt
getInheritanceDepth	member predicate declared in MetricClass
getInitialization	member predicate declared in ForStmt
getInitializationOrder	member predicate declared in Field
getInitializer	member predicate declared in EnumConstant
getInitializer	member predicate declared in Variable
getInitializer	member predicate declared in Constructor
getInitializer	member predicate declared in LambdaExpression
getInitializer	member predicate declared in LambdaCapture
getInitializingExpr	member predicate declared in ConditionDeclExpr
getInputLengthParameterIndex	member predicate declared in Snscanf
getInputParameterIndex	member predicate declared in ScanfFunction
getInputParameterIndex	member predicate declared in Scanf
getInputParameterIndex	member predicate declared in Fscanf
getInputParameterIndex	member predicate declared in Sscanf
getInputParameterIndex	member predicate declared in Snscanf
getInputParameterIndex	member predicate declared in ScanfFunctionCall
getInsecureAlgorithmRegex	predicate declared in Encryption
getInstability	member predicate declared in MetricNamespace
getIntegralConversion	member predicate declared in FormatLiteral
getIntegralDisplayType	member predicate declared in FormatLiteral
getKind	member predicate declared in HashCons
getLValue	member predicate declared in Assignment
getLabel	member predicate declared in LabelLiteral
getLackOfCohesionCK	member predicate declared in MetricClass
getLackOfCohesionHS	member predicate declared in MetricClass
getLambdaExpression	member predicate declared in Closure
getLambdaFunction	member predicate declared in LambdaExpression
getLambdaFunction	member predicate declared in Closure
getLastNamedParameter	member predicate declared in BuiltInVarArgsStart
getLastStmt	member predicate declared in SwitchCase
getLastStmt	member predicate declared in BlockStmt
getLastStmtIn	member predicate declared in BlockStmt
getLeftOperand	member predicate declared in BinaryOperation
getLength	member predicate declared in FormatLiteral
getLength	member predicate declared in ScanfFormatLiteral
getLesserOperand	member predicate declared in RelationalOperation
getLesserOperand	member predicate declared in GTExpr
getLesserOperand	member predicate declared in LTExpr
getLesserOperand	member predicate declared in GEExpr
getLesserOperand	member predicate declared in LEExpr
getLine	member predicate declared in CommentBlock
getLocation	member predicate declared in ExtractionProblem
getLocation	member predicate declared in ExtractionUnrecoverableError
getLocation	member predicate declared in ExtractionRecoverableWarning
getLocation	member predicate declared in ExtractionUnknownProblem
getLocation	member predicate declared in Folder
getLocation	member predicate declared in File
getLocation	member predicate declared in Element
getLocation	member predicate declared in Type
getLocation	member predicate declared in Decltype
getLocation	member predicate declared in AutoType
getLocation	member predicate declared in TypeMention
getLocation	member predicate declared in Function
getLocation	member predicate declared in FunctionDeclarationEntry
getLocation	member predicate declared in ClassDerivation
getLocation	member predicate declared in ProxyClass
getLocation	member predicate declared in UserType
getLocation	member predicate declared in Declaration
getLocation	member predicate declared in Specifier
getLocation	member predicate declared in Attribute
getLocation	member predicate declared in AttributeArgument
getLocation	member predicate declared in Namespace
getLocation	member predicate declared in NamespaceDeclarationEntry
getLocation	member predicate declared in UsingEntry
getLocation	member predicate declared in Parameter
getLocation	member predicate declared in Expr
getLocation	member predicate declared in PreprocessorDirective
getLocation	member predicate declared in MacroAccess
getLocation	member predicate declared in EnumConstant
getLocation	member predicate declared in Variable
getLocation	member predicate declared in Initializer
getLocation	member predicate declared in FriendDecl
getLocation	member predicate declared in LambdaCapture
getLocation	member predicate declared in Stmt
getLocation	member predicate declared in SsaDefinition
getLocation	member predicate declared in XMLLocatable
getLocation	member predicate declared in Diagnostic
getLocation	member predicate declared in Comment
getLocation	member predicate declared in NameQualifier
getLocation	member predicate declared in Node
getLocation	member predicate declared in PrintAstNode
getLocation	member predicate declared in BaseAstNode
getLocation	member predicate declared in ParametersNode
getLocation	member predicate declared in ConstructorInitializersNode
getLocation	member predicate declared in DestructorDestructionsNode
getLocation	member predicate declared in Instruction
getLocation	member predicate declared in HashCons
getLocation	member predicate declared in MustFlowPathNode
getLockAccess	member predicate declared in MutexType
getLockFunction	member predicate declared in MutexType
getMacro	member predicate declared in MacroAccess
getMacroName	member predicate declared in MacroAccess
getMatchingLocation	member predicate declared in MetricResult
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 StrCopyBW
getMaxData	member predicate declared in StrCopyBW
getMaxData	member predicate declared in StrCatBW
getMaxData	member predicate declared in StrCatBW
getMaxData	member predicate declared in SprintfBW
getMaxData	member predicate declared in SprintfBW
getMaxData	member predicate declared in SnprintfBW
getMaxData	member predicate declared in SnprintfBW
getMaxData	member predicate declared in ScanfBW
getMaxData	member predicate declared in ScanfBW
getMaxData	member predicate declared in RealpathBW
getMaxData	member predicate declared in RealpathBW
getMaxDataLimited	member predicate declared in BufferWrite
getMaxDataLimited	member predicate declared in BufferWrite
getMaxDataLimited	member predicate declared in SprintfBW
getMaxDataLimited	member predicate declared in SprintfBW
getMaxDataLimited	member predicate declared in SnprintfBW
getMaxDataLimited	member predicate declared in SnprintfBW
getMaxWidth	member predicate declared in ScanfFormatLiteral
getMaxWidthOpt	member predicate declared in ScanfFormatLiteral
getMentionedType	member predicate declared in TypeMention
getMessage	member predicate declared in DefectResult
getMessage	member predicate declared in Diagnostic
getMessage	member predicate declared in DefectExternalData
getMetrics	member predicate declared in File
getMetrics	member predicate declared in Function
getMetrics	member predicate declared in Class
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
getMinutes	primitive predicate declared in date
getMonth	primitive predicate declared in date
getMustlockAccess	member predicate declared in MutexType
getMustlockFunction	member predicate declared in MutexType
getName	member predicate declared in LibraryElement
getName	member predicate declared in Library
getName	member predicate declared in IgnoreAllVolatileSpecifiersEverywhere
getName	member predicate declared in Folder
getName	member predicate declared in Type
getName	member predicate declared in BuiltInType
getName	member predicate declared in DerivedType
getName	member predicate declared in Decltype
getName	member predicate declared in PointerToMemberType
getName	member predicate declared in RoutineType
getName	member predicate declared in Function
getName	member predicate declared in FunctionDeclarationEntry
getName	member predicate declared in UserType
getName	member predicate declared in Declaration
getName	member predicate declared in DeclarationEntry
getName	member predicate declared in Specifier
getName	member predicate declared in Attribute
getName	member predicate declared in AttributeArgument
getName	member predicate declared in Namespace
getName	member predicate declared in Parameter
getName	member predicate declared in Macro
getName	member predicate declared in EnumConstant
getName	member predicate declared in Variable
getName	member predicate declared in LocalVariable
getName	member predicate declared in MemberVariable
getName	member predicate declared in FriendDecl
getName	member predicate declared in GotoStmt
getName	member predicate declared in LabelStmt
getName	member predicate declared in XMLParent
getName	member predicate declared in XMLFile
getName	member predicate declared in XMLElement
getName	member predicate declared in XMLAttribute
getName	member predicate declared in NameQualifyingElement
getName	member predicate declared in BufferAccess
getName	member predicate declared in MemcpyBA
getName	member predicate declared in BCopyBA
getName	member predicate declared in StrncpyBA
getName	member predicate declared in MemccpyBA
getName	member predicate declared in MemcmpBA
getName	member predicate declared in SwabBA
getName	member predicate declared in MemsetBA
getName	member predicate declared in ZeroMemoryBA
getName	member predicate declared in MemchrBA
getName	member predicate declared in FreadBA
getName	member predicate declared in ArrayExprBA
getNameQualifier	member predicate declared in NameQualifier
getNameQualifier	member predicate declared in NameQualifiableElement
getNamedArgument	member predicate declared in MicrosoftAttribute
getNamespace	member predicate declared in Declaration
getNamespace	member predicate declared in StdAttribute
getNamespace	member predicate declared in NamespaceDeclarationEntry
getNamespace	member predicate declared in UsingDirectiveEntry
getNamespace	member predicate declared in XMLElement
getNamespace	member predicate declared in XMLAttribute
getNestingDepth	member predicate declared in MetricFunction
getNestingLevel	member predicate declared in MetricClass
getNextSwitchCase	member predicate declared in SwitchCase
getNoExceptExpr	member predicate declared in FunctionDeclarationEntry
getNode	member predicate declared in BasicBlock
getNode	member predicate declared in MustFlowPathNode
getNonDefaultCharType	member predicate declared in FormatLiteral
getNonDefaultCharType	member predicate declared in FormattingFunction
getNonNullSuccessor	member predicate declared in AnalysedExpr
getNullSuccessor	member predicate declared in AnalysedExpr
getNumArgNeeded	member predicate declared in FormatLiteral
getNumArgNeeded	member predicate declared in FormatLiteral
getNumBits	member predicate declared in BitField
getNumChild	member predicate declared in Expr
getNumConvSpec	member predicate declared in FormatLiteral
getNumConvSpec	member predicate declared in ScanfFormatLiteral
getNumDeclarations	member predicate declared in DeclStmt
getNumElements	member predicate declared in GNUVectorType
getNumFields	member predicate declared in ExternalData
getNumFormatArgument	member predicate declared in FormattingFunctionCall
getNumStmt	member predicate declared in BlockStmt
getNumberOfArguments	member predicate declared in Call
getNumberOfArguments	member predicate declared in FormattingFunctionCall
getNumberOfCalls	member predicate declared in MetricFunction
getNumberOfCatchClauses	member predicate declared in TryStmt
getNumberOfCharacterSets	member predicate declared in XMLParent
getNumberOfChildren	member predicate declared in XMLParent
getNumberOfExplicitTemplateArguments	member predicate declared in FunctionCall
getNumberOfFields	member predicate declared in MetricClass
getNumberOfLines	member predicate declared in FunctionDeclarationEntry
getNumberOfLines	member predicate declared in MetricFunction
getNumberOfLinesOfCode	member predicate declared in MetricFunction
getNumberOfLinesOfComments	member predicate declared in MetricFunction
getNumberOfMemberFunctions	member predicate declared in MetricClass
getNumberOfMembers	member predicate declared in MetricClass
getNumberOfNestedClasses	member predicate declared in MetricClass
getNumberOfParameters	member predicate declared in FunctionPointerIshType
getNumberOfParameters	member predicate declared in Function
getNumberOfParameters	member predicate declared in FunctionDeclarationEntry
getNumberOfParameters	member predicate declared in MetricFunction
getNumberOfTemplateArguments	member predicate declared in Declaration
getNumberOfTemplateArguments	member predicate declared in FunctionCall
getNumberOfVlaDimensionStmts	member predicate declared in VlaDeclStmt
getNumberOverridden	member predicate declared in MetricClass
getOpcode	member predicate declared in Instruction
getOperand	member predicate declared in UnaryOperation
getOperand	member predicate declared in CoReturnStmt
getOperandsString	member predicate declared in Instruction
getOperationString	member predicate declared in Instruction
getOperator	member predicate declared in Operation
getOperator	member predicate declared in UnaryMinusExpr
getOperator	member predicate declared in UnaryPlusExpr
getOperator	member predicate declared in ConjugationExpr
getOperator	member predicate declared in PrefixIncrExpr
getOperator	member predicate declared in PrefixDecrExpr
getOperator	member predicate declared in PostfixIncrExpr
getOperator	member predicate declared in PostfixDecrExpr
getOperator	member predicate declared in RealPartExpr
getOperator	member predicate declared in ImaginaryPartExpr
getOperator	member predicate declared in AddExpr
getOperator	member predicate declared in SubExpr
getOperator	member predicate declared in MulExpr
getOperator	member predicate declared in DivExpr
getOperator	member predicate declared in RemExpr
getOperator	member predicate declared in ImaginaryMulExpr
getOperator	member predicate declared in ImaginaryDivExpr
getOperator	member predicate declared in RealImaginaryAddExpr
getOperator	member predicate declared in ImaginaryRealAddExpr
getOperator	member predicate declared in RealImaginarySubExpr
getOperator	member predicate declared in ImaginaryRealSubExpr
getOperator	member predicate declared in MinExpr
getOperator	member predicate declared in MaxExpr
getOperator	member predicate declared in PointerAddExpr
getOperator	member predicate declared in PointerSubExpr
getOperator	member predicate declared in PointerDiffExpr
getOperator	member predicate declared in ComplementExpr
getOperator	member predicate declared in LShiftExpr
getOperator	member predicate declared in RShiftExpr
getOperator	member predicate declared in BitwiseAndExpr
getOperator	member predicate declared in BitwiseOrExpr
getOperator	member predicate declared in BitwiseXorExpr
getOperator	member predicate declared in NotExpr
getOperator	member predicate declared in LogicalAndExpr
getOperator	member predicate declared in LogicalOrExpr
getOperator	member predicate declared in ConditionalExpr
getOperator	member predicate declared in EQExpr
getOperator	member predicate declared in NEExpr
getOperator	member predicate declared in GTExpr
getOperator	member predicate declared in LTExpr
getOperator	member predicate declared in GEExpr
getOperator	member predicate declared in LEExpr
getOperator	member predicate declared in AssignExpr
getOperator	member predicate declared in AssignAddExpr
getOperator	member predicate declared in AssignSubExpr
getOperator	member predicate declared in AssignMulExpr
getOperator	member predicate declared in AssignDivExpr
getOperator	member predicate declared in AssignRemExpr
getOperator	member predicate declared in AssignAndExpr
getOperator	member predicate declared in AssignOrExpr
getOperator	member predicate declared in AssignXorExpr
getOperator	member predicate declared in AssignLShiftExpr
getOperator	member predicate declared in AssignRShiftExpr
getOperator	member predicate declared in AssignPointerAddExpr
getOperator	member predicate declared in AssignPointerSubExpr
getOperator	member predicate declared in BuiltInOperationBuiltInAddressOf
getOperator	member predicate declared in VectorFillOperation
getOptions	predicate declared in DefaultOptions
getOriginalLength	member predicate declared in TextLiteral
getOutermostMacroAccess	member predicate declared in MacroAccess
getOutputArgument	member predicate declared in FormattingFunctionCall
getOutputParameterIndex	member predicate declared in UserDefinedFormattingFunction
getOutputParameterIndex	member predicate declared in FormattingFunction
getOverrides	member predicate declared in MetricClass
getParamArgs	member predicate declared in ScanfBW
getParamSize	member predicate declared in StrCopyBW
getParamSize	member predicate declared in StrCatBW
getParamSize	member predicate declared in SnprintfBW
getParamSize	member predicate declared in GetsBW
getParamSrc	member predicate declared in StrCopyBW
getParamSrc	member predicate declared in StrCatBW
getParameter	member predicate declared in Function
getParameter	member predicate declared in Handler
getParameter	member predicate declared in CatchBlock
getParameterDeclarationEntry	member predicate declared in FunctionDeclarationEntry
getParameterField	member predicate declared in FormatLiteral
getParameterFieldValue	member predicate declared in FormatLiteral
getParameterSizeIndex	member predicate declared in SideEffectFunction
getParameterString	member predicate declared in Function
getParameterString	member predicate declared in FunctionDeclarationEntry
getParameterType	member predicate declared in FunctionPointerIshType
getParameterType	member predicate declared in RoutineType
getParent	member predicate declared in Expr
getParent	member predicate declared in Stmt
getParent	member predicate declared in XMLDTD
getParent	member predicate declared in XMLElement
getParent	member predicate declared in XMLComment
getParent	member predicate declared in XMLCharacters
getParent	member predicate declared in PrintAstNode
getParentContainer	member predicate declared in Container
getParentInvocation	member predicate declared in MacroAccess
getParentNamespace	member predicate declared in Namespace
getParentNamespace	member predicate declared in GlobalNamespace
getParentScope	member predicate declared in Element
getParentStmt	member predicate declared in Stmt
getParentWithConversions	member predicate declared in Expr
getPath	member predicate declared in XMLFile
getPlacementArgument	member predicate declared in OperatorNewAllocationFunction
getPointedSize	predicate declared in BufferAccess
getPointerIndirectionLevel	member predicate declared in Type
getPointerIndirectionLevel	member predicate declared in Decltype
getPointerIndirectionLevel	member predicate declared in PointerType
getPointerIndirectionLevel	member predicate declared in ReferenceType
getPointerIndirectionLevel	member predicate declared in SpecifiedType
getPointerIndirectionLevel	member predicate declared in FunctionPointerType
getPointerIndirectionLevel	member predicate declared in FunctionReferenceType
getPointerIndirectionLevel	member predicate declared in BlockType
getPointerIndirectionLevel	member predicate declared in PointerToMemberType
getPointerIndirectionLevel	member predicate declared in TypedefType
getPrecedence	member predicate declared in Call
getPrecedence	member predicate declared in Expr
getPrecedence	member predicate declared in UnaryMinusExpr
getPrecedence	member predicate declared in UnaryPlusExpr
getPrecedence	member predicate declared in PrefixIncrExpr
getPrecedence	member predicate declared in PrefixDecrExpr
getPrecedence	member predicate declared in PostfixIncrExpr
getPrecedence	member predicate declared in PostfixDecrExpr
getPrecedence	member predicate declared in AddExpr
getPrecedence	member predicate declared in SubExpr
getPrecedence	member predicate declared in MulExpr
getPrecedence	member predicate declared in DivExpr
getPrecedence	member predicate declared in RemExpr
getPrecedence	member predicate declared in ImaginaryMulExpr
getPrecedence	member predicate declared in ImaginaryDivExpr
getPrecedence	member predicate declared in RealImaginaryAddExpr
getPrecedence	member predicate declared in ImaginaryRealAddExpr
getPrecedence	member predicate declared in RealImaginarySubExpr
getPrecedence	member predicate declared in ImaginaryRealSubExpr
getPrecedence	member predicate declared in PointerAddExpr
getPrecedence	member predicate declared in PointerSubExpr
getPrecedence	member predicate declared in PointerDiffExpr
getPrecedence	member predicate declared in ComplementExpr
getPrecedence	member predicate declared in LShiftExpr
getPrecedence	member predicate declared in RShiftExpr
getPrecedence	member predicate declared in BitwiseAndExpr
getPrecedence	member predicate declared in BitwiseOrExpr
getPrecedence	member predicate declared in BitwiseXorExpr
getPrecedence	member predicate declared in NotExpr
getPrecedence	member predicate declared in LogicalAndExpr
getPrecedence	member predicate declared in LogicalOrExpr
getPrecedence	member predicate declared in ConditionalExpr
getPrecedence	member predicate declared in EqualityOperation
getPrecedence	member predicate declared in RelationalOperation
getPrecedence	member predicate declared in Assignment
getPrecedence	member predicate declared in CStyleCast
getPrecedence	member predicate declared in StaticCast
getPrecedence	member predicate declared in ConstCast
getPrecedence	member predicate declared in ReinterpretCast
getPrecedence	member predicate declared in DynamicCast
getPrecedence	member predicate declared in UuidofOperator
getPrecedence	member predicate declared in TypeidOperator
getPrecedence	member predicate declared in SizeofOperator
getPrecedence	member predicate declared in AlignofOperator
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
getPrefix	member predicate declared in XMLNamespace
getPreviousSwitchCase	member predicate declared in SwitchCase
getPrimaryTemplate	member predicate declared in ClassTemplateSpecialization
getProblemMessage	member predicate declared in ExtractionProblem
getProblemMessage	member predicate declared in ExtractionUnrecoverableError
getProblemMessage	member predicate declared in ExtractionRecoverableWarning
getProblemMessage	member predicate declared in ExtractionUnknownProblem
getProperty	member predicate declared in PrintAstNode
getProperty	member predicate declared in ExprNode
getProperty	member predicate declared in CastNode
getProperty	member predicate declared in DeclarationEntryNode
getProperty	member predicate declared in ParameterNode
getProperty	member predicate declared in FunctionNode
getPublicId	member predicate declared in XMLDTD
getQualifiedElement	member predicate declared in NameQualifier
getQualifiedName	member predicate declared in Declaration
getQualifiedName	member predicate declared in Namespace
getQualifier	member predicate declared in Call
getQualifier	member predicate declared in VacuousDestructorCall
getQualifier	member predicate declared in VariableAccess
getQualifyingElement	member predicate declared in NameQualifier
getQueryPath	member predicate declared in MetricResult
getQueryPath	member predicate declared in DefectResult
getQueryPath	member predicate declared in ExternalData
getRValue	member predicate declared in Assignment
getRange	member predicate declared in RangeBasedForStmt
getRangeVariable	member predicate declared in RangeBasedForStmt
getRealOperand	member predicate declared in BuiltInComplexOperation
getRealType	member predicate declared in FloatingPointType
getReallocPtr	member predicate declared in AllocationExpr
getReallocPtrArg	member predicate declared in AllocationFunction
getRelativePath	member predicate declared in Container
getResponse	member predicate declared in MetricClass
getResultAddress	member predicate declared in Instruction
getResultAddressOperand	member predicate declared in Instruction
getResultIRType	member predicate declared in Instruction
getResultId	member predicate declared in Instruction
getResultLanguageType	member predicate declared in Instruction
getResultMemoryAccess	member predicate declared in Instruction
getResultSize	member predicate declared in Instruction
getResultString	member predicate declared in Instruction
getResultType	member predicate declared in TypeidOperator
getResultType	member predicate declared in Instruction
getReturnType	member predicate declared in FunctionPointerIshType
getReturnType	member predicate declared in RoutineType
getRightOperand	member predicate declared in BinaryOperation
getRoot	member predicate declared in XMLDTD
getScanfFunction	member predicate declared in ScanfFunctionCall
getSeconds	primitive predicate declared in date
getSecureAlgorithmRegex	predicate declared in Encryption
getSemanticConversionString	member predicate declared in Cast
getSemanticConversionString	member predicate declared in ArithmeticConversion
getSemanticConversionString	member predicate declared in IntegralConversion
getSemanticConversionString	member predicate declared in FloatingPointConversion
getSemanticConversionString	member predicate declared in FloatingPointToIntegralConversion
getSemanticConversionString	member predicate declared in IntegralToFloatingPointConversion
getSemanticConversionString	member predicate declared in PointerConversion
getSemanticConversionString	member predicate declared in PointerToMemberConversion
getSemanticConversionString	member predicate declared in PointerToIntegralConversion
getSemanticConversionString	member predicate declared in IntegralToPointerConversion
getSemanticConversionString	member predicate declared in BoolConversion
getSemanticConversionString	member predicate declared in VoidConversion
getSemanticConversionString	member predicate declared in BaseClassConversion
getSemanticConversionString	member predicate declared in DerivedClassConversion
getSemanticConversionString	member predicate declared in PointerToMemberBaseClassConversion
getSemanticConversionString	member predicate declared in PointerToMemberDerivedClassConversion
getSemanticConversionString	member predicate declared in GlvalueConversion
getSemanticConversionString	member predicate declared in PrvalueAdjustmentConversion
getSemanticConversionString	member predicate declared in DynamicCast
getSeverity	member predicate declared in ExtractionProblem
getSeverity	member predicate declared in ExtractionUnrecoverableError
getSeverity	member predicate declared in ExtractionRecoverableWarning
getSeverity	member predicate declared in ExtractionUnknownProblem
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 Folder
getShortName	member predicate declared in File
getSimpleName	member predicate declared in UserType
getSinkType	member predicate declared in RemoteFlowSink
getSize	member predicate declared in Type
getSize	member predicate declared in Decltype
getSize	member predicate declared in SpecifiedType
getSize	member predicate declared in ArrayType
getSize	member predicate declared in GNUVectorType
getSize	member predicate declared in TypedefType
getSize	member predicate declared in Enum
getSize	member predicate declared in BufferAccess
getSize	member predicate declared in MemcpyBA
getSize	member predicate declared in BCopyBA
getSize	member predicate declared in StrncpyBA
getSize	member predicate declared in MemccpyBA
getSize	member predicate declared in MemcmpBA
getSize	member predicate declared in SwabBA
getSize	member predicate declared in MemsetBA
getSize	member predicate declared in ZeroMemoryBA
getSize	member predicate declared in MemchrBA
getSize	member predicate declared in FreadBA
getSize	member predicate declared in ArrayExprBA
getSizeArg	member predicate declared in AllocationFunction
getSizeArg	member predicate declared in OperatorNewAllocationFunction
getSizeBytes	member predicate declared in AllocationExpr
getSizeExpr	member predicate declared in AllocationExpr
getSizeMult	member predicate declared in AllocationFunction
getSizeMult	member predicate declared in AllocationExpr
getSizeParameterIndex	member predicate declared in FormattingFunction
getSource	member predicate declared in ChainedOutputCall
getSource	member predicate declared in OperatorLShiftCall
getSource	member predicate declared in PutFunctionCall
getSource	member predicate declared in WriteFunctionCall
getSourceConvChar	member predicate declared in FileWrite
getSourceType	member predicate declared in ImplicitConversionFunction
getSourceType	member predicate declared in ConversionOperator
getSourceType	member predicate declared in FlowSource
getSourceVAList	member predicate declared in BuiltInVarArgCopy
getSpecialisationIndex	member predicate declared in MetricClass
getSpecifierString	member predicate declared in SpecifiedType
getStart	member predicate declared in BasicBlock
getStartColumn	member predicate declared in MetricResult
getStartColumn	member predicate declared in DefectResult
getStartColumn	member predicate declared in Location
getStartLine	member predicate declared in MetricResult
getStartLine	member predicate declared in DefectResult
getStartLine	member predicate declared in Location
getStem	member predicate declared in Container
getStmt	member predicate declared in MacroInvocation
getStmt	member predicate declared in Loop
getStmt	member predicate declared in WhileStmt
getStmt	member predicate declared in DoStmt
getStmt	member predicate declared in RangeBasedForStmt
getStmt	member predicate declared in ForStmt
getStmt	member predicate declared in SwitchStmt
getStmt	member predicate declared in TryStmt
getStmt	member predicate declared in MicrosoftTryStmt
getStmt	member predicate declared in BlockStmt
getStorePointerConversion	member predicate declared in FormatLiteral
getSuccessor	member predicate declared in Instruction
getSwitchStmt	member predicate declared in SwitchCase
getSystemId	member predicate declared in XMLDTD
getTag	member predicate declared in Diagnostic
getTarget	member predicate declared in Call
getTarget	member predicate declared in FunctionCall
getTarget	member predicate declared in ExprCall
getTarget	member predicate declared in ConstructorCall
getTarget	member predicate declared in DestructorCall
getTarget	member predicate declared in ConstructorFieldInit
getTarget	member predicate declared in DestructorFieldDestruction
getTarget	member predicate declared in VariableAccess
getTarget	member predicate declared in FieldAccess
getTarget	member predicate declared in JumpStmt
getTarget	member predicate declared in FormattingFunctionCall
getTargetType	member predicate declared in FunctionCall
getTemplate	member predicate declared in ClassTemplateInstantiation
getTemplateArgument	member predicate declared in Declaration
getTemplateArgument	member predicate declared in FunctionCall
getTemplateArgumentKind	member predicate declared in Declaration
getTemplateArgumentKind	member predicate declared in FunctionCall
getTemplateParameter	member predicate declared in ProxyClass
getText	member predicate declared in XMLComment
getTextValue	member predicate declared in XMLParent
getThen	member predicate declared in ConditionalExpr
getThen	member predicate declared in IfStmt
getThen	member predicate declared in ConstexprIfStmt
getThrownType	member predicate declared in Function
getThrownType	member predicate declared in FunctionDeclarationEntry
getTotalCpuSeconds	member predicate declared in Compilation
getTotalElapsedSeconds	member predicate declared in Compilation
getTryStmt	member predicate declared in Handler
getTryStmt	member predicate declared in CatchBlock
getTrylockAccess	member predicate declared in MutexType
getTrylockFunction	member predicate declared in MutexType
getType	member predicate declared in Function
getType	member predicate declared in FunctionDeclarationEntry
getType	member predicate declared in DeclarationEntry
getType	member predicate declared in Parameter
getType	member predicate declared in FunctionCall
getType	member predicate declared in Expr
getType	member predicate declared in EnumConstant
getType	member predicate declared in Variable
getType	member predicate declared in LocalVariable
getType	member predicate declared in MemberVariable
getType	member predicate declared in VlaDeclStmt
getType	member predicate declared in Node
getTypeBound	member predicate declared in Node
getTypeIdentityString	predicate declared in Print
getTypeOfThis	member predicate declared in MemberFunction
getTypeOperand	member predicate declared in UuidofOperator
getTypeOperand	member predicate declared in SizeofTypeOperator
getTypeOperand	member predicate declared in AlignofTypeOperator
getTypeWithAuto	member predicate declared in Variable
getTypedName	member predicate declared in Parameter
getTypedefType	member predicate declared in FunctionDeclarationEntry
getURI	member predicate declared in XMLNamespace
getURL	member predicate declared in MetricResult
getURL	member predicate declared in DefectResult
getURL	member predicate declared in Container
getURL	member predicate declared in Folder
getURL	member predicate declared in File
getURL	member predicate declared in DefectExternalData
getUltimateQualifier	member predicate declared in NestedFieldAccess
getUnconverted	member predicate declared in Expr
getUnconvertedResultExpression	member predicate declared in Instruction
getUnderlyingType	member predicate declared in Type
getUnderlyingType	member predicate declared in Decltype
getUnderlyingType	member predicate declared in Expr
getUnderlyingType	member predicate declared in TypedefType
getUnderlyingType	member predicate declared in Variable
getUnexpandedArgument	member predicate declared in MacroInvocation
getUniqueId	member predicate declared in Instruction
getUnlockAccess	member predicate declared in MutexType
getUnlockFunction	member predicate declared in MutexType
getUnsigned	member predicate declared in IntegralType
getUnspecifiedType	member predicate declared in Type
getUnspecifiedType	member predicate declared in Function
getUnspecifiedType	member predicate declared in DeclarationEntry
getUnspecifiedType	member predicate declared in Expr
getUnspecifiedType	member predicate declared in Variable
getUpdate	member predicate declared in RangeBasedForStmt
getUpdate	member predicate declared in ForStmt
getUse	member predicate declared in FormatLiteral
getUse	member predicate declared in ScanfFormatLiteral
getUuid	member predicate declared in Class
getVAList	member predicate declared in BuiltInVarArgsStart
getVAList	member predicate declared in BuiltInVarArgsEnd
getVAList	member predicate declared in BuiltInVarArg
getValue	member predicate declared in MetricResult
getValue	member predicate declared in Expr
getValue	member predicate declared in EnumConstant
getValue	member predicate declared in XMLAttribute
getValue	member predicate declared in ExprNode
getValue	member predicate declared in StringLiteralNode
getValueCategoryString	member predicate declared in Expr
getValueInt	member predicate declared in AttributeArgument
getValueText	member predicate declared in AttributeArgument
getValueText	member predicate declared in Expr
getValueType	member predicate declared in AttributeArgument
getVariable	member predicate declared in VariableCall
getVariable	member predicate declared in ConditionDeclExpr
getVariable	member predicate declared in RangeBasedForStmt
getVariable	member predicate declared in VlaDeclStmt
getVariableAccess	member predicate declared in ConditionDeclExpr
getVariableAccessInLoop	member predicate declared in LoopCounter
getVariableAccessInLoop	member predicate declared in LoopControlVariable
getVariableRangeType	predicate declared in RangeAnalysisUtils
getVersion	member predicate declared in LibraryElement
getVersion	member predicate declared in Library
getVirtualBaseClassByteOffset	member predicate declared in Class
getVlaDimensionStmt	member predicate declared in VlaDeclStmt
getWideCharType	member predicate declared in FormatLiteral
getWideCharType	member predicate declared in FormattingFunction
getYear	primitive predicate declared in date
getsIterator	member predicate declared in GetIteratorFunction
getter	predicate declared in StructLikeClass
globalValueNumber	predicate declared in ASTValueNumbering
globalVarFromId	predicate declared in DefaultTaintTracking
graphProperties	predicate declared in PrintAST
guardedAbs	predicate declared in Overflow
guardedGreater	predicate declared in Overflow
guardedLesser	predicate declared in Overflow

H

Handler	class declared in Stmt
HashCons	class declared in HashCons
HashCons	module
HeaderFile	class declared in File
HeaderFile	characteristic predicate declared in HeaderFile
HexLiteral	class declared in Literal
HexLiteral	characteristic predicate declared in HexLiteral
hasAddressFlow	member predicate declared in AliasFunction
hasAlternateFlag	member predicate declared in FormatLiteral
hasAlternativeDigits	member predicate declared in FormatLiteral
hasArrayInput	member predicate declared in FormattingFunction
hasArrayInput	member predicate declared in ArrayFunction
hasArrayOutput	member predicate declared in FormattingFunction
hasArrayOutput	member predicate declared in ArrayFunction
hasArraySize	member predicate declared in ArrayType
hasArrayWithFixedSize	member predicate declared in ArrayFunction
hasArrayWithNullTerminator	member predicate declared in FormattingFunction
hasArrayWithNullTerminator	member predicate declared in ArrayFunction
hasArrayWithUnknownSize	member predicate declared in FormattingFunction
hasArrayWithUnknownSize	member predicate declared in ArrayFunction
hasArrayWithVariableSize	member predicate declared in FormattingFunction
hasArrayWithVariableSize	member predicate declared in ArrayFunction
hasAttribute	member predicate declared in XMLElement
hasBlank	member predicate declared in FormatLiteral
hasCLinkage	member predicate declared in RoutineType
hasCLinkage	member predicate declared in Function
hasCLinkage	member predicate declared in FunctionDeclarationEntry
hasChild	member predicate declared in Expr
hasChild	member predicate declared in Stmt
hasCommandArgument	member predicate declared in CommandExecutionFunction
hasConstructor	member predicate declared in Class
hasConversion	member predicate declared in Expr
hasCopyConstructor	member predicate declared in Class
hasDataFlow	member predicate declared in DataFlowFunction
hasDeclaringType	member predicate declared in Declaration
hasDefaultCase	member predicate declared in SwitchStmt
hasDefinition	member predicate declared in Declaration
hasDestructor	member predicate declared in Class
hasElse	member predicate declared in IfStmt
hasElse	member predicate declared in ConstexprIfStmt
hasEntryPoint	member predicate declared in Function
hasEnvironmentArgument	member predicate declared in VarargsExecFunctionCall
hasExceptionSpecification	member predicate declared in Function
hasExceptionSpecification	member predicate declared in FunctionDeclarationEntry
hasExplicitConversion	member predicate declared in Expr
hasExplicitLimit	member predicate declared in BufferWrite
hasExplicitLimit	member predicate declared in StrCopyBW
hasExplicitLimit	member predicate declared in StrCatBW
hasExplicitLimit	member predicate declared in SnprintfBW
hasExplicitLimit	member predicate declared in GetsBW
hasExplicitMinFieldWidth	member predicate declared in FormatLiteral
hasExplicitPrecision	member predicate declared in FormatLiteral
hasExplicitUnderlyingType	member predicate declared in Enum
hasExpr	member predicate declared in CoReturnStmt
hasExpr	member predicate declared in ReturnStmt
hasFlow	member predicate declared in DataFlow::Configuration
hasFlowPath	member predicate declared in DataFlow::Configuration
hasFlowPath	member predicate declared in MustFlowConfiguration
hasFlowTo	member predicate declared in DataFlow::Configuration
hasFlowToExpr	member predicate declared in DataFlow::Configuration
hasGeneratedCopyAssignmentOperator	member predicate declared in Class
hasGeneratedCopyConstructor	member predicate declared in Class
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
hasInitializer	member predicate declared in Variable
hasLValueToRValueConversion	member predicate declared in Expr
hasLocalFlowSource	member predicate declared in LocalFlowSourceFunction
hasLocationInfo	member predicate declared in Top
hasLocationInfo	member predicate declared in Copy
hasLocationInfo	member predicate declared in CommentBlock
hasLocationInfo	member predicate declared in Location
hasLocationInfo	member predicate declared in BasicBlock
hasLocationInfo	member predicate declared in XMLLocatable
hasLocationInfo	member predicate declared in Node
hasLocationInfo_Include	predicate declared in definitions
hasMatchingLocation	member predicate declared in MetricResult
hasMemoryResult	member predicate declared in Instruction
hasMinFieldWidth	member predicate declared in FormatLiteral
hasName	member predicate declared in Type
hasName	member predicate declared in UserType
hasName	member predicate declared in Declaration
hasName	member predicate declared in Specifier
hasName	member predicate declared in Attribute
hasName	member predicate declared in Namespace
hasName	member predicate declared in Macro
hasName	member predicate declared in GotoStmt
hasName	member predicate declared in XMLElement
hasNamespace	member predicate declared in XMLElement
hasNamespace	member predicate declared in XMLAttribute
hasOnlySpecificReadSideEffects	member predicate declared in SideEffectFunction
hasOnlySpecificWriteSideEffects	member predicate declared in SideEffectFunction
hasOperands	member predicate declared in BinaryOperation
hasPartialFlow	member predicate declared in DataFlow::Configuration
hasPartialFlowRev	member predicate declared in DataFlow::Configuration
hasPragmaDifferentFile	predicate declared in AutogeneratedFile
hasPrecision	member predicate declared in FormatLiteral
hasPrivateBaseClass	member predicate declared in Class
hasProtectedBaseClass	member predicate declared in Class
hasPublicBaseClass	member predicate declared in Class
hasQualifiedName	member predicate declared in Declaration
hasQualifiedName	member predicate declared in Declaration
hasQualifiedName	member predicate declared in Declaration
hasQualifiedName	member predicate declared in StdAttribute
hasQualifier	member predicate declared in Call
hasRemoteFlowSink	member predicate declared in RemoteFlowSinkFunction
hasRemoteFlowSource	member predicate declared in RemoteFlowSourceFunction
hasResultMayMemoryAccess	member predicate declared in Instruction
hasSign	member predicate declared in FormatLiteral
hasSocketInput	member predicate declared in RemoteFlowSourceFunction
hasSocketInput	member predicate declared in RemoteFlowSinkFunction
hasSortKeys	member predicate declared in Instruction
hasSpecificReadSideEffect	member predicate declared in SideEffectFunction
hasSpecificWriteSideEffect	member predicate declared in SideEffectFunction
hasSpecifier	member predicate declared in Type
hasSpecifier	member predicate declared in ClassDerivation
hasSpecifier	member predicate declared in UserType
hasSpecifier	member predicate declared in Declaration
hasSpecifier	member predicate declared in DeclarationEntry
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 TaintFunction
hasTemplateArgumentList	member predicate declared in FunctionCall
hasThousandsGrouping	member predicate declared in FormatLiteral
hasTrailingReturnType	member predicate declared in Function
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	characteristic predicate declared in ILP32
ILP32_MS	class declared in Padding
ILP32_MS	characteristic predicate declared in ILP32_MS
IR	module
IR	module
IRConfiguration	class declared in IRConfiguration
IRConfiguration	module
IRConfiguration	module
IREscapeAnalysisConfiguration	class declared in IRConfiguration
IRGuardCondition	class declared in IRGuards
IRGuardCondition	characteristic predicate declared in IRGuardCondition
IRGuards	module
IRPropertyProvider	class declared in IR
IfStmt	class declared in Stmt
IgnoreAllVolatileSpecifiersEverywhere	class declared in AV_Rule_166
ImaginaryDivExpr	class declared in ArithmeticOperation
ImaginaryDomain	class declared in Type
ImaginaryMulExpr	class declared in ArithmeticOperation
ImaginaryNumberType	class declared in Type
ImaginaryNumberType	characteristic predicate declared in ImaginaryNumberType
ImaginaryPartExpr	class declared in ArithmeticOperation
ImaginaryRealAddExpr	class declared in ArithmeticOperation
ImaginaryRealSubExpr	class declared in ArithmeticOperation
ImplicitConversionFunction	class declared in MemberFunction
ImplicitConversionFunction	characteristic predicate declared in ImplicitConversionFunction
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	class declared in Include
Include	module
IncludeGuardedHeader	class declared in MultipleInclusion
IncludeNext	class declared in Include
IncrementOperation	class declared in ArithmeticOperation
InheritanceConversion	class declared in Cast
InheritanceConversion	characteristic predicate declared in InheritanceConversion
Initializer	class declared in Initializer
Initializer	module
InitializerNode	class declared in PrintAST
InitializerNode	characteristic predicate declared in InitializerNode
Instruction	characteristic predicate declared in Instruction
Int128Type	class declared in Type
Int128Type	characteristic predicate declared in Int128Type
Int16_t	class declared in CommonType
Int16_t	characteristic predicate declared in Int16_t
Int32_t	class declared in CommonType
Int32_t	characteristic predicate declared in Int32_t
Int64_t	class declared in CommonType
Int64_t	characteristic predicate declared in Int64_t
Int8_t	class declared in CommonType
Int8_t	characteristic predicate declared in Int8_t
IntPointerType	class declared in CommonType
IntPointerType	characteristic predicate declared in IntPointerType
IntType	class declared in Type
IntType	characteristic predicate declared in IntType
Int_fast16_t	class declared in CommonType
Int_fast16_t	characteristic predicate declared in Int_fast16_t
Int_fast32_t	class declared in CommonType
Int_fast32_t	characteristic predicate declared in Int_fast32_t
Int_fast64_t	class declared in CommonType
Int_fast64_t	characteristic predicate declared in Int_fast64_t
Int_fast8_t	class declared in CommonType
Int_fast8_t	characteristic predicate declared in Int_fast8_t
Int_least16_t	class declared in CommonType
Int_least16_t	characteristic predicate declared in Int_least16_t
Int_least32_t	class declared in CommonType
Int_least32_t	characteristic predicate declared in Int_least32_t
Int_least64_t	class declared in CommonType
Int_least64_t	characteristic predicate declared in Int_least64_t
Int_least8_t	class declared in CommonType
Int_least8_t	characteristic predicate declared in Int_least8_t
IntegralConversion	class declared in Cast
IntegralConversion	characteristic predicate declared in IntegralConversion
IntegralOrEnumType	class declared in Type
IntegralOrEnumType	characteristic predicate declared in IntegralOrEnumType
IntegralToFloatingPointConversion	class declared in Cast
IntegralToFloatingPointConversion	characteristic predicate declared in IntegralToFloatingPointConversion
IntegralToPointerConversion	class declared in Cast
IntegralToPointerConversion	characteristic predicate declared in IntegralToPointerConversion
IntegralType	class declared in Type
IntegralType	characteristic predicate declared in IntegralType
Intmax_t	class declared in CommonType
Intmax_t	characteristic predicate declared in Intmax_t
Iteration	module
Iterator	class declared in Iterator
Iterator	module
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
implicitCopyAssignmentOperatorDeleted	member predicate declared in Class
implicitCopyConstructorDeleted	member predicate declared in Class
impliesValue	member predicate declared in BinaryLogicalOperation
impliesValue	member predicate declared in LogicalAndExpr
impliesValue	member predicate declared in LogicalOrExpr
inCondition	member predicate declared in AnalysedExpr
inLoop	member predicate declared in BasicBlock
inMacroExpansion	predicate declared in Macro
inSystemMacroExpansion	predicate declared in Macro
indexOf	primitive predicate declared in string
indexOf	primitive predicate declared in string
init	field declared in InitializerNode
int	primitive type
integralBitSize	member predicate declared in Architecture
interesting	member predicate declared in FreedExpr
interesting	member predicate declared in ClosedExpr
interesting	member predicate declared in PointsToExpr
interesting	member predicate declared in TargetPointsToExpr
interestingArg	member predicate declared in FunctionWithWrappers
interestingArg	member predicate declared in PrintfLikeFunction
interestingArg	member predicate declared in SystemFunction
interestingElement	predicate declared in definitions
internal_getAnAdditionalSpecifier	member predicate declared in Type
internal_getAnAdditionalSpecifier	member predicate declared in Decltype
internal_getAnAdditionalSpecifier	member predicate declared in SpecifiedType
internal_getAnAdditionalSpecifier	member predicate declared in TypedefType
involvesReference	member predicate declared in Type
involvesReference	member predicate declared in DerivedType
involvesReference	member predicate declared in Decltype
involvesReference	member predicate declared in ReferenceType
involvesReference	member predicate declared in TypedefType
involvesTemplateParameter	member predicate declared in Type
involvesTemplateParameter	member predicate declared in DerivedType
involvesTemplateParameter	member predicate declared in Decltype
involvesTemplateParameter	member predicate declared in FunctionPointerIshType
involvesTemplateParameter	member predicate declared in PointerToMemberType
involvesTemplateParameter	member predicate declared in RoutineType
involvesTemplateParameter	member predicate declared in TemplateParameter
involvesTemplateParameter	member predicate declared in Class
isAbstract	member predicate declared in Class
isAdditionalFlowStep	member predicate declared in DataFlow::Configuration
isAdditionalFlowStep	member predicate declared in DataFlow::Configuration
isAdditionalFlowStep	member predicate declared in MustFlowConfiguration
isAddressOfAccess	member predicate declared in VariableAccess
isAddressOfAccessNonConst	member predicate declared in VariableAccess
isAffectedByMacro	member predicate declared in Element
isAllocationExpr	predicate declared in Alloc
isAnonymous	member predicate declared in UserType
isAnonymous	member predicate declared in Namespace
isAnonymous	member predicate declared in BitField
isBarrier	member predicate declared in StackVariableReachability
isBarrier	member predicate declared in StackVariableReachabilityExt
isBarrier	member predicate declared in DataFlow::Configuration
isBarrier	member predicate declared in DataFlow::Configuration
isBarrierGuard	member predicate declared in DataFlow::Configuration
isBarrierGuard	member predicate declared in DataFlow::Configuration
isBarrierIn	member predicate declared in DataFlow::Configuration
isBarrierIn	member predicate declared in DataFlow::Configuration
isBarrierOut	member predicate declared in DataFlow::Configuration
isBarrierOut	member predicate declared in DataFlow::Configuration
isBefore	member predicate declared in Location
isCDATA	member predicate declared in XMLCharacters
isCapturedByReference	member predicate declared in LambdaCapture
isCommentedOutCode	member predicate declared in CommentBlock
isCompilerGenerated	member predicate declared in Function
isCompilerGenerated	member predicate declared in Expr
isCompilerGenerated	member predicate declared in Variable
isCompilerGenerated	member predicate declared in Stmt
isCondition	member predicate declared in ControlFlowNode
isConst	member predicate declared in Type
isConst	member predicate declared in Variable
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 Function
isConstructedFrom	member predicate declared in Class
isConstructedFrom	member predicate declared in Variable
isDeclaredConstexpr	member predicate declared in Function
isDeclaredVirtual	member predicate declared in Function
isDeeplyConst	member predicate declared in Type
isDeeplyConst	member predicate declared in Decltype
isDeeplyConst	member predicate declared in ReferenceType
isDeeplyConst	member predicate declared in SpecifiedType
isDeeplyConst	member predicate declared in ArrayType
isDeeplyConst	member predicate declared in RoutineType
isDeeplyConst	member predicate declared in TypedefType
isDeeplyConstBelow	member predicate declared in Type
isDeeplyConstBelow	member predicate declared in BuiltInType
isDeeplyConstBelow	member predicate declared in Decltype
isDeeplyConstBelow	member predicate declared in PointerType
isDeeplyConstBelow	member predicate declared in ReferenceType
isDeeplyConstBelow	member predicate declared in SpecifiedType
isDeeplyConstBelow	member predicate declared in ArrayType
isDeeplyConstBelow	member predicate declared in GNUVectorType
isDeeplyConstBelow	member predicate declared in FunctionPointerIshType
isDeeplyConstBelow	member predicate declared in PointerToMemberType
isDeeplyConstBelow	member predicate declared in RoutineType
isDeeplyConstBelow	member predicate declared in Class
isDeeplyConstBelow	member predicate declared in TypedefType
isDeeplyConstBelow	member predicate declared in Struct
isDeeplyConstBelow	member predicate declared in Union
isDeeplyConstBelow	member predicate declared in Enum
isDef	member predicate declared in AnalysedExpr
isDefault	member predicate declared in Constructor
isDefault	member predicate declared in SwitchCase
isDefault	member predicate declared in XMLNamespace
isDefaulted	member predicate declared in Function
isDefined	member predicate declared in Declaration
isDefinition	member predicate declared in FunctionDeclarationEntry
isDefinition	member predicate declared in DeclarationEntry
isDeleted	member predicate declared in Function
isDocumentation	member predicate declared in CommentBlock
isDummy	member predicate declared in LinkTarget
isEmpty	member predicate declared in BlockStmt
isEncryptionAdditionalEvidence	predicate declared in Encryption
isExplicitlySigned	member predicate declared in IntegralType
isExplicitlyUnsigned	member predicate declared in IntegralType
isExprBannedBoostProtocol	predicate declared in BoostorgAsio
isExprSslV23BoostProtocol	predicate declared in BoostorgAsio
isExprTls12BoostProtocol	predicate declared in BoostorgAsio
isExprTls13BoostProtocol	predicate declared in BoostorgAsio
isExprTlsBoostProtocol	predicate declared in BoostorgAsio
isExtendedPrecision	member predicate declared in FloatingPointType
isFinal	member predicate declared in Function
isFinal	member predicate declared in Class
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 Instruction
isGLValueCategory	member predicate declared in Expr
isImplicit	member predicate declared in FunctionDeclarationEntry
isImplicit	member predicate declared in Conversion
isImplicit	member predicate declared in LambdaCapture
isImplicitlySigned	member predicate declared in IntegralType
isIn	member predicate declared in SALParameter
isInMacroExpansion	member predicate declared in Element
isInOut	member predicate declared in SALParameter
isInitializable	member predicate declared in Field
isInitializable	member predicate declared in BitField
isInitialized	member predicate declared in ClassAggregateLiteral
isInitialized	member predicate declared in ArrayOrVectorAggregateLiteral
isInline	member predicate declared in Function
isInline	member predicate declared in Namespace
isInsecureEncryption	predicate declared in Encryption
isLValue	member predicate declared in Expr
isLValueCategory	member predicate declared in Expr
isLValueRefQualified	member predicate declared in MemberFunction
isLeftAdjusted	member predicate declared in FormatLiteral
isLinkerAwareExtracted	predicate declared in Linkage
isLocal	member predicate declared in UserType
isLowercase	primitive predicate declared in string
isLt	member predicate declared in GuardedSsa
isMember	member predicate declared in Declaration
isMemoryManagementExpr	predicate declared in Alloc
isMicrosoft	member predicate declared in FormatLiteral
isMicrosoft	member predicate declared in FormattingFunction
isModified	member predicate declared in VariableAccess
isMultiplyDefined	member predicate declared in Function
isMutable	member predicate declared in MemberVariable
isNaked	member predicate declared in Function
isNamed	member predicate declared in Parameter
isNamed	member predicate declared in LabelStmt
isNoExcept	member predicate declared in Function
isNoExcept	member predicate declared in FunctionDeclarationEntry
isNoThrow	member predicate declared in Function
isNoThrow	member predicate declared in FunctionDeclarationEntry
isNullCheck	member predicate declared in AnalysedExpr
isOnlyFoundByADL	member predicate declared in FunctionCall
isOut	member predicate declared in SALParameter
isOutputGlobal	member predicate declared in UserDefinedFormattingFunction
isOutputGlobal	member predicate declared in FormattingFunction
isOverride	member predicate declared in Function
isOverrideExplicit	member predicate declared in VirtualFunction
isPOD	member predicate declared in Class
isPRValueCategory	member predicate declared in Expr
isParenthesised	member predicate declared in Expr
isPhiNode	member predicate declared in SsaDefinition
isPolymorphic	member predicate declared in Class
isPrecise	member predicate declared in PaddedType
isPrivate	member predicate declared in NestedClass
isPrivate	member predicate declared in NestedStruct
isPrivate	member predicate declared in NestedUnion
isPrivate	member predicate declared in NestedEnum
isPrivate	member predicate declared in MemberVariable
isPrivate	member predicate declared in MemberFunction
isProcessOperationArgument	predicate declared in Security
isProcessOperationArgument	member predicate declared in SecurityOptions
isProtected	member predicate declared in NestedClass
isProtected	member predicate declared in NestedStruct
isProtected	member predicate declared in NestedUnion
isProtected	member predicate declared in NestedEnum
isProtected	member predicate declared in MemberVariable
isProtected	member predicate declared in MemberFunction
isPublic	member predicate declared in NestedClass
isPublic	member predicate declared in NestedStruct
isPublic	member predicate declared in NestedUnion
isPublic	member predicate declared in NestedEnum
isPublic	member predicate declared in MemberVariable
isPublic	member predicate declared in MemberFunction
isPublic	member predicate declared in XMLDTD
isPure	member predicate declared in Expr
isPure	member predicate declared in VirtualFunction
isPure	member predicate declared in Stmt
isPureFunction	predicate declared in Security
isPureFunction	member predicate declared in SecurityOptions
isRValue	member predicate declared in VariableAccess
isRValueCategory	member predicate declared in Expr
isRValueRefQualified	member predicate declared in MemberFunction
isReachable	member predicate declared in BasicBlock
isRefQualified	member predicate declared in MemberFunction
isReferenceVariable	predicate declared in StackAddress
isResultConflated	member predicate declared in Instruction
isResultModeled	member predicate declared in Instruction
isSideEffectFree	member predicate declared in Function
isSigned	member predicate declared in IntegralType
isSink	member predicate declared in StackVariableReachability
isSink	member predicate declared in StackVariableReachabilityWithReassignment
isSink	member predicate declared in StackVariableReachabilityExt
isSink	member predicate declared in DataFlow::Configuration
isSink	member predicate declared in DataFlow::Configuration
isSink	member predicate declared in MustFlowConfiguration
isSink	member predicate declared in BoostorgAsio::SslContextCallAbstractConfig
isSink	member predicate declared in BoostorgAsio::SslContextFlowsToSetOptionConfig
isSink	member predicate declared in BoostorgAsio::SslOptionConfig
isSinkActual	member predicate declared in StackVariableReachabilityWithReassignment
isSource	member predicate declared in StackVariableReachability
isSource	member predicate declared in StackVariableReachabilityWithReassignment
isSource	member predicate declared in StackVariableReachabilityExt
isSource	member predicate declared in DataFlow::Configuration
isSource	member predicate declared in DataFlow::Configuration
isSource	member predicate declared in MustFlowConfiguration
isSource	member predicate declared in BoostorgAsio::SslContextCallConfig
isSource	member predicate declared in BoostorgAsio::SslContextCallBannedProtocolConfig
isSource	member predicate declared in BoostorgAsio::SslContextCallTls12ProtocolConfig
isSource	member predicate declared in BoostorgAsio::SslContextCallTls13ProtocolConfig
isSource	member predicate declared in BoostorgAsio::SslContextCallTlsProtocolConfig
isSource	member predicate declared in BoostorgAsio::SslContextFlowsToSetOptionConfig
isSource	member predicate declared in BoostorgAsio::SslOptionConfig
isSourceActual	member predicate declared in StackVariableReachabilityWithReassignment
isSpecialization	member predicate declared in Function
isSpecialization	member predicate declared in FunctionDeclarationEntry
isStandardLayout	member predicate declared in Class
isStatic	member predicate declared in Declaration
isStructuredBinding	member predicate declared in Variable
isThreadLocal	member predicate declared in Variable
isTopLevel	member predicate declared in Declaration
isTopLevel	member predicate declared in FriendDecl
isTwoOperand	member predicate declared in ConditionalExpr
isUnevaluated	member predicate declared in Expr
isUnreachable	member predicate declared in BasicBlock
isUnsigned	member predicate declared in IntegralType
isUppercase	primitive predicate declared in string
isUse	member predicate declared in AnalysedExpr
isUsedAsLValue	member predicate declared in VariableAccess
isUserInput	predicate declared in Security
isUserInput	member predicate declared in SecurityOptions
isValidCheck	member predicate declared in AnalysedExpr
isValueInitialized	member predicate declared in ClassAggregateLiteral
isValueInitialized	member predicate declared in ArrayOrVectorAggregateLiteral
isVarargs	member predicate declared in Function
isVirtual	member predicate declared in Function
isVirtual	member predicate declared in ClassDerivation
isVirtual	member predicate declared in FunctionCall
isVirtual	member predicate declared in BaseClassConversion
isVolatile	member predicate declared in Type
isVolatile	member predicate declared in Variable
isWideCharDefault	member predicate declared in ScanfFunction
isWideCharDefault	member predicate declared in ScanfFunctionCall
isWideCharDefault	member predicate declared in ScanfFormatLiteral
isXValueCategory	member predicate declared in Expr
isZeroPadded	member predicate declared in FormatLiteral

J

JumpStmt

class declared in Stmt

K

kind	field declared in IntegralType

L

LEExpr	class declared in ComparisonOperation
LLP64_MS	class declared in Padding
LLP64_MS	characteristic predicate declared in LLP64_MS
LP64	class declared in Padding
LP64	characteristic predicate declared in LP64
LShiftExpr	class declared in BitwiseOperation
LTExpr	class declared in ComparisonOperation
LValueReferenceType	class declared in Type
LValueReferenceType	characteristic predicate declared in LValueReferenceType
LabelLiteral	class declared in Literal
LabelLiteral	characteristic predicate declared in LabelLiteral
LabelStmt	class declared in Stmt
Lambda	module
LambdaCapture	class declared in Lambda
LambdaExpression	class declared in Lambda
LeftIsSmaller	injector declared in PointlessComparison
LeftIsSmaller	type declared in PointlessComparison
Lesser	injector declared in RangeAnalysisUtils
Lesser	type declared in RangeAnalysisUtils
LibcAssert	class declared in Assertions
LibcAssert	characteristic predicate declared in LibcAssert
Library	class declared in ExternalDependencies
Library	characteristic predicate declared in Library
LibraryElement	class declared in ExternalDependencies
LinkTarget	class declared in Linkage
Linkage	module
Literal	class declared in Literal
Literal	module
LocalClass	class declared in Class
LocalClass	characteristic predicate declared in LocalClass
LocalEnum	class declared in Enum
LocalEnum	characteristic predicate declared in LocalEnum
LocalFlowSource	class declared in FlowSources
LocalFlowSourceFunction	class declared in FlowSource
LocalScopeVariable	class declared in Variable
LocalStruct	class declared in Struct
LocalStruct	characteristic predicate declared in LocalStruct
LocalTypedefType	class declared in TypedefType
LocalTypedefType	characteristic predicate declared in LocalTypedefType
LocalUnion	class declared in Union
LocalUnion	characteristic predicate declared in LocalUnion
LocalVariable	class declared in Variable
Locatable	class declared in Location
Location	class declared in Location
Location	module
LogicalAndExpr	class declared in LogicalOperation
LogicalOperation	module
LogicalOrExpr	class declared in LogicalOperation
LongDoubleType	class declared in Type
LongDoubleType	characteristic predicate declared in LongDoubleType
LongLongType	class declared in Type
LongLongType	characteristic predicate declared in LongLongType
LongType	class declared in Type
LongType	characteristic predicate declared in LongType
Loop	class declared in Stmt
LoopBounds	module
LoopControlVariable	class declared in Iteration
LoopControlVariable	characteristic predicate declared in LoopControlVariable
LoopCounter	class declared in Iteration
LoopCounter	characteristic predicate declared in LoopCounter
lastComment	member predicate declared in CommentBlock
lastField	member predicate declared in PaddedType
lastFieldIndex	member predicate declared in PaddedType
length	member predicate declared in BasicBlock
length	primitive predicate declared in string
libDependencies	predicate declared in ExternalDependencies
limit	member predicate declared in ClassicForLoop
linearAccess	predicate declared in RangeAnalysisUtils
location	predicate declared in PointsTo
lockAccess	member predicate declared in MutexType
lockCall	predicate declared in Synchronization
log	primitive predicate declared in int
log	primitive predicate declared in int
log	primitive predicate declared in int
log	primitive predicate declared in float
log	primitive predicate declared in float
log	primitive predicate declared in float
log10	primitive predicate declared in int
log10	primitive predicate declared in float
log2	primitive predicate declared in int
log2	primitive predicate declared in float
longDoubleAlign	member predicate declared in Architecture
longDoubleAlign	member predicate declared in ILP32
longDoubleAlign	member predicate declared in LP64
longDoubleAlign	member predicate declared in WindowsArchitecture
longDoubleSize	member predicate declared in Architecture
longDoubleSize	member predicate declared in ILP32
longDoubleSize	member predicate declared in LP64
longDoubleSize	member predicate declared in WindowsArchitecture
longLongAlign	member predicate declared in Architecture
longLongAlign	member predicate declared in ILP32
longLongAlign	member predicate declared in LP64
longLongAlign	member predicate declared in WindowsArchitecture
longLongSize	member predicate declared in Architecture
longLongSize	member predicate declared in UnixArchitecture
longLongSize	member predicate declared in WindowsArchitecture
longSize	member predicate declared in Architecture
longSize	member predicate declared in ILP32
longSize	member predicate declared in LP64
longSize	member predicate declared in WindowsArchitecture
lvalue	predicate declared in PointsTo

M

Macro	class declared in Macro
Macro	module
MacroAccess	class declared in Macro
MacroAssert	class declared in Assertions
MacroAssert	characteristic predicate declared in MacroAssert
MacroInvocation	class declared in Macro
MacroInvocation	characteristic predicate declared in MacroInvocation
MaxExpr	class declared in ArithmeticOperation
MaximumWidthIntegralType	class declared in CommonType
MaximumWidthIntegralType	characteristic predicate declared in MaximumWidthIntegralType
Member	module
MemberFunction	class declared in MemberFunction
MemberFunction	characteristic predicate declared in MemberFunction
MemberFunction	module
MemberVariable	class declared in Variable
MemberVariable	characteristic predicate declared in MemberVariable
MemccpyBA	class declared in BufferAccess
MemccpyBA	characteristic predicate declared in MemccpyBA
MemchrBA	class declared in BufferAccess
MemchrBA	characteristic predicate declared in MemchrBA
MemcmpBA	class declared in BufferAccess
MemcmpBA	characteristic predicate declared in MemcmpBA
MemcpyBA	class declared in BufferAccess
MemcpyBA	characteristic predicate declared in MemcpyBA
MemoryFreed	module
MemsetBA	class declared in BufferAccess
MemsetBA	characteristic predicate declared in MemsetBA
MetricClass	class declared in MetricClass
MetricClass	module
MetricFile	class declared in MetricFile
MetricFile	module
MetricFilter	module
MetricFunction	class declared in MetricFunction
MetricFunction	module
MetricNamespace	class declared in MetricNamespace
MetricNamespace	module
MetricResult	characteristic predicate declared in MetricResult
MetricResult	class declared in MetricFilter
MicrosoftAttribute	class declared in Specifier
MicrosoftInt16Type	class declared in CommonType
MicrosoftInt16Type	characteristic predicate declared in MicrosoftInt16Type
MicrosoftInt32Type	class declared in CommonType
MicrosoftInt32Type	characteristic predicate declared in MicrosoftInt32Type
MicrosoftInt64Type	class declared in CommonType
MicrosoftInt64Type	characteristic predicate declared in MicrosoftInt64Type
MicrosoftInt8Type	class declared in CommonType
MicrosoftInt8Type	characteristic predicate declared in MicrosoftInt8Type
MicrosoftTryExceptStmt	class declared in Stmt
MicrosoftTryExceptStmt	characteristic predicate declared in MicrosoftTryExceptStmt
MicrosoftTryFinallyStmt	class declared in Stmt
MicrosoftTryFinallyStmt	characteristic predicate declared in MicrosoftTryFinallyStmt
MicrosoftTryStmt	class declared in Stmt
MinExpr	class declared in ArithmeticOperation
MinimumWidthIntegralType	class declared in CommonType
MinimumWidthIntegralType	characteristic predicate declared in MinimumWidthIntegralType
Models	module
MonthFieldAccess	class declared in DateTime
MoveAssignmentOperator	class declared in MemberFunction
MoveAssignmentOperator	characteristic predicate declared in MoveAssignmentOperator
MoveConstructor	class declared in MemberFunction
MoveConstructor	characteristic predicate declared in MoveConstructor
MulExpr	class declared in ArithmeticOperation
MultipleInclusion	module
MustFlow	module
MustFlowConfiguration	class declared in MustFlow
MustFlowConfiguration	characteristic predicate declared in MustFlowConfiguration
MustFlowPathNode	class declared in MustFlow
MustFlowPathNode	characteristic predicate declared in MustFlowPathNode
MutexType	class declared in Synchronization
macroLine	predicate declared in Macro
macroLocation	predicate declared in Macro
matches	primitive predicate declared in string
maximum	primitive predicate declared in int
maximum	primitive predicate declared in int
maximum	primitive predicate declared in float
maximum	primitive predicate declared in float
mayAddNullTerminator	predicate declared in NullTermination
mayBeGloballyImpure	member predicate declared in FunctionCall
mayBeGloballyImpure	member predicate declared in OverloadedPointerDereferenceExpr
mayBeGloballyImpure	member predicate declared in ConstructorFieldInit
mayBeGloballyImpure	member predicate declared in Expr
mayBeGloballyImpure	member predicate declared in UnaryOperation
mayBeGloballyImpure	member predicate declared in BinaryOperation
mayBeGloballyImpure	member predicate declared in VariableAccess
mayBeGloballyImpure	member predicate declared in CrementOperation
mayBeGloballyImpure	member predicate declared in ConditionalExpr
mayBeGloballyImpure	member predicate declared in Assignment
mayBeGloballyImpure	member predicate declared in Conversion
mayBeGloballyImpure	member predicate declared in TypeidOperator
mayBeGloballyImpure	member predicate declared in SizeofPackOperator
mayBeGloballyImpure	member predicate declared in SizeofExprOperator
mayBeGloballyImpure	member predicate declared in SizeofTypeOperator
mayBeGloballyImpure	member predicate declared in ArrayToPointerConversion
mayBeGloballyImpure	member predicate declared in Literal
mayBeGloballyImpure	member predicate declared in AggregateLiteral
mayBeGloballyImpure	member predicate declared in Stmt
mayBeGloballyImpure	member predicate declared in ExprStmt
mayBeGloballyImpure	member predicate declared in IfStmt
mayBeGloballyImpure	member predicate declared in ConstexprIfStmt
mayBeGloballyImpure	member predicate declared in WhileStmt
mayBeGloballyImpure	member predicate declared in GotoStmt
mayBeGloballyImpure	member predicate declared in ComputedGotoStmt
mayBeGloballyImpure	member predicate declared in ContinueStmt
mayBeGloballyImpure	member predicate declared in BreakStmt
mayBeGloballyImpure	member predicate declared in LabelStmt
mayBeGloballyImpure	member predicate declared in ReturnStmt
mayBeGloballyImpure	member predicate declared in DoStmt
mayBeGloballyImpure	member predicate declared in ForStmt
mayBeGloballyImpure	member predicate declared in SwitchCase
mayBeGloballyImpure	member predicate declared in DefaultCase
mayBeGloballyImpure	member predicate declared in SwitchStmt
mayBeGloballyImpure	member predicate declared in Handler
mayBeGloballyImpure	member predicate declared in TryStmt
mayBeGloballyImpure	member predicate declared in DeclStmt
mayBeGloballyImpure	member predicate declared in EmptyStmt
mayBeGloballyImpure	member predicate declared in BlockStmt
mayBeImpure	member predicate declared in FunctionCall
mayBeImpure	member predicate declared in OverloadedPointerDereferenceExpr
mayBeImpure	member predicate declared in ConstructorFieldInit
mayBeImpure	member predicate declared in Expr
mayBeImpure	member predicate declared in UnaryOperation
mayBeImpure	member predicate declared in BinaryOperation
mayBeImpure	member predicate declared in VariableAccess
mayBeImpure	member predicate declared in CrementOperation
mayBeImpure	member predicate declared in ConditionalExpr
mayBeImpure	member predicate declared in Conversion
mayBeImpure	member predicate declared in TypeidOperator
mayBeImpure	member predicate declared in SizeofPackOperator
mayBeImpure	member predicate declared in SizeofExprOperator
mayBeImpure	member predicate declared in SizeofTypeOperator
mayBeImpure	member predicate declared in ArrayToPointerConversion
mayBeImpure	member predicate declared in Literal
mayBeImpure	member predicate declared in AggregateLiteral
mayBeImpure	member predicate declared in Stmt
mayBeImpure	member predicate declared in ExprStmt
mayBeImpure	member predicate declared in IfStmt
mayBeImpure	member predicate declared in ConstexprIfStmt
mayBeImpure	member predicate declared in WhileStmt
mayBeImpure	member predicate declared in GotoStmt
mayBeImpure	member predicate declared in ComputedGotoStmt
mayBeImpure	member predicate declared in ContinueStmt
mayBeImpure	member predicate declared in BreakStmt
mayBeImpure	member predicate declared in LabelStmt
mayBeImpure	member predicate declared in ReturnStmt
mayBeImpure	member predicate declared in DoStmt
mayBeImpure	member predicate declared in ForStmt
mayBeImpure	member predicate declared in SwitchCase
mayBeImpure	member predicate declared in DefaultCase
mayBeImpure	member predicate declared in SwitchStmt
mayBeImpure	member predicate declared in Handler
mayBeImpure	member predicate declared in TryStmt
mayBeImpure	member predicate declared in DeclStmt
mayBeImpure	member predicate declared in EmptyStmt
mayBeImpure	member predicate declared in BlockStmt
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
metricResults	predicate declared in MetricFilter
minimum	primitive predicate declared in int
minimum	primitive predicate declared in int
minimum	primitive predicate declared in float
minimum	primitive predicate declared in float
missingGuardAgainstOverflow	predicate declared in Overflow
missingGuardAgainstUnderflow	predicate declared in Overflow
missingSemanticConversionString	predicate declared in CastConsistency
mkElement	predicate declared in Element
mostlyDuplicateClass	predicate declared in CodeDuplication
mostlyDuplicateClassBase	predicate declared in CodeDuplication
multipleSemanticConversionStrings	predicate declared in CastConsistency
mustlockAccess	member predicate declared in MutexType
mustlockAccess	member predicate declared in CustomMutexType
mustlockCall	predicate declared in Synchronization

N

NEExpr	class declared in ComparisonOperation
NULL	class declared in NULL
NULL	characteristic predicate declared in NULL
NULL	module
NULLMacro	class declared in NULL
NULLMacro	characteristic predicate declared in NULLMacro
NameQualifiableElement	class declared in NameQualifiers
NameQualifier	class declared in NameQualifiers
NameQualifiers	module
NameQualifyingElement	class declared in NameQualifiers
Namespace	class declared in Namespace
Namespace	module
NamespaceDeclarationEntry	class declared in Namespace
NamespaceVariable	class declared in Variable
NanAnalysis	module
Negativity	module
NestedClass	class declared in Class
NestedClass	characteristic predicate declared in NestedClass
NestedEnum	class declared in Enum
NestedEnum	characteristic predicate declared in NestedEnum
NestedFieldAccess	class declared in NestedFields
NestedFieldAccess	characteristic predicate declared in NestedFieldAccess
NestedFields	module
NestedStruct	class declared in Struct
NestedStruct	characteristic predicate declared in NestedStruct
NestedTypedefType	class declared in TypedefType
NestedTypedefType	characteristic predicate declared in NestedTypedefType
NestedUnion	class declared in Union
NestedUnion	characteristic predicate declared in NestedUnion
NewArrayExpr	class declared in Expr
NewDelete	module
NewExpr	class declared in Expr
NewOrNewArrayExpr	class declared in Expr
NoArgConstructor	class declared in MemberFunction
NoArgConstructor	characteristic predicate declared in NoArgConstructor
NoExceptExpr	class declared in Expr
NonNanVariableAccess	class declared in NanAnalysis
NonNanVariableAccess	characteristic predicate declared in NonNanVariableAccess
Nonstrict	injector declared in RangeAnalysisUtils
Nonstrict	type declared in RangeAnalysisUtils
NotExpr	class declared in LogicalOperation
NullPointerType	class declared in Type
NullPointerType	characteristic predicate declared in NullPointerType
NullTermination	module
NullValue	class declared in Nullness
Nullness	module
NullnessAnnotation	class declared in Dataflow
n	field declared in MustFlowPathNode
name	field declared in Library
nanExcludingComparison	predicate declared in NanAnalysis
nextAfter	primitive predicate declared in float
nextDown	primitive predicate declared in float
nextUp	primitive predicate declared in float
noTopLevelCode	member predicate declared in HeaderFile
nodes	predicate declared in PrintAST
nodes	predicate declared in PathGraph
nonNanGuardedVariable	predicate declared in SimpleRangeAnalysis
normalTermination	member predicate declared in Compilation
nullCheckExpr	predicate declared in Nullness
nullInit	predicate declared in Nullness
nullValue	predicate declared in Nullness
numCodeLines	member predicate declared in CommentBlock
numLines	member predicate declared in CommentBlock
numberOfSourceMethods	predicate declared in CodeDuplication

O

OctalLiteral	class declared in Literal
OctalLiteral	characteristic predicate declared in OctalLiteral
Operation	class declared in Expr
Operator	class declared in Function
Operator	characteristic predicate declared in Operator
OperatorDeleteDeallocationFunction	class declared in Deallocation
OperatorDeleteDeallocationFunction	characteristic predicate declared in OperatorDeleteDeallocationFunction
OperatorLShiftCall	class declared in FileWrite
OperatorLShiftCall	characteristic predicate declared in OperatorLShiftCall
OperatorNewAllocationFunction	class declared in Allocation
OperatorNewAllocationFunction	characteristic predicate declared in OperatorNewAllocationFunction
Options	class declared in DefaultOptions
Options	characteristic predicate declared in Options
Options	module
OutParameterDeref	class declared in FunctionInputsAndOutputs
OutQualifierObject	class declared in FunctionInputsAndOutputs
OutReturnValue	class declared in FunctionInputsAndOutputs
OutReturnValueDeref	class declared in FunctionInputsAndOutputs
Overflow	module
OverloadedArrayExpr	class declared in Call
OverloadedArrayExpr	characteristic predicate declared in OverloadedArrayExpr
OverloadedPointerDereferenceExpr	class declared in Call
OverloadedPointerDereferenceExpr	characteristic predicate declared in OverloadedPointerDereferenceExpr
OverloadedPointerDereferenceFunction	class declared in Call
OverloadedPointerDereferenceFunction	characteristic predicate declared in OverloadedPointerDereferenceFunction
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
objc	module
okToIgnoreReturnValue	member predicate declared in Options
okToIgnoreReturnValue	predicate declared in Options
okToIgnoreReturnValue	member predicate declared in CustomOptions
optimalSize	member predicate declared in PaddedType
outermostWrapperFunctionCall	member predicate declared in FunctionWithWrappers
overrideReturnsNull	member predicate declared in Options
overrideReturnsNull	predicate declared in Options
overrideReturnsNull	member predicate declared in CustomOptions
overrides	member predicate declared in MemberFunction

P

PackedTimeType	class declared in DateTime
PackedTimeType	characteristic predicate declared in PackedTimeType
PaddedType	class declared in Padding
PaddedType	characteristic predicate declared in PaddedType
Padding	module
ParamAccessForType	class declared in Access
Parameter	class declared in Parameter
Parameter	module
ParameterDeclarationEntry	class declared in Variable
ParameterDef	class declared in DefinitionsAndUses
ParameterIndex	characteristic predicate declared in ParameterIndex
ParameterIndex	class declared in Parameter
ParameterNode	class declared in PrintAST
ParameterNode	characteristic predicate declared in ParameterNode
ParametersNode	class declared in PrintAST
ParametersNode	characteristic predicate declared in ParametersNode
ParenthesisExpr	class declared in Expr
ParenthesizedBracedInitializerList	class declared in Expr
PartialClassTemplateSpecialization	class declared in Class
PartialClassTemplateSpecialization	characteristic predicate declared in PartialClassTemplateSpecialization
PathGraph	module declared in DataFlowImpl3
PathGraph	module declared in MustFlow
PathNode	class declared in DataFlowImpl3
PlainCharType	class declared in Type
PlainCharType	characteristic predicate declared in PlainCharType
PointerAddExpr	class declared in ArithmeticOperation
PointerArithmeticOperation	class declared in ArithmeticOperation
PointerConversion	class declared in Cast
PointerConversion	characteristic predicate declared in PointerConversion
PointerDereferenceExpr	class declared in Expr
PointerDiffExpr	class declared in ArithmeticOperation
PointerFieldAccess	class declared in Access
PointerSubExpr	class declared in ArithmeticOperation
PointerToFieldLiteral	class declared in Access
PointerToIntegralConversion	class declared in Cast
PointerToIntegralConversion	characteristic predicate declared in PointerToIntegralConversion
PointerToMemberBaseClassConversion	class declared in Cast
PointerToMemberBaseClassConversion	characteristic predicate declared in PointerToMemberBaseClassConversion
PointerToMemberConversion	class declared in Cast
PointerToMemberConversion	characteristic predicate declared in PointerToMemberConversion
PointerToMemberDerivedClassConversion	class declared in Cast
PointerToMemberDerivedClassConversion	characteristic predicate declared in PointerToMemberDerivedClassConversion
PointerToMemberType	class declared in Type
PointerType	class declared in Type
PointerType	characteristic predicate declared in PointerType
PointerWrapper	class declared in PointerWrapper
PointerWrapper	module
PointlessComparison	module
PointsTo	module
PointsToExpr	class declared in PointsTo
PolymorphicClass	class declared in PolymorphicClass
PolymorphicClass	characteristic predicate declared in PolymorphicClass
PolymorphicClass	module
PostfixCrementOperation	class declared in ArithmeticOperation
PostfixDecrExpr	class declared in ArithmeticOperation
PostfixIncrExpr	class declared in ArithmeticOperation
PragmaOnceIncludeGuard	class declared in MultipleInclusion
PragmaOnceIncludeGuard	characteristic predicate declared in PragmaOnceIncludeGuard
PrefixCrementOperation	class declared in ArithmeticOperation
PrefixDecrExpr	class declared in ArithmeticOperation
PrefixIncrExpr	class declared in ArithmeticOperation
Preprocessor	module
PreprocessorBranch	class declared in Preprocessor
PreprocessorBranchDirective	class declared in Preprocessor
PreprocessorDirective	class declared in Preprocessor
PreprocessorElif	class declared in Preprocessor
PreprocessorElse	class declared in Preprocessor
PreprocessorEndif	class declared in Preprocessor
PreprocessorError	class declared in Preprocessor
PreprocessorIf	class declared in Preprocessor
PreprocessorIfdef	class declared in Preprocessor
PreprocessorIfndef	class declared in Preprocessor
PreprocessorLine	class declared in Preprocessor
PreprocessorPragma	class declared in Preprocessor
PreprocessorUndef	class declared in Preprocessor
PreprocessorWarning	class declared in Preprocessor
Print	module
PrintAST	module
PrintAstConfiguration	class declared in PrintAST
PrintAstNode	class declared in PrintAST
Printf	module
PrintfFormatAttribute	class declared in Printf
PrintfFormatAttribute	characteristic predicate declared in PrintfFormatAttribute
PrintfLike	module
PrintfLikeFunction	class declared in FunctionWithWrappers
PrintfLikeFunction	characteristic predicate declared in PrintfLikeFunction
ProxyClass	characteristic predicate declared in ProxyClass
ProxyClass	class declared in Class
PrvalueAdjustmentConversion	class declared in Cast
PrvalueAdjustmentConversion	characteristic predicate declared in PrvalueAdjustmentConversion
Ptrdiff_t	class declared in CommonType
Ptrdiff_t	characteristic predicate declared in Ptrdiff_t
PublicFunction	characteristic predicate declared in PublicFunction
PublicFunction	class declared in Tasks
PureVirtualFunction	class declared in MemberFunction
PureVirtualFunction	characteristic predicate declared in PureVirtualFunction
PutFunctionCall	class declared in FileWrite
PutFunctionCall	characteristic predicate declared in PutFunctionCall
paddedSize	member predicate declared in Architecture
paddedSize	member predicate declared in PaddedType
param	field declared in ParameterNode
parameterEscapesOnlyViaReturn	member predicate declared in AliasFunction
parameterIsAlwaysReturned	member predicate declared in AliasFunction
parameterNeverEscapes	member predicate declared in AliasFunction
parameterUsePair	predicate declared in DefinitionsAndUses
parentSetFor	predicate declared in PointsTo
parenthesesWouldChangeMeaning	member predicate declared in Decltype
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
pointer	predicate declared in PointsTo
pointerFromCompound	predicate declared in PointsTo
pointerParamFlowsToDef	predicate declared in StackAddress
pointerSize	member predicate declared in Architecture
pointerSize	member predicate declared in ILP32
pointerSize	member predicate declared in LP64
pointerSize	member predicate declared in ILP32_MS
pointerSize	member predicate declared in LLP64_MS
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
postDominates	predicate declared in Dominance
pow	primitive predicate declared in int
pow	primitive predicate declared in int
pow	primitive predicate declared in float
pow	primitive predicate declared in float
predictableOnlyFlow	predicate declared in DefaultTaintTracking
prefix	primitive predicate declared in string
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
Qualifier	characteristic predicate declared in Qualifier
qlCast	predicate declared in Cast
qlConversion	predicate declared in Cast

R

RShiftExpr	class declared in BitwiseOperation
RValueReferenceType	class declared in Type
RValueReferenceType	characteristic predicate declared in RValueReferenceType
RangeAnalysisUtils	module
RangeBasedForStmt	class declared in Stmt
RangeSSA	module
RangeSsa	class declared in RangeSSA
RangeSsaDefinition	class declared in RangeSSA
ReThrowExpr	class declared in Expr
RealDomain	class declared in Type
RealImaginaryAddExpr	class declared in ArithmeticOperation
RealImaginarySubExpr	class declared in ArithmeticOperation
RealNumberType	class declared in Type
RealNumberType	characteristic predicate declared in RealNumberType
RealPartExpr	class declared in ArithmeticOperation
RealpathBW	class declared in BufferWrite
RealpathBW	characteristic predicate declared in RealpathBW
RecoverableAssert	class declared in Assertions
RecoverableAssert	characteristic predicate declared in RecoverableAssert
ReferenceDereferenceExpr	class declared in Expr
ReferenceFieldAccess	class declared in Access
ReferenceToExpr	class declared in Expr
ReferenceType	class declared in Type
ReferenceType	characteristic predicate declared in ReferenceType
ReinterpretCast	class declared in Cast
RelationDirection	datatype declared in RangeAnalysisUtils
RelationStrictness	datatype declared in RangeAnalysisUtils
RelationalOperation	class declared in ComparisonOperation
RemExpr	class declared in ArithmeticOperation
RemoteFlowSink	class declared in FlowSources
RemoteFlowSinkFunction	class declared in FlowSource
RemoteFlowSource	class declared in FlowSources
RemoteFlowSourceFunction	class declared in FlowSource
ReportableWarning	characteristic predicate declared in ReportableWarning
ReportableWarning	class declared in ExtractionProblems
ResolveCall	module
ReturnStmt	class declared in Stmt
RightIsSmaller	injector declared in PointlessComparison
RightIsSmaller	type declared in PointlessComparison
RoutineType	class declared in Type
raisesPrivilege	predicate declared in Security
raisesPrivilege	member predicate declared in SecurityOptions
reachablePointlessComparison	predicate declared in PointlessComparison
reaches	member predicate declared in StackVariableReachability
reaches	member predicate declared in StackVariableReachabilityWithReassignment
reaches	member predicate declared in StackVariableReachabilityExt
reachesEndOfBB	member predicate declared in SsaDefinition
reachesTo	member predicate declared in StackVariableReachabilityWithReassignment
realKind	field declared in FloatingPointType
referenceParamFlowsToDef	predicate declared in StackAddress
refersTo	member predicate declared in Type
refersToDirectly	member predicate declared in Type
refersToDirectly	member predicate declared in DerivedType
refersToDirectly	member predicate declared in PointerToMemberType
refersToDirectly	member predicate declared in RoutineType
refersToDirectly	member predicate declared in Class
regexpCapture	primitive predicate declared in string
regexpFind	primitive predicate declared in string
regexpMatch	primitive predicate declared in string
regexpReplaceAll	primitive predicate declared in string
relOpWithSwap	predicate declared in RangeAnalysisUtils
relOpWithSwapAndNegate	predicate declared in RangeAnalysisUtils
replaceAll	primitive predicate declared in string
requiresDealloc	member predicate declared in AllocationFunction
requiresDealloc	member predicate declared in AllocationExpr
requiresDealloc	member predicate declared in OperatorNewAllocationFunction
resolve	predicate declared in PointsTo
resolve	member predicate declared in TargetPointsToExpr
resolveCall	predicate declared in ResolveCall
resolveToSet	member predicate declared in TargetPointsToExpr
resolveTypedefs	member predicate declared in Type
resolveTypedefs	member predicate declared in Decltype
resolveTypedefs	member predicate declared in PointerType
resolveTypedefs	member predicate declared in ReferenceType
resolveTypedefs	member predicate declared in SpecifiedType
resolveTypedefs	member predicate declared in TypedefType
resolvedCall	predicate declared in CallGraph
returnTypeIsExplicit	member predicate declared in LambdaExpression
returnsNull	member predicate declared in Options
returnsNull	predicate declared in Options
returnsNull	member predicate declared in CustomOptions

S

SAL	module
SALAnnotation	class declared in SAL
SALAnnotation	characteristic predicate declared in SALAnnotation
SALCheckReturn	class declared in SAL
SALCheckReturn	characteristic predicate declared in SALCheckReturn
SALElement	class declared in SAL
SALMacro	characteristic predicate declared in SALMacro
SALMacro	class declared in SAL
SALMaybeNull	class declared in SAL
SALMaybeNull	characteristic predicate declared in SALMaybeNull
SALNotNull	class declared in SAL
SALNotNull	characteristic predicate declared in SALNotNull
SALParameter	characteristic predicate declared in SALParameter
SALParameter	class declared in SAL
SSA	module
SSAUtils	module
Scanf	class declared in Scanf
Scanf	characteristic predicate declared in Scanf
Scanf	module
ScanfBW	class declared in BufferWrite
ScanfBW	characteristic predicate declared in ScanfBW
ScanfFormatLiteral	class declared in Scanf
ScanfFormatLiteral	characteristic predicate declared in ScanfFormatLiteral
ScanfFunction	class declared in Scanf
ScanfFunctionCall	class declared in Scanf
ScanfFunctionCall	characteristic predicate declared in ScanfFunctionCall
ScopedEnum	class declared in Enum
ScopedEnum	characteristic predicate declared in ScopedEnum
Security	module
SecurityOptions	class declared in Security
SecurityOptions	characteristic predicate declared in SecurityOptions
SecurityOptions	module
SemanticStackVariable	class declared in Variable
SensitiveExpr	class declared in SensitiveExprs
SensitiveExpr	characteristic predicate declared in SensitiveExpr
SensitiveExprs	module
SensitiveFunction	class declared in SensitiveExprs
SensitiveFunction	characteristic predicate declared in SensitiveFunction
SensitiveVariable	class declared in SensitiveExprs
SensitiveVariable	characteristic predicate declared in SensitiveVariable
ShortType	class declared in Type
ShortType	characteristic predicate declared in ShortType
SideEffect	module
SideEffectFunction	class declared in SideEffect
SignedCharType	class declared in Type
SignedCharType	characteristic predicate declared in SignedCharType
SimilarBlock	class declared in CodeDuplication
SimpleRangeAnalysis	module
SimpleRangeAnalysisInternal	module declared in SimpleRangeAnalysis
Size_t	class declared in CommonType
Size_t	characteristic predicate declared in Size_t
SizeofExprOperator	class declared in Cast
SizeofExprOperator	characteristic predicate declared in SizeofExprOperator
SizeofImpureExprOperator	characteristic predicate declared in SizeofImpureExprOperator
SizeofImpureExprOperator	class declared in AV_Rule_166
SizeofOperator	class declared in Cast
SizeofPackOperator	class declared in Cast
SizeofTypeOperator	class declared in Cast
SizeofTypeOperator	characteristic predicate declared in SizeofTypeOperator
SmallSide	datatype declared in PointlessComparison
Snprintf	class declared in FormattingFunction
SnprintfBW	class declared in BufferWrite
SnprintfBW	characteristic predicate declared in SnprintfBW
Snscanf	class declared in Scanf
Snscanf	characteristic predicate declared in Snscanf
SpaceshipExpr	class declared in Expr
SpecialNameQualifyingElement	class declared in NameQualifiers
SpecifiedType	class declared in Type
SpecifiedType	characteristic predicate declared in SpecifiedType
Specifier	class declared in Specifier
Specifier	module
SprintfBW	class declared in BufferWrite
SprintfBW	characteristic predicate declared in SprintfBW
Sql	module
SqlBarrierFunction	class declared in Sql
SqlExecutionFunction	class declared in Sql
SsaDefinition	class declared in SSA
SsaDefinition	characteristic predicate declared in SsaDefinition
SsaHelper	class declared in SSAUtils
Sscanf	class declared in Scanf
Sscanf	characteristic predicate declared in Sscanf
Ssize_t	class declared in CommonType
Ssize_t	characteristic predicate declared in Ssize_t
SslContextCallAbstractConfig	class declared in BoostorgAsio
SslContextCallAbstractConfig	characteristic predicate declared in BoostorgAsio::SslContextCallAbstractConfig
SslContextCallBannedProtocolConfig	class declared in BoostorgAsio
SslContextCallBannedProtocolConfig	characteristic predicate declared in BoostorgAsio::SslContextCallBannedProtocolConfig
SslContextCallConfig	class declared in BoostorgAsio
SslContextCallConfig	characteristic predicate declared in BoostorgAsio::SslContextCallConfig
SslContextCallTls12ProtocolConfig	class declared in BoostorgAsio
SslContextCallTls12ProtocolConfig	characteristic predicate declared in BoostorgAsio::SslContextCallTls12ProtocolConfig
SslContextCallTls13ProtocolConfig	class declared in BoostorgAsio
SslContextCallTls13ProtocolConfig	characteristic predicate declared in BoostorgAsio::SslContextCallTls13ProtocolConfig
SslContextCallTlsProtocolConfig	class declared in BoostorgAsio
SslContextCallTlsProtocolConfig	characteristic predicate declared in BoostorgAsio::SslContextCallTlsProtocolConfig
SslContextClass	class declared in BoostorgAsio
SslContextClass	characteristic predicate declared in BoostorgAsio::SslContextClass
SslContextFlowsToSetOptionConfig	class declared in BoostorgAsio
SslContextFlowsToSetOptionConfig	characteristic predicate declared in BoostorgAsio::SslContextFlowsToSetOptionConfig
SslContextMethod	class declared in BoostorgAsio
SslContextMethod	characteristic predicate declared in BoostorgAsio::SslContextMethod
SslOptionConfig	class declared in BoostorgAsio
SslOptionConfig	characteristic predicate declared in BoostorgAsio::SslOptionConfig
SslSetOptionsFunction	class declared in BoostorgAsio
SslSetOptionsFunction	characteristic predicate declared in BoostorgAsio::SslSetOptionsFunction
StackAddress	module
StackVariable	class declared in Variable
StackVariableReachability	class declared in StackVariableReachability
StackVariableReachability	characteristic predicate declared in StackVariableReachability
StackVariableReachability	module
StackVariableReachabilityExt	class declared in StackVariableReachability
StackVariableReachabilityExt	characteristic predicate declared in StackVariableReachabilityExt
StackVariableReachabilityWithReassignment	class declared in StackVariableReachability
StackVariableReachabilityWithReassignment	characteristic predicate declared in StackVariableReachabilityWithReassignment
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
StdNamespace	characteristic predicate declared in StdNamespace
Stmt	class declared in Stmt
Stmt	module
StmtExpr	class declared in Expr
StmtExprNode	class declared in PrintAST
StmtNode	class declared in PrintAST
StmtNode	characteristic predicate declared in StmtNode
StmtParent	class declared in Stmt
StorageClassSpecifier	class declared in Specifier
StorageClassSpecifier	characteristic predicate declared in StorageClassSpecifier
StrCatBW	class declared in BufferWrite
StrCatBW	characteristic predicate declared in StrCatBW
StrCopyBW	class declared in BufferWrite
StrCopyBW	characteristic predicate declared in StrCopyBW
Strcat	module
StrcatFunction	class declared in Strcat
Strcpy	module
StrcpyFunction	class declared in Strcpy
Strict	injector declared in RangeAnalysisUtils
Strict	type declared in RangeAnalysisUtils
StringAnalysis	module
StringLiteral	class declared in Literal
StringLiteral	characteristic predicate declared in StringLiteral
StringLiteralNode	class declared in PrintAST
StringLiteralNode	characteristic predicate declared in StringLiteralNode
StrlenCall	class declared in StringAnalysis
StrncpyBA	class declared in BufferAccess
StrncpyBA	characteristic predicate declared in StrncpyBA
Struct	class declared in Struct
Struct	characteristic predicate declared in Struct
Struct	module
StructLikeClass	class declared in StructLikeClass
StructLikeClass	characteristic predicate declared in StructLikeClass
StructLikeClass	module
StructSystemTimeYearFieldAccess	class declared in DateTime
StructSystemTimeYearFieldAccess	characteristic predicate declared in StructSystemTimeYearFieldAccess
StructTmDayFieldAccess	class declared in DateTime
StructTmDayFieldAccess	characteristic predicate declared in StructTmDayFieldAccess
StructTmMonthFieldAccess	class declared in DateTime
StructTmMonthFieldAccess	characteristic predicate declared in StructTmMonthFieldAccess
StructTmYearFieldAccess	class declared in DateTime
StructTmYearFieldAccess	characteristic predicate declared in StructTmYearFieldAccess
SubExpr	class declared in ArithmeticOperation
SwabBA	class declared in BufferAccess
SwabBA	characteristic predicate declared in SwabBA
SwitchCase	class declared in Stmt
SwitchStmt	class declared in Stmt
Symbol	class declared in Dependency
Synchronization	module
SystemFunction	class declared in CommandExecution
SystemTimeDayFieldAccess	class declared in DateTime
SystemTimeDayFieldAccess	characteristic predicate declared in SystemTimeDayFieldAccess
SystemTimeMonthFieldAccess	class declared in DateTime
SystemTimeMonthFieldAccess	characteristic predicate declared in SystemTimeMonthFieldAccess
s_irgrp	predicate declared in Constants
s_iroth	predicate declared in Constants
s_irusr	predicate declared in Constants
s_irwxg	predicate declared in Constants
s_irwxo	predicate declared in Constants
s_irwxu	predicate declared in Constants
s_isgid	predicate declared in Constants
s_isuid	predicate declared in Constants
s_isvtx	predicate declared in Constants
s_iwgrp	predicate declared in Constants
s_iwoth	predicate declared in Constants
s_iwusr	predicate declared in Constants
s_ixgrp	predicate declared in Constants
s_ixoth	predicate declared in Constants
s_ixusr	predicate declared in Constants
safeFloor	predicate declared in SimpleRangeAnalysis
setflow	predicate declared in PointsTo
setlocations	predicate declared in PointsTo
setter	predicate declared in StructLikeClass
shareField	member predicate declared in MetricClass
shellCommand	predicate declared in CommandExecution
shellCommandPreface	predicate declared in CommandExecution
shouldPrint	member predicate declared in PrintAstNode
shouldPrintFunction	member predicate declared in PrintAstConfiguration
signum	primitive predicate declared in float
similarFiles	predicate declared in CodeDuplication
similarLines	predicate declared in CodeDuplication
similarLinesCovered	predicate declared in CodeDuplication
sin	primitive predicate declared in int
sin	primitive predicate declared in float
sinh	primitive predicate declared in int
sinh	primitive predicate declared in float
sourceEndColumn	member predicate declared in Copy
sourceEndLine	member predicate declared in Copy
sourceFile	member predicate declared in Copy
sourceLines	member predicate declared in Copy
sourceMethod	predicate declared in CodeDuplication
sourceStartColumn	member predicate declared in Copy
sourceStartLine	member predicate declared in Copy
specsAreKnown	member predicate declared in FormatLiteral
splitAt	primitive predicate declared in string
splitAt	primitive predicate declared in string
sqlArgument	predicate declared in Security
sqlArgument	member predicate declared in SecurityOptions
sqrt	primitive predicate declared in int
sqrt	primitive predicate declared in float
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
stageStats	predicate declared in DataFlowImpl3
startsWithIfndef	predicate declared in MultipleInclusion
staticTarget	member predicate declared in TargetPointsToExpr
stmt	field declared in StmtNode
stmtEnclosingElement	predicate declared in Enclosing
strictlyDominates	predicate declared in Dominance
strictlyPostDominates	predicate declared in Dominance
string	primitive type
stripTopLevelSpecifiers	member predicate declared in Type
stripTopLevelSpecifiers	member predicate declared in Decltype
stripTopLevelSpecifiers	member predicate declared in SpecifiedType
stripTopLevelSpecifiers	member predicate declared in TypedefType
stripType	member predicate declared in Type
stripType	member predicate declared in DerivedType
stripType	member predicate declared in Decltype
stripType	member predicate declared in TypedefType
substring	primitive predicate declared in string
subsumes	member predicate declared in Location
successCondition	predicate declared in Negativity
successSuccessor	predicate declared in Negativity
successors_extended	predicate declared in ControlFlowGraph
suffix	primitive predicate declared in string

T

Taint	module
TaintFunction	class declared in Taint
TaintTracking	module declared in TaintTracking
TaintTracking	module declared in TaintTracking
TaintTracking	module
TaintTracking	module
TaintTracking	module
TaintTracking2	module declared in TaintTracking2
TaintTracking2	module
TaintTracking3	module declared in TaintTracking3
TaintTracking3	module
TaintTrackingImpl	module
TaintTrackingImpl	module
TaintTrackingImpl	module
TaintTrackingImpl	module
TaintedWithPath	module declared in DefaultTaintTracking
TargetPointsToExpr	class declared in CallGraph
Task	characteristic predicate declared in Task
Task	class declared in Tasks
Tasks	module
TemplateClass	class declared in Class
TemplateClass	characteristic predicate declared in TemplateClass
TemplateFunction	class declared in Function
TemplateParameter	characteristic predicate declared in TemplateParameter
TemplateParameter	class declared in Type
TemplateTemplateParameter	class declared in Type
TemplateTemplateParameter	characteristic predicate declared in TemplateTemplateParameter
TemplateVariable	class declared in Variable
TemporaryObjectExpr	class declared in Cast
TestFile	class declared in TestFile
TestFile	characteristic predicate declared in TestFile
TestFile	module
TextLiteral	class declared in Literal
TextLiteral	characteristic predicate declared in TextLiteral
ThisExpr	class declared in Expr
ThrowExpr	class declared in Expr
Top	class declared in definitions
TopLevelFunction	class declared in Function
TryStmt	class declared in Stmt
Type	class declared in Type
Type	characteristic predicate declared in Type
Type	module
TypeBoundsAnalysis	class declared in Printf
TypeDeclarationEntry	class declared in UserType
TypeDomain	class declared in Type
TypeMention	class declared in Type
TypeName	class declared in Access
TypedefType	class declared in TypedefType
TypedefType	characteristic predicate declared in TypedefType
TypedefType	module
TypeidOperator	class declared in Cast
tainted	predicate declared in DefaultTaintTracking
taintedIncludingGlobalVars	predicate declared in DefaultTaintTracking
tan	primitive predicate declared in int
tan	primitive predicate declared in float
tanh	primitive predicate declared in int
tanh	primitive predicate declared in float
tc	field declared in ClassTemplateInstantiation
terminatesInBreakStmt	member predicate declared in SwitchCase
terminatesInReturnStmt	member predicate declared in SwitchCase
terminatesInThrowStmt	member predicate declared in SwitchCase
toDate	primitive predicate declared in string
toFloat	primitive predicate declared in string
toISO	primitive predicate declared in date
toInt	primitive predicate declared in string
toLowerCase	primitive predicate declared in string
toString	member predicate declared in ExtractionProblem
toString	member predicate declared in ExtractionUnrecoverableError
toString	member predicate declared in ExtractionRecoverableWarning
toString	member predicate declared in ExtractionUnknownProblem
toString	member predicate declared in Library
toString	member predicate declared in Copy
toString	member predicate declared in DuplicateBlock
toString	member predicate declared in SimilarBlock
toString	member predicate declared in Container
toString	member predicate declared in File
toString	member predicate declared in Location
toString	member predicate declared in BuiltInType
toString	member predicate declared in TypeDomain
toString	member predicate declared in RealDomain
toString	member predicate declared in ComplexDomain
toString	member predicate declared in ImaginaryDomain
toString	member predicate declared in DerivedType
toString	member predicate declared in Decltype
toString	member predicate declared in PointerToMemberType
toString	member predicate declared in RoutineType
toString	member predicate declared in TypeMention
toString	member predicate declared in ClassDerivation
toString	member predicate declared in Declaration
toString	member predicate declared in DeclarationEntry
toString	member predicate declared in Specifier
toString	member predicate declared in Attribute
toString	member predicate declared in AlignAs
toString	member predicate declared in AttributeArgument
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 LinkTarget
toString	member predicate declared in Call
toString	member predicate declared in FunctionCall
toString	member predicate declared in ExprCall
toString	member predicate declared in VacuousDestructorCall
toString	member predicate declared in ConstructorFieldInit
toString	member predicate declared in DestructorFieldDestruction
toString	member predicate declared in Expr
toString	member predicate declared in UnaryOperation
toString	member predicate declared in BinaryOperation
toString	member predicate declared in Compilation
toString	member predicate declared in Include
toString	member predicate declared in IncludeNext
toString	member predicate declared in Import
toString	member predicate declared in PreprocessorDirective
toString	member predicate declared in PreprocessorEndif
toString	member predicate declared in Macro
toString	member predicate declared in MacroAccess
toString	member predicate declared in VariableAccess
toString	member predicate declared in Initializer
toString	member predicate declared in PostfixIncrExpr
toString	member predicate declared in PostfixDecrExpr
toString	member predicate declared in ConditionalExpr
toString	member predicate declared in AssignExpr
toString	member predicate declared in AssignOperation
toString	member predicate declared in ConditionDeclExpr
toString	member predicate declared in CStyleCast
toString	member predicate declared in StaticCast
toString	member predicate declared in ConstCast
toString	member predicate declared in ReinterpretCast
toString	member predicate declared in DynamicCast
toString	member predicate declared in UuidofOperator
toString	member predicate declared in TypeidOperator
toString	member predicate declared in SizeofPackOperator
toString	member predicate declared in SizeofExprOperator
toString	member predicate declared in SizeofTypeOperator
toString	member predicate declared in AlignofExprOperator
toString	member predicate declared in AlignofTypeOperator
toString	member predicate declared in ArrayToPointerConversion
toString	member predicate declared in TemporaryObjectExpr
toString	member predicate declared in LambdaExpression
toString	member predicate declared in LambdaCapture
toString	member predicate declared in Literal
toString	member predicate declared in AggregateLiteral
toString	member predicate declared in BuiltInVarArgsStart
toString	member predicate declared in BuiltInVarArgsEnd
toString	member predicate declared in BuiltInVarArg
toString	member predicate declared in BuiltInVarArgCopy
toString	member predicate declared in BuiltInNoOp
toString	member predicate declared in BuiltInOperationBuiltInOffsetOf
toString	member predicate declared in BuiltInIntAddr
toString	member predicate declared in BuiltInOperationHasAssign
toString	member predicate declared in BuiltInOperationHasCopy
toString	member predicate declared in BuiltInOperationHasNoThrowAssign
toString	member predicate declared in BuiltInOperationHasNoThrowConstructor
toString	member predicate declared in BuiltInOperationHasNoThrowCopy
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 BuiltInOperationHasUserDestructor
toString	member predicate declared in BuiltInOperationHasVirtualDestructor
toString	member predicate declared in BuiltInOperationIsAbstract
toString	member predicate declared in BuiltInOperationIsBaseOf
toString	member predicate declared in BuiltInOperationIsClass
toString	member predicate declared in BuiltInOperationIsConvertibleTo
toString	member predicate declared in BuiltInOperationIsEmpty
toString	member predicate declared in BuiltInOperationIsEnum
toString	member predicate declared in BuiltInOperationIsPod
toString	member predicate declared in BuiltInOperationIsPolymorphic
toString	member predicate declared in BuiltInOperationIsUnion
toString	member predicate declared in BuiltInOperationBuiltInTypesCompatibleP
toString	member predicate declared in BuiltInOperationBuiltInShuffleVector
toString	member predicate declared in BuiltInOperationBuiltInConvertVector
toString	member predicate declared in BuiltInOperationIsTriviallyConstructible
toString	member predicate declared in BuiltInOperationIsDestructible
toString	member predicate declared in BuiltInOperationIsNothrowDestructible
toString	member predicate declared in BuiltInOperationIsTriviallyDestructible
toString	member predicate declared in BuiltInOperationIsTriviallyAssignable
toString	member predicate declared in BuiltInOperationIsNothrowAssignable
toString	member predicate declared in BuiltInOperationIsStandardLayout
toString	member predicate declared in BuiltInOperationIsTriviallyCopyable
toString	member predicate declared in BuiltInOperationIsLiteralType
toString	member predicate declared in BuiltInOperationHasTrivialMoveConstructor
toString	member predicate declared in BuiltInOperationHasTrivialMoveAssign
toString	member predicate declared in BuiltInOperationHasNothrowMoveAssign
toString	member predicate declared in BuiltInOperationIsConstructible
toString	member predicate declared in BuiltInOperationIsNothrowConstructible
toString	member predicate declared in BuiltInOperationHasFinalizer
toString	member predicate declared in BuiltInOperationIsDelegate
toString	member predicate declared in BuiltInOperationIsInterfaceClass
toString	member predicate declared in BuiltInOperationIsRefArray
toString	member predicate declared in BuiltInOperationIsRefClass
toString	member predicate declared in BuiltInOperationIsSealed
toString	member predicate declared in BuiltInOperationIsSimpleValueClass
toString	member predicate declared in BuiltInOperationIsValueClass
toString	member predicate declared in BuiltInOperationIsFinal
toString	member predicate declared in BuiltInChooseExpr
toString	member predicate declared in BuiltInComplexOperation
toString	member predicate declared in Stmt
toString	member predicate declared in ExprStmt
toString	member predicate declared in IfStmt
toString	member predicate declared in ConstexprIfStmt
toString	member predicate declared in WhileStmt
toString	member predicate declared in GotoStmt
toString	member predicate declared in ComputedGotoStmt
toString	member predicate declared in ContinueStmt
toString	member predicate declared in BreakStmt
toString	member predicate declared in LabelStmt
toString	member predicate declared in CoReturnStmt
toString	member predicate declared in ReturnStmt
toString	member predicate declared in DoStmt
toString	member predicate declared in RangeBasedForStmt
toString	member predicate declared in ForStmt
toString	member predicate declared in SwitchCase
toString	member predicate declared in DefaultCase
toString	member predicate declared in SwitchStmt
toString	member predicate declared in Handler
toString	member predicate declared in TryStmt
toString	member predicate declared in MicrosoftTryExceptStmt
toString	member predicate declared in MicrosoftTryFinallyStmt
toString	member predicate declared in DeclStmt
toString	member predicate declared in EmptyStmt
toString	member predicate declared in AsmStmt
toString	member predicate declared in VlaDimensionStmt
toString	member predicate declared in VlaDeclStmt
toString	member predicate declared in BlockStmt
toString	member predicate declared in BufferWriteEstimationReason
toString	member predicate declared in UnspecifiedEstimateReason
toString	member predicate declared in TypeBoundsAnalysis
toString	member predicate declared in WidenedValueFlowAnalysis
toString	member predicate declared in ValueFlowAnalysis
toString	member predicate declared in SsaDefinition
toString	member predicate declared in XMLLocatable
toString	member predicate declared in XMLParent
toString	member predicate declared in XMLFile
toString	member predicate declared in XMLDTD
toString	member predicate declared in XMLElement
toString	member predicate declared in XMLAttribute
toString	member predicate declared in XMLNamespace
toString	member predicate declared in XMLComment
toString	member predicate declared in XMLCharacters
toString	member predicate declared in Diagnostic
toString	member predicate declared in Comment
toString	member predicate declared in NameQualifier
toString	member predicate declared in Node
toString	member predicate declared in PrintAstConfiguration
toString	member predicate declared in PrintAstNode
toString	member predicate declared in BaseAstNode
toString	member predicate declared in StringLiteralNode
toString	member predicate declared in ParametersNode
toString	member predicate declared in ConstructorInitializersNode
toString	member predicate declared in DestructorDestructionsNode
toString	member predicate declared in FunctionNode
toString	member predicate declared in Instruction
toString	member predicate declared in ExternalData
toString	member predicate declared in HashCons
toString	member predicate declared in MustFlowPathNode
toString	primitive predicate declared in boolean
toString	primitive predicate declared in int
toString	primitive predicate declared in float
toString	primitive predicate declared in string
toString	primitive predicate declared in date
toUnicode	primitive predicate declared in int
toUpperCase	primitive predicate declared in string
tokenEndingAt	member predicate declared in Copy
tokenStartingAt	member predicate declared in Copy
trailingPadding	member predicate declared in PaddedType
trim	primitive predicate declared in string
trylockAccess	member predicate declared in MutexType
trylockAccess	member predicate declared in CustomMutexType
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
UInt16_t	characteristic predicate declared in UInt16_t
UInt32_t	class declared in CommonType
UInt32_t	characteristic predicate declared in UInt32_t
UInt64_t	class declared in CommonType
UInt64_t	characteristic predicate declared in UInt64_t
UInt8_t	class declared in CommonType
UInt8_t	characteristic predicate declared in UInt8_t
UInt_fast16_t	class declared in CommonType
UInt_fast16_t	characteristic predicate declared in UInt_fast16_t
UInt_fast32_t	class declared in CommonType
UInt_fast32_t	characteristic predicate declared in UInt_fast32_t
UInt_fast64_t	class declared in CommonType
UInt_fast64_t	characteristic predicate declared in UInt_fast64_t
UInt_fast8_t	class declared in CommonType
UInt_fast8_t	characteristic predicate declared in UInt_fast8_t
UInt_least16_t	class declared in CommonType
UInt_least16_t	characteristic predicate declared in UInt_least16_t
UInt_least32_t	class declared in CommonType
UInt_least32_t	characteristic predicate declared in UInt_least32_t
UInt_least64_t	class declared in CommonType
UInt_least64_t	characteristic predicate declared in UInt_least64_t
UInt_least8_t	class declared in CommonType
UInt_least8_t	characteristic predicate declared in UInt_least8_t
Uintmax_t	class declared in CommonType
Uintmax_t	characteristic predicate declared in Uintmax_t
UnaryArithmeticOperation	class declared in ArithmeticOperation
UnaryBitwiseOperation	class declared in BitwiseOperation
UnaryLogicalOperation	class declared in LogicalOperation
UnaryMinusExpr	class declared in ArithmeticOperation
UnaryOperation	class declared in Expr
UnaryPlusExpr	class declared in ArithmeticOperation
Union	class declared in Union
Union	characteristic predicate declared in Union
Union	module
UnixArchitecture	class declared in Padding
UnixArchitecture	characteristic predicate declared in UnixArchitecture
UnknownDefaultLocation	class declared in Location
UnknownDefaultLocation	characteristic predicate declared in UnknownDefaultLocation
UnknownExprLocation	class declared in Location
UnknownExprLocation	characteristic predicate declared in UnknownExprLocation
UnknownLocation	class declared in Location
UnknownLocation	characteristic predicate declared in UnknownLocation
UnknownStmtLocation	class declared in Location
UnknownStmtLocation	characteristic predicate declared in UnknownStmtLocation
UnknownType	class declared in Type
UnknownType	characteristic predicate declared in UnknownType
UnpackedTimeType	class declared in DateTime
UnpackedTimeType	characteristic predicate declared in UnpackedTimeType
UnsignedCharType	class declared in Type
UnsignedCharType	characteristic predicate declared in UnsignedCharType
UnspecifiedEstimateReason	class declared in Printf
Use	class declared in DefinitionsAndUses
UserDefinedFormattingFunction	characteristic predicate declared in UserDefinedFormattingFunction
UserDefinedFormattingFunction	class declared in Printf
UserType	class declared in UserType
UserType	module
UsingAliasTypedefType	class declared in TypedefType
UsingAliasTypedefType	characteristic predicate declared in UsingAliasTypedefType
UsingDeclarationEntry	class declared in Namespace
UsingDeclarationEntry	characteristic predicate declared in UsingDeclarationEntry
UsingDirectiveEntry	class declared in Namespace
UsingDirectiveEntry	characteristic predicate declared in UsingDirectiveEntry
UsingEntry	class declared in Namespace
UuidofOperator	class declared in Cast
ulp	primitive predicate declared in float
ultimateQualifier	field declared in NestedFieldAccess
underlyingElement	predicate declared in Element
unknownSemanticConversionString	predicate declared in CastConsistency
unlockAccess	member predicate declared in MutexType
unlockAccess	member predicate declared in CustomMutexType
unlockCall	predicate declared in Synchronization
unreachable	predicate declared in BasicBlocks
unresolveElement	predicate declared in Element
useOfVar	predicate declared in DefinitionsAndUses
useOfVarActual	predicate declared in DefinitionsAndUses
useUsePair	predicate declared in DefinitionsAndUses
userInputArgument	predicate declared in Security
userInputArgument	member predicate declared in SecurityOptions
userInputReturn	member predicate declared in SecurityOptions
userInputReturned	predicate declared in Security
userInputReturned	member predicate declared in SecurityOptions
usesMacro	member predicate declared in File

V

VacuousDestructorCall	class declared in Call
ValueFieldAccess	class declared in Access
ValueFlowAnalysis	class declared in Printf
ValueNumber	class declared in ValueNumbering
ValueNumbering	module
ValueNumbering	module
VarArgsExpr	class declared in BuiltInOperations
VarargsExecFunctionCall	class declared in CommandExecution
VarargsExecFunctionCall	characteristic predicate declared in VarargsExecFunctionCall
Variable	class declared in Variable
Variable	module
VariableAccess	class declared in Access
VariableAccess	characteristic predicate declared in VariableAccess
VariableCall	class declared in Call
VariableCall	characteristic predicate declared in VariableCall
VariableDeclarationEntry	class declared in Variable
VariableDeclarationEntryNode	class declared in PrintAST
VectorAggregateLiteral	class declared in Literal
VectorAggregateLiteral	characteristic predicate declared in VectorAggregateLiteral
VectorFillOperation	class declared in BuiltInOperations
VirtualBaseClass	class declared in Class
VirtualBaseClass	characteristic predicate declared in VirtualBaseClass
VirtualClassDerivation	class declared in Class
VirtualClassDerivation	characteristic predicate declared in VirtualClassDerivation
VirtualDispatch	module declared in VirtualDispatchPrototype
VirtualDispatchPrototype	module
VirtualFunction	class declared in MemberFunction
VirtualFunction	characteristic predicate declared in VirtualFunction
VlaDeclStmt	class declared in Stmt
VlaDimensionStmt	class declared in Stmt
VoidContext	module
VoidConversion	class declared in Cast
VoidConversion	characteristic predicate declared in VoidConversion
VoidPointerType	class declared in CommonType
VoidPointerType	characteristic predicate declared in VoidPointerType
VoidType	class declared in Type
VoidType	characteristic predicate declared in VoidType
validCheckExpr	predicate declared in Nullness
valueNumber	predicate declared in ValueNumbering
valueNumberOfOperand	predicate declared in ValueNumbering
valueOfVar	predicate declared in Negativity
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
variadicFormatter	predicate declared in Printf
vectorType	field declared in VectorAggregateLiteral
version	field declared in Library
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
Wchar_t	characteristic predicate declared in Wchar_t
WhileStmt	class declared in Stmt
WideCharType	class declared in Type
WideCharType	characteristic predicate declared in WideCharType
WidenedValueFlowAnalysis	class declared in Printf
WindowsArchitecture	class declared in Padding
WindowsArchitecture	characteristic predicate declared in WindowsArchitecture
WriteFunctionCall	class declared in FileWrite
WriteFunctionCall	characteristic predicate declared in WriteFunctionCall
wastedSpace	member predicate declared in Architecture
wastedSpace	member predicate declared in PaddedType
whitelistedLineForDuplication	predicate declared in CodeDuplication
wideCharSize	member predicate declared in Architecture
wideCharSize	member predicate declared in UnixArchitecture
wideCharSize	member predicate declared in WindowsArchitecture
wrapperFunction	member predicate declared in FunctionWithWrappers

X

XML	module
XMLAttribute	class declared in XML
XMLCharacters	class declared in XML
XMLComment	class declared in XML
XMLDTD	class declared in XML
XMLElement	class declared in XML
XMLFile	class declared in XML
XMLFile	characteristic predicate declared in XMLFile
XMLLocatable	class declared in XML
XMLNamespace	class declared in XML
XMLParent	characteristic predicate declared in XMLParent
XMLParent	class declared in XML

Y

YearFieldAccess

class declared in DateTime

Z

Zero	class declared in Nullness
Zero	characteristic predicate declared in Zero
ZeroAssignment	characteristic predicate declared in ZeroAssignment
ZeroAssignment	class declared in LoopBounds
ZeroMemoryBA	class declared in BufferAccess
ZeroMemoryBA	characteristic predicate declared in ZeroMemoryBA

@

@addexpr	branch type
@aggregateliteral	branch type
@alignas	branch type
@andexpr	branch type
@andlogicalexpr	branch type
@arithnegexpr	branch type
@array_to_pointer	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
@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
@bin_arith_op_expr	union type
@bin_bitwise_op_expr	union type
@bin_log_op_expr	union type
@builtin_op	union type
@builtinaddressof	branch type
@builtinchooseexpr	branch type
@builtincomplex	branch type
@builtinconvertvector	branch type
@builtinshufflevector	branch type
@builtintype	type
@c_style_cast	branch type
@callexpr	branch type
@cast	union type
@cmp_op_expr	union type
@compilation	type
@complementexpr	branch type
@condition_decl	branch type
@conditionalexpr	branch type
@conjugation	branch type
@const_cast	branch type
@container	union type
@conversion	union type
@crement_expr	union type
@ctordelegatinginit	branch type
@ctordirectinit	branch type
@ctorfieldinit	branch type
@ctorinit	union type
@ctorvirtualinit	branch type
@declspec	branch type
@decltype	type
@decrement_expr	union type
@derivedtype	type
@divexpr	branch type
@dtordestruct	union type
@dtordirectdestruct	branch type
@dtorfielddestruct	branch type
@dtorvirtualdestruct	branch type
@dynamic_cast	branch type
@eq_op_expr	union type
@eqexpr	branch type
@externalDataElement	type
@fjaddexpr	branch type
@fjsubexpr	branch type
@funbindexpr	union type
@geexpr	branch 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
@hasuserdestr	branch type
@hasvirtualdestr	branch type
@imagpartexpr	branch type
@increment_expr	union type
@initialiser	type
@intaddrexpr	branch type
@isabstractexpr	branch type
@isbaseofexpr	branch type
@isclassexpr	branch type
@isconstructibleexpr	branch type
@isconvtoexpr	branch type
@isdelegateexpr	branch type
@isdestructibleexpr	branch type
@isemptyexpr	branch type
@isenumexpr	branch type
@isfinalexpr	branch type
@isinterfaceclassexpr	branch type
@isliteraltypeexpr	branch type
@isnothrowassignableexpr	branch type
@isnothrowconstructibleexpr	branch type
@isnothrowdestructibleexpr	branch type
@ispodexpr	branch type
@ispolyexpr	branch type
@isrefarrayexpr	branch type
@isrefclassexpr	branch type
@issealedexpr	branch type
@issimplevalueclassexpr	branch type
@isstandardlayoutexpr	branch type
@istriviallyassignableexpr	branch type
@istriviallyconstructibleexpr	branch type
@istriviallycopyableexpr	branch type
@istriviallydestructibleexpr	branch type
@isunionexpr	branch type
@isvalueclassexpr	branch type
@jdivexpr	branch type
@jfaddexpr	branch type
@jfsubexpr	branch type
@jmulexpr	branch type
@jump	union type
@lambdaexpr	branch type
@leexpr	branch type
@literal	branch type
@lshiftexpr	branch type
@ltexpr	branch type
@macroinvocation	type
@maxexpr	branch type
@minexpr	branch type
@msattribute	branch type
@mulexpr	branch type
@namequalifier	type
@namespace	type
@neexpr	branch type
@noopexpr	branch type
@notexpr	branch type
@offsetofexpr	branch type
@orexpr	branch type
@orlogicalexpr	branch type
@p_arith_op_expr	union type
@paddexpr	branch type
@pdiffexpr	branch type
@postdecrexpr	branch type
@postfix_crement_expr	union type
@postincrexpr	branch type
@ppd_include	union type
@ppd_include_next	branch type
@ppd_objc_import	branch type
@predecrexpr	branch type
@prefix_crement_expr	union type
@preincrexpr	branch type
@psubexpr	branch type
@ptrtomember	type
@realpartexpr	branch type
@reinterpret_cast	branch type
@rel_op_expr	union type
@remexpr	branch type
@routinetype	type
@rshiftexpr	branch type
@runtime_alignof	branch type
@runtime_sizeof	branch type
@sizeof_pack	branch type
@static_cast	branch type
@stdattribute	branch type
@stmt_asm	branch type
@stmt_assigned_goto	branch type
@stmt_block	branch type
@stmt_break	branch type
@stmt_co_return	branch type
@stmt_constexpr_if	branch type
@stmt_continue	branch type
@stmt_empty	branch type
@stmt_end_test_while	branch type
@stmt_expr	branch type
@stmt_goto	branch type
@stmt_handler	branch type
@stmt_if	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_case	branch type
@stmt_vla_decl	branch type
@stmt_while	branch type
@subexpr	branch type
@temp_init	branch type
@type	union type
@type_id	branch type
@type_mention	type
@typescompexpr	branch type
@un_arith_op_expr	union type
@un_bitwise_op_expr	union type
@un_log_op_expr	union type
@unaryplusexpr	branch type
@using	type
@uuidof	branch type
@vaargexpr	branch type
@vacopyexpr	branch type
@vacuous_destructor_call	branch type
@vaendexpr	branch type
@var_args_expr	union type
@vastartexpr	branch type
@vec_fill	branch type
@xmlattribute	type
@xmldtd	type
@xmllocatable	union type
@xmlparent	union type
@xorexpr	branch type