llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ Source Tree

../
APSIntType.h APSIntType
AnalysisManager.h AnalysisManager
BasicValueFactory.h BasicValueFactory CompoundValData LazyCompoundValData PointerToMemberData
BlockCounter.h BlockCounter
CallDescription.h CallDescription CallDescriptionFlags CallDescriptionMap CallDescriptionSet
CallEvent.h AnyCXXConstructorCall AnyFunctionCall BlockCall CXXAllocatorCall CXXConstructorCall CXXDeallocatorCall CXXDestructorCall CXXInheritedConstructorCall CXXInstanceCall CXXMemberCall CXXMemberOperatorCall CallEvent CallEventKind CallEventManager CallEventRef ObjCMessageKind ObjCMethodCall RuntimeDefinition SimpleFunctionCall simplify_type
CheckerContext.h CheckerContext
CheckerHelpers.h Nullability OperatorKind
ConstraintManager.h ConditionTruthVal ConstraintManager
CoreEngine.h BranchNodeBuilder CoreEngine IndirectGotoNodeBuilder NodeBuilder NodeBuilderContext NodeBuilderWithSinks StmtNodeBuilder SwitchNodeBuilder
DynamicCastInfo.h DynamicCastInfo
DynamicExtent.h
DynamicType.h
DynamicTypeInfo.h DynamicTypeInfo
Environment.h Environment EnvironmentEntry EnvironmentManager
ExplodedGraph.h ExplodedGraph ExplodedNode ExplodedNodeSet GraphTraits
ExprEngine.h EvalCallOptions ExprEngine ProgramStateTrait ReplayWithoutInlining
FunctionSummary.h FunctionSummariesTy
LoopUnrolling.h
LoopWidening.h
MemRegion.h AllocaRegion BlockCodeRegion BlockDataRegion CXXBaseObjectRegion CXXDerivedObjectRegion CXXLifetimeExtendedObjectRegion CXXTempObjectRegion CXXThisRegion CodeSpaceRegion CodeTextRegion CompoundLiteralRegion DeclRegion ElementRegion FieldRegion FunctionCodeRegion GlobalImmutableSpaceRegion GlobalInternalSpaceRegion GlobalSystemSpaceRegion GlobalsSpaceRegion HeapSpaceRegion MemRegion MemRegionManager MemSpaceRegion NonParamVarRegion NonStaticGlobalSpaceRegion ObjCIvarRegion ObjCStringRegion ParamVarRegion RegionAndSymbolInvalidationTraits RegionOffset RegionRawOffset StackArgumentsSpaceRegion StackLocalsSpaceRegion StackSpaceRegion StaticGlobalSpaceRegion StringRegion SubRegion SymbolicRegion TypedRegion TypedValueRegion UnknownSpaceRegion VarRegion
ProgramState.h ProgramState ProgramStateManager ProgramStateTrait ScanReachableSymbols
ProgramStateTrait.h DefaultProgramStatePartialTraitImpl ProgramStatePartialTrait
ProgramState_Fwd.h IntrusiveRefCntPtrInfo
RangedConstraintManager.h Range RangeSet RangedConstraintManager
Regions.def
SMTConstraintManager.h SMTConstraintManager
SMTConv.h SMTConv
SValBuilder.h SValBuilder
SValVisitor.h FullSValVisitor MemRegionVisitor SValVisitor SymExprVisitor
SVals.def
SVals.h DefinedOrUnknownSVal DefinedSVal KnownSVal Loc NonLoc SVal UndefinedVal UnknownVal ConcreteInt GotoLabel MemRegionVal CompoundVal ConcreteInt LazyCompoundVal LocAsInteger PointerToMember SymbolVal CastInfo
SimpleConstraintManager.h SimpleConstraintManager
Store.h StoreManager
StoreRef.h StoreRef
SymExpr.h SymExpr SymbolData
SymbolManager.h BinarySymExpr BinarySymExprImpl SymbolCast SymbolConjured SymbolDerived SymbolExtent SymbolManager SymbolMetadata SymbolReaper SymbolRegionValue SymbolVisitor UnarySymExpr
Symbols.def
WorkList.h WorkList WorkListUnit