Index

A

ASTNodeclass declared in PrintAST
ASTNodecharacteristic predicate declared in ASTNode
ASTSanityquery module
AV Rule 1query module
AV Rule 104query module
AV Rule 107query module
AV Rule 108query module
AV Rule 11query module
AV Rule 110query module
AV Rule 111query module
AV Rule 113query module
AV Rule 114query module
AV Rule 115query module
AV Rule 119query module
AV Rule 12query module
AV Rule 126query module
AV Rule 127query module
AV Rule 13query module
AV Rule 133query module
AV Rule 135query module
AV Rule 138query module
AV Rule 139query module
AV Rule 14query module
AV Rule 140query module
AV Rule 142query module
AV Rule 143query module
AV Rule 145query module
AV Rule 147query module
AV Rule 148query module
AV Rule 149query module
AV Rule 150query module
AV Rule 151query module
AV Rule 151.1query module
AV Rule 152query module
AV Rule 153query module
AV Rule 154query module
AV Rule 155query module
AV Rule 156query module
AV Rule 157query module
AV Rule 158query module
AV Rule 159query module
AV Rule 160query module
AV Rule 162query module
AV Rule 163query module
AV Rule 164query module
AV Rule 165query module
AV Rule 166query module
AV Rule 168query module
AV Rule 17query module
AV Rule 170query module
AV Rule 171query module
AV Rule 173query module
AV Rule 175query module
AV Rule 176query module
AV Rule 178query module
AV Rule 179query module
AV Rule 18query module
AV Rule 180query module
AV Rule 181query module
AV Rule 182query module
AV Rule 184query module
AV Rule 185query module
AV Rule 186query module
AV Rule 187query module
AV Rule 188query module
AV Rule 189query module
AV Rule 19query module
AV Rule 190query module
AV Rule 191query module
AV Rule 192query module
AV Rule 193query module
AV Rule 194query module
AV Rule 195query module
AV Rule 196query module
AV Rule 197query module
AV Rule 198query module
AV Rule 199query module
AV Rule 2query module
AV Rule 20query module
AV Rule 200query module
AV Rule 201query module
AV Rule 202query module
AV Rule 204query module
AV Rule 204.1query module
AV Rule 205query module
AV Rule 206query module
AV Rule 207query module
AV Rule 208query module
AV Rule 209query module
AV Rule 21query module
AV Rule 210query module
AV Rule 212query module
AV Rule 213query module
AV Rule 214query module
AV Rule 215query module
AV Rule 22query module
AV Rule 23query module
AV Rule 24query module
AV Rule 25query module
AV Rule 26query module
AV Rule 27query module
AV Rule 28query module
AV Rule 29query module
AV Rule 3query module
AV Rule 30query module
AV Rule 31query module
AV Rule 32query module
AV Rule 33query module
AV Rule 35query module
AV Rule 39query module
AV Rule 40query module
AV Rule 41query module
AV Rule 42query module
AV Rule 43query module
AV Rule 44query module
AV Rule 45query module
AV Rule 46query module
AV Rule 47query module
AV Rule 48query module
AV Rule 49query module
AV Rule 50query module
AV Rule 51query module
AV Rule 52query module
AV Rule 53query module
AV Rule 53.1query module
AV Rule 54query module
AV Rule 57query module
AV Rule 58query module
AV Rule 59query module
AV Rule 60query module
AV Rule 61query module
AV Rule 63query module
AV Rule 68query module
AV Rule 69query module
AV Rule 70query module
AV Rule 71query module
AV Rule 71.1query module
AV Rule 73query module
AV Rule 74query module
AV Rule 75query module
AV Rule 76query module
AV Rule 77.1query module
AV Rule 78query module
AV Rule 79query module
AV Rule 81query module
AV Rule 82query module
AV Rule 85query module
AV Rule 88query module
AV Rule 88.1query module
AV Rule 89query module
AV Rule 9query module
AV Rule 94query module
AV Rule 95query module
AV Rule 96query module
AV Rule 97query module
AV Rule 97.1query module
AV Rule 99query module
AV_Rule_166module
AbstractClassclass declared in Class
AbstractClasscharacteristic predicate declared in AbstractClass
AbstractNamespacesquery module
Accessclass declared in Access
Accessmodule
AccessHolderclass declared in Declaration
AccessSpecifierclass declared in Specifier
AccessSpecifiercharacteristic predicate declared in AccessSpecifier
AccidentalRethrowquery module
Addclass declared in Opcode
AddExprclass declared in ArithmeticOperation
AddInstructionclass declared in Instruction
AddInstructioncharacteristic predicate declared in AddInstruction
AddInstructionclass declared in Instruction
AddInstructioncharacteristic predicate declared in AddInstruction
AddInstructionclass declared in Instruction
AddInstructioncharacteristic predicate declared in AddInstruction
Adding365DaysPerYearquery module
AdditionalControlFlowEdgeclass declared in ControlFlowGraph
AddressConstantExpressionmodule
AddressOfExprclass declared in Expr
AddressOperandclass declared in Operand
AddressOperandclass declared in Operand
AddressOperandclass declared in Operand
AddressOperandTagclass declared in OperandTag
AffectedFilecharacteristic predicate declared in AffectedFile
AffectedFileclass declared in EmptyBlock
AggregateLiteralclass declared in Literal
AlertSuppressionquery module
Aliasmodule
AliasAnalysismodule
AliasAnalysismodule
AliasAnalysisInternalmodule
AliasAnalysisInternalmodule
AliasFunctionclass declared in Alias
AliasedDefinitionclass declared in Opcode
AliasedDefinitionInstructionclass declared in Instruction
AliasedDefinitionInstructioncharacteristic predicate declared in AliasedDefinitionInstruction
AliasedDefinitionInstructionclass declared in Instruction
AliasedDefinitionInstructioncharacteristic predicate declared in AliasedDefinitionInstruction
AliasedDefinitionInstructionclass declared in Instruction
AliasedDefinitionInstructioncharacteristic predicate declared in AliasedDefinitionInstruction
AliasedDefinitionTaginjector declared in InstructionTag
AliasedDefinitionTagtype declared in InstructionTag
AliasedSSAmodule
AliasedUseclass declared in Opcode
AliasedUseInstructionclass declared in Instruction
AliasedUseInstructioncharacteristic predicate declared in AliasedUseInstruction
AliasedUseInstructionclass declared in Instruction
AliasedUseInstructioncharacteristic predicate declared in AliasedUseInstruction
AliasedUseInstructionclass declared in Instruction
AliasedUseInstructioncharacteristic predicate declared in AliasedUseInstruction
AliasedUseTaginjector declared in InstructionTag
AliasedUseTagtype declared in InstructionTag
AlignAsclass declared in Specifier
AlignofExprOperatorclass declared in Cast
AlignofExprOperatorcharacteristic predicate declared in AlignofExprOperator
AlignofOperatorclass declared in Cast
AlignofTypeOperatorclass declared in Cast
AlignofTypeOperatorcharacteristic predicate declared in AlignofTypeOperator
Allocmodule
AllocReachabilityclass declared in MemoryMayNotBeFreed
AllocReachabilitycharacteristic predicate declared in AllocReachability
AllocVariableReachabilityclass declared in MemoryMayNotBeFreed
AllocVariableReachabilitycharacteristic predicate declared in AllocVariableReachability
AllocaCallcharacteristic predicate declared in AllocaCall
AllocaCallclass declared in AllocaInLoop
AllocaInLoopquery module
Allocationcharacteristic predicate declared in Allocation
Allocationclass declared in HeapMemory
Allocationcharacteristic predicate declared in Allocation
Allocationclass declared in DynamicAllocAfterInit
Allocationclass declared in SizeCheck
Allocationclass declared in SizeCheck2
Allocationcharacteristic predicate declared in Allocation
Allocationcharacteristic predicate declared in Allocation
AllocationElementSizeTaginjector declared in InstructionTag
AllocationElementSizeTagtype declared in InstructionTag
AllocationExtentConvertTaginjector declared in InstructionTag
AllocationExtentConvertTagtype declared in InstructionTag
AllocationSizeTaginjector declared in InstructionTag
AllocationSizeTagtype declared in InstructionTag
AlwaysTrueUponEntryLoopclass declared in FlowVar_internal
AlwaysTrueUponEntryLoopcharacteristic predicate declared in FlowVar_internal::AlwaysTrueUponEntryLoop
AmbiguouslySignedBitFieldquery module
AnalysedExprclass declared in Nullness
AnalysedStringclass declared in StringAnalysis
AnalysedStringcharacteristic predicate declared in AnalysedString
AnyCharArrayTypecharacteristic predicate declared in AnyCharArrayType
AnyCharArrayTypeclass declared in DangerousUseOfCin
AnyCharPointerTypecharacteristic predicate declared in AnyCharPointerType
AnyCharPointerTypeclass declared in DangerousUseOfCin
AnyStdStringTypecharacteristic predicate declared in AnyStdStringType
AnyStdStringTypeclass declared in DangerousUseOfCin
Architecturecharacteristic predicate declared in Architecture
Architectureclass declared in Padding
ArgumentNodecharacteristic predicate declared in ArgumentNode
ArgumentNodeclass declared in DataFlowPrivate
ArgumentNodecharacteristic predicate declared in ArgumentNode
ArgumentNodeclass declared in DataFlowPrivate
ArgumentOperandclass declared in Operand
ArgumentOperandclass declared in Operand
ArgumentOperandclass declared in Operand
ArgumentOperandTagclass declared in OperandTag
ArithmeticConversionclass declared in Cast
ArithmeticConversioncharacteristic predicate declared in ArithmeticConversion
ArithmeticInstructionclass declared in Instruction
ArithmeticInstructioncharacteristic predicate declared in ArithmeticInstruction
ArithmeticInstructionclass declared in Instruction
ArithmeticInstructioncharacteristic predicate declared in ArithmeticInstruction
ArithmeticInstructionclass declared in Instruction
ArithmeticInstructioncharacteristic predicate declared in ArithmeticInstruction
ArithmeticOpcodeclass declared in Opcode
ArithmeticOperationmodule
ArithmeticTaintedquery module
ArithmeticTypeclass declared in Type
ArithmeticTypecharacteristic predicate declared in ArithmeticType
ArithmeticUncontrolledquery module
ArithmeticWithExtremeValuesquery module
ArrayAggregateLiteralclass declared in Literal
ArrayAggregateLiteralcharacteristic predicate declared in ArrayAggregateLiteral
ArrayAggregateLiteralNodeclass declared in PrintAST
ArrayAggregateLiteralNodecharacteristic predicate declared in ArrayAggregateLiteralNode
ArrayArgSizeMismatchquery module
ArrayBufferAccessclass declared in NtohlArrayNoBound
ArrayExecFunctionCallclass declared in CommandExecution
ArrayExecFunctionCallcharacteristic predicate declared in ArrayExecFunctionCall
ArrayExprclass declared in Access
ArrayExprBAclass declared in BufferAccess
ArrayExprBAcharacteristic predicate declared in ArrayExprBA
ArrayFunctionclass declared in ArrayFunction
ArrayFunctionmodule
ArrayLiteralclass declared in ObjectiveC
ArrayLiteralcharacteristic predicate declared in ArrayLiteral
ArrayOrVectorAggregateLiteralclass declared in Literal
ArrayOrVectorAggregateLiteralcharacteristic predicate declared in ArrayOrVectorAggregateLiteral
ArrayToPointerConversionclass declared in Cast
ArrayTypeclass declared in Type
ArrayTypecharacteristic predicate declared in ArrayType
AsmInputTaginjector declared in InstructionTag
AsmInputTagtype declared in InstructionTag
AsmOperandTagclass declared in OperandTag
AsmOperandTagcharacteristic predicate declared in AsmOperandTag
AsmStmtclass declared in Stmt
AsmTaginjector declared in InstructionTag
AsmTagtype declared in InstructionTag
Assertionclass declared in Assertions
AssertionDensityquery module
AssertionSideEffectquery module
Assertionsmodule
AssignAddExprclass declared in Assignment
AssignAndExprclass declared in Assignment
AssignArithmeticOperationclass declared in Assignment
AssignBitwiseOperationclass declared in Assignment
AssignDivExprclass declared in Assignment
AssignExprclass declared in Assignment
AssignLShiftExprclass declared in Assignment
AssignMulExprclass declared in Assignment
AssignOperationclass declared in Assignment
AssignOperationConvertLeftTaginjector declared in InstructionTag
AssignOperationConvertLeftTagtype declared in InstructionTag
AssignOperationConvertResultTaginjector declared in InstructionTag
AssignOperationConvertResultTagtype declared in InstructionTag
AssignOperationLoadTaginjector declared in InstructionTag
AssignOperationLoadTagtype declared in InstructionTag
AssignOperationOpTaginjector declared in InstructionTag
AssignOperationOpTagtype declared in InstructionTag
AssignOrExprclass declared in Assignment
AssignPointerAddExprclass declared in Assignment
AssignPointerSubExprclass declared in Assignment
AssignRShiftExprclass declared in Assignment
AssignRemExprclass declared in Assignment
AssignSubExprclass declared in Assignment
AssignWhereCompareMeantquery module
AssignXorExprclass declared in Assignment
Assignmentclass declared in Assignment
Assignmentmodule
AssignmentStoreTaginjector declared in InstructionTag
AssignmentStoreTagtype declared in InstructionTag
AssumeExprclass declared in Expr
AtEncodeExprclass declared in ObjectiveC
AtEncodeExprcharacteristic predicate declared in AtEncodeExpr
AtExprclass declared in ObjectiveC
AtExprcharacteristic predicate declared in AtExpr
AtProtocolExprclass declared in ObjectiveC
AtProtocolExprcharacteristic predicate declared in AtProtocolExpr
AtSelectorExprclass declared in ObjectiveC
AtSelectorExprcharacteristic predicate declared in AtSelectorExpr
Attributeclass declared in Specifier
AttributeArgumentclass declared in Specifier
AttributeFormattingFunctionclass declared in Printf
AttributeFormattingFunctioncharacteristic predicate declared in AttributeFormattingFunction
AuthenticationBypassquery module
Authorcharacteristic predicate declared in Author
Authorclass declared in VCS
AutoReleasePoolStmtclass declared in ObjectiveC
AutoReleasePoolStmtcharacteristic predicate declared in AutoReleasePoolStmt
AutoTypeclass declared in Type
AutoTypecharacteristic predicate declared in AutoType
AutogeneratedFilecharacteristic predicate declared in AutogeneratedFile
AutogeneratedFileclass declared in AutogeneratedFile
AutogeneratedFilemodule
AutogeneratedLOCquery module
AvoidConditionalCompilationquery module
AvoidNestedSemaphoresquery module
AvoidSemaphoresquery module
afield declared in SALParameter
absprimitive predicate declared in int
absprimitive predicate declared in float
acceptableVolatilepredicate declared in AV Rule 205
accessCheckpredicate declared in TOCTOUFilesystemRace
accessInDirectDerivedmember predicate declared in AccessSpecifier
accessInInitOfForStmtpredicate declared in ExprHasNoEffect
accessOfBaseMembermember predicate declared in Class
accessOfBaseMembermember predicate declared in Class
accessesmember predicate declared in Function
accessesmember predicate declared in Function
accessesLocalFieldmember predicate declared in MetricClass
acosprimitive predicate declared in int
acosprimitive predicate declared in float
acquireExprpredicate declared in AV Rule 79
acquisitionWithRequiredKindmember predicate declared in Resource
addpredicate declared in IntegerConstant
addpredicate declared in IntegerPartial
addWithSizeofpredicate declared in IncorrectPointerScalingCommon
additionalAdditionOrSubstractionCheckForLeapYearmember predicate declared in LeapYearFieldAccess
additionalModulusCheckForLeapYearmember predicate declared in LeapYearFieldAccess
addressConstantExpressionpredicate declared in AddressConstantExpression
addressLeakpredicate declared in DeadCodeCondition
addressOperandpredicate declared in OperandTag
affectedByMacropredicate declared in Macro
affectedbymacroexpansiontable
afterArrayAccesspredicate declared in OffsetUseBeforeRangeCheck
aggInitExprsUpTopredicate declared in HashCons
aggregateLiteralChildpredicate declared in PointsTo
aggregate_array_inittable
aggregate_field_inittable
algorithmBlacklistpredicate declared in Encryption
algorithmBlacklistRegexpredicate declared in Encryption
algorithmWhitelistpredicate declared in Encryption
algorithmWhitelistRegexpredicate declared in Encryption
alignmentmember predicate declared in Architecture
allCallspredicate declared in CallGraph
allCharactersStringmember predicate declared in XMLParent
allReadsDominatedByOverwritepredicate declared in FlowVar_internal
allocCallOrIndirectpredicate declared in MemoryMayNotBeFreed
allocExprpredicate declared in NewDelete
allocExprOrIndirectpredicate declared in NewDelete
allocMayBeFreedpredicate declared in MemoryFreed
allocReachespredicate declared in NewDelete
allocateDescriptorCallpredicate declared in PointsTo
allocatedTypepredicate declared in UninitializedLocal
allocatedVariableReachespredicate declared in MemoryMayNotBeFreed
allocationCallpredicate declared in Alloc
allocationDefinitionpredicate declared in MemoryMayNotBeFreed
allocationFunctionpredicate declared in Alloc
allocationReachespredicate declared in MemoryMayNotBeFreed
allowHeterogeneousBitfieldsmember predicate declared in Architecture
allowHeterogeneousBitfieldsmember predicate declared in UnixArchitecture
allowHeterogeneousBitfieldsmember predicate declared in WindowsArchitecture
allowVariableWithoutInitializermember predicate declared in ExprEvaluator
allowVariableWithoutInitializermember predicate declared in ForLoopEntryConditionEvaluator
allowedpredicate declared in AV Rule 176
allowedTypedefspredicate declared in BasicIntTypes
alwaysAssignsBeforeLeavingConditionmember predicate declared in FlowVar_internal::AlwaysTrueUponEntryLoop
alwaysCheckReturnValuepredicate declared in Options
alwaysCheckReturnValuemember predicate declared in CustomOptions
alwaysCheckReturnValuemember predicate declared in Options
ambiguousSuccessorspredicate declared in InstructionSanity
ambiguousSuccessorspredicate declared in InstructionSanity
ambiguousSuccessorspredicate declared in InstructionSanity
analyzableExprpredicate declared in HashCons
ancestorScopepredicate declared in Shadowing
annotatesAtpredicate declared in SAL
annotationfield declared in SuppressionComment
anythingPointsTopredicate declared in PointsTo
argfield declared in TranslatedSideEffect
argIndexfield declared in PositionalArgumentOperandTag
argIndexfield declared in PositionalArgumentOperand
argIndexfield declared in PositionalArgumentOperand
argIndexfield declared in PositionalArgumentOperand
argMayBeUsedpredicate declared in MistypedFunctionArguments
argTypeMayBeUsedpredicate declared in MistypedFunctionArguments
argumentfield declared in DataFlow::DefinitionByReferenceNode
argumentOfmember predicate declared in ArgumentNode
argumentOfmember predicate declared in ArgumentNode
argvpredicate declared in Security
arithTypesMatchpredicate declared in MistypedFunctionArguments
arithmeticPrecedencepredicate declared in AV Rule 213
arrayExprFixedSizepredicate declared in StrncpyFlippedArgs
arrayInitializerChildpredicate declared in MagicConstants
arrayTypefield declared in ArrayAggregateLiteral
arraysizestable
artificialChangepredicate declared in VCS
asConvertedExprmember predicate declared in Node
asDefiningArgumentmember predicate declared in DataFlow::Node
asExprmember predicate declared in DataFlow::Node
asExprmember predicate declared in Node
asInstructionmember predicate declared in Node
asParametermember predicate declared in DataFlow::Node
asParametermember predicate declared in Node
asPartialDefinitionmember predicate declared in DataFlow::Node
asUninitializedmember predicate declared in DataFlow::Node
asUninitializedmember predicate declared in Node
asinprimitive predicate declared in int
asinprimitive predicate declared in float
asmOperandpredicate declared in OperandTag
assertInvocationpredicate declared in InconsistentCheckReturnNull
assertMacropredicate declared in InconsistentCheckReturnNull
assertionCountpredicate declared in AssertionDensity
assignOperatorWithWrongResultpredicate declared in AV Rule 82
assignOperatorWithWrongTypepredicate declared in AV Rule 82
assignedBymember predicate declared in DataflowAnnotation
assignedDaypredicate declared in JapaneseEraDate
assignedDaypredicate declared in StructWithExactEraDate
assignedMonthpredicate declared in JapaneseEraDate
assignedMonthpredicate declared in StructWithExactEraDate
assignedToFieldOrGlobalpredicate declared in MemoryMayNotBeFreed
assignedToFieldOrGlobalpredicate declared in DescriptorMayNotBeClosed
assignedToFieldOrGlobalpredicate declared in FileMayNotBeClosed
assignedValueForVariableAndQualifierpredicate declared in InconsistentCheckReturnNull
assignedVariablemember predicate declared in ZeroAssignment
assignedYearpredicate declared in JapaneseEraDate
assignedYearpredicate declared in StructWithExactEraDate
assignmentLikeOperationpredicate declared in FlowVar_internal
astfield declared in TranslatedFieldInitialization
astfield declared in IRGeneratedVariable
astfield declared in IRGeneratedVariable
astfield declared in IRGeneratedVariable
astfield declared in BaseASTNode
astfield declared in DeclarationEntryNode
astfield declared in VariableDeclarationEntryNode
atanprimitive predicate declared in int
atanprimitive predicate declared in float
attribute_arg_nametable
attribute_arg_typetable
attribute_arg_valuetable
attribute_argstable
attributestable
autoderivationtable
automaticallyReleasedpredicate declared in AV Rule 79

