Index

A

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
AddressOfExprclass declared in Expr
AddressOperandclass declared in Operand
AddressOperandcharacteristic predicate declared in Operand::AddressOperand
AddressOperandclass declared in Operand
AddressOperandcharacteristic predicate declared in Operand::AddressOperand
AddressOperandclass declared in Operand
AddressOperandcharacteristic predicate declared in Operand::AddressOperand
AddressOperandTagclass declared in OperandTag
AffectedFilecharacteristic predicate declared in EmptyBlock::AffectedFile
AffectedFileclass declared in EmptyBlock
AggregateLiteralclass declared in Literal
AlertSuppressionquery module
AliasAnalysismodule
AliasAnalysismodule
AliasAnalysisInternalmodule
AliasAnalysisInternalmodule
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
AllocReachabilitycharacteristic predicate declared in MemoryMayNotBeFreed::AllocReachability
AllocReachabilityclass declared in MemoryMayNotBeFreed
AllocVariableReachabilitycharacteristic predicate declared in MemoryMayNotBeFreed::AllocVariableReachability
AllocVariableReachabilityclass declared in MemoryMayNotBeFreed
Allocationclass declared in SizeCheck
Allocationcharacteristic predicate declared in SizeCheck::Allocation
Allocationclass declared in SizeCheck2
Allocationcharacteristic predicate declared in SizeCheck2::Allocation
Allocationcharacteristic predicate declared in DynamicAllocAfterInit::Allocation
Allocationclass declared in DynamicAllocAfterInit
Allocationcharacteristic predicate declared in HeapMemory::Allocation
Allocationclass declared in HeapMemory
AllocationElementSizeTaginjector declared in InstructionTag
AllocationElementSizeTagtype declared in InstructionTag
AllocationExtentConvertTaginjector declared in InstructionTag
AllocationExtentConvertTagtype declared in InstructionTag
AllocationSizeTaginjector declared in InstructionTag
AllocationSizeTagtype declared in InstructionTag
AlwaysTrueUponEntryLoopclass declared in FlowVar::FlowVar_internal
AlwaysTrueUponEntryLoopcharacteristic predicate declared in FlowVar::FlowVar_internal::AlwaysTrueUponEntryLoop
AmbiguouslySignedBitFieldquery module
AnalysedExprclass declared in Nullness
AnalysedStringcharacteristic predicate declared in StringAnalysis::AnalysedString
AnalysedStringclass declared in StringAnalysis
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
ArgParsemodule
Argumentclass declared in DataFlowPrivate
Argumentcharacteristic predicate declared in DataFlowPrivate::Argument
ArgumentNodeclass declared in DataFlowPrivate
ArgumentNodecharacteristic predicate declared in DataFlowPrivate::ArgumentNode
ArgumentOperandclass declared in Operand
ArgumentOperandcharacteristic predicate declared in Operand::ArgumentOperand
ArgumentOperandclass declared in Operand
ArgumentOperandcharacteristic predicate declared in Operand::ArgumentOperand
ArgumentOperandclass declared in Operand
ArgumentOperandcharacteristic predicate declared in Operand::ArgumentOperand
ArgumentOperandTagclass declared in OperandTag
ArgumentTypeTrapquery module
ArithmeticConversionclass declared in Cast
ArithmeticConversioncharacteristic predicate declared in Cast::ArithmeticConversion
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
ArrayExecFunctionCallcharacteristic predicate declared in CommandExecution::ArrayExecFunctionCall
ArrayExecFunctionCallclass declared in CommandExecution
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
AsmStmtclass declared in Stmt
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
AttributeFormattingFunctioncharacteristic predicate declared in Printf::AttributeFormattingFunction
AttributeFormattingFunctionclass declared in Printf
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
abortingpredicate declared in ConstantExprs
abortingFunctionpredicate declared in ConstantExprs
absprimitive predicate declared in int
absprimitive predicate declared in float
acceptableVolatilepredicate declared in AV Rule 205
accessfield declared in TranslatedExpr::TranslatedVariableAccess
accessfield declared in TranslatedExpr::TranslatedFunctionAccess
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
acquisitionWithRequiredReleasemember predicate declared in AV Rule 79::Resource
addpredicate declared in IntegerConstant
addWithSizeofpredicate declared in IncorrectPointerScalingCommon
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
allSpecifierspredicate declared in Type
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
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
argumentIsKwOnlymember predicate declared in Extensions::TypedPythonExtensionFunction
argumentIsKwOnlymember predicate declared in Extensions::PyArgsFunction
argumentIsKwOnlymember predicate declared in Extensions::PyOFunction
argumentIsKwOnlymember predicate declared in Extensions::PyNoArgFunction
argumentIsOptionalmember predicate declared in Extensions::TypedPythonExtensionFunction
argumentIsOptionalmember predicate declared in Extensions::PyArgsFunction
argumentIsOptionalmember predicate declared in Extensions::PyOFunction
argumentIsOptionalmember predicate declared in Extensions::PyNoArgFunction
argumentOfmember predicate declared in DataFlowPrivate::ArgumentNode
argument_flows_to_returnpredicate declared in ParameterReturnTrap
argvpredicate declared in Security
arithmeticPrecedencepredicate declared in AV Rule 213
arrayExprfield declared in TranslatedExpr::TranslatedArrayExpr
arrayExprFixedSizepredicate declared in StrncpyFlippedArgs
arrayInitializerChildpredicate declared in MagicConstants
arrayTypefield declared in Literal::ArrayAggregateLiteral
arraysizestable
artificialChangepredicate declared in VCS
asExprmember predicate declared in DataFlowUtil::Node
asParametermember predicate declared in DataFlowUtil::Node
asUninitializedmember predicate declared in DataFlowUtil::Node
asinprimitive predicate declared in int
asinprimitive predicate declared in float
assertInvocationpredicate declared in InconsistentCheckReturnNull
assertMacropredicate declared in InconsistentCheckReturnNull
assertionCountpredicate declared in AssertionDensity
assignfield declared in TranslatedExpr::TranslatedAssignment
assignOpfield declared in TranslatedExpr::TranslatedAssignOperation
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 FileMayNotBeClosed
assignedToFieldOrGlobalpredicate declared in DescriptorMayNotBeClosed
assignedValueForVariableAndQualifierpredicate declared in InconsistentCheckReturnNull
assignedVariablemember predicate declared in LoopBounds::ZeroAssignment
assignmentLikeOperationpredicate declared in FlowVar::FlowVar_internal
astfield declared in IRVariable::IRTempVariable
astfield declared in Instruction::Instruction
astfield declared in IRVariable::IRTempVariable
astfield declared in Instruction::Instruction
astfield declared in TranslatedInitialization::TranslatedFieldInitialization
astfield declared in IRVariable::IRTempVariable
astfield declared in Instruction::Instruction
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
BadAdditionOverflowCheckmodule
BadAdditionOverflowCheckquery module
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
BasicOStreamCallcharacteristic predicate declared in FileWrite::BasicOStreamCall
BasicOStreamCallclass declared in FileWrite
BasicOStreamClassclass declared in FileWrite
BasicOStreamClasscharacteristic predicate declared in FileWrite::BasicOStreamClass
BigThreecharacteristic predicate declared in RuleOfThree::BigThree
BigThreeclass declared in RuleOfThree
BinaryArithmeticOperationclass declared in ArithmeticOperation
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
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
BlockExprclass declared in Expr
BlockExprcharacteristic predicate declared in Expr::BlockExpr
BlockOrNonChildcharacteristic predicate declared in EmptyBlock::BlockOrNonChild
BlockOrNonChildclass declared in EmptyBlock
BlockTypecharacteristic predicate declared in Type::BlockType
BlockTypeclass declared in Type
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
BoundedLoopIterationsquery module
BreakStmtclass declared in Stmt
BrokenCryptoAlgorithmquery module
Buffermodule
Buffermodule
BufferAccessclass declared in OverflowStatic
BufferAccesscharacteristic predicate declared in OverflowStatic::BufferAccess
BufferAccessmodule
BufferAccessclass declared in 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
BufferSizeExprclass declared in Buffer
BufferSizeExprcharacteristic predicate declared in Buffer::BufferSizeExpr
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
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
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
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 SizeCheck
baseTypepredicate declared in SizeCheck2
bbDominatespredicate declared in Dominance
bbIDominatespredicate declared in Dominance
bbNotInLoopmember predicate declared in FlowVar::FlowVar_internal::AlwaysTrueUponEntryLoop
bbStrictlyDominatespredicate declared in Dominance
bbSuccessorEntryReachesLoopInvariantpredicate declared in LocalScopeVariableReachability
bbSuccessorEntryReachesLoopInvariantpredicate declared in StackVariableReachability
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 TranslatedStmt::TranslatedBlock
blockfield declared in PrintIR::PrintableIRBlock
blockIsLockedpredicate declared in UnreleasedLock
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
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
build_value_functionpredicate declared in Extensions
builtintypestable

