clang 20.0.0git
PathSensitive Directory Reference
Directory dependency graph for PathSensitive:
include/clang/StaticAnalyzer/Core/PathSensitive

Files

file  AnalysisManager.h [code]
 
file  APSIntType.h [code]
 
file  BasicValueFactory.h [code]
 
file  BlockCounter.h [code]
 
file  CallDescription.h [code]
 
file  CallEvent.h [code]
 
file  CheckerContext.h [code]
 
file  CheckerHelpers.h [code]
 
file  ConstraintManager.h [code]
 
file  CoreEngine.h [code]
 
file  DynamicCastInfo.h [code]
 
file  DynamicExtent.h [code]
 
file  DynamicType.h [code]
 
file  DynamicTypeInfo.h [code]
 
file  Environment.h [code]
 
file  ExplodedGraph.h [code]
 
file  ExprEngine.h [code]
 
file  FunctionSummary.h [code]
 
file  LoopUnrolling.h [code]
 This header contains the declarations of functions which are used to decide which loops should be completely unrolled and mark their corresponding CFGBlocks.
 
file  LoopWidening.h [code]
 This header contains the declarations of functions which are used to widen loops which do not otherwise exit.
 
file  MemRegion.h [code]
 
file  ProgramState.h [code]
 
file  ProgramState_Fwd.h [code]
 
file  ProgramStateTrait.h [code]
 
file  RangedConstraintManager.h [code]
 
file  SimpleConstraintManager.h [code]
 
file  SMTConstraintManager.h [code]
 
file  SMTConv.h [code]
 
file  Store.h [code]
 
file  StoreRef.h [code]
 
file  SummaryManager.h [code]
 
file  SValBuilder.h [code]
 
file  SVals.h [code]
 
file  SValVisitor.h [code]
 
file  SymbolManager.h [code]
 
file  SymExpr.h [code]
 
file  WorkList.h [code]