B

BCopyBAclass declared in BufferAccess
BCopyBAcharacteristic predicate declared in BCopyBA
BadAdditionOverflowCheckquery module
BadAdditionOverflowCheckmodule
BadCheckOddquery module
BadIncludeGuardclass declared in MultipleInclusion
BadlyBoundedWritequery module
BarrierGuardclass declared in DataFlowUtil
BarrierGuardclass declared in DataFlowUtil
BaseASTNodeclass declared in PrintAST
BaseClassConversionclass declared in Cast
BaseClassConversioncharacteristic predicate declared in BaseClassConversion
BasicBlockclass declared in BasicBlocks
BasicBlockcharacteristic predicate declared in BasicBlock
BasicBlockWithReturncharacteristic predicate declared in BasicBlockWithReturn
BasicBlockWithReturnclass declared in LockFlow
BasicBlocksmodule
BasicIntTypesquery module
BasicOStreamCallclass declared in FileWrite
BasicOStreamCallcharacteristic predicate declared in BasicOStreamCall
BasicOStreamClasscharacteristic predicate declared in BasicOStreamClass
BasicOStreamClassclass declared in FileWrite
BigThreecharacteristic predicate declared in BigThree
BigThreeclass declared in RuleOfThree
BinaryArithmeticInstructionclass declared in Instruction
BinaryArithmeticInstructionclass declared in Instruction
BinaryArithmeticInstructionclass declared in Instruction
BinaryArithmeticOpcodeclass declared in Opcode
BinaryArithmeticOperationclass declared in ArithmeticOperation
BinaryBitwiseInstructionclass declared in Instruction
BinaryBitwiseInstructionclass declared in Instruction
BinaryBitwiseInstructionclass declared in Instruction
BinaryBitwiseOpcodeclass declared in Opcode
BinaryBitwiseOperationclass declared in BitwiseOperation
BinaryInstructionclass declared in Instruction
BinaryInstructioncharacteristic predicate declared in BinaryInstruction
BinaryInstructionclass declared in Instruction
BinaryInstructioncharacteristic predicate declared in BinaryInstruction
BinaryInstructionclass declared in Instruction
BinaryInstructioncharacteristic predicate declared in BinaryInstruction
BinaryLogicalOperationclass declared in LogicalOperation
BinaryOpcodeclass declared in Opcode
BinaryOperationclass declared in Expr
BitAndclass declared in Opcode
BitAndInstructionclass declared in Instruction
BitAndInstructioncharacteristic predicate declared in BitAndInstruction
BitAndInstructionclass declared in Instruction
BitAndInstructioncharacteristic predicate declared in BitAndInstruction
BitAndInstructionclass declared in Instruction
BitAndInstructioncharacteristic predicate declared in BitAndInstruction
BitComplementclass declared in Opcode
BitComplementInstructionclass declared in Instruction
BitComplementInstructioncharacteristic predicate declared in BitComplementInstruction
BitComplementInstructionclass declared in Instruction
BitComplementInstructioncharacteristic predicate declared in BitComplementInstruction
BitComplementInstructionclass declared in Instruction
BitComplementInstructioncharacteristic predicate declared in BitComplementInstruction
BitFieldclass declared in Field
BitFieldcharacteristic predicate declared in BitField
BitOrclass declared in Opcode
BitOrInstructionclass declared in Instruction
BitOrInstructioncharacteristic predicate declared in BitOrInstruction
BitOrInstructionclass declared in Instruction
BitOrInstructioncharacteristic predicate declared in BitOrInstruction
BitOrInstructionclass declared in Instruction
BitOrInstructioncharacteristic predicate declared in BitOrInstruction
BitXorclass declared in Opcode
BitXorInstructionclass declared in Instruction
BitXorInstructioncharacteristic predicate declared in BitXorInstruction
BitXorInstructionclass declared in Instruction
BitXorInstructioncharacteristic predicate declared in BitXorInstruction
BitXorInstructionclass declared in Instruction
BitXorInstructioncharacteristic predicate declared in BitXorInstruction
BitwiseAndExprclass declared in BitwiseOperation
BitwiseInstructionclass declared in Instruction
BitwiseInstructioncharacteristic predicate declared in BitwiseInstruction
BitwiseInstructionclass declared in Instruction
BitwiseInstructioncharacteristic predicate declared in BitwiseInstruction
BitwiseInstructionclass declared in Instruction
BitwiseInstructioncharacteristic predicate declared in BitwiseInstruction
BitwiseOpcodeclass declared in Opcode
BitwiseOperationcharacteristic predicate declared in BitwiseOperation
BitwiseOperationclass declared in BoolValueInBitOp
BitwiseOperationmodule
BitwiseOrExprclass declared in BitwiseOperation
BitwiseSignCheckquery module
BitwiseXorExprclass declared in BitwiseOperation
Blockclass declared in Block
Blockmodule
BlockExprcharacteristic predicate declared in BlockExpr
BlockExprclass declared in Expr
BlockOrNonChildcharacteristic predicate declared in BlockOrNonChild
BlockOrNonChildclass declared in EmptyBlock
BlockTypeclass declared in Type
BlockTypecharacteristic predicate declared in BlockType
BlockVarclass declared in FlowVar_internal
BlockVarcharacteristic predicate declared in FlowVar_internal::BlockVar
BlockWithTooManyStatementsquery module
BoolConversionclass declared in Cast
BoolConversioncharacteristic predicate declared in BoolConversion
BoolConversionCompareTaginjector declared in InstructionTag
BoolConversionCompareTagtype declared in InstructionTag
BoolConversionConstantTaginjector declared in InstructionTag
BoolConversionConstantTagtype declared in InstructionTag
BoolTypeclass declared in Type
BoolTypecharacteristic predicate declared in BoolType
BoolValueInBitOpquery module
BooleanControllingAssignmentclass declared in AssignWhereCompareMeant
BooleanControllingAssignmentInExprclass declared in AssignWhereCompareMeant
BooleanControllingAssignmentInExprcharacteristic predicate declared in BooleanControllingAssignmentInExpr
BooleanControllingAssignmentInStmtclass declared in AssignWhereCompareMeant
BooleanControllingAssignmentInStmtcharacteristic predicate declared in BooleanControllingAssignmentInStmt
BooleanExpressioncharacteristic predicate declared in BooleanExpression
BooleanExpressionclass declared in NoBooleanSideEffects
BoostorgAsiomodule declared in protocols
Boundclass declared in Bound
Boundmodule
BoundedLoopIterationsquery module
BreakStmtclass declared in Stmt
BrokenCryptoAlgorithmquery module
Buffermodule
Buffermodule
BufferAccessclass declared in NtohlArrayNoBound
BufferAccessclass declared in OverflowStatic
BufferAccessclass declared in BufferAccess
BufferAccessmodule
BufferAccesscharacteristic predicate declared in BufferAccess
BufferAccessOpcodeclass declared in Opcode
BufferMayMemoryAccessclass declared in MemoryAccessKind
BufferMayWriteSideEffectclass declared in Opcode
BufferMayWriteSideEffectInstructionclass declared in Instruction
BufferMayWriteSideEffectInstructioncharacteristic predicate declared in BufferMayWriteSideEffectInstruction
BufferMayWriteSideEffectInstructionclass declared in Instruction
BufferMayWriteSideEffectInstructioncharacteristic predicate declared in BufferMayWriteSideEffectInstruction
BufferMayWriteSideEffectInstructionclass declared in Instruction
BufferMayWriteSideEffectInstructioncharacteristic predicate declared in BufferMayWriteSideEffectInstruction
BufferMemoryAccessclass declared in MemoryAccessKind
BufferMustWriteSideEffectclass declared in Opcode
BufferMustWriteSideEffectInstructionclass declared in Instruction
BufferMustWriteSideEffectInstructioncharacteristic predicate declared in BufferMustWriteSideEffectInstruction
BufferMustWriteSideEffectInstructionclass declared in Instruction
BufferMustWriteSideEffectInstructioncharacteristic predicate declared in BufferMustWriteSideEffectInstruction
BufferMustWriteSideEffectInstructionclass declared in Instruction
BufferMustWriteSideEffectInstructioncharacteristic predicate declared in BufferMustWriteSideEffectInstruction
BufferReadSideEffectclass declared in Opcode
BufferReadSideEffectInstructionclass declared in Instruction
BufferReadSideEffectInstructioncharacteristic predicate declared in BufferReadSideEffectInstruction
BufferReadSideEffectInstructionclass declared in Instruction
BufferReadSideEffectInstructioncharacteristic predicate declared in BufferReadSideEffectInstruction
BufferReadSideEffectInstructionclass declared in Instruction
BufferReadSideEffectInstructioncharacteristic predicate declared in BufferReadSideEffectInstruction
BufferSizeExprcharacteristic predicate declared in BufferSizeExpr
BufferSizeExprclass declared in Buffer
BufferSizeOperandclass declared in Operand
BufferSizeOperandclass declared in Operand
BufferSizeOperandclass declared in Operand
BufferSizeOperandTagclass declared in OperandTag
BufferWriteclass declared in BufferWrite
BufferWritemodule
BufferWriteCallclass declared in BufferWrite
BuiltInclass declared in Opcode
BuiltInChooseExprclass declared in BuiltInOperations
BuiltInComplexOperationclass declared in BuiltInOperations
BuiltInFunctionclass declared in Function
BuiltInFunctioncharacteristic predicate declared in BuiltInFunction
BuiltInInstructionclass declared in Instruction
BuiltInInstructioncharacteristic predicate declared in BuiltInInstruction
BuiltInInstructionclass declared in Instruction
BuiltInInstructioncharacteristic predicate declared in BuiltInInstruction
BuiltInInstructionclass declared in Instruction
BuiltInInstructioncharacteristic predicate declared in BuiltInInstruction
BuiltInIntAddrclass declared in BuiltInOperations
BuiltInNoOpclass declared in BuiltInOperations
BuiltInOperationclass declared in BuiltInOperations
BuiltInOperationBuiltInAddressOfclass declared in BuiltInOperations
BuiltInOperationBuiltInConvertVectorclass declared in BuiltInOperations
BuiltInOperationBuiltInOffsetOfclass declared in BuiltInOperations
BuiltInOperationBuiltInShuffleVectorclass declared in BuiltInOperations
BuiltInOperationBuiltInTypesCompatiblePclass declared in BuiltInOperations
BuiltInOperationHasAssignclass declared in BuiltInOperations
BuiltInOperationHasCopyclass declared in BuiltInOperations
BuiltInOperationHasFinalizerclass declared in BuiltInOperations
BuiltInOperationHasNoThrowAssignclass declared in BuiltInOperations
BuiltInOperationHasNoThrowConstructorclass declared in BuiltInOperations
BuiltInOperationHasNoThrowCopyclass declared in BuiltInOperations
BuiltInOperationHasNothrowMoveAssignclass declared in BuiltInOperations
BuiltInOperationHasTrivialAssignclass declared in BuiltInOperations
BuiltInOperationHasTrivialConstructorclass declared in BuiltInOperations
BuiltInOperationHasTrivialCopyclass declared in BuiltInOperations
BuiltInOperationHasTrivialDestructorclass declared in BuiltInOperations
BuiltInOperationHasTrivialMoveAssignclass declared in BuiltInOperations
BuiltInOperationHasTrivialMoveConstructorclass declared in BuiltInOperations
BuiltInOperationHasUserDestructorclass declared in BuiltInOperations
BuiltInOperationHasVirtualDestructorclass declared in BuiltInOperations
BuiltInOperationInstructionclass declared in Instruction
BuiltInOperationInstructioncharacteristic predicate declared in BuiltInOperationInstruction
BuiltInOperationInstructionclass declared in Instruction
BuiltInOperationInstructioncharacteristic predicate declared in BuiltInOperationInstruction
BuiltInOperationInstructionclass declared in Instruction
BuiltInOperationInstructioncharacteristic predicate declared in BuiltInOperationInstruction
BuiltInOperationIsAbstractclass declared in BuiltInOperations
BuiltInOperationIsBaseOfclass declared in BuiltInOperations
BuiltInOperationIsClassclass declared in BuiltInOperations
BuiltInOperationIsConstructibleclass declared in BuiltInOperations
BuiltInOperationIsConvertibleToclass declared in BuiltInOperations
BuiltInOperationIsDelegateclass declared in BuiltInOperations
BuiltInOperationIsDestructibleclass declared in BuiltInOperations
BuiltInOperationIsEmptyclass declared in BuiltInOperations
BuiltInOperationIsEnumclass declared in BuiltInOperations
BuiltInOperationIsFinalclass declared in BuiltInOperations
BuiltInOperationIsInterfaceClassclass declared in BuiltInOperations
BuiltInOperationIsLiteralTypeclass declared in BuiltInOperations
BuiltInOperationIsNothrowAssignableclass declared in BuiltInOperations
BuiltInOperationIsNothrowConstructibleclass declared in BuiltInOperations
BuiltInOperationIsNothrowDestructibleclass declared in BuiltInOperations
BuiltInOperationIsPodclass declared in BuiltInOperations
BuiltInOperationIsPolymorphicclass declared in BuiltInOperations
BuiltInOperationIsRefArrayclass declared in BuiltInOperations
BuiltInOperationIsRefClassclass declared in BuiltInOperations
BuiltInOperationIsSealedclass declared in BuiltInOperations
BuiltInOperationIsSimpleValueClassclass declared in BuiltInOperations
BuiltInOperationIsStandardLayoutclass declared in BuiltInOperations
BuiltInOperationIsTriviallyAssignableclass declared in BuiltInOperations
BuiltInOperationIsTriviallyConstructibleclass declared in BuiltInOperations
BuiltInOperationIsTriviallyCopyableclass declared in BuiltInOperations
BuiltInOperationIsTriviallyDestructibleclass declared in BuiltInOperations
BuiltInOperationIsUnionclass declared in BuiltInOperations
BuiltInOperationIsValueClassclass declared in BuiltInOperations
BuiltInOperationOpcodeclass declared in Opcode
BuiltInOperationsmodule
BuiltInTypeclass declared in Type
BuiltInVarArgclass declared in BuiltInOperations
BuiltInVarArgCopyclass declared in BuiltInOperations
BuiltInVarArgsEndclass declared in BuiltInOperations
BuiltInVarArgsListcharacteristic predicate declared in BuiltInVarArgsList
BuiltInVarArgsListclass declared in CommonType
BuiltInVarArgsStartclass declared in BuiltInOperations
BumpMetricBy10query module
backEdgepredicate declared in RangeUtils
backEdgeCountMismatchpredicate declared in InstructionSanity
backEdgeCountMismatchpredicate declared in InstructionSanity
backEdgeCountMismatchpredicate declared in InstructionSanity
badAdditionOverflowCheckpredicate declared in BadAdditionOverflowCheck
badCallpredicate declared in JapaneseEraDate
badCallpredicate declared in AV Rule 71
badConversionpredicate declared in AV Rule 184
badIncludeLinepredicate declared in IncludesFirst
badReleasepredicate declared in AV Rule 79
badStructInitializationpredicate declared in JapaneseEraDate
baseCallpredicate declared in ExprHasNoEffect
baseClassfield declared in InheritanceConversionInstruction
baseClassfield declared in InheritanceConversionInstruction
baseClassfield declared in InheritanceConversionInstruction
baseClassEndmember predicate declared in PaddedType
baseClassSizemember predicate declared in Architecture
baseClassSizemember predicate declared in UnixArchitecture
baseClassSizemember predicate declared in WindowsArchitecture
baseElementpredicate declared in AV Rule 96
baseTypepredicate declared in IncorrectPointerScalingCommon
baseTypepredicate declared in SizeCheck
baseTypepredicate declared in SizeCheck2
bbDominatespredicate declared in Dominance
bbIDominatespredicate declared in Dominance
bbIPostDominatespredicate declared in Dominance
bbPostDominatespredicate declared in Dominance
bbStrictlyDominatespredicate declared in Dominance
bbStrictlyPostDominatespredicate declared in Dominance
bbSuccessorEntryReachesLoopInvariantpredicate declared in StackVariableReachability
bbSuccessorEntryReachesLoopInvariantpredicate declared in LocalScopeVariableReachability
beforeArrayAccesspredicate declared in OffsetUseBeforeRangeCheck
beforeCallpredicate declared in GlobalUseBeforeInit
biggestAlignmentUpTomember predicate declared in PaddedType
biggestFieldSizeUpTomember predicate declared in PaddedType
bindEnclosingCatchpredicate declared in ThrowInDestructor
bindStrippedReferenceTypepredicate declared in ThrowInDestructor
bindThrownTypepredicate declared in ThrowInDestructor
bitAndprimitive predicate declared in int
bitNotprimitive predicate declared in int
bitOrprimitive predicate declared in int
bitShiftLeftprimitive predicate declared in int
bitShiftRightprimitive predicate declared in int
bitShiftRightSignedprimitive predicate declared in int
bitSizemember predicate declared in Architecture
bitXorprimitive predicate declared in int
bitfieldtable
bitsToBytesAndBitspredicate declared in AliasAnalysis
bitsToBytesAndBitspredicate declared in AliasAnalysis
blamemember predicate declared in BadIncludeGuard
blamemember predicate declared in PragmaOnceIncludeGuard
blockfield declared in PrintableIRBlock
blockfield declared in PrintableIRBlock
blockfield declared in PrintableIRBlock
blockDominatespredicate declared in Dominance
blockDominatespredicate declared in Dominance
blockImmediatelyDominatespredicate declared in Dominance
blockImmediatelyDominatespredicate declared in Dominance
blockIsLockedpredicate declared in UnreleasedLock
blockStrictlyDominatespredicate declared in Dominance
blockStrictlyDominatespredicate declared in Dominance
blockSuccessorpredicate declared in Graph
blockSuccessorpredicate declared in Graph
blockVarDefinedByVariablepredicate declared in FlowVar_internal
blockscopetable
boolLiteralInLogicalOppredicate declared in LogicalExprCouldBeSimplified
booleanprimitive type
booleanAndprimitive predicate declared in boolean
booleanLiteralpredicate declared in LogicalExprCouldBeSimplified
booleanNotprimitive predicate declared in boolean
booleanOrprimitive predicate declared in boolean
booleanXorprimitive predicate declared in boolean
boundsCheckExprpredicate declared in Negativity
boundsCheckedpredicate declared in Negativity
branchfield declared in IRGuardCondition
breaksFromNestedLoopsmember predicate declared in GotoStmt
buffermember predicate declared in BufferAccess
buffermember predicate declared in CallWithBufferSize
bufferAndSizeFunctionpredicate declared in OverflowStatic
bufferSizemember predicate declared in BufferAccess
bufferSizeOperandpredicate declared in OperandTag
builtintypestable

