]> granicus.if.org Git - clang/tree - include/clang/StaticAnalyzer/Core/PathSensitive/
Revert "[analyzer] Provide .def-files and visitors for SVal/SymExpr/MemRegion."
[clang] / include / clang / StaticAnalyzer / Core / PathSensitive /
drwxr-xr-x   ..
-rw-r--r-- 3779 APSIntType.h
-rw-r--r-- 3535 AnalysisManager.h
-rw-r--r-- 6493 BasicValueFactory.h
-rw-r--r-- 1628 BlockCounter.h
-rw-r--r-- 37167 CallEvent.h
-rw-r--r-- 13362 CheckerContext.h
-rw-r--r-- 1231 CheckerHelpers.h
-rw-r--r-- 7137 ConstraintManager.h
-rw-r--r-- 19603 CoreEngine.h
-rw-r--r-- 1600 DynamicTypeInfo.h
-rw-r--r-- 2221 DynamicTypeMap.h
-rw-r--r-- 3800 Environment.h
-rw-r--r-- 15748 ExplodedGraph.h
-rw-r--r-- 28215 ExprEngine.h
-rw-r--r-- 3911 FunctionSummary.h
-rw-r--r-- 1358 LoopWidening.h
-rw-r--r-- 44713 MemRegion.h
-rw-r--r-- 32242 ProgramState.h
-rw-r--r-- 7472 ProgramStateTrait.h
-rw-r--r-- 1213 ProgramState_Fwd.h
-rw-r--r-- 12565 SValBuilder.h
-rw-r--r-- 15356 SVals.h
-rw-r--r-- 11396 Store.h
-rw-r--r-- 1463 StoreRef.h
-rw-r--r-- 6657 SubEngine.h
-rw-r--r-- 1302 SummaryManager.h
-rw-r--r-- 21788 SymbolManager.h
-rw-r--r-- 1620 TaintManager.h
-rw-r--r-- 859 TaintTag.h
-rw-r--r-- 2815 WorkList.h