Index

A

ASTDataFlowmodule declared in ImportAdditionalLibraries
ASTNodeclass declared in PrintAST
ASTNodecharacteristic predicate declared in PrintAST::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 Class::AbstractClass
AbstractNamespacesquery module
Accessclass declared in Access
Accessmodule
AccessHolderclass declared in Declaration
AccessSpecifierclass declared in Specifier
AccessSpecifiercharacteristic predicate declared in Specifier::AccessSpecifier
AccidentalRethrowquery module
Addclass declared in Opcode::Opcode
AddExprclass declared in ArithmeticOperation
AddInstructionclass declared in Instruction
AddInstructioncharacteristic predicate declared in Instruction::AddInstruction
AddInstructionclass declared in Instruction
AddInstructioncharacteristic predicate declared in Instruction::AddInstruction
AddInstructionclass declared in Instruction
AddInstructioncharacteristic predicate declared in Instruction::AddInstruction
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 EmptyBlock::AffectedFile
AffectedFileclass declared in EmptyBlock
AggregateLiteralclass declared in Literal
AlertSuppressionquery module
Aliasmodule
AliasAnalysismodule
AliasAnalysismodule
AliasAnalysisInternalmodule
AliasAnalysisInternalmodule
AliasFunctionclass declared in Alias
AliasedDefinitionclass declared in Opcode::Opcode
AliasedDefinitionInstructionclass declared in Instruction
AliasedDefinitionInstructioncharacteristic predicate declared in Instruction::AliasedDefinitionInstruction
AliasedDefinitionInstructionclass declared in Instruction
AliasedDefinitionInstructioncharacteristic predicate declared in Instruction::AliasedDefinitionInstruction
AliasedDefinitionInstructionclass declared in Instruction
AliasedDefinitionInstructioncharacteristic predicate declared in Instruction::AliasedDefinitionInstruction
AliasedDefinitionTaginjector declared in InstructionTag
AliasedDefinitionTagtype declared in InstructionTag
AliasedSSAmodule
AlignAsclass declared in Specifier
AlignofExprOperatorclass declared in Cast
AlignofExprOperatorcharacteristic predicate declared in Cast::AlignofExprOperator
AlignofOperatorclass declared in Cast
AlignofTypeOperatorclass declared in Cast
AlignofTypeOperatorcharacteristic predicate declared in Cast::AlignofTypeOperator
Allocmodule
AllocReachabilityclass declared in MemoryMayNotBeFreed
AllocReachabilitycharacteristic predicate declared in MemoryMayNotBeFreed::AllocReachability
AllocVariableReachabilityclass declared in MemoryMayNotBeFreed
AllocVariableReachabilitycharacteristic predicate declared in MemoryMayNotBeFreed::AllocVariableReachability
AllocaCallcharacteristic predicate declared in AllocaInLoop::AllocaCall
AllocaCallclass declared in AllocaInLoop
AllocaInLoopquery module
Allocationcharacteristic predicate declared in HeapMemory::Allocation
Allocationclass declared in HeapMemory
Allocationcharacteristic predicate declared in DynamicAllocAfterInit::Allocation
Allocationclass declared in DynamicAllocAfterInit
Allocationclass declared in SizeCheck
Allocationclass declared in SizeCheck2
Allocationcharacteristic predicate declared in SizeCheck::Allocation
Allocationcharacteristic predicate declared in SizeCheck2::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
AlwaysTrueUponEntryLoopcharacteristic predicate declared in FlowVar::FlowVar_internal::AlwaysTrueUponEntryLoop
AlwaysTrueUponEntryLoopclass declared in FlowVar::FlowVar_internal
AmbiguouslySignedBitFieldquery module
AnalysedExprclass declared in Nullness
AnalysedStringclass declared in StringAnalysis
AnalysedStringcharacteristic predicate declared in StringAnalysis::AnalysedString
AnyCharArrayTypecharacteristic predicate declared in DangerousUseOfCin::AnyCharArrayType
AnyCharArrayTypeclass declared in DangerousUseOfCin
AnyCharPointerTypecharacteristic predicate declared in DangerousUseOfCin::AnyCharPointerType
AnyCharPointerTypeclass declared in DangerousUseOfCin
AnyStdStringTypecharacteristic predicate declared in DangerousUseOfCin::AnyStdStringType
AnyStdStringTypeclass declared in DangerousUseOfCin
Architecturecharacteristic predicate declared in Padding::Architecture
Architectureclass declared in Padding
ArgumentNodecharacteristic predicate declared in DataFlowPrivate::ArgumentNode
ArgumentNodeclass declared in DataFlowPrivate
ArgumentNodecharacteristic predicate declared in DataFlowPrivate::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 Cast::ArithmeticConversion
ArithmeticInstructionclass declared in Instruction
ArithmeticInstructioncharacteristic predicate declared in Instruction::ArithmeticInstruction
ArithmeticInstructionclass declared in Instruction
ArithmeticInstructioncharacteristic predicate declared in Instruction::ArithmeticInstruction
ArithmeticInstructionclass declared in Instruction
ArithmeticInstructioncharacteristic predicate declared in Instruction::ArithmeticInstruction
ArithmeticOpcodeclass declared in Opcode
ArithmeticOperationmodule
ArithmeticTaintedquery module
ArithmeticTypeclass declared in Type
ArithmeticTypecharacteristic predicate declared in Type::ArithmeticType
ArithmeticUncontrolledquery module
ArithmeticWithExtremeValuesquery module
ArrayAggregateLiteralclass declared in Literal
ArrayAggregateLiteralcharacteristic predicate declared in Literal::ArrayAggregateLiteral
ArrayAggregateLiteralNodeclass declared in PrintAST
ArrayAggregateLiteralNodecharacteristic predicate declared in PrintAST::ArrayAggregateLiteralNode
ArrayArgSizeMismatchquery module
ArrayExecFunctionCallclass declared in CommandExecution
ArrayExecFunctionCallcharacteristic predicate declared in CommandExecution::ArrayExecFunctionCall
ArrayExprclass declared in Access
ArrayExprBAclass declared in BufferAccess
ArrayExprBAcharacteristic predicate declared in BufferAccess::ArrayExprBA
ArrayFunctionclass declared in ArrayFunction
ArrayFunctionmodule
ArrayLiteralclass declared in ObjectiveC
ArrayLiteralcharacteristic predicate declared in ObjectiveC::ArrayLiteral
ArrayToPointerConversionclass declared in Cast
ArrayTypeclass declared in Type
ArrayTypecharacteristic predicate declared in Type::ArrayType
AsmInputTaginjector declared in InstructionTag
AsmInputTagtype declared in InstructionTag
AsmOperandTagclass declared in OperandTag
AsmOperandTagcharacteristic predicate declared in OperandTag::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 ObjectiveC::AtEncodeExpr
AtExprclass declared in ObjectiveC
AtExprcharacteristic predicate declared in ObjectiveC::AtExpr
AtProtocolExprclass declared in ObjectiveC
AtProtocolExprcharacteristic predicate declared in ObjectiveC::AtProtocolExpr
AtSelectorExprclass declared in ObjectiveC
AtSelectorExprcharacteristic predicate declared in ObjectiveC::AtSelectorExpr
Attributeclass declared in Specifier
AttributeArgumentclass declared in Specifier
AttributeFormattingFunctionclass declared in Printf
AttributeFormattingFunctioncharacteristic predicate declared in Printf::AttributeFormattingFunction
AuthenticationBypassquery module
Authorcharacteristic predicate declared in VCS::Author
Authorclass declared in VCS
AutoReleasePoolStmtclass declared in ObjectiveC
AutoReleasePoolStmtcharacteristic predicate declared in ObjectiveC::AutoReleasePoolStmt
AutoTypeclass declared in Type
AutoTypecharacteristic predicate declared in Type::AutoType
AutogeneratedFilemodule
AutogeneratedFilecharacteristic predicate declared in AutogeneratedFile::AutogeneratedFile
AutogeneratedFileclass declared in AutogeneratedFile
AutogeneratedLOCquery module
AvoidConditionalCompilationquery module
AvoidNestedSemaphoresquery module
AvoidSemaphoresquery module
absprimitive predicate declared in int
absprimitive predicate declared in float
acceptableVolatilepredicate declared in AV Rule 205
accessCheckpredicate declared in TOCTOUFilesystemRace
accessInDirectDerivedmember predicate declared in Specifier::AccessSpecifier
accessInInitOfForStmtpredicate declared in ExprHasNoEffect
accessOfBaseMembermember predicate declared in Class::Class
accessOfBaseMembermember predicate declared in Class::Class
accessesmember predicate declared in Function::Function
accessesmember predicate declared in Function::Function
accessesLocalFieldmember predicate declared in MetricClass::MetricClass
acosprimitive predicate declared in int
acosprimitive predicate declared in float
acquireExprpredicate declared in AV Rule 79
acquisitionWithRequiredKindmember predicate declared in AV Rule 79::Resource
addpredicate declared in IntegerConstant
addpredicate declared in IntegerPartial
addWithSizeofpredicate declared in IncorrectPointerScalingCommon
addressConstantExpressionpredicate declared in AddressConstantExpression
addressLeakpredicate declared in DeadCodeCondition
addressOperandpredicate declared in OperandTag
affectedByMacropredicate declared in Macro
affectedbymacroexpansiontable
afterArrayAccesspredicate declared in OffsetUseBeforeRangeCheck
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 Padding::Architecture
allCallspredicate declared in CallGraph
allCharactersStringmember predicate declared in XML::XMLParent
allReadsDominatedByOverwritepredicate declared in FlowVar::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 Padding::Architecture
allowHeterogeneousBitfieldsmember predicate declared in Padding::UnixArchitecture
allowHeterogeneousBitfieldsmember predicate declared in Padding::WindowsArchitecture
allowVariableWithoutInitializermember predicate declared in ConstantExprs::ExprEvaluator
allowVariableWithoutInitializermember predicate declared in ConstantExprs::ForLoopEntryConditionEvaluator
allowedpredicate declared in AV Rule 176
allowedTypedefspredicate declared in BasicIntTypes
alwaysAssignsBeforeLeavingConditionmember predicate declared in FlowVar::FlowVar_internal::AlwaysTrueUponEntryLoop
alwaysCheckReturnValuepredicate declared in Options
alwaysCheckReturnValuemember predicate declared in Options::CustomOptions
alwaysCheckReturnValuemember predicate declared in DefaultOptions::Options
ambiguousSuccessorspredicate declared in Instruction::InstructionSanity
ambiguousSuccessorspredicate declared in Instruction::InstructionSanity
ambiguousSuccessorspredicate declared in Instruction::InstructionSanity
analyzableExprpredicate declared in HashCons
ancestorScopepredicate declared in Shadowing
annotationfield declared in AlertSuppression::SuppressionComment
anythingPointsTopredicate declared in PointsTo
argIndexfield declared in OperandTag::PositionalArgumentOperandTag
argIndexfield declared in Operand::PositionalArgumentOperand
argIndexfield declared in Operand::PositionalArgumentOperand
argIndexfield declared in Operand::PositionalArgumentOperand
argMayBeUsedpredicate declared in MistypedFunctionArguments
argTypeMayBeUsedpredicate declared in MistypedFunctionArguments
argumentfield declared in DataFlowUtil::DefinitionByReferenceNode
argumentOfmember predicate declared in DataFlowPrivate::ArgumentNode
argumentOfmember predicate declared in DataFlowPrivate::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 Literal::ArrayAggregateLiteral
arraysizestable
artificialChangepredicate declared in VCS
asConvertedExprmember predicate declared in DataFlowUtil::Node
asDefiningArgumentmember predicate declared in DataFlowUtil::Node
asExprmember predicate declared in DataFlowUtil::Node
asExprmember predicate declared in DataFlowUtil::Node
asParametermember predicate declared in DataFlowUtil::Node
asParametermember predicate declared in DataFlowUtil::Node
asUninitializedmember predicate declared in DataFlowUtil::Node
asUninitializedmember predicate declared in DataFlowUtil::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 Dataflow::DataflowAnnotation
assignedToFieldOrGlobalpredicate declared in MemoryMayNotBeFreed
assignedToFieldOrGlobalpredicate declared in DescriptorMayNotBeClosed
assignedToFieldOrGlobalpredicate declared in FileMayNotBeClosed
assignedValueForVariableAndQualifierpredicate declared in InconsistentCheckReturnNull
assignedVariablemember predicate declared in LoopBounds::ZeroAssignment
assignmentLikeOperationpredicate declared in FlowVar::FlowVar_internal
astfield declared in TranslatedInitialization::TranslatedFieldInitialization
astfield declared in IRVariable::IRTempVariable
astfield declared in IRVariable::IRTempVariable
astfield declared in IRVariable::IRTempVariable
astfield declared in PrintAST::ASTNode
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 BufferAccess::BCopyBA
BadAdditionOverflowCheckquery module
BadAdditionOverflowCheckmodule
BadCheckOddquery module
BadIncludeGuardclass declared in MultipleInclusion
BadlyBoundedWritequery module
BaseClassConversionclass declared in Cast
BaseClassConversioncharacteristic predicate declared in Cast::BaseClassConversion
BasicBlockclass declared in BasicBlocks
BasicBlockcharacteristic predicate declared in BasicBlocks::BasicBlock
BasicBlockWithReturncharacteristic predicate declared in LockFlow::BasicBlockWithReturn
BasicBlockWithReturnclass declared in LockFlow
BasicBlocksmodule
BasicIntTypesquery module
BasicOStreamCallclass declared in FileWrite
BasicOStreamCallcharacteristic predicate declared in FileWrite::BasicOStreamCall
BasicOStreamClasscharacteristic predicate declared in FileWrite::BasicOStreamClass
BasicOStreamClassclass declared in FileWrite
BigThreecharacteristic predicate declared in RuleOfThree::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 Instruction::BinaryInstruction
BinaryInstructionclass declared in Instruction
BinaryInstructioncharacteristic predicate declared in Instruction::BinaryInstruction
BinaryInstructionclass declared in Instruction
BinaryInstructioncharacteristic predicate declared in Instruction::BinaryInstruction
BinaryLogicalOperationclass declared in LogicalOperation
BinaryOpcodeclass declared in Opcode
BinaryOperationclass declared in Expr
BitAndclass declared in Opcode::Opcode
BitAndInstructionclass declared in Instruction
BitAndInstructioncharacteristic predicate declared in Instruction::BitAndInstruction
BitAndInstructionclass declared in Instruction
BitAndInstructioncharacteristic predicate declared in Instruction::BitAndInstruction
BitAndInstructionclass declared in Instruction
BitAndInstructioncharacteristic predicate declared in Instruction::BitAndInstruction
BitComplementclass declared in Opcode::Opcode
BitComplementInstructionclass declared in Instruction
BitComplementInstructioncharacteristic predicate declared in Instruction::BitComplementInstruction
BitComplementInstructionclass declared in Instruction
BitComplementInstructioncharacteristic predicate declared in Instruction::BitComplementInstruction
BitComplementInstructionclass declared in Instruction
BitComplementInstructioncharacteristic predicate declared in Instruction::BitComplementInstruction
BitFieldclass declared in Field
BitFieldcharacteristic predicate declared in Field::BitField
BitOrclass declared in Opcode::Opcode
BitOrInstructionclass declared in Instruction
BitOrInstructioncharacteristic predicate declared in Instruction::BitOrInstruction
BitOrInstructionclass declared in Instruction
BitOrInstructioncharacteristic predicate declared in Instruction::BitOrInstruction
BitOrInstructionclass declared in Instruction
BitOrInstructioncharacteristic predicate declared in Instruction::BitOrInstruction
BitXorclass declared in Opcode::Opcode
BitXorInstructionclass declared in Instruction
BitXorInstructioncharacteristic predicate declared in Instruction::BitXorInstruction
BitXorInstructionclass declared in Instruction
BitXorInstructioncharacteristic predicate declared in Instruction::BitXorInstruction
BitXorInstructionclass declared in Instruction
BitXorInstructioncharacteristic predicate declared in Instruction::BitXorInstruction
BitwiseAndExprclass declared in BitwiseOperation
BitwiseInstructionclass declared in Instruction
BitwiseInstructioncharacteristic predicate declared in Instruction::BitwiseInstruction
BitwiseInstructionclass declared in Instruction
BitwiseInstructioncharacteristic predicate declared in Instruction::BitwiseInstruction
BitwiseInstructionclass declared in Instruction
BitwiseInstructioncharacteristic predicate declared in Instruction::BitwiseInstruction
BitwiseOpcodeclass declared in Opcode
BitwiseOperationcharacteristic predicate declared in BoolValueInBitOp::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 Expr::BlockExpr
BlockExprclass declared in Expr
BlockOrNonChildcharacteristic predicate declared in EmptyBlock::BlockOrNonChild
BlockOrNonChildclass declared in EmptyBlock
BlockTypeclass declared in Type
BlockTypecharacteristic predicate declared in Type::BlockType
BlockVarclass declared in FlowVar::FlowVar_internal
BlockVarcharacteristic predicate declared in FlowVar::FlowVar_internal::BlockVar
BlockWithTooManyStatementsquery module
BoolConversionclass declared in Cast
BoolConversioncharacteristic predicate declared in Cast::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 Type::BoolType
BoolValueInBitOpquery module
BooleanControllingAssignmentclass declared in AssignWhereCompareMeant
BooleanControllingAssignmentInExprclass declared in AssignWhereCompareMeant
BooleanControllingAssignmentInExprcharacteristic predicate declared in AssignWhereCompareMeant::BooleanControllingAssignmentInExpr
BooleanControllingAssignmentInStmtclass declared in AssignWhereCompareMeant
BooleanControllingAssignmentInStmtcharacteristic predicate declared in AssignWhereCompareMeant::BooleanControllingAssignmentInStmt
BooleanExpressioncharacteristic predicate declared in NoBooleanSideEffects::BooleanExpression
BooleanExpressionclass declared in NoBooleanSideEffects
Boundclass declared in Bound
Boundmodule
BoundedLoopIterationsquery module
BreakStmtclass declared in Stmt
BrokenCryptoAlgorithmquery module
Buffermodule
Buffermodule
BufferAccessclass declared in OverflowStatic
BufferAccessclass declared in BufferAccess
BufferAccessmodule
BufferAccesscharacteristic predicate declared in OverflowStatic::BufferAccess
BufferAccessOpcodeclass declared in Opcode
BufferMayMemoryAccessclass declared in MemoryAccessKind
BufferMayWriteSideEffectclass declared in Opcode::Opcode
BufferMayWriteSideEffectInstructionclass declared in Instruction
BufferMayWriteSideEffectInstructioncharacteristic predicate declared in Instruction::BufferMayWriteSideEffectInstruction
BufferMayWriteSideEffectInstructionclass declared in Instruction
BufferMayWriteSideEffectInstructioncharacteristic predicate declared in Instruction::BufferMayWriteSideEffectInstruction
BufferMayWriteSideEffectInstructionclass declared in Instruction
BufferMayWriteSideEffectInstructioncharacteristic predicate declared in Instruction::BufferMayWriteSideEffectInstruction
BufferMemoryAccessclass declared in MemoryAccessKind
BufferReadSideEffectclass declared in Opcode::Opcode
BufferReadSideEffectInstructionclass declared in Instruction
BufferReadSideEffectInstructioncharacteristic predicate declared in Instruction::BufferReadSideEffectInstruction
BufferReadSideEffectInstructionclass declared in Instruction
BufferReadSideEffectInstructioncharacteristic predicate declared in Instruction::BufferReadSideEffectInstruction
BufferReadSideEffectInstructionclass declared in Instruction
BufferReadSideEffectInstructioncharacteristic predicate declared in Instruction::BufferReadSideEffectInstruction
BufferSizeExprcharacteristic predicate declared in Buffer::BufferSizeExpr
BufferSizeExprclass declared in Buffer
BufferSizeOperandclass declared in OperandTag
BufferWriteclass declared in BufferWrite
BufferWritemodule
BufferWriteCallclass declared in BufferWrite
BufferWriteSideEffectclass declared in Opcode::Opcode
BufferWriteSideEffectInstructionclass declared in Instruction
BufferWriteSideEffectInstructioncharacteristic predicate declared in Instruction::BufferWriteSideEffectInstruction
BufferWriteSideEffectInstructionclass declared in Instruction
BufferWriteSideEffectInstructioncharacteristic predicate declared in Instruction::BufferWriteSideEffectInstruction
BufferWriteSideEffectInstructionclass declared in Instruction
BufferWriteSideEffectInstructioncharacteristic predicate declared in Instruction::BufferWriteSideEffectInstruction
BuiltInChooseExprclass declared in BuiltInOperations
BuiltInFunctionclass declared in Function
BuiltInFunctioncharacteristic predicate declared in Function::BuiltInFunction
BuiltInInstructionclass declared in Instruction
BuiltInInstructioncharacteristic predicate declared in Instruction::BuiltInInstruction
BuiltInInstructionclass declared in Instruction
BuiltInInstructioncharacteristic predicate declared in Instruction::BuiltInInstruction
BuiltInInstructionclass declared in Instruction
BuiltInInstructioncharacteristic predicate declared in Instruction::BuiltInInstruction
BuiltInIntAddrclass declared in BuiltInOperations
BuiltInNoOpclass declared in BuiltInOperations
BuiltInOpcodeclass declared in Opcode
BuiltInOperationclass declared in BuiltInOperations
BuiltInOperationBuiltInAddressOfclass declared in BuiltInOperations
BuiltInOperationBuiltInConvertVectorclass declared in BuiltInOperations
BuiltInOperationBuiltInShuffleVectorclass declared in BuiltInOperations
BuiltInOperationBuiltInTypesclass 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
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
BuiltInOperationOffsetOfclass declared in BuiltInOperations
BuiltInOperationsmodule
BuiltInTypeclass declared in Type
BuiltInVarArgclass declared in BuiltInOperations
BuiltInVarArgCopyclass declared in BuiltInOperations
BuiltInVarArgsEndclass declared in BuiltInOperations
BuiltInVarArgsStartclass declared in BuiltInOperations
BumpMetricBy10query module
backEdgepredicate declared in RangeUtils
backEdgeCountMismatchpredicate declared in Instruction::InstructionSanity
backEdgeCountMismatchpredicate declared in Instruction::InstructionSanity
backEdgeCountMismatchpredicate declared in Instruction::InstructionSanity
badAdditionOverflowCheckpredicate declared in BadAdditionOverflowCheck
badCallpredicate declared in AV Rule 71
badConversionpredicate declared in AV Rule 184
badIncludeLinepredicate declared in IncludesFirst
badReleasepredicate declared in AV Rule 79
baseCallpredicate declared in ExprHasNoEffect
baseClassfield declared in Instruction::InheritanceConversionInstruction
baseClassfield declared in Instruction::InheritanceConversionInstruction
baseClassfield declared in Instruction::InheritanceConversionInstruction
baseClassEndmember predicate declared in Padding::PaddedType
baseClassSizemember predicate declared in Padding::Architecture
baseClassSizemember predicate declared in Padding::UnixArchitecture
baseClassSizemember predicate declared in Padding::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
bbNotInLoopmember predicate declared in FlowVar::FlowVar_internal::AlwaysTrueUponEntryLoop
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 Padding::PaddedType
biggestFieldSizeUpTomember predicate declared in Padding::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 Padding::Architecture
bitXorprimitive predicate declared in int
bitfieldtable
bitsToBytesAndBitspredicate declared in AliasAnalysis
bitsToBytesAndBitspredicate declared in AliasAnalysis
blamemember predicate declared in MultipleInclusion::BadIncludeGuard
blamemember predicate declared in MultipleInclusion::PragmaOnceIncludeGuard
blockfield declared in PrintIR::PrintableIRBlock
blockfield declared in PrintIR::PrintableIRBlock
blockfield declared in PrintIR::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 ReachableBlock::Graph
blockSuccessorpredicate declared in ReachableBlock::Graph
blockVarDefinedByReferencepredicate declared in FlowVar::FlowVar_internal
blockVarDefinedByVariablepredicate declared in FlowVar::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 IRGuards::IRGuardCondition
breaksFromNestedLoopsmember predicate declared in Stmt::GotoStmt
buffermember predicate declared in OverflowStatic::BufferAccess
buffermember predicate declared in OverflowStatic::CallWithBufferSize
bufferAndSizeFunctionpredicate declared in OverflowStatic
bufferSizemember predicate declared in OverflowStatic::BufferAccess
builtintypestable