C

CAfferentCouplingquery module
CEfferentCouplingquery module
CFGmodule
CFileclass declared in File
CFilecharacteristic predicate declared in CFile
CHalsteadBugsquery module
CHalsteadDifficultyquery module
CHalsteadEffortquery module
CHalsteadLengthquery module
CHalsteadVocabularyquery module
CHalsteadVolumequery module
CInheritanceDepthquery module
CLackOfCohesionCKquery module
CLackOfCohesionHSquery module
CLinesOfCodequery module
CNumberOfFieldsquery module
CNumberOfFunctionsquery module
CNumberOfStatementsquery module
CPercentageOfComplexCodequery module
CResponsequery module
CSizeOfAPIquery module
CSpecialisationquery module
CStyleCastclass declared in Cast
CStyleCommentclass declared in Comments
CStyleCommentcharacteristic predicate declared in CStyleComment
CTypedefTypeclass declared in TypedefType
CTypedefTypecharacteristic predicate declared in CTypedefType
Callclass declared in Call
Callmodule
Callclass declared in Opcode
CallGraphmodule
CallInstructionclass declared in Instruction
CallInstructionclass declared in Instruction
CallInstructioncharacteristic predicate declared in CallInstruction
CallInstructionclass declared in Instruction
CallInstructioncharacteristic predicate declared in CallInstruction
CallInstructioncharacteristic predicate declared in CallInstruction
CallReadSideEffectclass declared in Opcode
CallReadSideEffectInstructionclass declared in Instruction
CallReadSideEffectInstructioncharacteristic predicate declared in CallReadSideEffectInstruction
CallReadSideEffectInstructionclass declared in Instruction
CallReadSideEffectInstructioncharacteristic predicate declared in CallReadSideEffectInstruction
CallReadSideEffectInstructionclass declared in Instruction
CallReadSideEffectInstructioncharacteristic predicate declared in CallReadSideEffectInstruction
CallSideEffectclass declared in Opcode
CallSideEffectInstructionclass declared in Instruction
CallSideEffectInstructioncharacteristic predicate declared in CallSideEffectInstruction
CallSideEffectInstructionclass declared in Instruction
CallSideEffectInstructioncharacteristic predicate declared in CallSideEffectInstruction
CallSideEffectInstructionclass declared in Instruction
CallSideEffectInstructioncharacteristic predicate declared in CallSideEffectInstruction
CallSideEffectTaginjector declared in InstructionTag
CallSideEffectTagtype declared in InstructionTag
CallTaginjector declared in InstructionTag
CallTagtype declared in InstructionTag
CallTargetOperandclass declared in Operand
CallTargetOperandclass declared in Operand
CallTargetOperandclass declared in Operand
CallTargetOperandTagclass declared in OperandTag
CallTargetTaginjector declared in InstructionTag
CallTargetTagtype declared in InstructionTag
CallWithBufferSizeclass declared in OverflowStatic
CallWithBufferSizecharacteristic predicate declared in CallWithBufferSize
CallWithNullSALquery module
CallableDisplayStringsquery module
CallableExtentsquery module
CallableSourceLinksquery module
CandidateParametercharacteristic predicate declared in CandidateParameter
CandidateParameterclass declared in SuspiciousSizeof
CaptionedCommentsmodule
CaseEdgeclass declared in EdgeKind
CaseEdgecharacteristic predicate declared in CaseEdge
Castclass declared in Cast
Castmodule
CastArrayPointerArithmeticquery module
CastNodecharacteristic predicate declared in CastNode
CastNodeclass declared in DataFlowPrivate
CastNodecharacteristic predicate declared in CastNode
CastNodeclass declared in DataFlowPrivate
CastNodeclass declared in PrintAST
CastNodecharacteristic predicate declared in CastNode
CastSanitymodule declared in Cast
CastToPointerArithFlowcharacteristic predicate declared in CastToPointerArithFlow
CastToPointerArithFlowclass declared in CastArrayPointerArithmetic
CatchAnyclass declared in Opcode
CatchAnyBlockclass declared in Stmt
CatchAnyBlockcharacteristic predicate declared in CatchAnyBlock
CatchAnyInstructionclass declared in Instruction
CatchAnyInstructioncharacteristic predicate declared in CatchAnyInstruction
CatchAnyInstructionclass declared in Instruction
CatchAnyInstructioncharacteristic predicate declared in CatchAnyInstruction
CatchAnyInstructionclass declared in Instruction
CatchAnyInstructioncharacteristic predicate declared in CatchAnyInstruction
CatchBlockclass declared in Stmt
CatchBlockcharacteristic predicate declared in CatchBlock
CatchByTypeclass declared in Opcode
CatchByTypeInstructionclass declared in Instruction
CatchByTypeInstructioncharacteristic predicate declared in CatchByTypeInstruction
CatchByTypeInstructionclass declared in Instruction
CatchByTypeInstructioncharacteristic predicate declared in CatchByTypeInstruction
CatchByTypeInstructionclass declared in Instruction
CatchByTypeInstructioncharacteristic predicate declared in CatchByTypeInstruction
CatchInstructionclass declared in Instruction
CatchInstructioncharacteristic predicate declared in CatchInstruction
CatchInstructionclass declared in Instruction
CatchInstructioncharacteristic predicate declared in CatchInstruction
CatchInstructionclass declared in Instruction
CatchInstructioncharacteristic predicate declared in CatchInstruction
CatchOpcodeclass declared in Opcode
CatchTaginjector declared in InstructionTag
CatchTagtype declared in InstructionTag
CatchingByValuequery module
Categoryclass declared in ObjectiveC
Categorycharacteristic predicate declared in Category
Cfgclass declared in PrintAST
CgiXssquery module
ChainedInputclass declared in DangerousUseOfCin
ChainedInputcharacteristic predicate declared in ChainedInput
ChainedOutputCallclass declared in FileWrite
Char16Typeclass declared in Type
Char16Typecharacteristic predicate declared in Char16Type
Char32Typeclass declared in Type
Char32Typecharacteristic predicate declared in Char32Type
CharLiteralclass declared in Literal
CharLiteralcharacteristic predicate declared in CharLiteral
CharPointerTypeclass declared in CommonType
CharPointerTypecharacteristic predicate declared in CharPointerType
CharTypeclass declared in Type
CheckArgumentsquery module
CheckForLeapYearOperationcharacteristic predicate declared in CheckForLeapYearOperation
CheckForLeapYearOperationclass declared in LeapYear
CheckReturnValuesquery module
CheckedConvertOrNullclass declared in Opcode
CheckedConvertOrThrowclass declared in Opcode
CheckingParameterValuesquery module
CheckingReturnValuesquery module
ChecksForLeapYearFunctioncharacteristic predicate declared in ChecksForLeapYearFunction
ChecksForLeapYearFunctionclass declared in LeapYear
ChecksForLeapYearFunctionCallcharacteristic predicate declared in ChecksForLeapYearFunctionCall
ChecksForLeapYearFunctionCallclass declared in LeapYear
Chiclass declared in Opcode
ChiInstructionclass declared in Instruction
ChiInstructioncharacteristic predicate declared in ChiInstruction
ChiInstructionclass declared in Instruction
ChiInstructioncharacteristic predicate declared in ChiInstruction
ChiInstructionclass declared in Instruction
ChiInstructioncharacteristic predicate declared in ChiInstruction
ChiPartialMemoryAccessclass declared in MemoryAccessKind
ChiPartialOperandclass declared in Operand
ChiPartialOperandclass declared in Operand
ChiPartialOperandclass declared in Operand
ChiPartialOperandTagclass declared in OperandTag
ChiTotalMemoryAccessclass declared in MemoryAccessKind
ChiTotalOperandclass declared in Operand
ChiTotalOperandclass declared in Operand
ChiTotalOperandclass declared in Operand
ChiTotalOperandTagclass declared in OperandTag
CinAccessclass declared in DangerousUseOfCin
CinAccesscharacteristic predicate declared in CinAccess
CinVariablecharacteristic predicate declared in CinVariable
CinVariableclass declared in DangerousUseOfCin
Classclass declared in Class
Classcharacteristic predicate declared in Class
Classmodule
ClassAggregateLiteralclass declared in Literal
ClassAggregateLiteralcharacteristic predicate declared in ClassAggregateLiteral
ClassAggregateLiteralNodeclass declared in PrintAST
ClassAggregateLiteralNodecharacteristic predicate declared in ClassAggregateLiteralNode
ClassDerivationclass declared in Class
ClassExtensionclass declared in ObjectiveC
ClassExtensioncharacteristic predicate declared in ClassExtension
ClassHierarchiesquery module
ClassMessageExprclass declared in ObjectiveC
ClassMessageExprcharacteristic predicate declared in ClassMessageExpr
ClassTemplateInstantiationclass declared in Class
ClassTemplateInstantiationcharacteristic predicate declared in ClassTemplateInstantiation
ClassTemplateSpecializationclass declared in Class
ClassesWithManyDependenciesquery module
ClassesWithManyFieldsquery module
ClassicForLoopclass declared in LoopBounds
ClassicForLoopcharacteristic predicate declared in ClassicForLoop
ClassifyFilesquery module
Cleanup-DuplicateIncludeGuardquery module
CleartextBufferWritequery module
CleartextFileWritequery module
CleartextSqliteDatabasequery module
ClosedExprclass declared in FileClosed
ClosedExprclass declared in DescriptorNeverClosed
ClosedExprcharacteristic predicate declared in ClosedExpr
ClosedExprcharacteristic predicate declared in ClosedExpr
Closurecharacteristic predicate declared in Closure
Closureclass declared in Lambda
CmdExprclass declared in ObjectiveC
CmdExprcharacteristic predicate declared in CmdExpr
CodeDuplicationmodule
CommaExprclass declared in Expr
CommandExecutionmodule
Commentclass declared in Comments
CommentBlockcharacteristic predicate declared in CommentBlock
CommentBlockclass declared in CommentedOutCode
CommentedOutCodequery module
CommentedOutCodeclass declared in CommentedOutCode
CommentedOutCodecharacteristic predicate declared in CommentedOutCode
CommentedOutCodemodule
Commentsmodule
Commitclass declared in VCS
Commitcharacteristic predicate declared in Commit
CommonTypemodule
CompareEQclass declared in Opcode
CompareEQInstructionclass declared in Instruction
CompareEQInstructioncharacteristic predicate declared in CompareEQInstruction
CompareEQInstructionclass declared in Instruction
CompareEQInstructioncharacteristic predicate declared in CompareEQInstruction
CompareEQInstructionclass declared in Instruction
CompareEQInstructioncharacteristic predicate declared in CompareEQInstruction
CompareGEclass declared in Opcode
CompareGEInstructionclass declared in Instruction
CompareGEInstructioncharacteristic predicate declared in CompareGEInstruction
CompareGEInstructionclass declared in Instruction
CompareGEInstructioncharacteristic predicate declared in CompareGEInstruction
CompareGEInstructionclass declared in Instruction
CompareGEInstructioncharacteristic predicate declared in CompareGEInstruction
CompareGTclass declared in Opcode
CompareGTInstructionclass declared in Instruction
CompareGTInstructioncharacteristic predicate declared in CompareGTInstruction
CompareGTInstructionclass declared in Instruction
CompareGTInstructioncharacteristic predicate declared in CompareGTInstruction
CompareGTInstructionclass declared in Instruction
CompareGTInstructioncharacteristic predicate declared in CompareGTInstruction
CompareInstructionclass declared in Instruction
CompareInstructionclass declared in Instruction
CompareInstructioncharacteristic predicate declared in CompareInstruction
CompareInstructioncharacteristic predicate declared in CompareInstruction
CompareInstructionclass declared in Instruction
CompareInstructioncharacteristic predicate declared in CompareInstruction
CompareLEclass declared in Opcode
CompareLEInstructionclass declared in Instruction
CompareLEInstructioncharacteristic predicate declared in CompareLEInstruction
CompareLEInstructionclass declared in Instruction
CompareLEInstructioncharacteristic predicate declared in CompareLEInstruction
CompareLEInstructionclass declared in Instruction
CompareLEInstructioncharacteristic predicate declared in CompareLEInstruction
CompareLTclass declared in Opcode
CompareLTInstructionclass declared in Instruction
CompareLTInstructioncharacteristic predicate declared in CompareLTInstruction
CompareLTInstructionclass declared in Instruction
CompareLTInstructioncharacteristic predicate declared in CompareLTInstruction
CompareLTInstructionclass declared in Instruction
CompareLTInstructioncharacteristic predicate declared in CompareLTInstruction
CompareNEclass declared in Opcode
CompareNEInstructionclass declared in Instruction
CompareNEInstructioncharacteristic predicate declared in CompareNEInstruction
CompareNEInstructionclass declared in Instruction
CompareNEInstructioncharacteristic predicate declared in CompareNEInstruction
CompareNEInstructionclass declared in Instruction
CompareNEInstructioncharacteristic predicate declared in CompareNEInstruction
CompareOpcodeclass declared in Opcode
CompareWhereAssignMeantquery module
ComparisonOperationclass declared in ComparisonOperation
ComparisonOperationmodule
ComparisonPrecedencequery module
ComparisonWithCancelingSubExprquery module
ComparisonWithWiderTypequery module
Compilationclass declared in Compilation
Compilationmodule
CompileTimeConstantIntclass declared in ConstantExprs
CompileTimeConstantIntcharacteristic predicate declared in CompileTimeConstantInt
CompileTimeVariableExprclass declared in ConstantExprs
CompileTimeVariableExprcharacteristic predicate declared in CompileTimeVariableExpr
CompilerCatastropheclass declared in Diagnostics
CompilerCatastrophecharacteristic predicate declared in CompilerCatastrophe
CompilerDiscretionaryErrorclass declared in Diagnostics
CompilerDiscretionaryErrorcharacteristic predicate declared in CompilerDiscretionaryError
CompilerErrorclass declared in Diagnostics
CompilerErrorcharacteristic predicate declared in CompilerError
CompilerRemarkclass declared in Diagnostics
CompilerRemarkcharacteristic predicate declared in CompilerRemark
CompilerWarningclass declared in Diagnostics
CompilerWarningcharacteristic predicate declared in CompilerWarning
ComplementExprclass declared in BitwiseOperation
ComplexConditionquery module
ComplexFunctionsquery module
ComplexStmtcharacteristic predicate declared in ComplexStmt
ComplexStmtclass declared in BlockWithTooManyStatements
CompoundExpressionsquery module
ComputedGotoStmtclass declared in Stmt
ConcreteNamespacesquery module
CondReasonclass declared in RangeAnalysis
ConditionContextclass declared in TranslatedCondition
ConditionDeclExprclass declared in Assignment
ConditionEvaluatorclass declared in ConstantExprs
ConditionEvaluatorcharacteristic predicate declared in ConditionEvaluator
ConditionOperandclass declared in Operand
ConditionOperandclass declared in Operand
ConditionOperandclass declared in Operand
ConditionOperandTagclass declared in OperandTag
ConditionValueFalseConstantTaginjector declared in InstructionTag
ConditionValueFalseConstantTagtype declared in InstructionTag
ConditionValueFalseStoreTaginjector declared in InstructionTag
ConditionValueFalseStoreTagtype declared in InstructionTag
ConditionValueFalseTempAddressTaginjector declared in InstructionTag
ConditionValueFalseTempAddressTagtype declared in InstructionTag
ConditionValueResultLoadTaginjector declared in InstructionTag
ConditionValueResultLoadTagtype declared in InstructionTag
ConditionValueResultTempAddressTaginjector declared in InstructionTag
ConditionValueResultTempAddressTagtype declared in InstructionTag
ConditionValueTempVarinjector declared in TempVariableTag
ConditionValueTempVartype declared in TempVariableTag
ConditionValueTrueConstantTaginjector declared in InstructionTag
ConditionValueTrueConstantTagtype declared in InstructionTag
ConditionValueTrueStoreTaginjector declared in InstructionTag
ConditionValueTrueStoreTagtype declared in InstructionTag
ConditionValueTrueTempAddressTaginjector declared in InstructionTag
ConditionValueTrueTempAddressTagtype declared in InstructionTag
ConditionalBranchclass declared in Opcode
ConditionalBranchInstructionclass declared in Instruction
ConditionalBranchInstructionclass declared in Instruction
ConditionalBranchInstructioncharacteristic predicate declared in ConditionalBranchInstruction
ConditionalBranchInstructioncharacteristic predicate declared in ConditionalBranchInstruction
ConditionalBranchInstructionclass declared in Instruction
ConditionalBranchInstructioncharacteristic predicate declared in ConditionalBranchInstruction
ConditionalExprclass declared in LogicalOperation
ConditionalInitializationCallclass declared in InitializationFunctions
ConditionalInitializationCallcharacteristic predicate declared in ConditionalInitializationCall
ConditionalInitializationFunctionclass declared in InitializationFunctions
ConditionalInitializationFunctioncharacteristic predicate declared in ConditionalInitializationFunction
ConditionalSegmentConditionsquery module
ConditionalSegmentLinesquery module
ConditionalStmtclass declared in Stmt
ConditionallyInitializedVariablecharacteristic predicate declared in ConditionallyInitializedVariable
ConditionallyInitializedVariableclass declared in UninitializedVariables
ConditionallyUninitializedVariablequery module
Configurationclass declared in DataFlowImpl
Configurationclass declared in DataFlowImpl2
Configurationclass declared in TaintTrackingImpl
Configurationclass declared in DataFlowImplLocal
Configurationcharacteristic predicate declared in Configuration
Configurationcharacteristic predicate declared in TaintTracking::Configuration
Configurationclass declared in DataFlowImpl4
Configurationcharacteristic predicate declared in Configuration
Configurationclass declared in DataFlowImpl3
Configurationcharacteristic predicate declared in Configuration
Configurationcharacteristic predicate declared in Configuration
Configurationclass declared in TaintTrackingImpl
Configurationcharacteristic predicate declared in DataFlow::Configuration
Configurationcharacteristic predicate declared in DataFlow2::Configuration
Configurationcharacteristic predicate declared in Configuration
Configurationclass declared in TaintTrackingImpl
Configurationclass declared in DataFlowImpl
Configurationclass declared in DataFlowImpl4
Configurationcharacteristic predicate declared in Configuration
Configurationclass declared in DataFlowImpl3
Configurationcharacteristic predicate declared in Configuration
Configurationcharacteristic predicate declared in Configuration
Configurationclass declared in TaintTrackingImpl
Configurationclass declared in DataFlowImpl2
Configurationcharacteristic predicate declared in Configuration
Configurationcharacteristic predicate declared in Configuration
ConjugationExprclass declared in ArithmeticOperation
ConstCastclass declared in Cast
ConstMemberFunctionclass declared in Function
ConstMemberFunctioncharacteristic predicate declared in ConstMemberFunction
Constantclass declared in Opcode
ConstantAnalysismodule
ConstantAnalysismodule
ConstantAnalysismodule
ConstantAnalysisInternalmodule
ConstantAnalysisInternalmodule
ConstantAnalysisInternalmodule
ConstantAssertionquery module
ConstantDefMacrocharacteristic predicate declared in ConstantDefMacro
ConstantDefMacroclass declared in AV Rule 30
ConstantExprsmodule
ConstantInstructionclass declared in Instruction
ConstantInstructioncharacteristic predicate declared in ConstantInstruction
ConstantInstructionclass declared in Instruction
ConstantInstructioncharacteristic predicate declared in ConstantInstruction
ConstantInstructionclass declared in Instruction
ConstantInstructioncharacteristic predicate declared in ConstantInstruction
ConstantValueInstructionclass declared in Instruction
ConstantValueInstructionclass declared in Instruction
ConstantValueInstructioncharacteristic predicate declared in ConstantValueInstruction
ConstantValueInstructioncharacteristic predicate declared in ConstantValueInstruction
ConstantValueInstructionclass declared in Instruction
ConstantValueInstructioncharacteristic predicate declared in ConstantValueInstruction
ConstantZerocharacteristic predicate declared in ConstantZero
ConstantZeroclass declared in UnsignedGEZero
Constantsmodule
ConstexprIfStmtclass declared in Stmt
Constructorclass declared in Function
Constructorcharacteristic predicate declared in Constructor
ConstructorBaseInitclass declared in Call
ConstructorCallclass declared in Call
ConstructorCallcharacteristic predicate declared in ConstructorCall
ConstructorDelegationInitclass declared in Call
ConstructorDirectInitclass declared in Call
ConstructorFieldInitclass declared in Call
ConstructorInitclass declared in Call
ConstructorInitializersNodeclass declared in PrintAST
ConstructorInitializersNodecharacteristic predicate declared in ConstructorInitializersNode
ConstructorOrMethodWithExactEraDatequery module
ConstructorVirtualInitclass declared in Call
Containerclass declared in File
Contentclass declared in DataFlowPrivate
Contentclass declared in DataFlowPrivate
Contextclass declared in InitializationFunctions
ContinueInFalseLoopquery module
ContinueStmtclass declared in Stmt
ControlFlowGraphmodule
ControlFlowNodeclass declared in ControlFlowGraph
ControlFlowNodeBaseclass declared in ControlFlowGraph
ControlStructureclass declared in Stmt
Conversionclass declared in Cast
ConversionChangesSignquery module
ConversionConstructorclass declared in Function
ConversionConstructorcharacteristic predicate declared in ConversionConstructor
ConversionNodeclass declared in PrintAST
ConversionNodecharacteristic predicate declared in ConversionNode
ConversionOperatorclass declared in Function
ConversionOperatorcharacteristic predicate declared in ConversionOperator
Convertclass declared in Opcode
ConvertInstructionclass declared in Instruction
ConvertInstructioncharacteristic predicate declared in ConvertInstruction
ConvertInstructionclass declared in Instruction
ConvertInstructioncharacteristic predicate declared in ConvertInstruction
ConvertInstructionclass declared in Instruction
ConvertInstructioncharacteristic predicate declared in ConvertInstruction
ConvertToBaseInstructionclass declared in Instruction
ConvertToBaseInstructioncharacteristic predicate declared in ConvertToBaseInstruction
ConvertToBaseInstructionclass declared in Instruction
ConvertToBaseInstructioncharacteristic predicate declared in ConvertToBaseInstruction
ConvertToBaseInstructionclass declared in Instruction
ConvertToBaseInstructioncharacteristic predicate declared in ConvertToBaseInstruction
ConvertToBaseOpcodeclass declared in Opcode
ConvertToDerivedclass declared in Opcode
ConvertToDerivedInstructionclass declared in Instruction
ConvertToDerivedInstructioncharacteristic predicate declared in ConvertToDerivedInstruction
ConvertToDerivedInstructionclass declared in Instruction
ConvertToDerivedInstructioncharacteristic predicate declared in ConvertToDerivedInstruction
ConvertToDerivedInstructionclass declared in Instruction
ConvertToDerivedInstructioncharacteristic predicate declared in ConvertToDerivedInstruction
ConvertToNonVirtualBaseclass declared in Opcode
ConvertToNonVirtualBaseInstructionclass declared in Instruction
ConvertToNonVirtualBaseInstructioncharacteristic predicate declared in ConvertToNonVirtualBaseInstruction
ConvertToNonVirtualBaseInstructionclass declared in Instruction
ConvertToNonVirtualBaseInstructioncharacteristic predicate declared in ConvertToNonVirtualBaseInstruction
ConvertToNonVirtualBaseInstructionclass declared in Instruction
ConvertToNonVirtualBaseInstructioncharacteristic predicate declared in ConvertToNonVirtualBaseInstruction
ConvertToVirtualBaseclass declared in Opcode
ConvertToVirtualBaseInstructionclass declared in Instruction
ConvertToVirtualBaseInstructioncharacteristic predicate declared in ConvertToVirtualBaseInstruction
ConvertToVirtualBaseInstructionclass declared in Instruction
ConvertToVirtualBaseInstructioncharacteristic predicate declared in ConvertToVirtualBaseInstruction
ConvertToVirtualBaseInstructionclass declared in Instruction
ConvertToVirtualBaseInstructioncharacteristic predicate declared in ConvertToVirtualBaseInstruction
Copyclass declared in CodeDuplication
CopyAssignmentOperatorclass declared in Function
CopyAssignmentOperatorcharacteristic predicate declared in CopyAssignmentOperator
CopyConstructorclass declared in Function
CopyConstructorcharacteristic predicate declared in CopyConstructor
CopyInstructionclass declared in Instruction
CopyInstructionclass declared in Instruction
CopyInstructioncharacteristic predicate declared in CopyInstruction
CopyInstructioncharacteristic predicate declared in CopyInstruction
CopyInstructionclass declared in Instruction
CopyInstructioncharacteristic predicate declared in CopyInstruction
CopyOpcodeclass declared in Opcode
CopyValueclass declared in Opcode
CopyValueInstructionclass declared in Instruction
CopyValueInstructioncharacteristic predicate declared in CopyValueInstruction
CopyValueInstructionclass declared in Instruction
CopyValueInstructioncharacteristic predicate declared in CopyValueInstruction
CopyValueInstructionclass declared in Instruction
CopyValueInstructioncharacteristic predicate declared in CopyValueInstruction
CorrectIncludeGuardclass declared in MultipleInclusion
CorrectIncludeGuardcharacteristic predicate declared in CorrectIncludeGuard
CppFileclass declared in File
CppFilecharacteristic predicate declared in CppFile
CppStyleCommentclass declared in Comments
CppStyleCommentcharacteristic predicate declared in CppStyleComment
CppTypeclass declared in CppType
CppTypemodule
CreatCreationExprclass declared in FilePermissions
CreatCreationExprcharacteristic predicate declared in CreatCreationExpr
CreateProcessFunctionCallcharacteristic predicate declared in CreateProcessFunctionCall
CreateProcessFunctionCallclass declared in UnsafeCreateProcessCall
CrementConstantTaginjector declared in InstructionTag
CrementConstantTagtype declared in InstructionTag
CrementLoadTaginjector declared in InstructionTag
CrementLoadTagtype declared in InstructionTag
CrementOpTaginjector declared in InstructionTag
CrementOpTagtype declared in InstructionTag
CrementOperationclass declared in ArithmeticOperation
CrementStoreTaginjector declared in InstructionTag
CrementStoreTagtype declared in InstructionTag
CustomMutexTypeclass declared in Options
CustomMutexTypecharacteristic predicate declared in CustomMutexType
CustomOptionsclass declared in Options
CustomSecurityOptionsclass declared in SecurityOptions
CyclicNamespacesquery module
CyclomaticComplexityquery module
cfield declared in ConditionalInitializationFunction
cfield declared in VariableDeclarationLine
callfield declared in ConditionallyInitializedVariable
callfield declared in TranslatedSideEffect
callfield declared in TranslatedStructorCallFromStructor
callfield declared in TranslatedConstructorDelegationInit
callArgumentVariablepredicate declared in InconsistentCheckReturnNull
callByReferencepredicate declared in Dataflow
callDereferencespredicate declared in Dereferenced
callFromNonVirtualpredicate declared in AV Rule 71.1
callHasQualifierpredicate declared in DataFlowPrivate
callHasQualifierpredicate declared in DataFlowPrivate
callMayReturnNullpredicate declared in Nullness
callOnThispredicate declared in AV Rule 82
callPairpredicate declared in GlobalUseBeforeInit
callReachespredicate declared in GlobalUseBeforeInit
callResultNullCheckInConditionpredicate declared in InconsistentCheckReturnNull
callTargetAndEnclosingpredicate declared in InconsistentCheckReturnNull
callTargetOperandpredicate declared in OperandTag
callToOperatorpredicate declared in FunNumberOfCalls
calledpredicate declared in InitialisationNotRun
calledFromGlobalInitializerpredicate declared in AV Rule 214
callsmember predicate declared in Function
callsmember predicate declared in Function
callsOrAccessesmember predicate declared in Thing
canAccessClassmember predicate declared in AccessHolder
canAccessMembermember predicate declared in AccessHolder
canCatchpredicate declared in ThrowInDestructor
canHaveQualifiedNamemember predicate declared in Declaration
canUseFieldInsteadOfLiteralpredicate declared in MagicConstants
canValueFlowpredicate declared in StringAnalysis
candidateDecrForStmtpredicate declared in inconsistentLoopDirection
candidateExprpredicate declared in ShortCircuitBitMask
candidateFilePairpredicate declared in InappropriateIntimacy
candidateForStmtpredicate declared in inconsistentLoopDirection
candidateIncrForStmtpredicate declared in inconsistentLoopDirection
candidateResultpredicate declared in RedundantNullCheckSimple
candidateResultpredicate declared in AssignWhereCompareMeant
candidateVariablepredicate declared in AssignWhereCompareMeant
cannotContainStringpredicate declared in NonConstantFormat
canonicalName1predicate declared in AV Rule 48
canonicalName2predicate declared in AV Rule 48
caseEdgepredicate declared in EdgeKind
castfield declared in CastNode
causeEffectCorrespondpredicate declared in ArithmeticWithExtremeValues
ceilprimitive predicate declared in float
chainedFieldspredicate declared in DubiousNullCheck
charAtprimitive predicate declared in string
charLiteralpredicate declared in MagicConstants
charLocmember predicate declared in Location
characteristicSequencePointExprpredicate declared in AV Rule 204.1
charsSetUpTomember predicate declared in XMLParent
checkpredicate declared in MagicConstants
checkExprpredicate declared in InconsistentCallOnResult
checkWithFileCountpredicate declared in MagicConstants
checkedErrorpredicate declared in Negativity
checkedFunctionCallpredicate declared in InconsistentCallOnResult
checkedFunctionCallpredicate declared in InconsistentCheckReturnNull
checkedNullpredicate declared in Nullness
checkedSuccesspredicate declared in Negativity
checkedValidpredicate declared in Nullness
checksmember predicate declared in DataFlow::BarrierGuard
checksmember predicate declared in BarrierGuard
chiPartialOperandpredicate declared in OperandTag
chiTotalOperandpredicate declared in OperandTag
childrenpredicate declared in PointsTo
childrenByElementpredicate declared in PointsTo
choicepredicate declared in DeadCodeCondition
clashpredicate declared in AV Rule 46
classIsCheckableForpredicate declared in AV Rule 85
classLevelDuplicationpredicate declared in CodeDuplication
classTypefield declared in ClassAggregateLiteral
class_instantiationtable
class_template_argumenttable
class_template_argument_valuetable
classifypredicate declared in ClassifyFiles
closeCallpredicate declared in DescriptorMayNotBeClosed
closedpredicate declared in FileClosed
closedpredicate declared in DescriptorNeverClosed
cmpWithLinearBoundpredicate declared in RangeAnalysisUtils
code_blocktable
commentbindingtable
commentstable
committedFilespredicate declared in HNumberOfCoCommits
commonErrorCodepredicate declared in NonzeroValueCastToPointer
commonExceptionpredicate declared in UninitializedLocal
commonMacropredicate declared in AV Rule 30
compareEQpredicate declared in IntegerConstant
compareEQpredicate declared in IntegerPartial
compareGEpredicate declared in IntegerConstant
compareGEpredicate declared in IntegerPartial
compareGTpredicate declared in IntegerConstant
compareGTpredicate declared in IntegerPartial
compareLEpredicate declared in IntegerConstant
compareLEpredicate declared in IntegerPartial
compareLTpredicate declared in IntegerConstant
compareLTpredicate declared in IntegerPartial
compareNEpredicate declared in IntegerConstant
compareNEpredicate declared in IntegerPartial
comparedTopredicate declared in OpenSslHeartbleed
comparesEqmember predicate declared in GuardCondition
comparesEqmember predicate declared in IRGuardCondition
comparesEqmember predicate declared in GuardCondition
comparesLtmember predicate declared in GuardCondition
comparesLtmember predicate declared in IRGuardCondition
comparesLtmember predicate declared in GuardCondition
comparisonOnLiteralspredicate declared in LogicalExprCouldBeSimplified
comparisonPrecedencepredicate declared in AV Rule 213
compatiblepredicate declared in AV Rule 96
compatibleScopespredicate declared in AV Rule 48
compatibleTypespredicate declared in DataFlowPrivate
compatibleTypespredicate declared in DataFlowPrivate
compgeneratedtable
compilation_argstable
compilation_compiling_filestable
compilation_finishedtable
compilation_timetable
compilationstable
compiledAsCmember predicate declared in File
compiledAsCppmember predicate declared in File
compiledAsMicrosoftmember predicate declared in File
compiledAsObjCmember predicate declared in File
compiledAsObjCppmember predicate declared in File
compoundEdgepredicate declared in PointsTo
conditionAlwaysFalsemember predicate declared in WhileStmt
conditionAlwaysFalsemember predicate declared in ForStmt
conditionAlwaysTruemember predicate declared in WhileStmt
conditionAlwaysTruemember predicate declared in ForStmt
conditionAlwaysTrueUponEntrymember predicate declared in WhileStmt
conditionAlwaysTrueUponEntrymember predicate declared in ForStmt
conditionDeclExprfield declared in TranslatedConditionDecl
conditionOperandpredicate declared in OperandTag
condition_decl_bindtable
conditionalSuccessorpredicate declared in Negativity
conditionallyInitializedParametermember predicate declared in ConditionalInitializationFunction
confidencemember predicate declared in PointsToExpr
conservativeDataFlowSteppredicate declared in ReturnStackAllocatedMemory
constantValuepredicate declared in AV Rule 164
constexpr_if_elsetable
constexpr_if_thentable
constructorMightRunOnStackpredicate declared in StackAddress
containerparenttable
containsmember predicate declared in SubBasicBlock
containsmember predicate declared in PrimitiveBasicBlock
containsmember predicate declared in BasicBlock
containsmember predicate declared in SubBasicBlock
containsArraypredicate declared in AV Rule 97
containsInlineAssemblypredicate declared in UninitializedLocal
containsLoopOfForwardEdgespredicate declared in InstructionSanity
containsLoopOfForwardEdgespredicate declared in InstructionSanity
containsLoopOfForwardEdgespredicate declared in InstructionSanity
controlsmember predicate declared in GuardCondition
controlsmember predicate declared in IRGuardCondition
controlsmember predicate declared in GuardCondition
controlsEdgemember predicate declared in IRGuardCondition
convfield declared in ConversionNode
conversionkindstable
convertedExprNodepredicate declared in DataFlowUtil
coordinatePairpredicate declared in ShortLoopVarName
copySignprimitive predicate declared in float
correctIncludeGuardpredicate declared in MultipleInclusion
correspondingKindspredicate declared in NewFreeMismatch
cosprimitive predicate declared in int
cosprimitive predicate declared in float
coshprimitive predicate declared in int
coshprimitive predicate declared in float
couldAccessMembermember predicate declared in AccessHolder
couldBeUppercaseAcronymmember predicate declared in Word
countermember predicate declared in ClassicForLoop
coversmember predicate declared in SuppressionComment
coversEntireVariablemember predicate declared in VariableMemoryLocation
cppmodule
ctorfield declared in ConstructorInitializersNode
custom_phi_nodemember predicate declared in SSAHelper
custom_phi_nodemember predicate declared in RangeSSA
cwe807violationpredicate declared in TaintedCondition
cyclomaticComplexityBranchespredicate declared in MetricFunction