C

CAfferentCouplingquery module
CEfferentCouplingquery module
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
CObjectclass declared in Extensions
CObjectSourcesTrapquery module
CObjectTrapquery 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
Callclass declared in Opcode::Opcode
Callmodule
CallContextclass declared in DataFlowImplCommon
CallContextAnyclass declared in DataFlowImplCommon
CallContextCallclass declared in DataFlowImplCommon
CallContextReturnclass declared in DataFlowImplCommon
CallContextSomeCallclass declared in DataFlowImplCommon
CallContextSpecificCallclass declared in DataFlowImplCommon
CallGraphmodule
CallInstructionclass declared in Instruction
CallInstructioncharacteristic predicate declared in Instruction::CallInstruction
CallInstructionclass declared in Instruction
CallInstructioncharacteristic predicate declared in Instruction::CallInstruction
CallInstructionclass declared in Instruction
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
CallTargetOperandcharacteristic predicate declared in Operand::CallTargetOperand
CallTargetOperandclass declared in Operand
CallTargetOperandcharacteristic predicate declared in Operand::CallTargetOperand
CallTargetOperandclass declared in Operand
CallTargetOperandcharacteristic predicate declared in Operand::CallTargetOperand
CallTargetOperandTagclass declared in OperandTag
CallTargetTaginjector declared in InstructionTag
CallTargetTagtype declared in InstructionTag
CallWithBufferSizecharacteristic predicate declared in OverflowStatic::CallWithBufferSize
CallWithBufferSizeclass declared in OverflowStatic
CallWithNullSALquery module
Callableclass declared in DataFlowPrivate
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
CastExprclass declared in DataFlowPrivate
CastExprcharacteristic predicate declared in DataFlowPrivate::CastExpr
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
ChiPartialOperandcharacteristic predicate declared in Operand::ChiPartialOperand
ChiPartialOperandclass declared in Operand
ChiPartialOperandcharacteristic predicate declared in Operand::ChiPartialOperand
ChiPartialOperandclass declared in Operand
ChiPartialOperandcharacteristic predicate declared in Operand::ChiPartialOperand
ChiPartialOperandTagclass declared in OperandTag
ChiTotalMemoryAccessclass declared in MemoryAccessKind
ChiTotalOperandclass declared in Operand
ChiTotalOperandcharacteristic predicate declared in Operand::ChiTotalOperand
ChiTotalOperandclass declared in Operand
ChiTotalOperandcharacteristic predicate declared in Operand::ChiTotalOperand
ChiTotalOperandclass declared in Operand
ChiTotalOperandcharacteristic predicate declared in Operand::ChiTotalOperand
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
ClassicForLoopcharacteristic predicate declared in LoopBounds::ClassicForLoop
ClassicForLoopclass declared in LoopBounds
ClassifyFilesquery module
Cleanup-DuplicateIncludeGuardquery module
CleartextBufferWritequery module
CleartextFileWritequery module
CleartextSqliteDatabasequery module
ClosedExprcharacteristic predicate declared in FileClosed::ClosedExpr
ClosedExprclass declared in FileClosed
ClosedExprcharacteristic predicate declared in DescriptorNeverClosed::ClosedExpr
ClosedExprclass declared in DescriptorNeverClosed
Closureclass declared in Lambda
Closurecharacteristic predicate declared in Lambda::Closure
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
CompareInstructioncharacteristic predicate declared in Instruction::CompareInstruction
CompareInstructionclass declared in Instruction
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
ConditionContextclass declared in TranslatedCondition
ConditionDeclExprclass declared in Assignment
ConditionEvaluatorclass declared in ConstantExprs
ConditionEvaluatorcharacteristic predicate declared in ConstantExprs::ConditionEvaluator
ConditionOperandclass declared in Operand
ConditionOperandcharacteristic predicate declared in Operand::ConditionOperand
ConditionOperandclass declared in Operand
ConditionOperandcharacteristic predicate declared in Operand::ConditionOperand
ConditionOperandclass declared in Operand
ConditionOperandcharacteristic predicate declared in Operand::ConditionOperand
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
ConditionalBranchInstructioncharacteristic predicate declared in Instruction::ConditionalBranchInstruction
ConditionalBranchInstructionclass declared in Instruction
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 DataFlowImpl3
Configurationcharacteristic predicate declared in TaintTracking::TaintTracking::Configuration
Configurationclass declared in TaintTracking::TaintTracking
Configurationcharacteristic predicate declared in DataFlowImpl3::Configuration
Configurationcharacteristic predicate declared in DataFlowImpl::Configuration
Configurationclass declared in DataFlowImpl4
Configurationcharacteristic predicate declared in DataFlowImpl4::Configuration
Configurationcharacteristic predicate declared in DataFlowImpl2::Configuration
Configuration2characteristic predicate declared in TaintTracking::TaintTracking::Configuration2
Configuration2class declared in TaintTracking::TaintTracking
ConjugationExprclass declared in ArithmeticOperation
ConstCastclass declared in Cast
ConstMemberFunctionclass declared in Function
ConstMemberFunctioncharacteristic predicate declared in Function::ConstMemberFunction
Constantclass declared in Opcode::Opcode
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
ConstantValueInstructioncharacteristic predicate declared in Instruction::ConstantValueInstruction
ConstantValueInstructionclass declared in Instruction
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
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
CopySourceOperandclass declared in Operand
CopySourceOperandcharacteristic predicate declared in Operand::CopySourceOperand
CopySourceOperandclass declared in Operand
CopySourceOperandcharacteristic predicate declared in Operand::CopySourceOperand
CopySourceOperandclass declared in Operand
CopySourceOperandcharacteristic predicate declared in Operand::CopySourceOperand
CopySourceOperandTagclass declared in OperandTag
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
CustomMutexTypecharacteristic predicate declared in Options::CustomMutexType
CustomMutexTypeclass declared in Options
CustomOptionsclass declared in Options
CustomSecurityOptionsclass declared in SecurityOptions
CyclicNamespacesquery module
CyclomaticComplexityquery module
c_indexmember predicate declared in Extensions::TypedPythonExtensionFunction
callfield declared in TranslatedInitialization::TranslatedStructorCallFromStructor
callfield declared in TranslatedCall::TranslatedCallExpr
callfield declared in DataFlowPrivate::Argument
callArgumentVariablepredicate declared in InconsistentCheckReturnNull
callByReferencepredicate declared in Dataflow
callDereferencespredicate declared in Dereferenced
callFromNonVirtualpredicate declared in AV Rule 71.1
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
call_to_newpredicate declared in Extensions
call_to_typepredicate declared in Extensions
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
canUseFieldInsteadOfLiteralpredicate declared in MagicConstants
canValueFlowpredicate declared in StringAnalysis
candidateExprpredicate declared in ShortCircuitBitMask
candidateFilePairpredicate declared in InappropriateIntimacy
candidateForStmtpredicate declared in inconsistentLoopDirection
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_special_methodspredicate declared in Extensions
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
commafield declared in TranslatedExpr::TranslatedCommaExpr
commentbindingtable
commentstable
committedFilespredicate declared in HNumberOfCoCommits
commonErrorCodepredicate declared in NonzeroValueCastToPointer
commonExceptionpredicate declared in UninitializedLocal
commonMacropredicate declared in AV Rule 30
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
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
condDeclExprfield declared in TranslatedExpr::TranslatedConditionDeclExpr
condExprfield declared in TranslatedExpr::TranslatedConditionalExpr
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
constantValuepredicate declared in AV Rule 164
constructorMightRunOnStackpredicate declared in StackAddress
containerparenttable
containsmember predicate declared in SubBasicBlocks::SubBasicBlock
containsmember predicate declared in BasicBlocks::BasicBlock
containsmember predicate declared in PrimitiveBasicBlocks::PrimitiveBasicBlock
containsmember predicate declared in SubBasicBlocks::SubBasicBlock
containsArraypredicate declared in AV Rule 97
containsDisabledCodepredicate declared in ExprHasNoEffect
containsInlineAssemblypredicate declared in UninitializedLocal
controlsmember predicate declared in IRGuards::GuardCondition
controlsmember predicate declared in IRGuards::IRGuardCondition
controlsmember predicate declared in Guards::GuardCondition
convfield declared in TranslatedExpr::TranslatedTransparentConversion
convfield declared in TranslatedExpr::TranslatedConversion
convfield declared in PrintAST::ConversionNode
conversionkindstable
coordinatePairpredicate declared in ShortLoopVarName
copySignprimitive predicate declared in float
copySourceOperandpredicate declared in OperandTag
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
cppmodule
cpython_major_versionpredicate declared in Extensions
cpython_minor_versionpredicate declared in Extensions
cpython_versionpredicate declared in Extensions
ctorfield declared in PrintAST::ConstructorInitializersNode
ctorCallfield declared in TranslatedInitialization::TranslatedConstructorInitialization
custom_phi_nodemember predicate declared in RangeSSA::RangeSSA
custom_phi_nodemember predicate declared in SSAUtils::SSAHelper
cwe807violationpredicate declared in TaintedCondition
cyclomaticComplexityBranchespredicate declared in MetricFunction