C

CAfferentCouplingquery module
CEfferentCouplingquery module
CFGmodule
CFileclass declared in File
CFilecharacteristic predicate declared in File::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 Comments::CStyleComment
Callclass declared in Call
Callmodule
Callclass declared in Opcode::Opcode
CallContextclass declared in DataFlowImplCommon
CallContextclass declared in DataFlowImplCommon
CallContextAnyclass declared in DataFlowImplCommon
CallContextAnyclass declared in DataFlowImplCommon
CallContextCallclass declared in DataFlowImplCommon
CallContextCallclass declared in DataFlowImplCommon
CallContextReturnclass declared in DataFlowImplCommon
CallContextReturnclass declared in DataFlowImplCommon
CallContextSomeCallclass declared in DataFlowImplCommon
CallContextSomeCallclass declared in DataFlowImplCommon
CallContextSpecificCallclass declared in DataFlowImplCommon
CallContextSpecificCallclass declared in DataFlowImplCommon
CallGraphmodule
CallInstructionclass declared in Instruction
CallInstructionclass declared in Instruction
CallInstructioncharacteristic predicate declared in Instruction::CallInstruction
CallInstructionclass declared in Instruction
CallInstructioncharacteristic predicate declared in Instruction::CallInstruction
CallInstructioncharacteristic predicate declared in Instruction::CallInstruction
CallReadSideEffectclass declared in Opcode::Opcode
CallReadSideEffectInstructionclass declared in Instruction
CallReadSideEffectInstructioncharacteristic predicate declared in Instruction::CallReadSideEffectInstruction
CallReadSideEffectInstructionclass declared in Instruction
CallReadSideEffectInstructioncharacteristic predicate declared in Instruction::CallReadSideEffectInstruction
CallReadSideEffectInstructionclass declared in Instruction
CallReadSideEffectInstructioncharacteristic predicate declared in Instruction::CallReadSideEffectInstruction
CallSideEffectclass declared in Opcode::Opcode
CallSideEffectInstructionclass declared in Instruction
CallSideEffectInstructioncharacteristic predicate declared in Instruction::CallSideEffectInstruction
CallSideEffectInstructionclass declared in Instruction
CallSideEffectInstructioncharacteristic predicate declared in Instruction::CallSideEffectInstruction
CallSideEffectInstructionclass declared in Instruction
CallSideEffectInstructioncharacteristic predicate declared in Instruction::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 OverflowStatic::CallWithBufferSize
CallWithNullSALquery module
CallableDisplayStringsquery module
CallableExtentsquery module
CallableSourceLinksquery module
CandidateParametercharacteristic predicate declared in SuspiciousSizeof::CandidateParameter
CandidateParameterclass declared in SuspiciousSizeof
CaptionedCommentsmodule
CaseEdgeclass declared in EdgeKind
CaseEdgecharacteristic predicate declared in EdgeKind::CaseEdge
Castclass declared in Cast
Castmodule
CastArrayPointerArithmeticquery module
CastNodecharacteristic predicate declared in DataFlowPrivate::CastNode
CastNodeclass declared in DataFlowPrivate
CastNodecharacteristic predicate declared in DataFlowPrivate::CastNode
CastNodeclass declared in DataFlowPrivate
CastNodeclass declared in PrintAST
CastNodecharacteristic predicate declared in PrintAST::CastNode
CastSanitymodule declared in Cast
CastToPointerArithFlowcharacteristic predicate declared in CastArrayPointerArithmetic::CastToPointerArithFlow
CastToPointerArithFlowclass declared in CastArrayPointerArithmetic
CatchAnyclass declared in Opcode::Opcode
CatchAnyBlockclass declared in Stmt
CatchAnyBlockcharacteristic predicate declared in Stmt::CatchAnyBlock
CatchAnyInstructionclass declared in Instruction
CatchAnyInstructioncharacteristic predicate declared in Instruction::CatchAnyInstruction
CatchAnyInstructionclass declared in Instruction
CatchAnyInstructioncharacteristic predicate declared in Instruction::CatchAnyInstruction
CatchAnyInstructionclass declared in Instruction
CatchAnyInstructioncharacteristic predicate declared in Instruction::CatchAnyInstruction
CatchBlockclass declared in Stmt
CatchBlockcharacteristic predicate declared in Stmt::CatchBlock
CatchByTypeclass declared in Opcode::Opcode
CatchByTypeInstructionclass declared in Instruction
CatchByTypeInstructioncharacteristic predicate declared in Instruction::CatchByTypeInstruction
CatchByTypeInstructionclass declared in Instruction
CatchByTypeInstructioncharacteristic predicate declared in Instruction::CatchByTypeInstruction
CatchByTypeInstructionclass declared in Instruction
CatchByTypeInstructioncharacteristic predicate declared in Instruction::CatchByTypeInstruction
CatchInstructionclass declared in Instruction
CatchInstructioncharacteristic predicate declared in Instruction::CatchInstruction
CatchInstructionclass declared in Instruction
CatchInstructioncharacteristic predicate declared in Instruction::CatchInstruction
CatchInstructionclass declared in Instruction
CatchInstructioncharacteristic predicate declared in Instruction::CatchInstruction
CatchOpcodeclass declared in Opcode
CatchTaginjector declared in InstructionTag
CatchTagtype declared in InstructionTag
CatchingByValuequery module
Categoryclass declared in ObjectiveC
Categorycharacteristic predicate declared in ObjectiveC::Category
CgiXssquery module
ChainedInputclass declared in DangerousUseOfCin
ChainedInputcharacteristic predicate declared in DangerousUseOfCin::ChainedInput
ChainedOutputCallclass declared in FileWrite
Char16Typeclass declared in Type
Char16Typecharacteristic predicate declared in Type::Char16Type
Char32Typeclass declared in Type
Char32Typecharacteristic predicate declared in Type::Char32Type
CharLiteralclass declared in Literal
CharLiteralcharacteristic predicate declared in Literal::CharLiteral
CharPointerTypeclass declared in CommonType
CharPointerTypecharacteristic predicate declared in CommonType::CharPointerType
CharTypeclass declared in Type
CheckArgumentsquery module
CheckReturnValuesquery module
CheckedConvertOrNullclass declared in Opcode::Opcode
CheckedConvertOrThrowclass declared in Opcode::Opcode
CheckingParameterValuesquery module
CheckingReturnValuesquery module
Chiclass declared in Opcode::Opcode
ChiInstructionclass declared in Instruction
ChiInstructioncharacteristic predicate declared in Instruction::ChiInstruction
ChiInstructionclass declared in Instruction
ChiInstructioncharacteristic predicate declared in Instruction::ChiInstruction
ChiInstructionclass declared in Instruction
ChiInstructioncharacteristic predicate declared in Instruction::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 DangerousUseOfCin::CinAccess
CinVariablecharacteristic predicate declared in DangerousUseOfCin::CinVariable
CinVariableclass declared in DangerousUseOfCin
Classclass declared in Class
Classmodule
Classcharacteristic predicate declared in Class::Class
ClassAggregateLiteralclass declared in Literal
ClassAggregateLiteralcharacteristic predicate declared in Literal::ClassAggregateLiteral
ClassAggregateLiteralNodeclass declared in PrintAST
ClassAggregateLiteralNodecharacteristic predicate declared in PrintAST::ClassAggregateLiteralNode
ClassDerivationclass declared in Class
ClassExtensionclass declared in ObjectiveC
ClassExtensioncharacteristic predicate declared in ObjectiveC::ClassExtension
ClassHierarchiesquery module
ClassMessageExprclass declared in ObjectiveC
ClassMessageExprcharacteristic predicate declared in ObjectiveC::ClassMessageExpr
ClassTemplateInstantiationclass declared in Class
ClassTemplateInstantiationcharacteristic predicate declared in Class::ClassTemplateInstantiation
ClassTemplateSpecializationclass declared in Class
ClassesWithManyDependenciesquery module
ClassesWithManyFieldsquery module
ClassicForLoopclass declared in LoopBounds
ClassicForLoopcharacteristic predicate declared in LoopBounds::ClassicForLoop
ClassifyFilesquery module
Cleanup-DuplicateIncludeGuardquery module
CleartextBufferWritequery module
CleartextFileWritequery module
CleartextSqliteDatabasequery module
ClosedExprclass declared in FileClosed
ClosedExprclass declared in DescriptorNeverClosed
ClosedExprcharacteristic predicate declared in FileClosed::ClosedExpr
ClosedExprcharacteristic predicate declared in DescriptorNeverClosed::ClosedExpr
Closurecharacteristic predicate declared in Lambda::Closure
Closureclass declared in Lambda
CmdExprclass declared in ObjectiveC
CmdExprcharacteristic predicate declared in ObjectiveC::CmdExpr
CodeDuplicationmodule
CommaExprclass declared in Expr
CommandExecutionmodule
Commentclass declared in Comments
CommentBlockcharacteristic predicate declared in CommentedOutCode::CommentBlock
CommentBlockclass declared in CommentedOutCode
CommentedOutCodequery module
CommentedOutCodemodule
CommentedOutCodeclass declared in CommentedOutCode
CommentedOutCodecharacteristic predicate declared in CommentedOutCode::CommentedOutCode
Commentsmodule
Commitclass declared in VCS
Commitcharacteristic predicate declared in VCS::Commit
CommonTypemodule
CompareEQclass declared in Opcode::Opcode
CompareEQInstructionclass declared in Instruction
CompareEQInstructioncharacteristic predicate declared in Instruction::CompareEQInstruction
CompareEQInstructionclass declared in Instruction
CompareEQInstructioncharacteristic predicate declared in Instruction::CompareEQInstruction
CompareEQInstructionclass declared in Instruction
CompareEQInstructioncharacteristic predicate declared in Instruction::CompareEQInstruction
CompareGEclass declared in Opcode::Opcode
CompareGEInstructionclass declared in Instruction
CompareGEInstructioncharacteristic predicate declared in Instruction::CompareGEInstruction
CompareGEInstructionclass declared in Instruction
CompareGEInstructioncharacteristic predicate declared in Instruction::CompareGEInstruction
CompareGEInstructionclass declared in Instruction
CompareGEInstructioncharacteristic predicate declared in Instruction::CompareGEInstruction
CompareGTclass declared in Opcode::Opcode
CompareGTInstructionclass declared in Instruction
CompareGTInstructioncharacteristic predicate declared in Instruction::CompareGTInstruction
CompareGTInstructionclass declared in Instruction
CompareGTInstructioncharacteristic predicate declared in Instruction::CompareGTInstruction
CompareGTInstructionclass declared in Instruction
CompareGTInstructioncharacteristic predicate declared in Instruction::CompareGTInstruction
CompareInstructionclass declared in Instruction
CompareInstructionclass declared in Instruction
CompareInstructioncharacteristic predicate declared in Instruction::CompareInstruction
CompareInstructioncharacteristic predicate declared in Instruction::CompareInstruction
CompareInstructionclass declared in Instruction
CompareInstructioncharacteristic predicate declared in Instruction::CompareInstruction
CompareLEclass declared in Opcode::Opcode
CompareLEInstructionclass declared in Instruction
CompareLEInstructioncharacteristic predicate declared in Instruction::CompareLEInstruction
CompareLEInstructionclass declared in Instruction
CompareLEInstructioncharacteristic predicate declared in Instruction::CompareLEInstruction
CompareLEInstructionclass declared in Instruction
CompareLEInstructioncharacteristic predicate declared in Instruction::CompareLEInstruction
CompareLTclass declared in Opcode::Opcode
CompareLTInstructionclass declared in Instruction
CompareLTInstructioncharacteristic predicate declared in Instruction::CompareLTInstruction
CompareLTInstructionclass declared in Instruction
CompareLTInstructioncharacteristic predicate declared in Instruction::CompareLTInstruction
CompareLTInstructionclass declared in Instruction
CompareLTInstructioncharacteristic predicate declared in Instruction::CompareLTInstruction
CompareNEclass declared in Opcode::Opcode
CompareNEInstructionclass declared in Instruction
CompareNEInstructioncharacteristic predicate declared in Instruction::CompareNEInstruction
CompareNEInstructionclass declared in Instruction
CompareNEInstructioncharacteristic predicate declared in Instruction::CompareNEInstruction
CompareNEInstructionclass declared in Instruction
CompareNEInstructioncharacteristic predicate declared in Instruction::CompareNEInstruction
CompareOpcodeclass declared in Opcode
CompareWhereAssignMeantquery module
ComparisonOperationclass declared in ComparisonOperation
ComparisonOperationmodule
ComparisonPrecedencequery module
ComparisonWithCancelingSubExprquery module
ComparisonWithWiderTypequery module
Compilationmodule
Compilationclass declared in Compilation
CompileTimeConstantIntclass declared in ConstantExprs
CompileTimeConstantIntcharacteristic predicate declared in ConstantExprs::CompileTimeConstantInt
CompileTimeVariableExprclass declared in ConstantExprs
CompileTimeVariableExprcharacteristic predicate declared in ConstantExprs::CompileTimeVariableExpr
CompilerCatastropheclass declared in Diagnostics
CompilerCatastrophecharacteristic predicate declared in Diagnostics::CompilerCatastrophe
CompilerDiscretionaryErrorclass declared in Diagnostics
CompilerDiscretionaryErrorcharacteristic predicate declared in Diagnostics::CompilerDiscretionaryError
CompilerErrorclass declared in Diagnostics
CompilerErrorcharacteristic predicate declared in Diagnostics::CompilerError
CompilerRemarkclass declared in Diagnostics
CompilerRemarkcharacteristic predicate declared in Diagnostics::CompilerRemark
CompilerWarningclass declared in Diagnostics
CompilerWarningcharacteristic predicate declared in Diagnostics::CompilerWarning
ComplementExprclass declared in BitwiseOperation
ComplexConditionquery module
ComplexFunctionsquery module
ComplexStmtcharacteristic predicate declared in BlockWithTooManyStatements::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 ConstantExprs::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::Opcode
ConditionalBranchInstructionclass declared in Instruction
ConditionalBranchInstructionclass declared in Instruction
ConditionalBranchInstructioncharacteristic predicate declared in Instruction::ConditionalBranchInstruction
ConditionalBranchInstructioncharacteristic predicate declared in Instruction::ConditionalBranchInstruction
ConditionalBranchInstructionclass declared in Instruction
ConditionalBranchInstructioncharacteristic predicate declared in Instruction::ConditionalBranchInstruction
ConditionalExprclass declared in LogicalOperation
ConditionalSegmentConditionsquery module
ConditionalSegmentLinesquery module
ConditionalStmtclass declared in Stmt
Configurationclass declared in DataFlowImpl
Configurationclass declared in DataFlowImpl2
Configurationclass declared in DataFlowImpl4
Configurationcharacteristic predicate declared in DataFlowImpl4::Configuration
Configurationclass declared in DataFlowImpl3
Configurationcharacteristic predicate declared in DataFlowImpl3::Configuration
Configurationcharacteristic predicate declared in DataFlowImpl::Configuration
Configurationclass declared in TaintTracking::TaintTracking
Configurationcharacteristic predicate declared in DataFlowImpl2::Configuration
Configurationcharacteristic predicate declared in TaintTracking::TaintTracking::Configuration
Configurationclass declared in DataFlowImpl4
Configurationcharacteristic predicate declared in DataFlowImpl4::Configuration
Configurationclass declared in DataFlowImpl3
Configurationcharacteristic predicate declared in DataFlowImpl3::Configuration
Configurationclass declared in DataFlowImpl
Configurationcharacteristic predicate declared in DataFlowImpl::Configuration
Configurationclass declared in TaintTracking::TaintTracking
Configurationclass declared in DataFlowImpl2
Configurationcharacteristic predicate declared in DataFlowImpl2::Configuration
Configurationcharacteristic predicate declared in TaintTracking::TaintTracking::Configuration
Configuration2class declared in TaintTracking::TaintTracking
Configuration2characteristic predicate declared in TaintTracking::TaintTracking::Configuration2
Configuration2class declared in TaintTracking::TaintTracking
Configuration2characteristic predicate declared in TaintTracking::TaintTracking::Configuration2
ConjugationExprclass declared in ArithmeticOperation
ConstCastclass declared in Cast
ConstMemberFunctionclass declared in Function
ConstMemberFunctioncharacteristic predicate declared in Function::ConstMemberFunction
Constantclass declared in Opcode::Opcode
ConstantAnalysismodule
ConstantAnalysismodule
ConstantAnalysismodule
ConstantAnalysisInternalmodule
ConstantAnalysisInternalmodule
ConstantAnalysisInternalmodule
ConstantAssertionquery module
ConstantDefMacrocharacteristic predicate declared in AV Rule 30::ConstantDefMacro
ConstantDefMacroclass declared in AV Rule 30
ConstantExprsmodule
ConstantInstructionclass declared in Instruction
ConstantInstructioncharacteristic predicate declared in Instruction::ConstantInstruction
ConstantInstructionclass declared in Instruction
ConstantInstructioncharacteristic predicate declared in Instruction::ConstantInstruction
ConstantInstructionclass declared in Instruction
ConstantInstructioncharacteristic predicate declared in Instruction::ConstantInstruction
ConstantValueInstructionclass declared in Instruction
ConstantValueInstructionclass declared in Instruction
ConstantValueInstructioncharacteristic predicate declared in Instruction::ConstantValueInstruction
ConstantValueInstructioncharacteristic predicate declared in Instruction::ConstantValueInstruction
ConstantValueInstructionclass declared in Instruction
ConstantValueInstructioncharacteristic predicate declared in Instruction::ConstantValueInstruction
ConstantZerocharacteristic predicate declared in UnsignedGEZero::ConstantZero
ConstantZeroclass declared in UnsignedGEZero
Constantsmodule
Constructorclass declared in Function
Constructorcharacteristic predicate declared in Function::Constructor
ConstructorBaseInitclass declared in Call
ConstructorCallclass declared in Call
ConstructorCallcharacteristic predicate declared in Call::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 PrintAST::ConstructorInitializersNode
ConstructorVirtualInitclass declared in Call
Containerclass declared in File
Contentclass declared in DataFlowPrivate
Contentclass declared in DataFlowPrivate
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 Function::ConversionConstructor
ConversionNodeclass declared in PrintAST
ConversionNodecharacteristic predicate declared in PrintAST::ConversionNode
ConversionOperatorclass declared in Function
ConversionOperatorcharacteristic predicate declared in Function::ConversionOperator
Convertclass declared in Opcode::Opcode
ConvertInstructionclass declared in Instruction
ConvertInstructioncharacteristic predicate declared in Instruction::ConvertInstruction
ConvertInstructionclass declared in Instruction
ConvertInstructioncharacteristic predicate declared in Instruction::ConvertInstruction
ConvertInstructionclass declared in Instruction
ConvertInstructioncharacteristic predicate declared in Instruction::ConvertInstruction
ConvertToBaseclass declared in Opcode::Opcode
ConvertToBaseInstructionclass declared in Instruction
ConvertToBaseInstructioncharacteristic predicate declared in Instruction::ConvertToBaseInstruction
ConvertToBaseInstructionclass declared in Instruction
ConvertToBaseInstructioncharacteristic predicate declared in Instruction::ConvertToBaseInstruction
ConvertToBaseInstructionclass declared in Instruction
ConvertToBaseInstructioncharacteristic predicate declared in Instruction::ConvertToBaseInstruction
ConvertToDerivedclass declared in Opcode::Opcode
ConvertToDerivedInstructionclass declared in Instruction
ConvertToDerivedInstructioncharacteristic predicate declared in Instruction::ConvertToDerivedInstruction
ConvertToDerivedInstructionclass declared in Instruction
ConvertToDerivedInstructioncharacteristic predicate declared in Instruction::ConvertToDerivedInstruction
ConvertToDerivedInstructionclass declared in Instruction
ConvertToDerivedInstructioncharacteristic predicate declared in Instruction::ConvertToDerivedInstruction
ConvertToVirtualBaseclass declared in Opcode::Opcode
ConvertToVirtualBaseInstructionclass declared in Instruction
ConvertToVirtualBaseInstructioncharacteristic predicate declared in Instruction::ConvertToVirtualBaseInstruction
ConvertToVirtualBaseInstructionclass declared in Instruction
ConvertToVirtualBaseInstructioncharacteristic predicate declared in Instruction::ConvertToVirtualBaseInstruction
ConvertToVirtualBaseInstructionclass declared in Instruction
ConvertToVirtualBaseInstructioncharacteristic predicate declared in Instruction::ConvertToVirtualBaseInstruction
Copyclass declared in CodeDuplication
CopyAssignmentOperatorclass declared in Function
CopyAssignmentOperatorcharacteristic predicate declared in Function::CopyAssignmentOperator
CopyConstructorclass declared in Function
CopyConstructorcharacteristic predicate declared in Function::CopyConstructor
CopyInstructionclass declared in Instruction
CopyInstructioncharacteristic predicate declared in Instruction::CopyInstruction
CopyInstructionclass declared in Instruction
CopyInstructioncharacteristic predicate declared in Instruction::CopyInstruction
CopyInstructionclass declared in Instruction
CopyInstructioncharacteristic predicate declared in Instruction::CopyInstruction
CopyOpcodeclass declared in Opcode
CopyValueclass declared in Opcode::Opcode
CopyValueInstructionclass declared in Instruction
CopyValueInstructioncharacteristic predicate declared in Instruction::CopyValueInstruction
CopyValueInstructionclass declared in Instruction
CopyValueInstructioncharacteristic predicate declared in Instruction::CopyValueInstruction
CopyValueInstructionclass declared in Instruction
CopyValueInstructioncharacteristic predicate declared in Instruction::CopyValueInstruction
CorrectIncludeGuardclass declared in MultipleInclusion
CorrectIncludeGuardcharacteristic predicate declared in MultipleInclusion::CorrectIncludeGuard
CppFileclass declared in File
CppFilecharacteristic predicate declared in File::CppFile
CppStyleCommentclass declared in Comments
CppStyleCommentcharacteristic predicate declared in Comments::CppStyleComment
CreatCreationExprclass declared in FilePermissions
CreatCreationExprcharacteristic predicate declared in FilePermissions::CreatCreationExpr
CreateProcessFunctionCallcharacteristic predicate declared in UnsafeCreateProcessCall::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 Options::CustomMutexType
CustomOptionsclass declared in Options
CustomSecurityOptionsclass declared in SecurityOptions
CyclicNamespacesquery module
CyclomaticComplexityquery module
cfield declared in ClassesWithManyFields::VariableDeclarationLine
callfield declared in TranslatedInitialization::TranslatedStructorCallFromStructor
callfield declared in TranslatedInitialization::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::Function
callsmember predicate declared in Function::Function
callsOrAccessesmember predicate declared in UnusedStaticFunctions::Thing
canAccessClassmember predicate declared in Declaration::AccessHolder
canAccessMembermember predicate declared in Declaration::AccessHolder
canCatchpredicate declared in ThrowInDestructor
canHaveQualifiedNamemember predicate declared in QualifiedName::Declaration
canUseFieldInsteadOfLiteralpredicate declared in MagicConstants
canValueFlowpredicate declared in StringAnalysis
candidateExprpredicate declared in ShortCircuitBitMask
candidateFilePairpredicate declared in InappropriateIntimacy
candidateForStmtpredicate declared in inconsistentLoopDirection
candidateResultpredicate declared in RedundantNullCheckSimple
candidateResultpredicate declared in AssignWhereCompareMeant
candidateVariablepredicate declared in AssignWhereCompareMeant
canonicalName1predicate declared in AV Rule 48
canonicalName2predicate declared in AV Rule 48
caseEdgepredicate declared in EdgeKind
castfield declared in PrintAST::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::Location
characteristicSequencePointExprpredicate declared in AV Rule 204.1
charsSetUpTomember predicate declared in XML::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
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 Literal::ClassAggregateLiteral
class_instantiationtable
class_template_argumenttable
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 IRGuards::GuardCondition
comparesEqmember predicate declared in IRGuards::IRGuardCondition
comparesEqmember predicate declared in Guards::GuardCondition
comparesLtmember predicate declared in IRGuards::GuardCondition
comparesLtmember predicate declared in IRGuards::IRGuardCondition
comparesLtmember predicate declared in Guards::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::File
compiledAsCppmember predicate declared in File::File
compiledAsMicrosoftmember predicate declared in File::File
compiledAsObjCmember predicate declared in File::File
compiledAsObjCppmember predicate declared in File::File
compoundEdgepredicate declared in PointsTo
conditionAlwaysFalsemember predicate declared in Stmt::WhileStmt
conditionAlwaysFalsemember predicate declared in Stmt::ForStmt
conditionAlwaysTruemember predicate declared in Stmt::WhileStmt
conditionAlwaysTruemember predicate declared in Stmt::ForStmt
conditionAlwaysTrueUponEntrymember predicate declared in Stmt::WhileStmt
conditionAlwaysTrueUponEntrymember predicate declared in Stmt::ForStmt
conditionDeclExprfield declared in TranslatedDeclarationEntry::TranslatedConditionDecl
conditionOperandpredicate declared in OperandTag
condition_decl_bindtable
conditionalSuccessorpredicate declared in Negativity
confidencemember predicate declared in PointsTo::PointsToExpr
conservativeDataFlowSteppredicate declared in ReturnStackAllocatedMemory
constantValuepredicate declared in AV Rule 164
constructorMightRunOnStackpredicate declared in StackAddress
containerparenttable
containsmember predicate declared in SubBasicBlocks::SubBasicBlock
containsmember predicate declared in PrimitiveBasicBlocks::PrimitiveBasicBlock
containsmember predicate declared in BasicBlocks::BasicBlock
containsmember predicate declared in SubBasicBlocks::SubBasicBlock
containsArraypredicate declared in AV Rule 97
containsInlineAssemblypredicate declared in UninitializedLocal
containsLoopOfForwardEdgespredicate declared in Instruction::InstructionSanity
containsLoopOfForwardEdgespredicate declared in Instruction::InstructionSanity
containsLoopOfForwardEdgespredicate declared in Instruction::InstructionSanity
controlsmember predicate declared in IRGuards::GuardCondition
controlsmember predicate declared in IRGuards::IRGuardCondition
controlsmember predicate declared in Guards::GuardCondition
controlsEdgemember predicate declared in IRGuards::IRGuardCondition
convfield declared in PrintAST::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 Declaration::AccessHolder
couldBeUppercaseAcronymmember predicate declared in Naming::Word
countermember predicate declared in LoopBounds::ClassicForLoop
coversmember predicate declared in AlertSuppression::SuppressionComment
coversEntireVariablemember predicate declared in AliasedSSA::VariableMemoryLocation
cppmodule
ctorfield declared in PrintAST::ConstructorInitializersNode
custom_phi_nodemember predicate declared in SSAUtils::SSAHelper
custom_phi_nodemember predicate declared in RangeSSA::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
DataFlow2module declared in DataFlow2
DataFlow2module
DataFlow2module declared in DataFlow2
DataFlow3module
DataFlow3module declared in DataFlow3
DataFlow3module
DataFlow3module declared in DataFlow3
DataFlow4module
DataFlow4module declared in DataFlow4
DataFlow4module
DataFlow4module declared in DataFlow4
DataFlowCallclass declared in DataFlowPrivate
DataFlowCallcharacteristic predicate declared in DataFlowPrivate::DataFlowCall
DataFlowCallclass declared in DataFlowPrivate
DataFlowDispatchmodule
DataFlowDispatchmodule
DataFlowFunctionclass declared in DataFlow
DataFlowImplmodule
DataFlowImplmodule
DataFlowImpl2module
DataFlowImpl2module
DataFlowImpl3module
DataFlowImpl3module
DataFlowImpl4module
DataFlowImpl4module
DataFlowImplCommonmodule
DataFlowImplCommonmodule
DataFlowImplSpecificmodule
DataFlowImplSpecificmodule
DataFlowPrivatemodule
DataFlowPrivatemodule
DataFlowSubBasicBlockCutNodecharacteristic predicate declared in FlowVar::FlowVar_internal::DataFlowSubBasicBlockCutNode
DataFlowSubBasicBlockCutNodeclass declared in FlowVar::FlowVar_internal
DataFlowUtilmodule
DataFlowUtilmodule
DataOutputclass declared in ExposedSystemData
DataSensitiveCallExprclass declared in TaintTracking
DataSensitiveCallExprcharacteristic predicate declared in TaintTracking::DataSensitiveCallExpr
DataSensitiveExprCallclass declared in TaintTracking
DataSensitiveOverriddenFunctionCallclass declared in TaintTracking
DataSensitiveOverriddenFunctionCallcharacteristic predicate declared in TaintTracking::DataSensitiveOverriddenFunctionCall
DataVariableclass declared in OpenSslHeartbleed
DataVariablecharacteristic predicate declared in OpenSslHeartbleed::DataVariable
Dataflowmodule
DataflowAnnotationcharacteristic predicate declared in Dataflow::DataflowAnnotation
DataflowAnnotationclass declared in Dataflow
DeadCodeConditionquery module
DeadCodeFunctionquery module
DeadCodeGotoquery module
Debugquery module
DebugSSAmodule declared in SSAConstruction
DebugSSAmodule declared in SSAConstruction
Decimal128Typeclass declared in Type
Decimal128Typecharacteristic predicate declared in Type::Decimal128Type
Decimal32Typeclass declared in Type
Decimal32Typecharacteristic predicate declared in Type::Decimal32Type
Decimal64Typeclass declared in Type
Decimal64Typecharacteristic predicate declared in Type::Decimal64Type
DeclStmtclass declared in Stmt
DeclStmtNodeclass declared in PrintAST
DeclStmtNodecharacteristic predicate declared in PrintAST::DeclStmtNode
Declarationclass declared in Declaration
Declarationclass declared in QualifiedName
Declarationmodule
DeclarationEntryclass declared in Declaration
DeclarationEntryNodeclass declared in PrintAST
DeclarationEntryNodecharacteristic predicate declared in PrintAST::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 DefinitionsAndUses::Def
DefOrUseclass declared in DefinitionsAndUses
DefOrUsecharacteristic predicate declared in DefinitionsAndUses::DefOrUse
DefUsemodule declared in SSAConstruction
DefUsemodule declared in SSAConstruction
DefaultCaseclass declared in Stmt
DefaultCasecharacteristic predicate declared in Stmt::DefaultCase
DefaultEdgeclass declared in EdgeKind
DefaultMutexTypeclass declared in Synchronization
DefaultMutexTypecharacteristic predicate declared in Synchronization::DefaultMutexType
DefaultOptionsmodule
DefectExternalDataclass declared in ExternalArtifact
DefectExternalDatacharacteristic predicate declared in ExternalArtifact::DefectExternalData
DefectFilterquery module
DefectFiltermodule
DefectFromExternalDataquery module
DefectFromSVNquery module
DefectResultclass declared in DefectFilter
DefectResultcharacteristic predicate declared in DefectFilter::DefectResult
DefinitionByReferenceNodeclass declared in DataFlowUtil
DefinitionByReferenceNodecharacteristic predicate declared in DataFlowUtil::DefinitionByReferenceNode
DefinitionsAndUsesmodule
DeleteArrayExprclass declared in Expr
DeleteExprclass declared in Expr
Dependencymodule
DependencyOptionsclass declared in Dependency
DependencyOptionscharacteristic predicate declared in Dependency::DependencyOptions
DependsSourceclass declared in Dependency
DependsSourcecharacteristic predicate declared in Dependency::DependsSource
Dereferencedmodule
DerivedClassConversionclass declared in Cast
DerivedClassConversioncharacteristic predicate declared in Cast::DerivedClassConversion
DerivedTypeclass declared in Type
DescriptorMayNotBeClosedquery module
DescriptorNeverClosedquery module
Destructorclass declared in Function
Destructorcharacteristic predicate declared in Function::Destructor
DestructorBaseDestructionclass declared in Call
DestructorCallclass declared in Call
DestructorCallcharacteristic predicate declared in Call::DestructorCall
DestructorDestructionclass declared in Call
DestructorDestructionsNodeclass declared in PrintAST
DestructorDestructionsNodecharacteristic predicate declared in PrintAST::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 ObjectiveC::DictionaryLiteral
Directiveclass declared in MismatchedIfdefs
Divclass declared in Opcode::Opcode
DivExprclass declared in ArithmeticOperation
DivInstructionclass declared in Instruction
DivInstructioncharacteristic predicate declared in Instruction::DivInstruction
DivInstructionclass declared in Instruction
DivInstructioncharacteristic predicate declared in Instruction::DivInstruction
DivInstructionclass declared in Instruction
DivInstructioncharacteristic predicate declared in Instruction::DivInstruction
DoNotCreateWorldWritablequery module
DoStmtclass declared in Stmt
DocumentApiquery module
Dominancemodule
Dominancemodule
Dominancemodule
DominanceInternalmodule
DominanceInternalmodule
DotFieldAccessclass declared in Access
DotFieldAccesscharacteristic predicate declared in Access::DotFieldAccess
DoubleTypeclass declared in Type
DoubleTypecharacteristic predicate declared in Type::DoubleType
DubiousNullCheckquery module
DuplicateBlockquery module
DuplicateBlockclass declared in CodeDuplication
DuplicateFunctionquery module
DynamicAllocAfterInitquery module
DynamicCastclass declared in Cast
DynamicCastToVoidclass declared in Opcode::Opcode
dangerousUsepredicate declared in MissingNegativityTest
dataSizemember predicate declared in Padding::PaddedType
dateprimitive type
daysToprimitive predicate declared in date
daysToNowmember predicate declared in VCS::Commit
decideOnSizepredicate declared in SizeCheck
declStmtfield declared in PrintAST::DeclStmtNode
declWithNoInitpredicate declared in UninitializedLocal
declWithNoInitpredicate declared in ImproperNullTermination
declarationHasSideEffectspredicate declared in UnusedLocals
declarationHasSideEffectspredicate declared in UnusedStaticVariables
declaredUsingAutoTypemember predicate declared in Variable::Variable
decltypestable
deffield declared in FlowVar::FlowVar_internal::SsaVar
defInstrfield declared in Operand::NonPhiOperand
defInstrfield declared in Operand::PhiInputOperand
defInstrfield declared in Operand::NonPhiOperand
defInstrfield declared in Operand::PhiInputOperand
defInstrfield declared in Operand::NonPhiOperand
defInstrfield declared in Operand::PhiInputOperand
defSourceTypepredicate declared in IncorrectPointerScalingCommon
defUndefpredicate declared in AV Rule 35
defaultmodule
defaultEdgepredicate declared in EdgeKind
defaultUmaskpredicate declared in FilePermissions
defectResultspredicate declared in DefectFilter
definedByExprmember predicate declared in FlowVar::FlowVar
definedByExprmember predicate declared in FlowVar::FlowVar_internal::SsaVar
definedByExprmember predicate declared in FlowVar::FlowVar_internal::BlockVar
definedByInitialValuemember predicate declared in FlowVar::FlowVar
definedByInitialValuemember predicate declared in FlowVar::FlowVar_internal::SsaVar
definedByInitialValuemember predicate declared in FlowVar::FlowVar_internal::BlockVar
definedByParametermember predicate declared in SSA::SsaDefinition
definedByParametermember predicate declared in RangeSSA::RangeSsaDefinition
definedByReferencemember predicate declared in FlowVar::FlowVar
definedByReferencemember predicate declared in FlowVar::FlowVar_internal::SsaVar
definedByReferencemember predicate declared in FlowVar::FlowVar_internal::BlockVar
definedInImplementationFilepredicate declared in AV Rule 40
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
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 SSAConstruction::DefUse
definitionReachesEndOfBlockpredicate declared in SSAConstruction::DefUse
definitionReachesUsepredicate declared in SSAConstruction::DefUse
definitionReachesUsepredicate declared in SSAConstruction::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 MismatchedIfdefs::FileWithDirectives
depthmember predicate declared in MismatchedIfdefs::Directive
depthChangemember predicate declared in MismatchedIfdefs::Directive
depthChangemember predicate declared in MismatchedIfdefs::IfDirective
depthChangemember predicate declared in MismatchedIfdefs::ElseDirective
depthChangemember predicate declared in MismatchedIfdefs::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 Instruction::InheritanceConversionInstruction
derivedClassfield declared in Instruction::InheritanceConversionInstruction
derivedClassfield declared in Instruction::InheritanceConversionInstruction
derivedtypestable
derivesFrommember predicate declared in Class::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 BrokenCryptoAlgorithm::InsecureCryptoSpec
descriptionmember predicate declared in BrokenCryptoAlgorithm::InsecureFunctionCall
descriptionmember predicate declared in BrokenCryptoAlgorithm::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::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::IRBlock
dominanceFrontiermember predicate declared in IRBlock::IRBlock
dominanceFrontiermember predicate declared in IRBlock::IRBlock
dominatedByOverwritepredicate declared in FlowVar::FlowVar_internal
dominatespredicate declared in Dominance
dominatesmember predicate declared in IRBlock::IRBlock
dominatesmember predicate declared in IRBlock::IRBlock
dominatesmember predicate declared in IRBlock::IRBlock
doubleAlignmember predicate declared in Padding::Architecture
doubleAlignmember predicate declared in Padding::ILP32
doubleAlignmember predicate declared in Padding::LP64
doubleAlignmember predicate declared in Padding::WindowsArchitecture
doubleNegationNormalizationpredicate declared in IncorrectNotOperatorUsage
dtorfield declared in PrintAST::DestructorDestructionsNode
dubiouspredicate declared in ReturnValueIgnored
duplicateCodetable
duplicateFilespredicate declared in CodeDuplication
duplicateLinespredicate declared in CodeDuplication
duplicateLinesCoveredpredicate declared in CodeDuplication
duplicateMethodpredicate declared in CodeDuplication
duplicateOperandpredicate declared in Instruction::InstructionSanity
duplicateOperandpredicate declared in Instruction::InstructionSanity
duplicateOperandpredicate declared in Instruction::InstructionSanity
duplicateStatementspredicate declared in CodeDuplication

