.. AnalysisManager.cpp AnalyzerOptions.cpp APSIntType.cpp BasicValueFactory.cpp BlockCounter.cpp BugReporter.cpp BugReporterVisitors.cpp BugSuppression.cpp CallDescription.cpp CallEvent.cpp Checker.cpp CheckerContext.cpp CheckerHelpers.cpp CheckerManager.cpp CheckerRegistryData.cpp CMakeLists.txt CommonBugCategories.cpp ConstraintManager.cpp CoreEngine.cpp DynamicExtent.cpp DynamicType.cpp EntryPointStats.cpp Environment.cpp ExplodedGraph.cpp ExprEngine.cpp ExprEngineC.cpp ExprEngineCallAndReturn.cpp ExprEngineCXX.cpp ExprEngineObjC.cpp FunctionSummary.cpp HTMLDiagnostics.cpp HTMLDiagnostics.h LoopUnrolling.cpp LoopWidening.cpp MemRegion.cpp PlistDiagnostics.cpp PlistDiagnostics.h PrettyStackTraceLocationContext.h ProgramState.cpp RangeConstraintManager.cpp RangedConstraintManager.cpp RegionStore.cpp SarifDiagnostics.cpp SarifDiagnostics.h SimpleConstraintManager.cpp SimpleSValBuilder.cpp SMTConstraintManager.cpp Store.cpp SValBuilder.cpp SVals.cpp SymbolManager.cpp TextDiagnostics.cpp WorkList.cpp Z3CrosscheckVisitor.cpp