|
Go up
|
— |
— |
|
|
AnalysisManager.cpp
|
2.5 KiB |
|
|
|
AnalyzerOptions.cpp
|
7.3 KiB |
|
|
|
APSIntType.cpp
|
1.5 KiB |
|
|
|
BasicValueFactory.cpp
|
11 KiB |
|
|
|
BlockCounter.cpp
|
2.5 KiB |
|
|
|
BugReporter.cpp
|
118 KiB |
|
|
|
BugReporterVisitors.cpp
|
125 KiB |
|
|
|
BugSuppression.cpp
|
7.3 KiB |
|
|
|
CallDescription.cpp
|
6.0 KiB |
|
|
|
CallEvent.cpp
|
53 KiB |
|
|
|
Checker.cpp
|
1.4 KiB |
|
|
|
CheckerContext.cpp
|
5.7 KiB |
|
|
|
CheckerHelpers.cpp
|
6.4 KiB |
|
|
|
CheckerManager.cpp
|
33 KiB |
|
|
|
CheckerRegistryData.cpp
|
8.2 KiB |
|
|
|
CMakeLists.txt
|
1.2 KiB |
|
|
|
CommonBugCategories.cpp
|
1.2 KiB |
|
|
|
ConstraintManager.cpp
|
4.8 KiB |
|
|
|
CoreEngine.cpp
|
24 KiB |
|
|
|
DynamicExtent.cpp
|
4.9 KiB |
|
|
|
DynamicType.cpp
|
11 KiB |
|
|
|
Environment.cpp
|
9.2 KiB |
|
|
|
ExplodedGraph.cpp
|
18 KiB |
|
|
|
ExprEngine.cpp
|
146 KiB |
|
|
|
ExprEngineC.cpp
|
42 KiB |
|
|
|
ExprEngineCallAndReturn.cpp
|
50 KiB |
|
|
|
ExprEngineCXX.cpp
|
52 KiB |
|
|
|
ExprEngineObjC.cpp
|
12 KiB |
|
|
|
FunctionSummary.cpp
|
1000 B |
|
|
|
HTMLDiagnostics.cpp
|
52 KiB |
|
|
|
LoopUnrolling.cpp
|
13 KiB |
|
|
|
LoopWidening.cpp
|
4.1 KiB |
|
|
|
MemRegion.cpp
|
59 KiB |
|
|
|
PlistDiagnostics.cpp
|
28 KiB |
|
|
|
PrettyStackTraceLocationContext.h
|
1.3 KiB |
|
|
|
ProgramState.cpp
|
23 KiB |
|
|
|
RangeConstraintManager.cpp
|
131 KiB |
|
|
|
RangedConstraintManager.cpp
|
9.3 KiB |
|
|
|
RegionStore.cpp
|
108 KiB |
|
|
|
SarifDiagnostics.cpp
|
7.9 KiB |
|
|
|
SimpleConstraintManager.cpp
|
4.6 KiB |
|
|
|
SimpleSValBuilder.cpp
|
54 KiB |
|
|
|
SMTConstraintManager.cpp
|
685 B |
|
|
|
Store.cpp
|
21 KiB |
|
|
|
SValBuilder.cpp
|
40 KiB |
|
|
|
SVals.cpp
|
12 KiB |
|
|
|
SymbolManager.cpp
|
17 KiB |
|
|
|
TextDiagnostics.cpp
|
5.9 KiB |
|
|
|
WorkList.cpp
|
8.3 KiB |
|
|
|
Z3CrosscheckVisitor.cpp
|
6.0 KiB |
|
|