Name Date Size #Lines LOC

..--

APSIntType.cppHD10-Jan-20161.5 KiB5028

AnalysisManager.cppHD10-Jan-20162 KiB5944

AnalyzerOptions.cppHD10-Jan-201611.1 KiB328254

BasicValueFactory.cppHD10-Jan-20167.8 KiB293191

BlockCounter.cppHD10-Jan-20162.5 KiB8654

BugReporter.cppHD10-Jan-2016118.2 KiB3,5522,480

BugReporterVisitors.cppHD10-Jan-201656.2 KiB1,6341,185

CallEvent.cppHD10-Jan-201633.8 KiB981656

Checker.cppHD10-Jan-20161.3 KiB3919

CheckerContext.cppHD10-Jan-20163.1 KiB9958

CheckerHelpers.cppHD10-Jan-20162 KiB7340

CheckerManager.cppHD10-Jan-201627.3 KiB714544

CheckerRegistry.cppHD10-Jan-20166 KiB178117

CommonBugCategories.cppHD10-Jan-2016810 218

ConstraintManager.cppHD10-Jan-20161.4 KiB4022

CoreEngine.cppHD10-Jan-201621.9 KiB731512

Environment.cppHD10-Jan-20166.7 KiB217157

ExplodedGraph.cppHD10-Jan-201614 KiB444249

ExprEngine.cppHD10-Jan-201697.9 KiB2,7031,960

ExprEngineC.cppHD10-Jan-201635.7 KiB979682

ExprEngineCXX.cppHD10-Jan-201620.4 KiB516356

ExprEngineCallAndReturn.cppHD10-Jan-201637 KiB1,006637

ExprEngineObjC.cppHD10-Jan-20168.9 KiB216120

FunctionSummary.cppHD10-Jan-20161 KiB3317

HTMLDiagnostics.cppHD10-Jan-201618.9 KiB618424

MemRegion.cppHD10-Jan-201647 KiB1,4961,106

PathDiagnostic.cppHD10-Jan-201639.7 KiB1,186936

PlistDiagnostics.cppHD10-Jan-201616.6 KiB491366

PrettyStackTraceLocationContext.hHD10-Jan-20161.3 KiB4619

ProgramState.cppHD10-Jan-201625.8 KiB788561

RangeConstraintManager.cppHD10-Jan-201621.3 KiB590401

RegionStore.cppHD10-Jan-201684.7 KiB2,3601,502

SValBuilder.cppHD10-Jan-201618.8 KiB529333

SVals.cppHD10-Jan-201610.1 KiB323217

SimpleConstraintManager.cppHD10-Jan-20169.4 KiB268171

SimpleConstraintManager.hHD10-Jan-20164 KiB10152

SimpleSValBuilder.cppHD10-Jan-201634.4 KiB945644

Store.cppHD10-Jan-201618.5 KiB511295

SubEngine.cppHD10-Jan-2016465 153

SymbolManager.cppHD10-Jan-201615.3 KiB551432