Name Date Size #Lines LOC

..--

APSIntType.cppH A D15-Nov-20131.5 KiB5028

AnalysisManager.cppH A D15-Oct-20152 KiB5944

AnalyzerOptions.cppH A D15-Oct-20159.1 KiB285215

BasicValueFactory.cppH A D15-Oct-20157.7 KiB289187

BlockCounter.cppH A D15-Oct-20152.5 KiB8654

BugReporter.cppH A D15-Oct-2015118.5 KiB3,5622,488

BugReporterVisitors.cppH A D15-Oct-201556.3 KiB1,6361,187

CMakeLists.txtH A D15-Oct-2015936 5047

CallEvent.cppH A D15-Oct-201533.8 KiB981656

Checker.cppH A D15-Oct-20151.8 KiB4726

CheckerContext.cppH A D15-Nov-20133.1 KiB9958

CheckerHelpers.cppH A D15-Nov-20132.2 KiB8148

CheckerManager.cppH A D15-Oct-201527.3 KiB714544

CheckerRegistry.cppH A D15-Oct-20155.2 KiB15394

CommonBugCategories.cppH A D15-Nov-2013810 218

ConstraintManager.cppH A D15-Nov-20131.4 KiB4022

CoreEngine.cppH A D15-Oct-201521.9 KiB731512

Environment.cppH A D15-Oct-20156.7 KiB217157

ExplodedGraph.cppH A D15-Oct-201514 KiB444249

ExprEngine.cppH A D15-Oct-201597.8 KiB2,7071,962

ExprEngineC.cppH A D15-Oct-201535.7 KiB979682

ExprEngineCXX.cppH A D15-Oct-201520.4 KiB516356

ExprEngineCallAndReturn.cppH A D15-Oct-201537 KiB1,006637

ExprEngineObjC.cppH A D15-Oct-20158.9 KiB216120

FunctionSummary.cppH A D15-Nov-20131 KiB3317

HTMLDiagnostics.cppH A D15-Oct-201518.9 KiB617423

MakefileH A D15-Nov-2013582 183

MemRegion.cppH A D15-Oct-201546.8 KiB1,4921,102

PathDiagnostic.cppH A D15-Oct-201539.5 KiB1,182932

PlistDiagnostics.cppH A D15-Oct-201516.5 KiB489364

PrettyStackTraceLocationContext.hH A D15-Oct-20151.3 KiB4619

ProgramState.cppH A D15-Oct-201525.8 KiB788561

RangeConstraintManager.cppH A D15-Oct-201521.3 KiB590401

RegionStore.cppH A D15-Oct-201584.7 KiB2,3601,502

SValBuilder.cppH A D15-Oct-201518.8 KiB529333

SVals.cppH A D15-Oct-201510.1 KiB323217

SimpleConstraintManager.cppH A D15-Oct-20159.4 KiB268171

SimpleConstraintManager.hH A D15-Oct-20154 KiB10152

SimpleSValBuilder.cppH A D15-Oct-201534.4 KiB945644

Store.cppH A D15-Oct-201518.5 KiB511295

SubEngine.cppH A D15-Nov-2013465 153

SymbolManager.cppH A D15-Oct-201515.3 KiB551432