D

DangerousFunctionOverflowquery module
DangerousUseOfCinquery module
DataFlowmodule declared in DataFlow
DataFlowmodule
DataFlowmodule
DataFlowmodule declared in DataFlow
DataFlowmodule
DataFlow2module declared in DataFlow2
DataFlow2module
DataFlow2module declared in DataFlow2
DataFlow2module
DataFlow3module declared in DataFlow3
DataFlow3module
DataFlow3module declared in DataFlow3
DataFlow3module
DataFlow4module declared in DataFlow4
DataFlow4module
DataFlow4module declared in DataFlow4
DataFlow4module
DataFlowCallclass declared in DataFlowPrivate
DataFlowCallcharacteristic predicate declared in DataFlowCall
DataFlowCallclass declared in DataFlowPrivate
DataFlowDispatchmodule
DataFlowDispatchmodule
DataFlowFunctionclass declared in DataFlow
DataFlowImplmodule
DataFlowImplmodule
DataFlowImpl2module
DataFlowImpl2module
DataFlowImpl3module
DataFlowImpl3module
DataFlowImpl4module
DataFlowImpl4module
DataFlowImplCommonmodule
DataFlowImplCommonmodule
DataFlowImplLocalmodule
DataFlowImplSpecificmodule
DataFlowImplSpecificmodule
DataFlowPrivatemodule
DataFlowPrivatemodule
DataFlowSubBasicBlockCutNodecharacteristic predicate declared in FlowVar_internal::DataFlowSubBasicBlockCutNode
DataFlowSubBasicBlockCutNodeclass declared in FlowVar_internal
DataFlowUtilmodule
DataFlowUtilmodule
DataOutputclass declared in ExposedSystemData
DataSensitiveCallExprclass declared in TaintTracking
DataSensitiveCallExprcharacteristic predicate declared in DataSensitiveCallExpr
DataSensitiveExprCallclass declared in TaintTracking
DataSensitiveOverriddenFunctionCallclass declared in TaintTracking
DataSensitiveOverriddenFunctionCallcharacteristic predicate declared in DataSensitiveOverriddenFunctionCall
DataVariableclass declared in OpenSslHeartbleed
DataVariablecharacteristic predicate declared in DataVariable
Dataflowmodule
DataflowAnnotationcharacteristic predicate declared in DataflowAnnotation
DataflowAnnotationclass declared in Dataflow
DateStructModifiedFieldAccessclass declared in UncheckedReturnValueForTimeFunctions
DateStructModifiedFieldAccesscharacteristic predicate declared in DateStructModifiedFieldAccess
DateTimemodule
DayFieldAccessclass declared in DateTime
DeadCodeConditionquery module
DeadCodeFunctionquery module
DeadCodeGotoquery module
Debugquery module
DebugSSAmodule declared in SSAConstruction
DebugSSAmodule declared in SSAConstruction
Decimal128Typeclass declared in Type
Decimal128Typecharacteristic predicate declared in Decimal128Type
Decimal32Typeclass declared in Type
Decimal32Typecharacteristic predicate declared in Decimal32Type
Decimal64Typeclass declared in Type
Decimal64Typecharacteristic predicate declared in Decimal64Type
DeclStmtclass declared in Stmt
DeclStmtNodeclass declared in PrintAST
DeclStmtNodecharacteristic predicate declared in DeclStmtNode
Declarationclass declared in Declaration
Declarationclass declared in QualifiedName
Declarationmodule
DeclarationEntryclass declared in Declaration
DeclarationEntryNodeclass declared in PrintAST
DeclarationEntryNodecharacteristic predicate declared in DeclarationEntryNode
DeclarationHidesParameterquery module
DeclarationHidesVariablequery module
DeclarationPointerNestingquery module
Declspecclass declared in Specifier
Decltypeclass declared in Type
DecrementOperationclass declared in ArithmeticOperation
Defclass declared in DefinitionsAndUses
Defcharacteristic predicate declared in Def
DefOrUseclass declared in DefinitionsAndUses
DefOrUsecharacteristic predicate declared in DefOrUse
DefUsemodule declared in SSAConstruction
DefUsemodule declared in SSAConstruction
DefaultCaseclass declared in Stmt
DefaultCasecharacteristic predicate declared in DefaultCase
DefaultEdgeclass declared in EdgeKind
DefaultMutexTypeclass declared in Synchronization
DefaultMutexTypecharacteristic predicate declared in DefaultMutexType
DefaultOptionsmodule
DefaultTaintTrackingmodule
DefectExternalDataclass declared in ExternalArtifact
DefectExternalDatacharacteristic predicate declared in DefectExternalData
DefectFilterquery module
DefectFiltermodule
DefectFromExternalDataquery module
DefectFromSVNquery module
DefectResultclass declared in DefectFilter
DefectResultcharacteristic predicate declared in DefectResult
DefinitionByReferenceNodeclass declared in DataFlowUtil
DefinitionByReferenceNodecharacteristic predicate declared in DataFlow::DefinitionByReferenceNode
DefinitionInSnapshotinjector declared in InitializationFunctions
DefinitionInSnapshottype declared in InitializationFunctions
DefinitionsAndUsesmodule
DeleteArrayExprclass declared in Expr
DeleteExprclass declared in Expr
Dependencymodule
DependencyOptionsclass declared in Dependency
DependencyOptionscharacteristic predicate declared in DependencyOptions
DependsSourceclass declared in Dependency
DependsSourcecharacteristic predicate declared in DependsSource
Dereferencedmodule
DerivedClassConversionclass declared in Cast
DerivedClassConversioncharacteristic predicate declared in DerivedClassConversion
DerivedTypeclass declared in Type
DescriptorMayNotBeClosedquery module
DescriptorNeverClosedquery module
Destructorclass declared in Function
Destructorcharacteristic predicate declared in Destructor
DestructorBaseDestructionclass declared in Call
DestructorCallclass declared in Call
DestructorCallcharacteristic predicate declared in DestructorCall
DestructorDestructionclass declared in Call
DestructorDestructionsNodeclass declared in PrintAST
DestructorDestructionsNodecharacteristic predicate declared in DestructorDestructionsNode
DestructorDirectDestructionclass declared in Call
DestructorFieldDestructionclass declared in Call
DestructorVirtualDestructionclass declared in Call
Diagnosticclass declared in Diagnostics
Diagnosticsmodule
DictionaryLiteralclass declared in ObjectiveC
DictionaryLiteralcharacteristic predicate declared in DictionaryLiteral
Directiveclass declared in MismatchedIfdefs
Divclass declared in Opcode
DivExprclass declared in ArithmeticOperation
DivInstructionclass declared in Instruction
DivInstructioncharacteristic predicate declared in DivInstruction
DivInstructionclass declared in Instruction
DivInstructioncharacteristic predicate declared in DivInstruction
DivInstructionclass declared in Instruction
DivInstructioncharacteristic predicate declared in DivInstruction
DoNotCreateWorldWritablequery module
DoStmtclass declared in Stmt
DocumentApiquery module
Dominancemodule
Dominancemodule
Dominancemodule
DominanceInternalmodule
DominanceInternalmodule
DotFieldAccessclass declared in Access
DotFieldAccesscharacteristic predicate declared in DotFieldAccess
DoubleTypeclass declared in Type
DoubleTypecharacteristic predicate declared in DoubleType
DubiousNullCheckquery module
DuplicateBlockquery module
DuplicateBlockclass declared in CodeDuplication
DuplicateFunctionquery module
DynamicAllocAfterInitquery module
DynamicCastclass declared in Cast
DynamicCastToVoidclass declared in Opcode
dangerousUsepredicate declared in MissingNegativityTest
dataSizemember predicate declared in PaddedType
dateprimitive type
daysToprimitive predicate declared in date
daysToNowmember predicate declared in Commit
decideOnSizepredicate declared in SizeCheck
declStmtfield declared in DeclarationEntryNode
declStmtfield declared in DeclStmtNode
declWithNoInitpredicate declared in UninitializedLocal
declWithNoInitpredicate declared in ImproperNullTermination
declarationHasSideEffectspredicate declared in UnusedLocals
declarationHasSideEffectspredicate declared in UnusedStaticVariables
declaredUsingAutoTypemember predicate declared in Variable
decltypestable
deffield declared in FlowVar_internal::SsaVar
defInstrfield declared in NonPhiOperand
defInstrfield declared in PhiInputOperand
defInstrfield declared in NonPhiOperand
defInstrfield declared in PhiInputOperand
defInstrfield declared in NonPhiOperand
defInstrfield declared in PhiInputOperand
defSourceTypepredicate declared in IncorrectPointerScalingCommon
defUndefpredicate declared in AV Rule 35
defaultmodule
defaultAdditionalTaintSteppredicate declared in TaintTrackingUtil
defaultAdditionalTaintSteppredicate declared in TaintTrackingUtil
defaultEdgepredicate declared in EdgeKind
defaultTaintBarrierpredicate declared in TaintTrackingUtil
defaultTaintBarrierpredicate declared in TaintTrackingUtil
defaultUmaskpredicate declared in FilePermissions
defectResultspredicate declared in DefectFilter
definedByExprmember predicate declared in FlowVar
definedByExprmember predicate declared in FlowVar_internal::SsaVar
definedByExprmember predicate declared in FlowVar_internal::BlockVar
definedByInitialValuemember predicate declared in FlowVar
definedByInitialValuemember predicate declared in FlowVar_internal::SsaVar
definedByInitialValuemember predicate declared in FlowVar_internal::BlockVar
definedByParametermember predicate declared in SsaDefinition
definedByParametermember predicate declared in RangeSsaDefinition
definedByReferencemember predicate declared in FlowVar
definedByReferencemember predicate declared in FlowVar_internal::SsaVar
definedByReferencemember predicate declared in FlowVar_internal::BlockVar
definedInImplementationFilepredicate declared in AV Rule 40
definedPartiallyAtmember predicate declared in FlowVar
definedPartiallyAtmember predicate declared in FlowVar_internal::SsaVar
definedPartiallyAtmember predicate declared in FlowVar_internal::BlockVar
definespredicate declared in AV Rule 142
definespredicate declared in AV Rule 143
definespredicate declared in NotInitialised
definesCopyAssignmentOperatorpredicate declared in AV Rule 68
definesCopyConstructorpredicate declared in AV Rule 68
definesDefaultConstructorpredicate declared in AV Rule 68
definesDestructorpredicate declared in AV Rule 68
definesMacropredicate declared in AV Rule 35
definitelyNullpredicate declared in Dataflow
definitionpredicate declared in DefinitionsAndUses
definitionBarrierpredicate declared in DefinitionsAndUses
definitionByReferencepredicate declared in DefinitionsAndUses
definitionByReferenceNodeFromArgumentpredicate declared in DataFlowUtil
definitionOfpredicate declared in definitions
definitionReachespredicate declared in DefinitionsAndUses
definitionReachesEndOfBlockpredicate declared in DefUse
definitionReachesEndOfBlockpredicate declared in DefUse
definitionReachesUsepredicate declared in DefUse
definitionReachesUsepredicate declared in DefUse
definitionUsePairpredicate declared in DefinitionsAndUses
definitionsmodule
definitionsquery module
deletesExceptionpredicate declared in LeakyCatch
dependencyCountpredicate declared in FeatureEnvy
dependency_pointerTypeUsepredicate declared in Dependency
dependsHighlyOnpredicate declared in FeatureEnvy
dependsOnDeclOnlypredicate declared in Dependency
dependsOnSimplepredicate declared in Dependency
dependsOnTransitivepredicate declared in Dependency
depthmember predicate declared in FileWithDirectives
depthmember predicate declared in Directive
depthChangemember predicate declared in Directive
depthChangemember predicate declared in IfDirective
depthChangemember predicate declared in ElseDirective
depthChangemember predicate declared in EndifDirective
derefpredicate declared in Dataflow
dereferenceThispredicate declared in AV Rule 82
dereferencedpredicate declared in InconsistentCheckReturnNull
dereferencedpredicate declared in Dereferenced
dereferencedByOperationpredicate declared in Dereferenced
derivationstable
derivedClassfield declared in InheritanceConversionInstruction
derivedClassfield declared in InheritanceConversionInstruction
derivedClassfield declared in InheritanceConversionInstruction
derivedtypestable
derivesFrommember predicate declared in Class
derivesNonVirtualpredicate declared in AV Rule 89
derivesVirtualpredicate declared in AV Rule 88.1
derivesVirtualpredicate declared in AV Rule 89
derivesVirtualStarpredicate declared in AV Rule 88.1
derspecifierstable
descriptionmember predicate declared in InsecureCryptoSpec
descriptionmember predicate declared in InsecureFunctionCall
descriptionmember predicate declared in InsecureMacroSpec
diagnostic_fortable
diagnosticstable
diffBeginBeginpredicate declared in AV Rule 63
diffEndBeginpredicate declared in AV Rule 63
diffEndEndpredicate declared in AV Rule 63
direct_base_offsetstable
directionIsGreaterpredicate declared in RangeAnalysisUtils
directionIsLesserpredicate declared in RangeAnalysisUtils
distinctMembersmember predicate declared in MetricClass
divpredicate declared in IntegerConstant
divpredicate declared in IntegerPartial
do_bodytable
doesNotInitialisepredicate declared in AV Rule 71
doesRethrowpredicate declared in LeakyCatch
dominanceFrontiermember predicate declared in IRBlock
dominanceFrontiermember predicate declared in IRBlock
dominanceFrontiermember predicate declared in IRBlock
dominatedByOverwritepredicate declared in FlowVar_internal
dominatespredicate declared in Dominance
dominatesmember predicate declared in IRBlock
dominatesmember predicate declared in IRBlock
dominatesmember predicate declared in IRBlock
doubleAlignmember predicate declared in Architecture
doubleAlignmember predicate declared in ILP32
doubleAlignmember predicate declared in LP64
doubleAlignmember predicate declared in WindowsArchitecture
doubleNegationNormalizationpredicate declared in IncorrectNotOperatorUsage
dtorfield declared in DestructorDestructionsNode
dubiouspredicate declared in ReturnValueIgnored
duplicateChiOperandpredicate declared in InstructionSanity
duplicateChiOperandpredicate declared in InstructionSanity
duplicateChiOperandpredicate declared in InstructionSanity
duplicateCodetable
duplicateFilespredicate declared in CodeDuplication
duplicateLinespredicate declared in CodeDuplication
duplicateLinesCoveredpredicate declared in CodeDuplication
duplicateMethodpredicate declared in CodeDuplication
duplicateOperandpredicate declared in InstructionSanity
duplicateOperandpredicate declared in InstructionSanity
duplicateOperandpredicate declared in InstructionSanity
duplicateStatementspredicate declared in CodeDuplication