E

EQExprclass declared in ComparisonOperation
EdgeKindclass declared in EdgeKind
EdgeKindmodule
EditDefectMessagequery module
Elementclass declared in Element
Elementmodule
ElementBaseclass declared in Element
ElseDirectiveclass declared in MismatchedIfdefs
ElseDirectivecharacteristic predicate declared in MismatchedIfdefs::ElseDirective
EmptyBlockquery module
EmptyFileclass declared in MultipleInclusion
EmptyFilecharacteristic predicate declared in MultipleInclusion::EmptyFile
EmptyStmtclass declared in Stmt
Enclosingmodule
Encryptionmodule
EndifDirectiveclass declared in MismatchedIfdefs
EndifDirectivecharacteristic predicate declared in MismatchedIfdefs::EndifDirective
EnterFunctionclass declared in Opcode::Opcode
EnterFunctionInstructionclass declared in Instruction
EnterFunctionInstructioncharacteristic predicate declared in Instruction::EnterFunctionInstruction
EnterFunctionInstructionclass declared in Instruction
EnterFunctionInstructioncharacteristic predicate declared in Instruction::EnterFunctionInstruction
EnterFunctionInstructionclass declared in Instruction
EnterFunctionInstructioncharacteristic predicate declared in Instruction::EnterFunctionInstruction
EnterFunctionTaginjector declared in InstructionTag
EnterFunctionTagtype declared in InstructionTag
EntryBasicBlockclass declared in BasicBlocks
EntryBasicBlockcharacteristic predicate declared in BasicBlocks::EntryBasicBlock
Enumclass declared in Enum
Enummodule
EnumConstantclass declared in Enum
EnumConstantclass declared in QualifiedName
EnumConstantAccessclass declared in Access
EnumConstantAccesscharacteristic predicate declared in Access::EnumConstantAccess
EnumInitializationquery module
EnumSwitchclass declared in Stmt
EnumSwitchcharacteristic predicate declared in Stmt::EnumSwitch
EnvDataclass declared in ExposedSystemData
EnvDatacharacteristic predicate declared in ExposedSystemData::EnvData
Environmentmodule
EnvironmentReadclass declared in Environment
EnvironmentReadcharacteristic predicate declared in Environment::EnvironmentRead
EqualityOperationclass declared in ComparisonOperation
ErroneousTypeclass declared in Type
ErroneousTypecharacteristic predicate declared in Type::ErroneousType
ErrorExprclass declared in Expr
ErrorReturncharacteristic predicate declared in AV Rule 115::ErrorReturn
ErrorReturnclass declared in AV Rule 115
EscapedMayMemoryAccessclass declared in MemoryAccessKind
EscapedMemoryAccessclass declared in MemoryAccessKind
EscapesTreemodule
ExceptionEdgeclass declared in EdgeKind
ExcludeGeneratedCodequery module
Exclusionsmodule
ExecTaintedquery module
ExitBasicBlockclass declared in BasicBlocks
ExitBasicBlockcharacteristic predicate declared in BasicBlocks::ExitBasicBlock
ExitFunctionclass declared in Opcode::Opcode
ExitFunctionInstructionclass declared in Instruction
ExitFunctionInstructioncharacteristic predicate declared in Instruction::ExitFunctionInstruction
ExitFunctionInstructionclass declared in Instruction
ExitFunctionInstructioncharacteristic predicate declared in Instruction::ExitFunctionInstruction
ExitFunctionInstructionclass declared in Instruction
ExitFunctionInstructioncharacteristic predicate declared in Instruction::ExitFunctionInstruction
ExitFunctionTaginjector declared in InstructionTag
ExitFunctionTagtype declared in InstructionTag
ExitNonterminatingLoopquery module
ExitPermanentLoopquery module
ExpectedTypeclass declared in WrongTypeFormatArguments
ExpectedTypecharacteristic predicate declared in WrongTypeFormatArguments::ExpectedType
ExposedSystemDataquery module
ExposingIntegralCastExprcharacteristic predicate declared in AV Rule 210::ExposingIntegralCastExpr
ExposingIntegralCastExprclass declared in AV Rule 210
ExposingIntegralUnioncharacteristic predicate declared in AV Rule 210::ExposingIntegralUnion
ExposingIntegralUnionclass declared in AV Rule 210
Exprclass declared in Expr
Exprmodule
ExprCallclass declared in Call
ExprEvaluatorcharacteristic predicate declared in ConstantExprs::ExprEvaluator
ExprEvaluatorclass declared in ConstantExprs
ExprHasNoEffectquery module
ExprInVoidContextclass declared in VoidContext
ExprInVoidContextcharacteristic predicate declared in VoidContext::ExprInVoidContext
ExprMessageExprclass declared in ObjectiveC
ExprMessageExprcharacteristic predicate declared in ObjectiveC::ExprMessageExpr
ExprNodeclass declared in DataFlowUtil
ExprNodecharacteristic predicate declared in DataFlowUtil::ExprNode
ExprNodeclass declared in DataFlowUtil
ExprNodecharacteristic predicate declared in DataFlowUtil::ExprNode
ExprNodeclass declared in PrintAST
ExprNodecharacteristic predicate declared in PrintAST::ExprNode
ExprStmtclass declared in Stmt
ExtClassclass declared in ClassesWithManyFields
ExternDeclsInHeaderquery module
ExternalArtifactmodule
ExternalDataclass declared in ExternalArtifact
ExternalDependenciesmodule
ExternalDependenciesquery module
ExternalDependenciesSourceLinksquery module
edgespredicate declared in DataFlowImpl4::PathGraph
edgespredicate declared in DataFlowImpl3::PathGraph
edgespredicate declared in DataFlowImpl::PathGraph
edgespredicate declared in DataFlowImpl2::PathGraph
edgespredicate declared in DataFlowImpl4::PathGraph
edgespredicate declared in DataFlowImpl3::PathGraph
edgespredicate declared in DataFlowImpl::PathGraph
edgespredicate declared in DataFlowImpl2::PathGraph
edgespredicate declared in PrintIR
edgespredicate declared in PrintIR
edgespredicate declared in PrintIR
edgespredicate declared in PrintAST
elementCountfield declared in TranslatedInitialization::TranslatedElementValueInitialization
elementIndexfield declared in TranslatedInitialization::TranslatedExplicitElementInitialization
elementIndexfield declared in TranslatedInitialization::TranslatedElementValueInitialization
elementNamepredicate declared in AV Rule 46
elementSizefield declared in Instruction::PointerArithmeticInstruction
elementSizefield declared in Instruction::PointerArithmeticInstruction
elementSizefield declared in Instruction::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 ClassesWithManyFields::VariableDeclarationGroup
endBitOffsetfield declared in AliasedSSA::VariableMemoryLocation
endsWithEndifpredicate declared in MultipleInclusion
enhancedSuccpredicate declared in InfiniteLoopWithUnsatisfiableExitCondition
ensuresEqmember predicate declared in IRGuards::GuardCondition
ensuresEqmember predicate declared in IRGuards::IRGuardCondition
ensuresEqmember predicate declared in Guards::GuardCondition
ensuresEqEdgemember predicate declared in IRGuards::IRGuardCondition
ensuresLtmember predicate declared in IRGuards::GuardCondition
ensuresLtmember predicate declared in IRGuards::IRGuardCondition
ensuresLtmember predicate declared in Guards::GuardCondition
ensuresLtEdgemember predicate declared in IRGuards::IRGuardCondition
entryfield declared in TranslatedDeclarationEntry::TranslatedDeclarationEntry
entryfield declared in PrintAST::DeclarationEntryNode
enumAlignmentmember predicate declared in Padding::Architecture
enumBitSizemember predicate declared in Padding::Architecture
enumThatHasConstantWithImplicitValuepredicate declared in EnumInitialization
enumThatHasConstantWithImplicitValuepredicate declared in AV Rule 145
enumconstantstable
eqOpWithSwapAndNegatepredicate declared in RangeAnalysisUtils
errorConditionpredicate declared in Negativity
errorSuccessorpredicate declared in Negativity
evaluatedBeforeMainpredicate declared in AV Rule 214
exceptionEdgepredicate declared in EdgeKind
exceptionTypefield declared in Instruction::CatchByTypeInstruction
exceptionTypefield declared in Instruction::CatchByTypeInstruction
exceptionTypefield declared in Instruction::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 Options::CustomOptions
exitsmember predicate declared in DefaultOptions::Options
expprimitive predicate declared in int
expprimitive predicate declared in float
explainmember predicate declared in Struct::Struct
explainmember predicate declared in Enum::Enum
explainmember predicate declared in Class::Class
explainmember predicate declared in UserType::UserType
explainmember predicate declared in TypedefType::TypedefType
explainmember predicate declared in Union::Union
explainmember predicate declared in Type::Type
explainmember predicate declared in Type::BuiltInType
explainmember predicate declared in Type::Decltype
explainmember predicate declared in Type::PointerType
explainmember predicate declared in Type::ReferenceType
explainmember predicate declared in Type::RValueReferenceType
explainmember predicate declared in Type::SpecifiedType
explainmember predicate declared in Type::ArrayType
explainmember predicate declared in Type::GNUVectorType
explainmember predicate declared in Type::FunctionPointerType
explainmember predicate declared in Type::FunctionReferenceType
explainmember predicate declared in Type::BlockType
explainmember predicate declared in Type::PointerToMemberType
explainmember predicate declared in Type::RoutineType
explicitNullTestOfInstructionpredicate declared in RedundantNullCheckSimple
exprfield declared in DataFlowUtil::ExprNode
exprfield declared in TranslatedCall::TranslatedCallExpr
exprfield declared in TranslatedCall::TranslatedExprCall
exprfield declared in TranslatedCall::TranslatedFunctionCall
exprfield declared in TranslatedCondition::TranslatedCondition
exprfield declared in TranslatedCondition::TranslatedParenthesisCondition
exprfield declared in TranslatedCondition::TranslatedNotCondition
exprfield declared in TranslatedCondition::TranslatedBinaryLogicalOperation
exprfield declared in TranslatedCondition::TranslatedLogicalOrExpr
exprfield declared in TranslatedInitialization::TranslatedInitialization
exprfield declared in TranslatedInitialization::TranslatedClassListInitialization
exprfield declared in TranslatedInitialization::TranslatedArrayListInitialization
exprfield declared in TranslatedInitialization::TranslatedStringLiteralInitialization
exprfield declared in TranslatedInitialization::TranslatedConstructorInitialization
exprfield declared in TranslatedInitialization::TranslatedExplicitFieldInitialization
exprfield declared in TranslatedExpr::TranslatedExpr
exprfield declared in TranslatedExpr::TranslatedCommaExpr
exprfield declared in TranslatedExpr::TranslatedCrementOperation
exprfield declared in TranslatedExpr::TranslatedPrefixCrementOperation
exprfield declared in TranslatedExpr::TranslatedPostfixCrementOperation
exprfield declared in TranslatedExpr::TranslatedArrayExpr
exprfield declared in TranslatedExpr::TranslatedTransparentUnaryOperation
exprfield declared in TranslatedExpr::TranslatedTransparentConversion
exprfield declared in TranslatedExpr::TranslatedThisExpr
exprfield declared in TranslatedExpr::TranslatedVariableAccess
exprfield declared in TranslatedExpr::TranslatedFieldAccess
exprfield declared in TranslatedExpr::TranslatedFunctionAccess
exprfield declared in TranslatedExpr::TranslatedStringLiteral
exprfield declared in TranslatedExpr::TranslatedConversion
exprfield declared in TranslatedExpr::TranslatedInheritanceConversion
exprfield declared in TranslatedExpr::TranslatedBoolConversion
exprfield declared in TranslatedExpr::TranslatedAssignment
exprfield declared in TranslatedExpr::TranslatedAssignOperation
exprfield declared in TranslatedExpr::TranslatedAllocationSize
exprfield declared in TranslatedExpr::TranslatedNonConstantAllocationSize
exprfield declared in TranslatedExpr::TranslatedAllocatorCall
exprfield declared in TranslatedExpr::TranslatedDestructorFieldDestruction
exprfield declared in TranslatedExpr::TranslatedConditionalExpr
exprfield declared in TranslatedExpr::TranslatedThrowExpr
exprfield declared in TranslatedExpr::TranslatedReThrowExpr
exprfield declared in TranslatedExpr::TranslatedVarArgsStart
exprfield declared in TranslatedExpr::TranslatedVarArgsEnd
exprfield declared in TranslatedExpr::TranslatedVarArg
exprfield declared in TranslatedExpr::TranslatedVarArgCopy
exprfield declared in TranslatedExpr::TranslatedNewOrNewArrayExpr
exprfield declared in TranslatedExpr::TranslatedNewExpr
exprfield declared in TranslatedExpr::TranslatedNewArrayExpr
exprfield declared in TranslatedExpr::TranslatedConditionDeclExpr
exprfield declared in TranslatedExpr::TranslatedLambdaExpr
exprfield declared in TranslatedExpr::TranslatedStmtExpr
exprfield declared in PrintAST::ExprNode
exprDefinitionpredicate declared in DefinitionsAndUses
exprEnclosingElementpredicate declared in Enclosing
exprExitspredicate declared in Options
exprExitsmember predicate declared in Options::CustomOptions
exprExitsmember predicate declared in DefaultOptions::Options
exprInStmtContextpredicate declared in AV Rule 42
exprInitialisespredicate declared in AV Rule 71
exprMaxValpredicate declared in RangeAnalysisUtils
exprMinValpredicate declared in RangeAnalysisUtils
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 FileMayNotBeClosed::FOpenReachability
FOpenVariableReachabilityclass declared in FileMayNotBeClosed
FOpenVariableReachabilitycharacteristic predicate declared in FileMayNotBeClosed::FOpenVariableReachability
FTimeInFrontendquery module
FTodoCommentsquery module
FTransitiveIncludesquery module
FTransitiveSourceIncludesquery module
FalseEdgeclass declared in EdgeKind
FeatureEnvyquery module
Fieldclass declared in Field
Fieldcharacteristic predicate declared in Field::Field
Fieldmodule
FieldAccessclass declared in Access
FieldAccesscharacteristic predicate declared in Access::FieldAccess
FieldAccessPTclass declared in Debug
FieldAddressclass declared in Opcode::Opcode
FieldAddressInstructionclass declared in Instruction
FieldAddressInstructioncharacteristic predicate declared in Instruction::FieldAddressInstruction
FieldAddressInstructionclass declared in Instruction
FieldAddressInstructioncharacteristic predicate declared in Instruction::FieldAddressInstruction
FieldAddressInstructionclass declared in Instruction
FieldAddressInstructioncharacteristic predicate declared in Instruction::FieldAddressInstruction
FieldInstructionclass declared in Instruction
FieldInstructioncharacteristic predicate declared in Instruction::FieldInstruction
FieldInstructionclass declared in Instruction
FieldInstructioncharacteristic predicate declared in Instruction::FieldInstruction
FieldInstructionclass declared in Instruction
FieldInstructioncharacteristic predicate declared in Instruction::FieldInstruction
Fileclass declared in File
Filemodule
Filemodule
FileClosedmodule
FileCompilationDisplayStringsquery module
FileCompilationSourceLinksquery module
FileCreationExprclass declared in FilePermissions
FileFunctioncharacteristic predicate declared in TaintedPath::FileFunction
FileFunctionclass declared in TaintedPath
FileMayNotBeClosedquery module
FileNeverClosedquery module
FilePermissionsmodule
FileSystemmodule
FileWithDirectivescharacteristic predicate declared in MismatchedIfdefs::FileWithDirectives
FileWithDirectivesclass declared in MismatchedIfdefs
FileWriteclass declared in FileWrite
FileWritemodule
FileWritecharacteristic predicate declared in FileWrite::FileWrite
FilterAutogeneratedquery module
FilterAutogeneratedForMetricquery module
FinallyBlockclass declared in ObjectiveC
FinallyBlockcharacteristic predicate declared in ObjectiveC::FinallyBlock
FinallyEndclass declared in Stmt
FinallyEndcharacteristic predicate declared in Stmt::FinallyEnd
FirstCommentcharacteristic predicate declared in AV Rule 133::FirstComment
FirstCommentclass declared in AV Rule 133
FixmeCommentsquery module
Float128Typeclass declared in Type
Float128Typecharacteristic predicate declared in Type::Float128Type
FloatComparisonquery module
FloatConstantInstructionclass declared in Instruction
FloatConstantInstructioncharacteristic predicate declared in Instruction::FloatConstantInstruction
FloatConstantInstructionclass declared in Instruction
FloatConstantInstructioncharacteristic predicate declared in Instruction::FloatConstantInstruction
FloatConstantInstructionclass declared in Instruction
FloatConstantInstructioncharacteristic predicate declared in Instruction::FloatConstantInstruction
FloatTypeclass declared in Type
FloatTypecharacteristic predicate declared in Type::FloatType
FloatUnioncharacteristic predicate declared in AV Rule 147::FloatUnion
FloatUnionclass declared in AV Rule 147
FloatingPointConversionclass declared in Cast
FloatingPointConversioncharacteristic predicate declared in Cast::FloatingPointConversion
FloatingPointToIntegralConversionclass declared in Cast
FloatingPointToIntegralConversioncharacteristic predicate declared in Cast::FloatingPointToIntegralConversion
FloatingPointTypeclass declared in Type
FloatingPointTypecharacteristic predicate declared in Type::FloatingPointType
FlowLocalScopeVariableclass declared in TaintTracking
FlowLocalScopeVariablecharacteristic predicate declared in TaintTracking::FlowLocalScopeVariable
FlowVarmodule
FlowVarclass declared in FlowVar
FlowVar_internalmodule declared in FlowVar
FlowVariableclass declared in TaintTracking
FlowVariablecharacteristic predicate declared in TaintTracking::FlowVariable
FoldExprclass declared in Expr
Folderclass declared in File
FopenCreationExprclass declared in FilePermissions
FopenCreationExprcharacteristic predicate declared in FilePermissions::FopenCreationExpr
FopensCreationExprclass declared in FilePermissions
FopensCreationExprcharacteristic predicate declared in FilePermissions::FopensCreationExpr
ForInStmtclass declared in ObjectiveC
ForInStmtcharacteristic predicate declared in ObjectiveC::ForInStmt
ForLoopEntryConditionEvaluatorclass declared in ConstantExprs
ForLoopEntryConditionEvaluatorcharacteristic predicate declared in ConstantExprs::ForLoopEntryConditionEvaluator
ForStmtclass declared in Stmt
ForStmtSideEffectExprcharacteristic predicate declared in AV Rule 160::ForStmtSideEffectExpr
ForStmtSideEffectExprclass declared in AV Rule 160
ForbiddenCallcharacteristic predicate declared in ThreadSafety::ForbiddenCall
ForbiddenCallclass declared in ThreadSafety
ForbiddenFunctioncharacteristic predicate declared in SimpleControlFlowJmp::ForbiddenFunction
ForbiddenFunctionclass declared in SimpleControlFlowJmp
ForbiddenFunctioncharacteristic predicate declared in UseOfJmp::ForbiddenFunction
ForbiddenFunctionclass declared in UseOfJmp
FormatAttributeclass declared in Specifier
FormatAttributecharacteristic predicate declared in Specifier::FormatAttribute
FormatBufferclass declared in TaintedFormatStrings
FormatBuffercharacteristic predicate declared in TaintedFormatStrings::FormatBuffer
FormatLiteralclass declared in Printf
FormatLiteralcharacteristic predicate declared in Printf::FormatLiteral
FormattingFunctionclass declared in FormattingFunction
FormattingFunctionmodule
FormattingFunctionCallclass declared in Printf
FormattingFunctionCallcharacteristic predicate declared in Printf::FormattingFunctionCall
Fprintfcharacteristic predicate declared in Printf::Fprintf
Fprintfclass declared in Printf
FreadBAclass declared in BufferAccess
FreadBAcharacteristic predicate declared in BufferAccess::FreadBA
FreedExprclass declared in MemoryFreed
FreedExprcharacteristic predicate declared in MemoryFreed::FreedExpr
FriendDeclclass declared in QualifiedName
FriendDeclmodule
FriendDeclclass declared in FriendDecl
FromSourcequery module
Fscanfclass declared in Scanf
Fscanfcharacteristic predicate declared in Scanf::Fscanf
FullClassTemplateSpecializationclass declared in Class
FullClassTemplateSpecializationcharacteristic predicate declared in Class::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 Access::FunctionAccess
FunctionAddressclass declared in Opcode::Opcode
FunctionCallclass declared in Call
FunctionCallcharacteristic predicate declared in Call::FunctionCall
FunctionDeclarationEntryclass declared in Function
FunctionInputclass declared in FunctionInputsAndOutputs
FunctionInputsAndOutputsmodule
FunctionInstructionclass declared in Instruction
FunctionInstructioncharacteristic predicate declared in Instruction::FunctionInstruction
FunctionInstructionclass declared in Instruction
FunctionInstructioncharacteristic predicate declared in Instruction::FunctionInstruction
FunctionInstructionclass declared in Instruction
FunctionInstructioncharacteristic predicate declared in Instruction::FunctionInstruction
FunctionLengthquery module
FunctionNodeclass declared in PrintAST
FunctionNodecharacteristic predicate declared in PrintAST::FunctionNode
FunctionOutputclass declared in FunctionInputsAndOutputs
FunctionPointerquery module
FunctionPointerConversionsquery module
FunctionPointerIshTypeclass declared in Type
FunctionPointerIshTypecharacteristic predicate declared in Type::FunctionPointerIshType
FunctionPointerMemberVariableclass declared in Variable
FunctionPointerMemberVariablecharacteristic predicate declared in Variable::FunctionPointerMemberVariable
FunctionPointerTypeclass declared in Type
FunctionPointerTypecharacteristic predicate declared in Type::FunctionPointerType
FunctionPointerVariableclass declared in Variable
FunctionPointerVariablecharacteristic predicate declared in Variable::FunctionPointerVariable
FunctionReferenceTypeclass declared in Type
FunctionReferenceTypecharacteristic predicate declared in Type::FunctionReferenceType
FunctionReturningErrorCodecharacteristic predicate declared in AV Rule 115::FunctionReturningErrorCode
FunctionReturningErrorCodeclass declared in AV Rule 115
FunctionSizeLimitsquery module
FunctionSpecifierclass declared in Specifier
FunctionSpecifiercharacteristic predicate declared in Specifier::FunctionSpecifier
FunctionTemplateInstantiationclass declared in Function
FunctionTemplateInstantiationcharacteristic predicate declared in Function::FunctionTemplateInstantiation
FunctionTemplateSpecializationclass declared in Function
FunctionTemplateSpecializationcharacteristic predicate declared in Function::FunctionTemplateSpecialization
FunctionToRemovecharacteristic predicate declared in UnusedStaticFunctions::FunctionToRemove
FunctionToRemoveclass declared in UnusedStaticFunctions
FunctionTooLongquery module
FunctionTryStmtclass declared in Stmt
FunctionTryStmtcharacteristic predicate declared in Stmt::FunctionTryStmt
FunctionWithNegativeReturnclass declared in MissingNegativityTest
FunctionWithNegativeReturncharacteristic predicate declared in MissingNegativityTest::FunctionWithNegativeReturn
FunctionWithWrappersclass declared in FunctionWithWrappers
FunctionWithWrappersmodule
FunctionsWithManyParametersquery module
FutileConditionalquery module
ffield declared in ClassesWithManyFields::VariableDeclarationLine
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 TranslatedInitialization::TranslatedFieldInitialization
fieldfield declared in Instruction::FieldInstruction
fieldfield declared in Instruction::FieldInstruction
fieldfield declared in Instruction::FieldInstruction
fieldEndmember predicate declared in Padding::PaddedType
fieldFlowBranchLimitmember predicate declared in DataFlowImpl4::Configuration
fieldFlowBranchLimitmember predicate declared in DataFlowImpl3::Configuration
fieldFlowBranchLimitmember predicate declared in DataFlowImpl::Configuration
fieldFlowBranchLimitmember predicate declared in DataFlowImpl2::Configuration
fieldFlowBranchLimitmember predicate declared in DataFlowImpl4::Configuration
fieldFlowBranchLimitmember predicate declared in DataFlowImpl3::Configuration
fieldFlowBranchLimitmember predicate declared in DataFlowImpl::Configuration
fieldFlowBranchLimitmember predicate declared in DataFlowImpl2::Configuration
fieldIndexmember predicate declared in Padding::PaddedType
fieldSizemember predicate declared in Padding::PaddedType
fieldoffsetstable
fileLevelDuplicationpredicate declared in CodeDuplication
fileannotationstable
filenameOperationpredicate declared in TOCTOUFilesystemRace
filestable
findRootCausemember predicate declared in Element::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 SubBasicBlocks::SubBasicBlock
firstInBBmember predicate declared in SubBasicBlocks::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
flowFromNonConstpredicate declared in NonConstantFormat
flowFunctionpredicate declared in ReturnCstrOfLocalStdString
flowToCompoundpredicate declared in PointsTo
flowsFrommember predicate declared in TaintTracking::DataSensitiveCallExpr
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 TranslatedDeclarationEntry::TranslatedRangeBasedForVariableDeclaration
forStmtAncestorpredicate declared in ShortLoopVarName
for_bodytable
for_conditiontable
for_initializationtable
for_updatetable
forbiddenpredicate declared in AV Rule 39
forceTextmember predicate declared in PrintIR::PrintableIRNode
forceTextmember predicate declared in PrintIR::PrintableIRBlock
forceTextmember predicate declared in PrintIR::PrintableIRNode
forceTextmember predicate declared in PrintIR::PrintableIRBlock
forceTextmember predicate declared in PrintIR::PrintableIRNode
forceTextmember predicate declared in PrintIR::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
formattingFunctionArgumentpredicate declared in NonConstantFormat
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::Element
fromLibrarymember predicate declared in File::File
fromLibrarymember predicate declared in Namespace::Namespace
fromSourcemember predicate declared in Initializer::Initializer
fromSourcemember predicate declared in Element::Element
fromSourcemember predicate declared in File::File
fromSourcemember predicate declared in Namespace::Namespace
fullLocationInfomember predicate declared in Location::Location
fullySupportedSsaVariablepredicate declared in FlowVar::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::TranslatedFunction
funcfield declared in TranslatedFunction::TranslatedConstructorInitList
funcfield declared in TranslatedFunction::TranslatedDestructorDestructionList
funcfield declared in IRVariable::IRVariable
funcfield declared in IRFunction::IRFunction
funcfield declared in IRVariable::IRVariable
funcfield declared in IRFunction::IRFunction
funcfield declared in IRVariable::IRVariable
funcfield declared in IRFunction::IRFunction
funcfield declared in PrintAST::ParametersNode
funcfield declared in PrintAST::FunctionNode
funcSymbolfield declared in Instruction::FunctionInstruction
funcSymbolfield declared in Instruction::FunctionInstruction
funcSymbolfield declared in Instruction::FunctionInstruction