|
Up
|
|
|
|
|
CVS/
|
— |
|
|
|
AnalysisManager.cpp
|
|
|
|
|
AnalyzerOptions.cpp
|
|
|
|
|
APSIntType.cpp
|
|
|
|
|
BasicValueFactory.cpp
|
|
|
|
|
BlockCounter.cpp
|
|
|
|
|
BugReporter.cpp
|
|
|
|
|
BugReporterVisitors.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
|
|
|
|
|
Environment.cpp
|
|
|
|
|
ExplodedGraph.cpp
|
|
|
|
|
ExprEngine.cpp
|
|
|
|
|
ExprEngineC.cpp
|
|
|
|
|
ExprEngineCallAndReturn.cpp
|
|
|
|
|
ExprEngineCXX.cpp
|
|
|
|
|
ExprEngineObjC.cpp
|
|
|
|
|
FunctionSummary.cpp
|
|
|
|
|
HTMLDiagnostics.cpp
|
|
|
|
|
LoopUnrolling.cpp
|
|
|
|
|
LoopWidening.cpp
|
|
|
|
|
MemRegion.cpp
|
|
|
|
|
PlistDiagnostics.cpp
|
|
|
|
|
PrettyStackTraceLocationContext.h
|
|
|
|
|
ProgramState.cpp
|
|
|
|
|
RangeConstraintManager.cpp
|
|
|
|
|
RangedConstraintManager.cpp
|
|
|
|
|
RegionStore.cpp
|
|
|
|
|
SarifDiagnostics.cpp
|
|
|
|
|
SimpleConstraintManager.cpp
|
|
|
|
|
SimpleSValBuilder.cpp
|
|
|
|
|
SMTConstraintManager.cpp
|
|
|
|
|
Store.cpp
|
|
|
|
|
SValBuilder.cpp
|
|
|
|
|
SVals.cpp
|
|
|
|
|
SymbolManager.cpp
|
|
|
|
|
TextDiagnostics.cpp
|
|
|
|
|
WorkList.cpp
|
|
|
|