E

EQExprclass declared in ComparisonOperation
EdgeKindclass declared in EdgeKind
EdgeKindmodule
EdgeKindInternalmodule
EditDefectMessagequery module
Elementclass declared in Element
Elementmodule
ElementBaseclass declared in Element
ElementsAddressclass declared in Opcode
ElseDirectiveclass declared in MismatchedIfdefs
ElseDirectivecharacteristic predicate declared in ElseDirective
EmptyBlockquery module
EmptyFileclass declared in MultipleInclusion
EmptyFilecharacteristic predicate declared in EmptyFile
EmptyStmtclass declared in Stmt
Enclosingmodule
Encryptionmodule
EndifDirectiveclass declared in MismatchedIfdefs
EndifDirectivecharacteristic predicate declared in EndifDirective
EnterFunctionclass declared in Opcode
EnterFunctionInstructionclass declared in Instruction
EnterFunctionInstructioncharacteristic predicate declared in EnterFunctionInstruction
EnterFunctionInstructionclass declared in Instruction
EnterFunctionInstructioncharacteristic predicate declared in EnterFunctionInstruction
EnterFunctionInstructionclass declared in Instruction
EnterFunctionInstructioncharacteristic predicate declared in EnterFunctionInstruction
EnterFunctionTaginjector declared in InstructionTag
EnterFunctionTagtype declared in InstructionTag
EntryBasicBlockclass declared in BasicBlocks
EntryBasicBlockcharacteristic predicate declared in EntryBasicBlock
Enumclass declared in Enum
Enummodule
EnumConstantclass declared in Enum
EnumConstantclass declared in QualifiedName
EnumConstantAccessclass declared in Access
EnumConstantAccesscharacteristic predicate declared in EnumConstantAccess
EnumInitializationquery module
EnumSwitchclass declared in Stmt
EnumSwitchcharacteristic predicate declared in EnumSwitch
EnvDataclass declared in ExposedSystemData
EnvDatacharacteristic predicate declared in EnvData
Environmentmodule
EnvironmentReadclass declared in Environment
EnvironmentReadcharacteristic predicate declared in EnvironmentRead
EqualityOperationclass declared in ComparisonOperation
ErroneousTypeclass declared in Type
ErroneousTypecharacteristic predicate declared in ErroneousType
Errorclass declared in Opcode
ErrorExprclass declared in Expr
ErrorInstructionclass declared in Instruction
ErrorInstructioncharacteristic predicate declared in ErrorInstruction
ErrorInstructionclass declared in Instruction
ErrorInstructioncharacteristic predicate declared in ErrorInstruction
ErrorInstructionclass declared in Instruction
ErrorInstructioncharacteristic predicate declared in ErrorInstruction
ErrorReturncharacteristic predicate declared in ErrorReturn
ErrorReturnclass declared in AV Rule 115
EscapedMayMemoryAccessclass declared in MemoryAccessKind
EscapedMemoryAccessclass declared in MemoryAccessKind
EscapesTreemodule
Evidencedatatype declared in InitializationFunctions
ExceptionEdgeclass declared in EdgeKind
ExcludeGeneratedCodequery module
Exclusionsmodule
ExecTaintedquery module
ExistsAnyFlowConfigcharacteristic predicate declared in ExistsAnyFlowConfig
ExistsAnyFlowConfigclass declared in TlsSettingsMisconfiguration
ExitBasicBlockclass declared in BasicBlocks
ExitBasicBlockcharacteristic predicate declared in ExitBasicBlock
ExitFunctionclass declared in Opcode
ExitFunctionInstructionclass declared in Instruction
ExitFunctionInstructioncharacteristic predicate declared in ExitFunctionInstruction
ExitFunctionInstructionclass declared in Instruction
ExitFunctionInstructioncharacteristic predicate declared in ExitFunctionInstruction
ExitFunctionInstructionclass declared in Instruction
ExitFunctionInstructioncharacteristic predicate declared in ExitFunctionInstruction
ExitFunctionTaginjector declared in InstructionTag
ExitFunctionTagtype declared in InstructionTag
ExitNonterminatingLoopquery module
ExitPermanentLoopquery module
ExpectedTypeclass declared in WrongTypeFormatArguments
ExpectedTypecharacteristic predicate declared in ExpectedType
ExplicitParameterNodeclass declared in DataFlowUtil
ExplicitParameterNodecharacteristic predicate declared in DataFlow::ExplicitParameterNode
ExposedSystemDataquery module
ExposingIntegralCastExprcharacteristic predicate declared in ExposingIntegralCastExpr
ExposingIntegralCastExprclass declared in AV Rule 210
ExposingIntegralUnioncharacteristic predicate declared in ExposingIntegralUnion
ExposingIntegralUnionclass declared in AV Rule 210
Exprclass declared in Expr
Exprmodule
ExprCallclass declared in Call
ExprEvaluatorcharacteristic predicate declared in ExprEvaluator
ExprEvaluatorclass declared in ConstantExprs
ExprHasNoEffectquery module
ExprInVoidContextclass declared in VoidContext
ExprInVoidContextcharacteristic predicate declared in ExprInVoidContext
ExprMessageExprclass declared in ObjectiveC
ExprMessageExprcharacteristic predicate declared in ExprMessageExpr
ExprNodeclass declared in DataFlowUtil
ExprNodecharacteristic predicate declared in DataFlow::ExprNode
ExprNodeclass declared in DataFlowUtil
ExprNodecharacteristic predicate declared in ExprNode
ExprNodeclass declared in PrintAST
ExprNodecharacteristic predicate declared in ExprNode
ExprStmtclass declared in Stmt
ExtClassclass declared in ClassesWithManyFields
ExternDeclsInHeaderquery module
ExternalArtifactmodule
ExternalDataclass declared in ExternalArtifact
ExternalDependenciesmodule
ExternalDependenciesquery module
ExternalDependenciesSourceLinksquery module
ExternalEvidenceinjector declared in InitializationFunctions
ExternalEvidencetype declared in InitializationFunctions
efield declared in ConditionallyInitializedVariable
edgespredicate declared in PathGraph
edgespredicate declared in PathGraph
edgespredicate declared in PathGraph
edgespredicate declared in DataFlow::PathGraph
edgespredicate declared in DataFlow2::PathGraph
edgespredicate declared in PathGraph
edgespredicate declared in PathGraph
edgespredicate declared in PathGraph
edgespredicate declared in PathGraph
edgespredicate declared in PrintIR
edgespredicate declared in PrintIR
edgespredicate declared in PrintIR
edgespredicate declared in PrintAST
elementCountfield declared in TranslatedElementValueInitialization
elementIndexfield declared in TranslatedExplicitElementInitialization
elementIndexfield declared in TranslatedElementValueInitialization
elementNamepredicate declared in AV Rule 46
elementSizefield declared in PointerArithmeticInstruction
elementSizefield declared in PointerArithmeticInstruction
elementSizefield declared in PointerArithmeticInstruction
emptyBlockpredicate declared in EmptyBlock
emptyBlockContainsNonchildpredicate declared in EmptyBlock
emptyIfpredicate declared in FutileConditional
enclosingLooppredicate declared in ContinueInFalseLoop
enclosingfunctiontable
encodedDependenciespredicate declared in ExternalDependencies
endfield declared in VariableDeclarationGroup
endBitOffsetfield declared in VariableMemoryLocation
endsWithEndifpredicate declared in MultipleInclusion
enhancedSuccpredicate declared in InfiniteLoopWithUnsatisfiableExitCondition
ensuresEqmember predicate declared in GuardCondition
ensuresEqmember predicate declared in IRGuardCondition
ensuresEqmember predicate declared in GuardCondition
ensuresEqEdgemember predicate declared in IRGuardCondition
ensuresLtmember predicate declared in GuardCondition
ensuresLtmember predicate declared in IRGuardCondition
ensuresLtmember predicate declared in GuardCondition
ensuresLtEdgemember predicate declared in IRGuardCondition
entryfield declared in TranslatedDeclarationEntry
enumAlignmentmember predicate declared in Architecture
enumBitSizemember predicate declared in Architecture
enumThatHasConstantWithImplicitValuepredicate declared in EnumInitialization
enumThatHasConstantWithImplicitValuepredicate declared in AV Rule 145
enumconstantstable
eqOpWithSwapAndNegatepredicate declared in RangeAnalysisUtils
eraDatepredicate declared in JapaneseEraDate
errorConditionpredicate declared in Negativity
errorSuccessorpredicate declared in Negativity
evaluatedBeforeMainpredicate declared in AV Rule 214
evidencefield declared in InitializationFunction
exceptionEdgepredicate declared in EdgeKind
exceptionTypefield declared in CatchByTypeInstruction
exceptionTypefield declared in CatchByTypeInstruction
exceptionTypefield declared in CatchByTypeInstruction
excludepredicate declared in InconsistentCallOnResult
excludeNodepredicate declared in CFG
excludedpredicate declared in AV Rule 162
excludedpredicate declared in AV Rule 163
exitFrompredicate declared in ExitNonterminatingLoop
exitFrompredicate declared in ExitPermanentLoop
exitspredicate declared in Options
exitsmember predicate declared in CustomOptions
exitsmember predicate declared in Options
expprimitive predicate declared in int
expprimitive predicate declared in float
explainmember predicate declared in Struct
explainmember predicate declared in Enum
explainmember predicate declared in Class
explainmember predicate declared in UserType
explainmember predicate declared in CTypedefType
explainmember predicate declared in UsingAliasTypedefType
explainmember predicate declared in Union
explainmember predicate declared in Type
explainmember predicate declared in BuiltInType
explainmember predicate declared in Decltype
explainmember predicate declared in PointerType
explainmember predicate declared in ReferenceType
explainmember predicate declared in RValueReferenceType
explainmember predicate declared in SpecifiedType
explainmember predicate declared in ArrayType
explainmember predicate declared in GNUVectorType
explainmember predicate declared in FunctionPointerType
explainmember predicate declared in FunctionReferenceType
explainmember predicate declared in BlockType
explainmember predicate declared in PointerToMemberType
explainmember predicate declared in RoutineType
explicitNullTestOfInstructionpredicate declared in RedundantNullCheckSimple
explorationLimitmember predicate declared in Configuration
explorationLimitmember predicate declared in Configuration
explorationLimitmember predicate declared in Configuration
explorationLimitmember predicate declared in DataFlow::Configuration
explorationLimitmember predicate declared in DataFlow2::Configuration
explorationLimitmember predicate declared in Configuration
explorationLimitmember predicate declared in Configuration
explorationLimitmember predicate declared in Configuration
explorationLimitmember predicate declared in Configuration
exprfield declared in DataFlow::ExprNode
exprfield declared in TranslatedCallExpr
exprfield declared in TranslatedExprCall
exprfield declared in TranslatedFunctionCall
exprfield declared in TranslatedSideEffects
exprfield declared in TranslatedCondition
exprfield declared in TranslatedParenthesisCondition
exprfield declared in TranslatedNotCondition
exprfield declared in TranslatedBinaryLogicalOperation
exprfield declared in TranslatedLogicalOrExpr
exprfield declared in TranslatedInitialization
exprfield declared in TranslatedClassListInitialization
exprfield declared in TranslatedArrayListInitialization
exprfield declared in TranslatedStringLiteralInitialization
exprfield declared in TranslatedConstructorInitialization
exprfield declared in TranslatedExplicitFieldInitialization
exprfield declared in TranslatedExpr
exprfield declared in TranslatedCommaExpr
exprfield declared in TranslatedCrementOperation
exprfield declared in TranslatedPrefixCrementOperation
exprfield declared in TranslatedPostfixCrementOperation
exprfield declared in TranslatedArrayExpr
exprfield declared in TranslatedTransparentUnaryOperation
exprfield declared in TranslatedTransparentConversion
exprfield declared in TranslatedThisExpr
exprfield declared in TranslatedVariableAccess
exprfield declared in TranslatedFieldAccess
exprfield declared in TranslatedFunctionAccess
exprfield declared in TranslatedStringLiteral
exprfield declared in TranslatedConversion
exprfield declared in TranslatedInheritanceConversion
exprfield declared in TranslatedBoolConversion
exprfield declared in TranslatedAssignment
exprfield declared in TranslatedAssignOperation
exprfield declared in TranslatedAllocationSize
exprfield declared in TranslatedNonConstantAllocationSize
exprfield declared in TranslatedAllocatorCall
exprfield declared in TranslatedDestructorFieldDestruction
exprfield declared in TranslatedConditionalExpr
exprfield declared in TranslatedThrowExpr
exprfield declared in TranslatedReThrowExpr
exprfield declared in TranslatedBuiltInOperation
exprfield declared in TranslatedVarArgsStart
exprfield declared in TranslatedVarArgsEnd
exprfield declared in TranslatedVarArg
exprfield declared in TranslatedVarArgCopy
exprfield declared in TranslatedNewOrNewArrayExpr
exprfield declared in TranslatedNewExpr
exprfield declared in TranslatedNewArrayExpr
exprfield declared in TranslatedDeleteArrayExprPlaceHolder
exprfield declared in TranslatedDeleteExprPlaceHolder
exprfield declared in TranslatedConditionDeclExpr
exprfield declared in TranslatedLambdaExpr
exprfield declared in TranslatedStmtExpr
exprfield declared in TranslatedErrorExpr
exprfield declared in TranslatedAssumeExpr
exprfield declared in ExprNode
exprDefinitionpredicate declared in DefinitionsAndUses
exprEnclosingElementpredicate declared in Enclosing
exprExitspredicate declared in Options
exprExitsmember predicate declared in CustomOptions
exprExitsmember predicate declared in Options
exprInStmtContextpredicate declared in AV Rule 42
exprInitialisespredicate declared in AV Rule 71
exprMaxValpredicate declared in RangeAnalysisUtils
exprMinValpredicate declared in RangeAnalysisUtils
exprNeedsCopyIfNotLoadedpredicate declared in TranslatedExpr
exprNodepredicate declared in DataFlowUtil
exprNodepredicate declared in DataFlowUtil
exprOrDereferencepredicate declared in AV Rule 79
exprSourceTypepredicate declared in IncorrectPointerScalingCommon
expr_allocatortable
expr_ancestortable
expr_cond_falsetable
expr_cond_guardtable
expr_cond_truetable
expr_cond_two_operandtable
expr_deallocatortable
expr_isloadtable
expr_typestable
exprconvtable
exprparentstable
exprstable
externalDatatable
externalLinkagepredicate declared in AV Rule 138
external_packagestable
extraDetailpredicate declared in AV Rule 35

