| BCopyBA | class declared in BufferAccess |
| BadIncludeGuard | class declared in MultipleInclusion |
| BarrierGuard | module declared in DataFlowUtil |
| BarrierGuard | module declared in DataFlowUtil |
| BarrierGuard | module declared in Make::DataFlowIntegration |
| BarrierGuardDefWithState | module declared in Make::DataFlowIntegration |
| BarrierGuardWithState | module declared in Make::DataFlowIntegration |
| BaseAstNode | class declared in PrintAST |
| BaseClassConversion | class declared in Cast |
| BasicBlock | module |
| BasicBlock | class declared in Make |
| BasicBlock | class declared in BasicBlocks |
| BasicBlock | class declared in IRCfg |
| BasicBlocks | module |
| BasicOStreamCall | class declared in FileWrite |
| BasicOStreamClass | class declared in FileWrite |
| BinaryArithmeticInstruction | class declared in Instruction |
| BinaryArithmeticOpcode | class declared in Opcode |
| BinaryArithmeticOperation | class declared in ArithmeticOperation |
| BinaryBitwiseInstruction | class declared in Instruction |
| BinaryBitwiseOpcode | class declared in Opcode |
| BinaryBitwiseOperation | class declared in BitwiseOperation |
| BinaryFloatingPointType | class declared in Type |
| BinaryInstruction | class declared in Instruction |
| BinaryLogicalOperation | class declared in LogicalOperation |
| BinaryOpcode | class declared in Opcode |
| BinaryOperation | class declared in Expr |
| BitAnd | class declared in Opcode |
| BitAndInstruction | class declared in Instruction |
| BitComplement | class declared in Opcode |
| BitComplementInstruction | class declared in Instruction |
| BitField | class declared in Field |
| BitOr | class declared in Opcode |
| BitOrInstruction | class declared in Instruction |
| BitXor | class declared in Opcode |
| BitXorInstruction | class declared in Instruction |
| BitwiseAndExpr | class declared in BitwiseOperation |
| BitwiseInstruction | class declared in Instruction |
| BitwiseOpcode | class declared in Opcode |
| BitwiseOperation | module |
| BitwiseOrExpr | class declared in BitwiseOperation |
| BitwiseXorExpr | class declared in BitwiseOperation |
| Block | module |
| BlockAssignExpr | class declared in Assignment |
| BlockExpr | class declared in Expr |
| BlockStmt | class declared in Block |
| BlockType | class declared in Type |
| BoolConversion | class declared in Cast |
| BoolType | class declared in Type |
| Boolean | module |
| Boolean | class declared in Boolean |
| BooleanSuccessor | class declared in SuccessorType |
| BooleanValue | class declared in IRGuards |
| BoostorgAsio | module declared in protocols |
| Bound | class declared in RangeAnalysis |
| BreakStmt | class declared in Stmt |
| BreakSuccessor | class declared in SuccessorType |
| Buffer | module |
| BufferAccess | module |
| BufferAccess | class declared in BufferAccess |
| BufferAccessOpcode | class declared in Opcode |
| BufferMayWriteSideEffect | class declared in Opcode |
| BufferMayWriteSideEffectInstruction | class declared in Instruction |
| BufferMemoryAccess | class declared in MemoryAccessKind |
| BufferMustWriteSideEffect | class declared in Opcode |
| BufferMustWriteSideEffectInstruction | class declared in Instruction |
| BufferReadSideEffect | class declared in Opcode |
| BufferReadSideEffectInstruction | class declared in Instruction |
| BufferSizeOperand | class declared in Operand |
| BufferWrite | module |
| BufferWrite | class declared in BufferWrite |
| BufferWriteCall | class declared in BufferWrite |
| BufferWriteEstimationReason | class declared in Printf |
| BuiltIn | class declared in Opcode |
| BuiltInBitCast | class declared in BuiltInOperations |
| BuiltInChooseExpr | class declared in BuiltInOperations |
| BuiltInComplexOperation | class declared in BuiltInOperations |
| BuiltInFunction | class declared in Function |
| BuiltInInstruction | class declared in Instruction |
| BuiltInIntAddr | class declared in BuiltInOperations |
| BuiltInIsTrivial | class declared in BuiltInOperations |
| BuiltInNoOp | class declared in BuiltInOperations |
| BuiltInOperation | class declared in BuiltInOperations |
| BuiltInOperationArrayExtent | class declared in BuiltInOperations |
| BuiltInOperationArrayRank | class declared in BuiltInOperations |
| BuiltInOperationBuiltInAddressOf | class declared in BuiltInOperations |
| BuiltInOperationBuiltInConvertVector | class declared in BuiltInOperations |
| BuiltInOperationBuiltInIsCorrespondingMember | class declared in BuiltInOperations |
| BuiltInOperationBuiltInIsPointerInterconvertible | class declared in BuiltInOperations |
| BuiltInOperationBuiltInOffsetOf | class declared in BuiltInOperations |
| BuiltInOperationBuiltInShuffle | class declared in BuiltInOperations |
| BuiltInOperationBuiltInShuffleVector | class declared in BuiltInOperations |
| BuiltInOperationBuiltInTypesCompatibleP | class declared in BuiltInOperations |
| BuiltInOperationHasAssign | class declared in BuiltInOperations |
| BuiltInOperationHasAttribute | class declared in BuiltInOperations |
| BuiltInOperationHasCopy | class declared in BuiltInOperations |
| BuiltInOperationHasFinalizer | class declared in BuiltInOperations |
| BuiltInOperationHasNoThrowAssign | class declared in BuiltInOperations |
| BuiltInOperationHasNoThrowConstructor | class declared in BuiltInOperations |
| BuiltInOperationHasNoThrowCopy | class declared in BuiltInOperations |
| BuiltInOperationHasNothrowMoveAssign | class declared in BuiltInOperations |
| BuiltInOperationHasTrivialAssign | class declared in BuiltInOperations |
| BuiltInOperationHasTrivialConstructor | class declared in BuiltInOperations |
| BuiltInOperationHasTrivialCopy | class declared in BuiltInOperations |
| BuiltInOperationHasTrivialDestructor | class declared in BuiltInOperations |
| BuiltInOperationHasTrivialMoveAssign | class declared in BuiltInOperations |
| BuiltInOperationHasTrivialMoveConstructor | class declared in BuiltInOperations |
| BuiltInOperationHasUniqueObjectRepresentations | class declared in BuiltInOperations |
| BuiltInOperationHasUserDestructor | class declared in BuiltInOperations |
| BuiltInOperationHasVirtualDestructor | class declared in BuiltInOperations |
| BuiltInOperationInstruction | class declared in Instruction |
| BuiltInOperationIsAbstract | class declared in BuiltInOperations |
| BuiltInOperationIsAggregate | class declared in BuiltInOperations |
| BuiltInOperationIsArithmetic | class declared in BuiltInOperations |
| BuiltInOperationIsArray | class declared in BuiltInOperations |
| BuiltInOperationIsAssignable | class declared in BuiltInOperations |
| BuiltInOperationIsAssignableNoPreconditionCheck | class declared in BuiltInOperations |
| BuiltInOperationIsBaseOf | class declared in BuiltInOperations |
| BuiltInOperationIsBitwiseCloneable | class declared in BuiltInOperations |
| BuiltInOperationIsBoundedArray | class declared in BuiltInOperations |
| BuiltInOperationIsClass | class declared in BuiltInOperations |
| BuiltInOperationIsCompleteType | class declared in BuiltInOperations |
| BuiltInOperationIsCompound | class declared in BuiltInOperations |
| BuiltInOperationIsConst | class declared in BuiltInOperations |
| BuiltInOperationIsConstructible | class declared in BuiltInOperations |
| BuiltInOperationIsConvertible | class declared in BuiltInOperations |
| BuiltInOperationIsConvertibleTo | class declared in BuiltInOperations |
| BuiltInOperationIsCorrespondingMember | class declared in BuiltInOperations |
| BuiltInOperationIsDelegate | class declared in BuiltInOperations |
| BuiltInOperationIsDestructible | class declared in BuiltInOperations |
| BuiltInOperationIsEmpty | class declared in BuiltInOperations |
| BuiltInOperationIsEnum | class declared in BuiltInOperations |
| BuiltInOperationIsFinal | class declared in BuiltInOperations |
| BuiltInOperationIsFloatingPoint | class declared in BuiltInOperations |
| BuiltInOperationIsFunction | class declared in BuiltInOperations |
| BuiltInOperationIsFundamental | class declared in BuiltInOperations |
| BuiltInOperationIsIntegral | class declared in BuiltInOperations |
| BuiltInOperationIsInterfaceClass | class declared in BuiltInOperations |
| BuiltInOperationIsInvocable | class declared in BuiltInOperations |
| BuiltInOperationIsLayoutCompatible | class declared in BuiltInOperations |
| BuiltInOperationIsLiteralType | class declared in BuiltInOperations |
| BuiltInOperationIsLvalueReference | class declared in BuiltInOperations |
| BuiltInOperationIsMemberFunctionPointer | class declared in BuiltInOperations |
| BuiltInOperationIsMemberObjectPointer | class declared in BuiltInOperations |
| BuiltInOperationIsMemberPointer | class declared in BuiltInOperations |
| BuiltInOperationIsNothrowAssignable | class declared in BuiltInOperations |
| BuiltInOperationIsNothrowConstructible | class declared in BuiltInOperations |
| BuiltInOperationIsNothrowConvertible | class declared in BuiltInOperations |
| BuiltInOperationIsNothrowDestructible | class declared in BuiltInOperations |
| BuiltInOperationIsNothrowInvocable | class declared in BuiltInOperations |
| BuiltInOperationIsObject | class declared in BuiltInOperations |
| BuiltInOperationIsPod | class declared in BuiltInOperations |
| BuiltInOperationIsPointer | class declared in BuiltInOperations |
| BuiltInOperationIsPointerInterconvertibleBaseOf | class declared in BuiltInOperations |
| BuiltInOperationIsPointerInterconvertibleWithClass | class declared in BuiltInOperations |
| BuiltInOperationIsPolymorphic | class declared in BuiltInOperations |
| BuiltInOperationIsRefArray | class declared in BuiltInOperations |
| BuiltInOperationIsRefClass | class declared in BuiltInOperations |
| BuiltInOperationIsReference | class declared in BuiltInOperations |
| BuiltInOperationIsReferenceable | class declared in BuiltInOperations |
| BuiltInOperationIsRvalueReference | class declared in BuiltInOperations |
| BuiltInOperationIsSame | class declared in BuiltInOperations |
| BuiltInOperationIsSameAs | class declared in BuiltInOperations |
| BuiltInOperationIsScalar | class declared in BuiltInOperations |
| BuiltInOperationIsScopedEnum | class declared in BuiltInOperations |
| BuiltInOperationIsSealed | class declared in BuiltInOperations |
| BuiltInOperationIsSigned | class declared in BuiltInOperations |
| BuiltInOperationIsSimpleValueClass | class declared in BuiltInOperations |
| BuiltInOperationIsStandardLayout | class declared in BuiltInOperations |
| BuiltInOperationIsTriviallyAssignable | class declared in BuiltInOperations |
| BuiltInOperationIsTriviallyConstructible | class declared in BuiltInOperations |
| BuiltInOperationIsTriviallyCopyAssignable | class declared in BuiltInOperations |
| BuiltInOperationIsTriviallyCopyable | class declared in BuiltInOperations |
| BuiltInOperationIsTriviallyDestructible | class declared in BuiltInOperations |
| BuiltInOperationIsTriviallyEqualityComparable | class declared in BuiltInOperations |
| BuiltInOperationIsTriviallyRelocatable | class declared in BuiltInOperations |
| BuiltInOperationIsUnboundedArray | class declared in BuiltInOperations |
| BuiltInOperationIsUnion | class declared in BuiltInOperations |
| BuiltInOperationIsUnsigned | class declared in BuiltInOperations |
| BuiltInOperationIsValidWinRtType | class declared in BuiltInOperations |
| BuiltInOperationIsValueClass | class declared in BuiltInOperations |
| BuiltInOperationIsVoid | class declared in BuiltInOperations |
| BuiltInOperationIsVolatile | class declared in BuiltInOperations |
| BuiltInOperationIsWinClass | class declared in BuiltInOperations |
| BuiltInOperationIsWinInterface | class declared in BuiltInOperations |
| BuiltInOperationOpcode | class declared in Opcode |
| BuiltInOperationReferenceBindsToTemporary | class declared in BuiltInOperations |
| BuiltInOperationReferenceConstructsFromTemporary | class declared in BuiltInOperations |
| BuiltInOperationReferenceCovertsFromTemporary | class declared in BuiltInOperations |
| BuiltInOperations | module |
| BuiltInType | class declared in Type |
| BuiltInVarArg | class declared in BuiltInOperations |
| BuiltInVarArgCopy | class declared in BuiltInOperations |
| BuiltInVarArgsEnd | class declared in BuiltInOperations |
| BuiltInVarArgsList | class declared in CommonType |
| BuiltInVarArgsStart | class declared in BuiltInOperations |
| barrierGuardModel | predicate declared in ModelsAsData |
| barrierModel | predicate declared in ModelsAsData |
| barrierNode | predicate declared in ExternalFlow |
| barrierSqlArgument | member predicate declared in SqlBarrierFunction |
| baseClassEnd | member predicate declared in PaddedType |
| baseClassSize | member predicate declared in Architecture |
| baseClassSize | member predicate declared in UnixArchitecture |
| baseClassSize | member predicate declared in WindowsArchitecture |
| bbDominates | predicate declared in Dominance |
| bbIDominates | predicate declared in Dominance |
| bbIPostDominates | predicate declared in Dominance |
| bbPostDominates | predicate declared in Dominance |
| bbStrictlyDominates | predicate declared in Dominance |
| bbStrictlyPostDominates | predicate declared in Dominance |
| bbSuccessorEntryReachesLoopInvariant | predicate declared in StackVariableReachability |
| biggestAlignmentUpTo | member predicate declared in PaddedType |
| biggestFieldSizeUpTo | member predicate declared in PaddedType |
| bitSize | member predicate declared in Architecture |
| blame | member predicate declared in BadIncludeGuard |
| blame | member predicate declared in PragmaOnceIncludeGuard |
| boolean | primitive type |
| bounded | predicate declared in RangeStage |
| bounded | predicate declared in RangeAnalysis |
| bounded1 | predicate declared in RangeAnalysisUtil |
| bounded2 | predicate declared in RangeAnalysisUtil |
| breaksFromNestedLoops | member predicate declared in GotoStmt |
| buildModeNone | member predicate declared in Compilation |