D

DangerousUseOfCinquery module
DataFlowmodule
DataFlowmodule declared in DataFlow
DataFlowmodule
DataFlow2module
DataFlow2module declared in DataFlow2
DataFlow3module
DataFlow3module declared in DataFlow3
DataFlow4module
DataFlow4module declared in DataFlow4
DataFlowDispatchmodule
DataFlowFunctionclass declared in DataFlow
DataFlowImplmodule
DataFlowImpl2module
DataFlowImpl3module
DataFlowImpl4module
DataFlowImplCommonmodule
DataFlowPrivatemodule
DataFlowSubBasicBlockCutNodeclass declared in FlowVar::FlowVar_internal
DataFlowSubBasicBlockCutNodecharacteristic predicate declared in FlowVar::FlowVar_internal::DataFlowSubBasicBlockCutNode
DataFlowUtilmodule
DataOutputclass declared in ExposedSystemData
DataSensitiveCallExprcharacteristic predicate declared in TaintTracking::DataSensitiveCallExpr
DataSensitiveCallExprclass declared in TaintTracking
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
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
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
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
DefectResultcharacteristic predicate declared in DefectFilter::DefectResult
DefectResultclass declared in DefectFilter
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
DotFieldAccessclass declared in Access
DotFieldAccesscharacteristic predicate declared in Access::DotFieldAccess
DoubleTypeclass declared in Type
DoubleTypecharacteristic predicate declared in Type::DoubleType
DubiousNullCheckquery module
DuplicateBlockclass declared in CodeDuplication
DuplicateBlockquery module
DuplicateFunctionquery module
DynamicAllocAfterInitquery module
DynamicCastclass declared in Cast
DynamicCastToVoidclass declared in Opcode::Opcode
dangerousFunctionpredicate declared in PotentiallyDangerousFunction
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 TranslatedStmt::TranslatedDeclStmt
declStmtfield declared in PrintAST::DeclStmtNode
declWithNoInitpredicate declared in ImproperNullTermination
declWithNoInitpredicate declared in UninitializedLocal
declarationHasSideEffectspredicate declared in UnusedStaticVariables
declarationHasSideEffectspredicate declared in UnusedLocals
declaredUsingAutoTypemember predicate declared in Variable::Variable
decltypestable
deffield declared in FlowVar::FlowVar_internal::SsaVar
defInstrfield declared in Operand::NonPhiOperand
defInstrfield declared in Operand::PhiOperand
defInstrfield declared in Operand::NonPhiOperand
defInstrfield declared in Operand::PhiOperand
defInstrfield declared in Operand::NonPhiOperand
defInstrfield declared in Operand::PhiOperand
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 RangeSSA::RangeSsaDefinition
definedByParametermember predicate declared in SSA::SsaDefinition
definedInIfDefpredicate declared in ExprHasNoEffect
definedInImplementationFilepredicate declared in AV Rule 40
definespredicate declared in AV Rule 143
definespredicate declared in AV Rule 142
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
definitionOfpredicate declared in definitions
definitionReachespredicate declared in DefinitionsAndUses
definitionUsePairpredicate declared in DefinitionsAndUses
definitionsquery module
definitionsmodule
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 89
derivesVirtualpredicate declared in AV Rule 88.1
derivesVirtualStarpredicate declared in AV Rule 88.1
derspecifierstable
describeGroupmember predicate declared in ClassesWithManyFields::VariableDeclarationGroup
descriptionmember predicate declared in BrokenCryptoAlgorithm::InsecureCryptoSpec
descriptionmember predicate declared in BrokenCryptoAlgorithm::InsecureFunctionCall
descriptionmember predicate declared in BrokenCryptoAlgorithm::InsecureMacroSpec
destructionfield declared in TranslatedExpr::TranslatedDestructorFieldDestruction
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
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
dominatesmember predicate declared in IRBlock::IRBlock
dominatesmember predicate declared in IRBlock::IRBlock
dominatesmember predicate declared in IRBlock::IRBlock
dominatespredicate declared in Dominance
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
EdgeKindmodule
EdgeKindclass declared in EdgeKind
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
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
EscapedMemoryAccessclass declared in MemoryAccessKind
EscapesTreemodule
ExceptionEdgeclass declared in EdgeKind
ExceptionOperandclass declared in Operand
ExceptionOperandcharacteristic predicate declared in Operand::ExceptionOperand
ExceptionOperandclass declared in Operand
ExceptionOperandcharacteristic predicate declared in Operand::ExceptionOperand
ExceptionOperandclass declared in Operand
ExceptionOperandcharacteristic predicate declared in Operand::ExceptionOperand
ExceptionOperandTagclass declared in OperandTag
ExcludeGeneratedCodequery module
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 PrintAST
ExprNodecharacteristic predicate declared in PrintAST::ExprNode
ExprStmtclass declared in Stmt
ExtClassclass declared in ClassesWithManyFields
Extensionsmodule
ExternDeclsInHeaderquery module
ExternalArtifactmodule
ExternalDataclass declared in ExternalArtifact
ExternalDependenciesmodule
ExternalDependenciesquery module
ExternalDependenciesSourceLinksquery module
edgespredicate declared in PrintIR
edgespredicate declared in PrintIR
edgespredicate declared in PrintIR
edgespredicate declared in DataFlowImpl3::PathGraph
edgespredicate declared in DataFlowImpl::PathGraph
edgespredicate declared in DataFlowImpl4::PathGraph
edgespredicate declared in DataFlowImpl2::PathGraph
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
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
ensuresLtmember predicate declared in IRGuards::GuardCondition
ensuresLtmember predicate declared in IRGuards::IRGuardCondition
ensuresLtmember predicate declared in Guards::GuardCondition
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 AV Rule 145
enumThatHasConstantWithImplicitValuepredicate declared in EnumInitialization
enumconstantstable
eqOpWithSwapAndNegatepredicate declared in RangeAnalysisUtils
errorConditionpredicate declared in Negativity
errorSuccessorpredicate declared in Negativity
evaluatedBeforeMainpredicate declared in AV Rule 214
exceptionEdgepredicate declared in EdgeKind
exceptionOperandpredicate declared in OperandTag
exceptionTypefield declared in Instruction::CatchByTypeInstruction
exceptionTypefield declared in Instruction::CatchByTypeInstruction
exceptionTypefield declared in Instruction::CatchByTypeInstruction
excludepredicate declared in InconsistentCallOnResult
excludedpredicate declared in AV Rule 163
excludedpredicate declared in AV Rule 162
exitFrompredicate declared in ExitPermanentLoop
exitFrompredicate declared in ExitNonterminatingLoop
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 Class::Class
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
explainmember predicate declared in TypedefType::TypedefType
explainmember predicate declared in UserType::UserType
explainmember predicate declared in Struct::Struct
explainmember predicate declared in Enum::Enum
explainmember predicate declared in Union::Union
exprfield declared in TranslatedCondition::TranslatedCondition
exprfield declared in TranslatedInitialization::TranslatedInitialization
exprfield declared in TranslatedInitialization::TranslatedExplicitFieldInitialization
exprfield declared in TranslatedExpr::TranslatedExpr
exprfield declared in DataFlowUtil::ExprNode
exprfield declared in PrintAST::ExprNode
exprCallfield declared in TranslatedCall::TranslatedExprCall
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
exprMayPointToStackpredicate declared in ReturnStackAllocatedMemory
exprMaybeStackAllocatedpredicate declared in ReturnStackAllocatedMemory
exprMinValpredicate declared in RangeAnalysisUtils
exprNodepredicate declared in DataFlowUtil
exprOrDereferencepredicate declared in AV Rule 79
expr_allocatortable
expr_ancestortable
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
FOpenReachabilitycharacteristic predicate declared in FileMayNotBeClosed::FOpenReachability
FOpenReachabilityclass declared in FileMayNotBeClosed
FOpenVariableReachabilitycharacteristic predicate declared in FileMayNotBeClosed::FOpenVariableReachability
FOpenVariableReachabilityclass declared in FileMayNotBeClosed
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
FileWritemodule
FileWritecharacteristic predicate declared in FileWrite::FileWrite
FileWriteclass declared in 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
FlowLocalScopeVariablecharacteristic predicate declared in TaintTracking::FlowLocalScopeVariable
FlowLocalScopeVariableclass declared in TaintTracking
FlowVarclass declared in FlowVar
FlowVarmodule
FlowVar_internalmodule declared in FlowVar
FlowVariablecharacteristic predicate declared in TaintTracking::FlowVariable
FlowVariableclass declared in TaintTracking
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 UseOfJmp::ForbiddenFunction
ForbiddenFunctionclass declared in UseOfJmp
ForbiddenFunctioncharacteristic predicate declared in SimpleControlFlowJmp::ForbiddenFunction
ForbiddenFunctionclass declared in SimpleControlFlowJmp
FormatAttributeclass declared in Specifier
FormatAttributecharacteristic predicate declared in Specifier::FormatAttribute
FormatBufferclass declared in TaintedFormatStrings
FormatBuffercharacteristic predicate declared in TaintedFormatStrings::FormatBuffer
FormatLiteralcharacteristic predicate declared in Printf::FormatLiteral
FormatLiteralclass declared in Printf
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
FreedExprcharacteristic predicate declared in MemoryFreed::FreedExpr
FreedExprclass declared in MemoryFreed
FriendDeclclass declared in FriendDecl
FriendDeclmodule
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
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
FunctionIRclass declared in FunctionIR
FunctionIRcharacteristic predicate declared in FunctionIR::FunctionIR
FunctionIRmodule
FunctionIRclass declared in FunctionIR
FunctionIRcharacteristic predicate declared in FunctionIR::FunctionIR
FunctionIRmodule
FunctionIRclass declared in FunctionIR
FunctionIRcharacteristic predicate declared in FunctionIR::FunctionIR
FunctionIRmodule
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
FunctionReferenceTypecharacteristic predicate declared in Type::FunctionReferenceType
FunctionReferenceTypeclass declared in Type
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
FunctionWithNegativeReturncharacteristic predicate declared in MissingNegativityTest::FunctionWithNegativeReturn
FunctionWithNegativeReturnclass declared in MissingNegativityTest
FunctionWithWrappersclass declared in FunctionWithWrappers
FunctionWithWrappersmodule
FunctionsWithManyParametersquery module
FutileConditionalquery module
ffield declared in AliasedSSA::UnknownVirtualVariable
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 Instruction::FieldInstruction
fieldfield declared in Instruction::FieldInstruction
fieldfield declared in TranslatedInitialization::TranslatedFieldInitialization
fieldfield declared in Instruction::FieldInstruction
fieldAccessfield declared in TranslatedExpr::TranslatedFieldAccess
fieldEndmember predicate declared in Padding::PaddedType
fieldFlowBranchLimitmember predicate declared in DataFlowImpl3::Configuration
fieldFlowBranchLimitmember predicate declared in DataFlowImpl::Configuration
fieldFlowBranchLimitmember predicate declared in DataFlowImpl4::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 CheckArguments
firstAccesspredicate declared in CheckingParameterValues
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 CheckArguments
flowpredicate declared in CheckingParameterValues
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 DataFlowImpl3
flowsTopredicate declared in DataFlowImpl
flowsTopredicate declared in DataFlowImpl4
flowsTopredicate declared in DataFlowImpl2
flowsToDefpredicate declared in SnprintfOverflow
flowsToDefImplpredicate declared in SnprintfOverflow
flowsToExprpredicate declared in SnprintfOverflow
flowsToExprImplpredicate declared in SnprintfOverflow
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 TranslatedStmt::TranslatedForStmt
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 NonPortablePrintf
formatArgTypepredicate declared in WrongTypeFormatArguments
formatArgumentpredicate declared in TaintedFormatStrings
formatBufferpredicate declared in TaintedFormatStrings
formatOtherArgTypepredicate declared in NonPortablePrintf
formatOtherArgTypepredicate declared in WrongTypeFormatArguments
format_stringpredicate declared in ArgParse
format_tokenpredicate declared in ArgParse
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 Namespace::Namespace
fromLibrarymember predicate declared in Element::Element
fromLibrarymember predicate declared in File::File
fromSourcemember predicate declared in Namespace::Namespace
fromSourcemember predicate declared in Element::Element
fromSourcemember predicate declared in Initializer::Initializer
fromSourcemember predicate declared in File::File
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 FunctionIR::FunctionIR
funcfield declared in FunctionIR::FunctionIR
funcfield declared in FunctionIR::FunctionIR
funcfield declared in TranslatedFunction::TranslatedFunction
funcfield declared in TranslatedFunction::TranslatedConstructorInitList
funcfield declared in TranslatedFunction::TranslatedDestructorDestructionList
funcfield declared in PrintAST::ParametersNode
funcfield declared in PrintAST::FunctionNode
funcCallfield declared in TranslatedCall::TranslatedFunctionCall
funcIRfield declared in PrintIR::PrintableFunctionIR
funcIRfield declared in IRVariable::IRVariable
funcIRfield declared in Instruction::Instruction
funcIRfield declared in PrintIR::PrintableFunctionIR
funcIRfield declared in IRVariable::IRVariable
funcIRfield declared in Instruction::Instruction
funcIRfield declared in PrintIR::PrintableFunctionIR
funcIRfield declared in IRVariable::IRVariable
funcIRfield declared in Instruction::Instruction
funcSymbolfield declared in Instruction::FunctionInstruction
funcSymbolfield declared in Instruction::FunctionInstruction
funcSymbolfield declared in Instruction::FunctionInstruction
funcattributestable
functionAPIViolationpredicate declared in AV Rule 97
functionArgumentMustBeNullTerminatedpredicate declared in NullTermination
functionDependencyCountpredicate declared in InappropriateIntimacy
functionDereferencespredicate declared in Dereferenced
functionEntrypredicate declared in Dominance
functionImperfectlyExtractedpredicate declared in AV Rule 114
functionInitialisespredicate declared in GlobalUseBeforeInit
functionLocationpredicate declared in ExprHasNoEffect
functionParameterNamespredicate declared in DeclarationHidesParameter
functionQualifierpredicate declared in InconsistentCheckReturnNull
functionStatspredicate declared in InconsistentCallOnResult
functionStatspredicate declared in InconsistentCheckReturnNull
functionUsesFunctionpredicate declared in FeatureEnvy
functionUsesVariablepredicate declared in FeatureEnvy
function_defaultedtable
function_deletedtable
function_entry_pointtable
function_instantiationtable
function_return_typetable
function_template_argumenttable
functionstable
functionsMissingReturnStmtpredicate declared in AV Rule 114
funspecifierstable