F

FAfferentCouplingquery module
FCommentRatioquery module
FCyclomaticComplexityquery module
FDirectIncludesquery module
FEfferentCouplingquery module
FHalsteadBugsquery module
FHalsteadDifficultyquery module
FHalsteadEffortquery module
FHalsteadLengthquery module
FHalsteadVocabularyquery module
FHalsteadVolumequery module
FLinesquery module
FLinesOfCodequery module
FLinesOfCommentedOutCodequery module
FLinesOfCommentsquery module
FLinesOfDuplicatedCodequery module
FMacroRatioquery module
FNumberOfClassesquery module
FNumberOfTestsquery module
FOpenReachabilityclass declared in FileMayNotBeClosed
FOpenReachabilitycharacteristic predicate declared in FOpenReachability
FOpenVariableReachabilityclass declared in FileMayNotBeClosed
FOpenVariableReachabilitycharacteristic predicate declared in FOpenVariableReachability
FTimeInFrontendquery module
FTodoCommentsquery module
FTransitiveIncludesquery module
FTransitiveSourceIncludesquery module
FalseEdgeclass declared in EdgeKind
FeatureEnvyquery module
Fieldclass declared in Field
Fieldcharacteristic predicate declared in Field
Fieldmodule
FieldAccessclass declared in Access
FieldAccesscharacteristic predicate declared in FieldAccess
FieldAccessPTclass declared in Debug
FieldAddressclass declared in Opcode
FieldAddressInstructionclass declared in Instruction
FieldAddressInstructioncharacteristic predicate declared in FieldAddressInstruction
FieldAddressInstructionclass declared in Instruction
FieldAddressInstructioncharacteristic predicate declared in FieldAddressInstruction
FieldAddressInstructionclass declared in Instruction
FieldAddressInstructioncharacteristic predicate declared in FieldAddressInstruction
FieldInstructionclass declared in Instruction
FieldInstructioncharacteristic predicate declared in FieldInstruction
FieldInstructionclass declared in Instruction
FieldInstructioncharacteristic predicate declared in FieldInstruction
FieldInstructionclass declared in Instruction
FieldInstructioncharacteristic predicate declared in FieldInstruction
Fileclass declared in File
Filemodule
Filemodule
FileClosedmodule
FileCompilationDisplayStringsquery module
FileCompilationSourceLinksquery module
FileCreationExprclass declared in FilePermissions
FileFunctioncharacteristic predicate declared in FileFunction
FileFunctionclass declared in TaintedPath
FileMayNotBeClosedquery module
FileNeverClosedquery module
FilePermissionsmodule
FileSystemmodule
FileWithDirectivescharacteristic predicate declared in FileWithDirectives
FileWithDirectivesclass declared in MismatchedIfdefs
FileWriteclass declared in FileWrite
FileWritecharacteristic predicate declared in FileWrite
FileWritemodule
FiletimeYearArithmeticOperationCheckConfigurationcharacteristic predicate declared in FiletimeYearArithmeticOperationCheckConfiguration
FiletimeYearArithmeticOperationCheckConfigurationclass declared in LeapYear
FilterAutogeneratedquery module
FilterAutogeneratedForMetricquery module
FinallyBlockclass declared in ObjectiveC
FinallyBlockcharacteristic predicate declared in FinallyBlock
FinallyEndclass declared in Stmt
FinallyEndcharacteristic predicate declared in FinallyEnd
FirstCommentcharacteristic predicate declared in FirstComment
FirstCommentclass declared in AV Rule 133
FixmeCommentsquery module
Float128Typeclass declared in Type
Float128Typecharacteristic predicate declared in Float128Type
FloatComparisonquery module
FloatConstantInstructionclass declared in Instruction
FloatConstantInstructioncharacteristic predicate declared in FloatConstantInstruction
FloatConstantInstructionclass declared in Instruction
FloatConstantInstructioncharacteristic predicate declared in FloatConstantInstruction
FloatConstantInstructionclass declared in Instruction
FloatConstantInstructioncharacteristic predicate declared in FloatConstantInstruction
FloatTypeclass declared in Type
FloatTypecharacteristic predicate declared in FloatType
FloatUnioncharacteristic predicate declared in FloatUnion
FloatUnionclass declared in AV Rule 147
FloatingPointConversionclass declared in Cast
FloatingPointConversioncharacteristic predicate declared in FloatingPointConversion
FloatingPointToIntegralConversionclass declared in Cast
FloatingPointToIntegralConversioncharacteristic predicate declared in FloatingPointToIntegralConversion
FloatingPointTypeclass declared in Type
FloatingPointTypecharacteristic predicate declared in FloatingPointType
FlowLocalScopeVariableclass declared in TaintTracking
FlowLocalScopeVariablecharacteristic predicate declared in FlowLocalScopeVariable
FlowVarclass declared in FlowVar
FlowVarmodule
FlowVar_internalmodule declared in FlowVar
FlowVariableclass declared in TaintTracking
FlowVariablecharacteristic predicate declared in FlowVariable
FoldExprclass declared in Expr
Folderclass declared in File
FopenCreationExprclass declared in FilePermissions
FopenCreationExprcharacteristic predicate declared in FopenCreationExpr
FopensCreationExprclass declared in FilePermissions
FopensCreationExprcharacteristic predicate declared in FopensCreationExpr
ForInStmtclass declared in ObjectiveC
ForInStmtcharacteristic predicate declared in ForInStmt
ForLoopEntryConditionEvaluatorclass declared in ConstantExprs
ForLoopEntryConditionEvaluatorcharacteristic predicate declared in ForLoopEntryConditionEvaluator
ForStmtclass declared in Stmt
ForStmtSideEffectExprcharacteristic predicate declared in ForStmtSideEffectExpr
ForStmtSideEffectExprclass declared in AV Rule 160
ForbiddenCallcharacteristic predicate declared in ForbiddenCall
ForbiddenCallclass declared in ThreadSafety
ForbiddenFunctioncharacteristic predicate declared in ForbiddenFunction
ForbiddenFunctionclass declared in SimpleControlFlowJmp
ForbiddenFunctioncharacteristic predicate declared in ForbiddenFunction
ForbiddenFunctionclass declared in UseOfJmp
FormatAttributeclass declared in Specifier
FormatAttributecharacteristic predicate declared in FormatAttribute
FormatBufferclass declared in TaintedFormatStrings
FormatBuffercharacteristic predicate declared in FormatBuffer
FormatLiteralclass declared in Printf
FormatLiteralcharacteristic predicate declared in FormatLiteral
FormattingFunctionclass declared in FormattingFunction
FormattingFunctionmodule
FormattingFunctionCallclass declared in Printf
FormattingFunctionCallcharacteristic predicate declared in FormattingFunctionCall
Fprintfcharacteristic predicate declared in Fprintf
Fprintfclass declared in Printf
FreadBAclass declared in BufferAccess
FreadBAcharacteristic predicate declared in FreadBA
FreedExprclass declared in MemoryFreed
FreedExprcharacteristic predicate declared in FreedExpr
FriendDeclclass declared in QualifiedName
FriendDeclclass declared in FriendDecl
FriendDeclmodule
FromSourcequery module
Fscanfclass declared in Scanf
Fscanfcharacteristic predicate declared in Fscanf
FullClassTemplateSpecializationclass declared in Class
FullClassTemplateSpecializationcharacteristic predicate declared in FullClassTemplateSpecialization
FunCyclomaticComplexityquery module
FunIterationNestingDepthquery module
FunLinesOfCodequery module
FunLinesOfCommentsquery module
FunNumberOfCallsquery module
FunNumberOfParametersquery module
FunNumberOfStatementsquery module
FunPercentageOfCommentsquery module
Functionclass declared in Function
Functionclass declared in QualifiedName
Functionmodule
FunctionAccessclass declared in Access
FunctionAccesscharacteristic predicate declared in FunctionAccess
FunctionAddressclass declared in Opcode
FunctionCallclass declared in Call
FunctionCallcharacteristic predicate declared in FunctionCall
FunctionDeclarationEntryclass declared in Function
FunctionInputclass declared in FunctionInputsAndOutputs
FunctionInputsAndOutputsmodule
FunctionInstructionclass declared in Instruction
FunctionInstructioncharacteristic predicate declared in FunctionInstruction
FunctionInstructionclass declared in Instruction
FunctionInstructioncharacteristic predicate declared in FunctionInstruction
FunctionInstructionclass declared in Instruction
FunctionInstructioncharacteristic predicate declared in FunctionInstruction
FunctionLengthquery module
FunctionNodeclass declared in PrintAST
FunctionNodecharacteristic predicate declared in FunctionNode
FunctionOutputclass declared in FunctionInputsAndOutputs
FunctionPointerquery module
FunctionPointerConversionsquery module
FunctionPointerIshTypeclass declared in Type
FunctionPointerIshTypecharacteristic predicate declared in FunctionPointerIshType
FunctionPointerMemberVariableclass declared in Variable
FunctionPointerMemberVariablecharacteristic predicate declared in FunctionPointerMemberVariable
FunctionPointerTypeclass declared in Type
FunctionPointerTypecharacteristic predicate declared in FunctionPointerType
FunctionPointerVariableclass declared in Variable
FunctionPointerVariablecharacteristic predicate declared in FunctionPointerVariable
FunctionReferenceTypeclass declared in Type
FunctionReferenceTypecharacteristic predicate declared in FunctionReferenceType
FunctionReturningErrorCodecharacteristic predicate declared in FunctionReturningErrorCode
FunctionReturningErrorCodeclass declared in AV Rule 115
FunctionSizeLimitsquery module
FunctionSpecifierclass declared in Specifier
FunctionSpecifiercharacteristic predicate declared in FunctionSpecifier
FunctionTemplateInstantiationclass declared in Function
FunctionTemplateInstantiationcharacteristic predicate declared in FunctionTemplateInstantiation
FunctionTemplateSpecializationclass declared in Function
FunctionTemplateSpecializationcharacteristic predicate declared in FunctionTemplateSpecialization
FunctionToRemovecharacteristic predicate declared in FunctionToRemove
FunctionToRemoveclass declared in UnusedStaticFunctions
FunctionTooLongquery module
FunctionTryStmtclass declared in Stmt
FunctionTryStmtcharacteristic predicate declared in FunctionTryStmt
FunctionWithNegativeReturnclass declared in MissingNegativityTest
FunctionWithNegativeReturncharacteristic predicate declared in FunctionWithNegativeReturn
FunctionWithWrappersclass declared in FunctionWithWrappers
FunctionWithWrappersmodule
FunctionsWithManyParametersquery module
FutileConditionalquery module
ffield declared in ConditionallyInitializedVariable
ffield declared in VariableDeclarationLine
ffield declared in DataFlow::ImplicitParameterNode
failedLockpredicate declared in UnreleasedLock
falseEdgepredicate declared in EdgeKind
falsecondtable
falsecond_basepredicate declared in ControlFlowGraph
fcloseCallpredicate declared in File
fcloseCallOrIndirectpredicate declared in FileMayNotBeClosed
fieldfield declared in TranslatedFieldInitialization
fieldfield declared in FieldInstruction
fieldfield declared in FieldInstruction
fieldfield declared in FieldInstruction
fieldEndmember predicate declared in PaddedType
fieldFlowBranchLimitmember predicate declared in Configuration
fieldFlowBranchLimitmember predicate declared in Configuration
fieldFlowBranchLimitmember predicate declared in Configuration
fieldFlowBranchLimitmember predicate declared in DataFlow::Configuration
fieldFlowBranchLimitmember predicate declared in DataFlow2::Configuration
fieldFlowBranchLimitmember predicate declared in Configuration
fieldFlowBranchLimitmember predicate declared in Configuration
fieldFlowBranchLimitmember predicate declared in Configuration
fieldFlowBranchLimitmember predicate declared in Configuration
fieldIndexmember predicate declared in PaddedType
fieldSizemember predicate declared in PaddedType
fieldoffsetstable
fileLevelDuplicationpredicate declared in CodeDuplication
fileannotationstable
filenameOperationpredicate declared in TOCTOUFilesystemRace
filestable
findRootCausemember predicate declared in Element
firstAccesspredicate declared in CheckingParameterValues
firstAccesspredicate declared in CheckArguments
firstCallpredicate declared in GlobalUseBeforeInit
firstChangepredicate declared in VCS
firstCodeLinepredicate declared in IncludesFirst
firstCommitpredicate declared in VCS
firstInBBmember predicate declared in SubBasicBlock
firstInBBmember predicate declared in SubBasicBlock
firstOccurrencepredicate declared in MagicConstants
floatprimitive type
floatTrivialpredicate declared in MagicConstants
floorprimitive predicate declared in float
flowpredicate declared in CheckingParameterValues
flowpredicate declared in CheckArguments
flowpredicate declared in PointsTo
flowFromCompoundpredicate declared in PointsTo
flowFunctionpredicate declared in ReturnCstrOfLocalStdString
flowToCompoundpredicate declared in PointsTo
flowsFrommember predicate declared in DataSensitiveCallExpr
flowsTopredicate declared in DataFlowImplLocal
flowsTopredicate declared in DataFlowImpl4
flowsTopredicate declared in DataFlowImpl3
flowsTopredicate declared in DataFlowImpl
flowsTopredicate declared in DataFlowImpl2
flowsTopredicate declared in DataFlowImpl4
flowsTopredicate declared in DataFlowImpl3
flowsTopredicate declared in DataFlowImpl
flowsTopredicate declared in DataFlowImpl2
flowsToDefpredicate declared in SnprintfOverflow
flowsToDefImplpredicate declared in SnprintfOverflow
flowsToExprpredicate declared in SnprintfOverflow
flowsToExprImplpredicate declared in SnprintfOverflow
foldtable
folderstable
fopenCallpredicate declared in File
fopenCallMayBeClosedpredicate declared in FileClosed
fopenCallOrIndirectpredicate declared in FileMayNotBeClosed
fopenDefinitionpredicate declared in FileMayNotBeClosed
fopenReachespredicate declared in FileMayNotBeClosed
fopenVariableReachespredicate declared in FileMayNotBeClosed
forStmtfield declared in TranslatedRangeBasedForVariableDeclaration
forStmtAncestorpredicate declared in ShortLoopVarName
for_bodytable
for_conditiontable
for_initializationtable
for_updatetable
forbiddenpredicate declared in AV Rule 39
forceTextmember predicate declared in PrintableIRNode
forceTextmember predicate declared in PrintableIRBlock
forceTextmember predicate declared in PrintableIRNode
forceTextmember predicate declared in PrintableIRBlock
forceTextmember predicate declared in PrintableIRNode
forceTextmember predicate declared in PrintableIRBlock
formatArgTypepredicate declared in WrongTypeFormatArguments
formatArgTypepredicate declared in NonPortablePrintf
formatArgumentpredicate declared in TaintedFormatStrings
formatBufferpredicate declared in TaintedFormatStrings
formatOtherArgTypepredicate declared in WrongTypeFormatArguments
formatOtherArgTypepredicate declared in NonPortablePrintf
freeCallpredicate declared in Alloc
freeCallOrIndirectpredicate declared in MemoryMayNotBeFreed
freeExprpredicate declared in NewDelete
freeExprOrIndirectpredicate declared in NewDelete
freeFunctionpredicate declared in Alloc
freedInSameMethodpredicate declared in AV Rule 79
frienddeclstable
friendlyLocpredicate declared in ComparisonWithWiderType
fromLibrarymember predicate declared in Element
fromLibrarymember predicate declared in File
fromLibrarymember predicate declared in Namespace
fromSourcemember predicate declared in Initializer
fromSourcemember predicate declared in Element
fromSourcemember predicate declared in File
fromSourcemember predicate declared in Namespace
fullLocationInfomember predicate declared in Location
fullySupportedSsaVariablepredicate declared in FlowVar_internal
funpredicate declared in DeclarationPointerNesting
fun_decl_empty_noexcepttable
fun_decl_empty_throwstable
fun_decl_noexcepttable
fun_decl_specifierstable
fun_decl_throwstable
fun_decl_typedef_typetable
fun_declstable
fun_deftable
fun_implicittable
fun_specializedtable
funbindtable
funcfield declared in TranslatedFunction
funcfield declared in TranslatedConstructorInitList
funcfield declared in TranslatedDestructorDestructionList
funcfield declared in IRVariable
funcfield declared in IRFunction
funcfield declared in IRVariable
funcfield declared in IRFunction
funcfield declared in IRVariable
funcfield declared in IRFunction
funcfield declared in ParametersNode
funcfield declared in FunctionNode
funcSymbolfield declared in FunctionInstruction
funcSymbolfield declared in FunctionInstruction
funcSymbolfield declared in FunctionInstruction
funcattributestable
functionfield declared in Parameter
functionAPIViolationpredicate declared in AV Rule 97
functionArgumentMustBeNullTerminatedpredicate declared in NullTermination
functionContainsDisabledCodepredicate declared in Exclusions
functionContainsDisabledCodeRecursivepredicate declared in ExprHasNoEffect
functionContainsPreprocCodepredicate declared in Exclusions
functionDefinedInIfDefpredicate declared in Exclusions
functionDefinedInIfDefRecursivepredicate declared in ExprHasNoEffect
functionDependencyCountpredicate declared in InappropriateIntimacy
functionDereferencespredicate declared in Dereferenced
functionEntrypredicate declared in Dominance
functionExitpredicate declared in Dominance
functionImperfectlyExtractedpredicate declared in AV Rule 114
functionInitialisespredicate declared in GlobalUseBeforeInit
functionParameterNamespredicate declared in DeclarationHidesParameter
functionQualifierpredicate declared in InconsistentCheckReturnNull
functionStatspredicate declared in InconsistentCallOnResult
functionStatspredicate declared in InconsistentCheckReturnNull
functionUsesFunctionpredicate declared in FeatureEnvy
functionUsesVariablepredicate declared in FeatureEnvy
function_defaultedtable
function_deletedtable
function_entry_pointtable
function_instantiationtable
function_return_typetable
function_template_argumenttable
function_template_argument_valuetable
functionstable
functionsMissingReturnStmtpredicate declared in AV Rule 114
funspecifierstable

