Name Date Size #Lines LOC

..--

APSIntType.cppH A D02-Sep-20231.5 KiB4928

AnalysisManager.cppH A D07-Dec-20252.4 KiB5741

AnalyzerOptions.cppH A D07-Dec-20257.1 KiB199156

BasicValueFactory.cppH A D07-Dec-202511.2 KiB383262

BlockCounter.cppH A D20-Dec-20192.5 KiB8554

BugReporter.cppH A D07-Dec-2025120 KiB3,4452,374

BugReporterVisitors.cppH A D07-Dec-2025122.5 KiB3,4362,297

BugSuppression.cppH A D07-Dec-20258.4 KiB220124

CallDescription.cppH A D07-Dec-20255.9 KiB169109

CallEvent.cppH A D07-Dec-202553.6 KiB1,5201,044

Checker.cppH A D07-Dec-2025867 247

CheckerContext.cppH A D07-Dec-20255.7 KiB171116

CheckerHelpers.cppH A D07-Dec-20256.7 KiB214154

CheckerManager.cppH A D07-Dec-202536.5 KiB992753

CheckerRegistryData.cppH A D18-Dec-20238.2 KiB

CommonBugCategories.cppH A D03-Jan-20241.2 KiB

ConstraintManager.cppH A D18-Dec-20234.8 KiB

CoreEngine.cppH A D07-Dec-202526.3 KiB792576

DynamicExtent.cppH A D07-Dec-20254.9 KiB13395

DynamicType.cppH A D07-Dec-202511 KiB306221

EntryPointStats.cppH A D07-Dec-20256.1 KiB202170

Environment.cppH A D07-Dec-20259.2 KiB299222

ExplodedGraph.cppH A D07-Dec-202518 KiB549333

ExprEngine.cppH A D07-Dec-2025153.1 KiB4,1172,904

ExprEngineC.cppH A D28-Dec-202544.3 KiB1,201847

ExprEngineCXX.cppH A D28-Dec-202552 KiB1,245846

ExprEngineCallAndReturn.cppH A D07-Dec-202550.3 KiB1,321864

ExprEngineObjC.cppH A D07-Dec-202512.3 KiB302164

FunctionSummary.cppH A D20-Dec-20191,000 3115

HTMLDiagnostics.cppH A D07-Dec-202552.4 KiB1,6391,175

LoopUnrolling.cppH A D07-Dec-202513.1 KiB365270

LoopWidening.cppH A D07-Dec-20253.5 KiB8347

MemRegion.cppH A D07-Dec-202560.9 KiB1,8741,418

PlistDiagnostics.cppH A D07-Dec-202528 KiB834584

PrettyStackTraceLocationContext.hH A D20-Dec-20191.3 KiB4519

ProgramState.cppH A D07-Dec-202522.9 KiB686478

RangeConstraintManager.cppH A D07-Dec-2025131 KiB3,4742,083

RangedConstraintManager.cppH A D07-Dec-20259.3 KiB249149

RegionStore.cppH A D07-Dec-2025117 KiB3,1631,931

SMTConstraintManager.cppH A D20-Mar-2022685 187

SValBuilder.cppH A D07-Dec-202540.3 KiB1,109723

SVals.cppH A D07-Dec-202512.2 KiB394297

SarifDiagnostics.cppH A D07-Dec-20257.9 KiB208160

SimpleConstraintManager.cppH A D07-Dec-20254.5 KiB13392

SimpleSValBuilder.cppH A D07-Dec-202554.1 KiB1,433956

Store.cppH A D07-Dec-202520.7 KiB548325

SymbolManager.cppH A D07-Dec-202513.5 KiB454352

TextDiagnostics.cppH A D07-Dec-20255.7 KiB150111

WorkList.cppH A D07-Dec-20258.4 KiB302196

Z3CrosscheckVisitor.cppH A D07-Dec-20257.3 KiB189136