Name Date Size #Lines LOC

..--

APSIntType.cppH A D24-Jun-20211.5 KiB5028

AnalysisManager.cppH A D24-Jun-20212 KiB5944

AnalyzerOptions.cppH A D24-Jun-20219.1 KiB285215

BasicValueFactory.cppH A D24-Jun-20217.7 KiB289187

BlockCounter.cppH A D24-Jun-20212.5 KiB8654

BugReporter.cppH A D24-Jun-2021118.5 KiB3,5622,488

BugReporterVisitors.cppH A D24-Jun-202156.3 KiB1,6361,187

CMakeLists.txtH A D24-Jun-2021936 5047

CallEvent.cppH A D24-Jun-202133.8 KiB981656

Checker.cppH A D24-Jun-20211.8 KiB4726

CheckerContext.cppH A D24-Jun-20213.1 KiB9958

CheckerHelpers.cppH A D24-Jun-20212.2 KiB8148

CheckerManager.cppH A D24-Jun-202127.3 KiB714544

CheckerRegistry.cppH A D24-Jun-20215.2 KiB15394

CommonBugCategories.cppH A D24-Jun-2021810 218

ConstraintManager.cppH A D24-Jun-20211.4 KiB4022

CoreEngine.cppH A D24-Jun-202121.9 KiB731512

Environment.cppH A D24-Jun-20216.7 KiB217157

ExplodedGraph.cppH A D24-Jun-202114 KiB444249

ExprEngine.cppH A D24-Jun-202197.8 KiB2,7071,962

ExprEngineC.cppH A D24-Jun-202135.7 KiB979682

ExprEngineCXX.cppH A D24-Jun-202120.4 KiB516356

ExprEngineCallAndReturn.cppH A D24-Jun-202137 KiB1,006637

ExprEngineObjC.cppH A D24-Jun-20218.9 KiB216120

FunctionSummary.cppH A D24-Jun-20211 KiB3317

HTMLDiagnostics.cppH A D24-Jun-202118.9 KiB617423

MakefileH A D24-Jun-2021582 183

MemRegion.cppH A D24-Jun-202146.8 KiB1,4921,102

PathDiagnostic.cppH A D24-Jun-202139.5 KiB1,182932

PlistDiagnostics.cppH A D24-Jun-202116.5 KiB489364

PrettyStackTraceLocationContext.hH A D24-Jun-20211.3 KiB4619

ProgramState.cppH A D24-Jun-202125.8 KiB788561

RangeConstraintManager.cppH A D24-Jun-202121.3 KiB590401

RegionStore.cppH A D24-Jun-202184.7 KiB2,3601,502

SValBuilder.cppH A D24-Jun-202118.8 KiB529333

SVals.cppH A D24-Jun-202110.1 KiB323217

SimpleConstraintManager.cppH A D24-Jun-20219.4 KiB268171

SimpleConstraintManager.hH A D24-Jun-20214 KiB10152

SimpleSValBuilder.cppH A D24-Jun-202134.4 KiB945644

Store.cppH A D24-Jun-202118.5 KiB511295

SubEngine.cppH A D24-Jun-2021465 153

SymbolManager.cppH A D24-Jun-202115.3 KiB551432