G

GEExprclass declared in ComparisonOperation
GNUVectorTypeclass declared in Type
GNUVectorTypecharacteristic predicate declared in GNUVectorType
GTExprclass declared in ComparisonOperation
GVNclass declared in GlobalValueNumbering
GVNcharacteristic predicate declared in GVN
GeneralPointerTypecharacteristic predicate declared in GeneralPointerType
GeneralPointerTypeclass declared in AV Rule 147
GeneralStatisticsquery module
Gethostbyaddrcharacteristic predicate declared in Gethostbyaddr
Gethostbyaddrclass declared in Inet
Gethostbynamecharacteristic predicate declared in Gethostbyname
Gethostbynameclass declared in Inet
GetsBWclass declared in BufferWrite
GetsBWcharacteristic predicate declared in GetsBW
GlobalCouldBeStaticquery module
GlobalNamespaceclass declared in Namespace
GlobalNamespacecharacteristic predicate declared in GlobalNamespace
GlobalNamespaceClassesquery module
GlobalOrNamespaceVariableclass declared in Variable
GlobalOrNamespaceVariableclass declared in QualifiedName
GlobalUseBeforeInitquery module
GlobalValueNumberingmodule
GlobalVariableclass declared in Variable
GlobalVariablecharacteristic predicate declared in GlobalVariable
GlvalueConversionclass declared in Cast
GlvalueConversioncharacteristic predicate declared in GlvalueConversion
GnuAttributeclass declared in Specifier
GotoEdgeclass declared in EdgeKind
GotoStmtclass declared in Stmt
Graphmodule declared in DominanceInternal
Graphmodule declared in ReachableBlock
Graphmodule declared in DominanceInternal
Graphmodule declared in ReachableBlock
Greaterinjector declared in RangeAnalysisUtils
Greatertype declared in RangeAnalysisUtils
GuardConditionclass declared in Guards
GuardConditionclass declared in IRGuards
GuardConditioncharacteristic predicate declared in GuardCondition
GuardConditioncharacteristic predicate declared in GuardCondition
GuardedSsaclass declared in Guards
Guardsmodule
gcdprimitive predicate declared in int
generatedBymember predicate declared in DataflowAnnotation
generatedBymember predicate declared in NullnessAnnotation
generatedCopyAssignmentpredicate declared in RuleOfTwo
generatedCopyConstructorpredicate declared in RuleOfTwo
generatedFilepredicate declared in ExcludeGeneratedCode
generatedOnmember predicate declared in DataflowAnnotation
generatedOnmember predicate declared in NullnessAnnotation
getABannedProtocolConstantmember predicate declared in BoostorgAsio::SslContextMethod
getABaseClassmember predicate declared in Class
getABaseClassByteOffsetmember predicate declared in Class
getABlockmember predicate declared in IRFunction
getABlockmember predicate declared in IRFunction
getABlockmember predicate declared in IRFunction
getAByteOffsetInmember predicate declared in Field
getACallToThisFunctionmember predicate declared in Function
getACanonicalMembermember predicate declared in Class
getACanonicalMemberFunctionmember predicate declared in Class
getACanonicalMemberVariablemember predicate declared in Class
getACapturemember predicate declared in LambdaExpression
getACaseSuccessormember predicate declared in SwitchInstruction
getACaseSuccessormember predicate declared in SwitchInstruction
getACaseSuccessormember predicate declared in SwitchInstruction
getACatchClausemember predicate declared in TryStmt
getACharactersSetmember predicate declared in XMLParent
getAChildmember predicate declared in Expr
getAChildmember predicate declared in Stmt
getAChildmember predicate declared in TranslatedElement
getAChildmember predicate declared in PrintASTNode
getAChildmember predicate declared in XMLParent
getAChildmember predicate declared in XMLParent
getAChildContainermember predicate declared in Container
getAChildNamespacemember predicate declared in Namespace
getAChildNamespacemember predicate declared in GlobalNamespace
getAClassmember predicate declared in LinkTarget
getAClassmember predicate declared in UMLPackage
getAClassDependencymember predicate declared in MetricClass
getACommentmember predicate declared in XMLParent
getACommitmember predicate declared in Author
getAConditionallyInitializedArgumentpredicate declared in InitializationFunctions
getAConditionallyInitializedArgumentmember predicate declared in ConditionalInitializationCall
getAConditionallyInitializedVariablemember predicate declared in ConditionalInitializationCall
getAConstraintmember predicate declared in UMLElement
getAConstructormember predicate declared in Class
getAContextmember predicate declared in InitializationFunction
getAContructorCallmember predicate declared in BoostorgAsio::SslContextClass
getADTDmember predicate declared in XMLFile
getADeclarationmember predicate declared in Namespace
getADeclarationmember predicate declared in Block
getADeclarationmember predicate declared in ControlStructure
getADeclarationmember predicate declared in ForStmt
getADeclarationmember predicate declared in DeclStmt
getADeclarationmember predicate declared in Class
getADeclarationmember predicate declared in UserType
getADeclarationmember predicate declared in Function
getADeclarationmember predicate declared in File
getADeclarationmember predicate declared in Namespace
getADeclarationmember predicate declared in GlobalNamespace
getADeclarationEntrymember predicate declared in Variable
getADeclarationEntrymember predicate declared in Variable
getADeclarationEntrymember predicate declared in DeclStmt
getADeclarationEntrymember predicate declared in UserType
getADeclarationEntrymember predicate declared in Function
getADeclarationEntrymember predicate declared in Declaration
getADeclarationEntrymember predicate declared in Namespace
getADeclarationLocationmember predicate declared in Variable
getADeclarationLocationmember predicate declared in EnumConstant
getADeclarationLocationmember predicate declared in FriendDecl
getADeclarationLocationmember predicate declared in UserType
getADeclarationLocationmember predicate declared in Function
getADeclarationLocationmember predicate declared in Property
getADeclarationLocationmember predicate declared in Declaration
getADecrementpredicate declared in LoopBounds
getADecrementpredicate declared in BoundedLoopIterations
getADeleteExprmember predicate declared in ReferenceCopyAssignmentOperator
getADependentElementmember predicate declared in Symbol
getADepthmember predicate declared in MetricClass
getADerivationmember predicate