G

GEExprclass declared in ComparisonOperation
GLValueclass declared in ValueCategory
GNUVectorTypeclass declared in Type
GNUVectorTypecharacteristic predicate declared in Type::GNUVectorType
GTExprclass declared in ComparisonOperation
GVNclass declared in GlobalValueNumbering
GVNcharacteristic predicate declared in GlobalValueNumbering::GVN
GeneralPointerTypecharacteristic predicate declared in AV Rule 147::GeneralPointerType
GeneralPointerTypeclass declared in AV Rule 147
GeneralStatisticsquery module
Gethostbyaddrcharacteristic predicate declared in Inet::Gethostbyaddr
Gethostbyaddrclass declared in Inet
Gethostbynamecharacteristic predicate declared in Inet::Gethostbyname
Gethostbynameclass declared in Inet
GetsBWclass declared in BufferWrite
GetsBWcharacteristic predicate declared in BufferWrite::GetsBW
GetsCallclass declared in PotentialBufferOverflow
GetsCallcharacteristic predicate declared in PotentialBufferOverflow::GetsCall
GlobalCouldBeStaticquery module
GlobalNamespaceclass declared in Namespace
GlobalNamespacecharacteristic predicate declared in Namespace::GlobalNamespace
GlobalNamespaceClassesquery module
GlobalOrNamespaceVariableclass declared in Variable
GlobalUseBeforeInitquery module
GlobalValueNumberingmodule
GlobalVariableclass declared in Variable
GlobalVariablecharacteristic predicate declared in Variable::GlobalVariable
GlvalueConversionclass declared in Cast
GlvalueConversioncharacteristic predicate declared in Cast::GlvalueConversion
GnuAttributeclass declared in Specifier
GotoEdgeclass declared in EdgeKind
GotoStmtclass declared in Stmt
Greaterinjector declared in RangeAnalysisUtils
Greatertype declared in RangeAnalysisUtils
GuardConditionclass declared in Guards
GuardConditionclass declared in IRGuards
GuardConditioncharacteristic predicate declared in IRGuards::GuardCondition
GuardConditioncharacteristic predicate declared in Guards::GuardCondition
GuardedSsaclass declared in Guards
Guardsmodule
gcdprimitive predicate declared in int
generatedBymember predicate declared in Dataflow::DataflowAnnotation
generatedBymember predicate declared in Dataflow::NullnessAnnotation
generatedCopyAssignmentpredicate declared in RuleOfTwo
generatedCopyConstructorpredicate declared in RuleOfTwo
generatedFilepredicate declared in ExcludeGeneratedCode
generatedOnmember predicate declared in Dataflow::DataflowAnnotation
generatedOnmember predicate declared in Dataflow::NullnessAnnotation
getABaseClassmember predicate declared in Class::Class
getABaseClassByteOffsetmember predicate declared in Class::Class
getABlockmember predicate declared in FunctionIR::FunctionIR
getABlockmember predicate declared in FunctionIR::FunctionIR
getABlockmember predicate declared in FunctionIR::FunctionIR
getAByteOffsetInmember predicate declared in Field::Field
getACallToThisFunctionmember predicate declared in Function::Function
getACanonicalMembermember predicate declared in Class::Class
getACanonicalMemberFunctionmember predicate declared in Class::Class
getACanonicalMemberVariablemember predicate declared in Class::Class
getACapturemember predicate declared in Lambda::LambdaExpression
getACaseSuccessormember predicate declared in Instruction::SwitchInstruction
getACaseSuccessormember predicate declared in Instruction::SwitchInstruction
getACaseSuccessormember predicate declared in Instruction::SwitchInstruction
getACatchClausemember predicate declared in Stmt::TryStmt
getACharactersSetmember predicate declared in XML::XMLParent
getAChildmember predicate declared in XML::XMLParent
getAChildmember predicate declared in XML::XMLParent
getAChildmember predicate declared in TranslatedElement::TranslatedElement
getAChildmember predicate declared in Stmt::Stmt
getAChildmember predicate declared in Expr::Expr
getAChildmember predicate declared in PrintAST::PrintASTNode
getAChildContainermember predicate declared in File::Container
getAChildNamespacemember predicate declared in Namespace::Namespace
getAChildNamespacemember predicate declared in Namespace::GlobalNamespace
getAClassmember predicate declared in Extensions::PythonModule
getAClassmember predicate declared in Linkage::LinkTarget
getAClassmember predicate declared in MagicDraw::UMLPackage
getAClassDependencymember predicate declared in MetricClass::MetricClass
getACommentmember predicate declared in XML::XMLParent
getACommitmember predicate declared in VCS::Author
getAConstraintmember predicate declared in MagicDraw::UMLElement
getAConstructormember predicate declared in Class::Class
getADTDmember predicate declared in XML::XMLFile
getADeclarationmember predicate declared in Namespace::Namespace
getADeclarationmember predicate declared in Namespace::GlobalNamespace
getADeclarationmember predicate declared in Class::Class
getADeclarationmember predicate declared in Stmt::ControlStructure
getADeclarationmember predicate declared in Stmt::ForStmt
getADeclarationmember predicate declared in Stmt::DeclStmt
getADeclarationmember predicate declared in Block::Block
getADeclarationmember predicate declared in UserType::UserType
getADeclarationmember predicate declared in File::File
getADeclarationmember predicate declared in Function::Function
getADeclarationEntrymember predicate declared in Namespace::Namespace
getADeclarationEntrymember predicate declared in Stmt::DeclStmt
getADeclarationEntrymember predicate declared in UserType::UserType
getADeclarationEntrymember predicate declared in Declaration::Declaration
getADeclarationEntrymember predicate declared in Function::Function
getADeclarationEntrymember predicate declared in Variable::Variable
getADeclarationLocationmember predicate declared in FriendDecl::FriendDecl
getADeclarationLocationmember predicate declared in ObjectiveC::Property
getADeclarationLocationmember predicate declared in UserType::UserType
getADeclarationLocationmember predicate declared in Declaration::Declaration
getADeclarationLocationmember predicate declared in Enum::EnumConstant
getADeclarationLocationmember predicate declared in Function::Function
getADeclarationLocationmember predicate declared in Variable::Variable
getADecrementpredicate declared in BoundedLoopIterations
getADecrementpredicate declared in LoopBounds
getADeleteExprmember predicate declared in AV Rule 81::ReferenceCopyAssignmentOperator
getADependentElementmember predicate declared in Dependency::Symbol
getADepthmember predicate declared in MetricClass::MetricClass
getADerivationmember predicate declared in Class::Class
getADerivedClassmember predicate declared in Class::Class
getADestructionmember predicate declared in Function::Destructor
getAFalseLooppredicate declared in ContinueInFalseLoop
getAFalseSuccessormember predicate declared in SubBasicBlocks::SubBasicBlock
getAFalseSuccessormember predicate declared in BasicBlocks::BasicBlock
getAFalseSuccessormember predicate declared in ControlFlowGraph::ControlFlowNode
getAFalseSuccessormember predicate declared in SubBasicBlocks::SubBasicBlock
getAFieldmember predicate declared in Class::Class
getAFilemember predicate declared in ExternalDependencies::LibraryElement
getAFilemember predicate declared in ExternalDependencies::Library
getAFilemember predicate declared in Namespace::Namespace
getAFilemember predicate declared in Declaration::Declaration
getAFilemember predicate declared in File::Container
getAFileCompiledmember predicate declared in Compilation::Compilation