llvm/clang/include/clang/Analysis/FlowSensitive/ Source Tree

../
Arena.h Arena
CFGMatchSwitch.h CFGMatchSwitchBuilder
ControlFlowContext.h ControlFlowContext
DataflowAnalysis.h DataflowAnalysis DataflowAnalysisState DataflowModel
DataflowAnalysisContext.h ContextSensitiveOptions DataflowAnalysisContext
DataflowEnvironment.h ComparisonResult Environment
DataflowLattice.h LatticeJoinEffect
DataflowWorklist.h BackwardDataflowWorklist DataflowWorklistBase ForwardDataflowWorklist ReversePostOrderCompare WTODataflowWorklist
DebugSupport.h
Formula.h Atom Formula DenseMapInfo
Logger.h Logger
MapLattice.h MapLattice
MatchSwitch.h ASTMatchSwitchBuilder TransferState TransferStateForDiagnostics
[+] Models/
NoopAnalysis.h NoopAnalysis
NoopLattice.h NoopLattice
RecordOps.h
SimplifyConstraints.h SimplifyConstraintsInfo
Solver.h Solver
StorageLocation.h RecordStorageLocation ScalarStorageLocation StorageLocation
Transfer.h StmtToEnvMap
TypeErasedDataflowAnalysis.h DataflowAnalysisOptions TypeErasedDataflowAnalysis TypeErasedDataflowAnalysisState TypeErasedLattice
Value.h AtomicBoolValue BoolValue FormulaBoolValue IntegerValue PointerValue RecordValue TopBoolValue Value
WatchedLiteralsSolver.h WatchedLiteralsSolver