Name Date Size #Lines LOC

..--

APSIntType.cppHD05-Sep-20241.5 KiB4928

AnalysisManager.cppHD05-Sep-20242.5 KiB6448

AnalyzerOptions.cppHD05-Sep-20247.3 KiB205162

BasicValueFactory.cppHD05-Sep-202411.2 KiB383263

BlockCounter.cppHD05-Sep-20242.5 KiB8554

BugReporter.cppHD07-Feb-2025118.3 KiB3,3992,339

BugReporterVisitors.cppHD07-Feb-2025125.2 KiB3,4792,305

BugSuppression.cppHD07-Feb-20257.3 KiB19298

CallDescription.cppHD07-Feb-20256 KiB170110

CallEvent.cppHD07-Feb-202553 KiB1,5001,032

Checker.cppHD05-Sep-20241.4 KiB4020

CheckerContext.cppHD07-Feb-20255.7 KiB171116

CheckerHelpers.cppHD07-Feb-20256.4 KiB195140

CheckerManager.cppHD05-Sep-202433.1 KiB921688

CheckerRegistryData.cppHD05-Sep-20248.2 KiB242164

CommonBugCategories.cppHD05-Sep-20241.2 KiB3119

ConstraintManager.cppHD05-Sep-20244.8 KiB12485

CoreEngine.cppHD07-Feb-202523.5 KiB724519

DynamicExtent.cppHD05-Sep-20244.9 KiB13496

DynamicType.cppHD05-Sep-202411 KiB307222

Environment.cppHD05-Sep-20249.2 KiB301224

ExplodedGraph.cppHD05-Sep-202417.6 KiB538328

ExprEngine.cppHD07-Feb-2025145.6 KiB3,9662,842

ExprEngineC.cppHD07-Feb-202542.5 KiB1,161817

ExprEngineCXX.cppHD07-Feb-202552 KiB1,256819

ExprEngineCallAndReturn.cppHD07-Feb-202550.2 KiB1,321864

ExprEngineObjC.cppHD05-Sep-202412.1 KiB298160

FunctionSummary.cppHD05-Sep-20241,000 3115

HTMLDiagnostics.cppHD07-Feb-202552.4 KiB1,6401,176

LoopUnrolling.cppHD07-Feb-202513.1 KiB365271

LoopWidening.cppHD05-Sep-20244.1 KiB10363

MemRegion.cppHD07-Feb-202558.6 KiB1,8181,378

PlistDiagnostics.cppHD05-Sep-202428.3 KiB838588

PrettyStackTraceLocationContext.hHD05-Sep-20241.3 KiB4519

ProgramState.cppHD07-Feb-202523.2 KiB686486

RangeConstraintManager.cppHD07-Feb-2025130.8 KiB3,4642,077

RangedConstraintManager.cppHD05-Sep-20249.3 KiB249149

RegionStore.cppHD07-Feb-2025107.7 KiB2,9201,751

SMTConstraintManager.cppHD05-Sep-2024685 187

SValBuilder.cppHD05-Sep-202439.5 KiB1,108718

SVals.cppHD07-Feb-202511.6 KiB378282

SarifDiagnostics.cppHD05-Sep-20247.9 KiB210162

SimpleConstraintManager.cppHD05-Sep-20244.6 KiB13493

SimpleSValBuilder.cppHD05-Sep-202453.8 KiB1,430952

Store.cppHD07-Feb-202520.7 KiB550326

SymbolManager.cppHD05-Sep-202417.3 KiB577454

TextDiagnostics.cppHD05-Sep-20245.9 KiB156116

WorkList.cppHD05-Sep-20248.3 KiB302196

Z3CrosscheckVisitor.cppHD07-Feb-20256 KiB161115