Name Date Size #Lines LOC

..--

APSIntType.cppH A D20-Feb-20231.5 KiB4928

AnalysisManager.cppH A D05-Jul-20232.5 KiB6448

AnalyzerOptions.cppH A D14-Jan-20237.3 KiB205162

BasicValueFactory.cppH A D19-Dec-202411.2 KiB383263

BlockCounter.cppH A D19-Jan-20192.5 KiB8554

BugReporter.cppH A D27-Nov-2024119 KiB3,3992,339

BugReporterVisitors.cppH A D19-Dec-2024121.1 KiB3,4792,305

BugSuppression.cppH A D15-Nov-20247.4 KiB19298

CMakeLists.txtH A D01-Jul-20241.2 KiB7166

CallDescription.cppH A D17-May-20246 KiB170110

CallEvent.cppH A D24-Dec-202453.1 KiB1,5001,032

Checker.cppH A D12-Sep-20191.4 KiB4020

CheckerContext.cppH A D11-May-20245.7 KiB171116

CheckerHelpers.cppH A D28-Aug-20246.6 KiB195140

CheckerManager.cppH A D06-Oct-202432.6 KiB921688

CheckerRegistryData.cppH A D13-Dec-20238.2 KiB242164

CommonBugCategories.cppH A D01-Jan-20241.2 KiB3119

ConstraintManager.cppH A D15-Nov-20244.8 KiB12485

CoreEngine.cppH A D02-Jan-202524.4 KiB724519

DynamicExtent.cppH A D16-Sep-20244.9 KiB13496

DynamicType.cppH A D20-Apr-202211 KiB307222

Environment.cppH A D30-Jan-20249.2 KiB301224

ExplodedGraph.cppH A D14-Jan-202517.7 KiB538328

ExprEngine.cppH A D29-Jan-2025148 KiB3,9612,836

ExprEngineC.cppH A D19-Dec-202442.5 KiB1,161817

ExprEngineCXX.cppH A D19-Dec-202450.4 KiB1,256819

ExprEngineCallAndReturn.cppH A D27-Nov-202450.4 KiB1,321864

ExprEngineObjC.cppH A D28-Jul-202312.1 KiB298160

FunctionSummary.cppH A D19-Jan-20191,000 3115

HTMLDiagnostics.cppH A D16-Sep-202452.5 KiB1,6401,176

LoopUnrolling.cppH A D28-Dec-202413.1 KiB365271

LoopWidening.cppH A D26-Oct-20234.1 KiB10363

MemRegion.cppH A D10-Jan-202559.4 KiB1,8181,378

PlistDiagnostics.cppH A D19-Sep-202428.2 KiB838588

PrettyStackTraceLocationContext.hH A D29-May-20191.3 KiB4519

ProgramState.cppH A D19-Dec-202422.5 KiB686486

RangeConstraintManager.cppH A D10-Jan-2025131 KiB3,4642,077

RangedConstraintManager.cppH A D10-Jan-20259.3 KiB249149

RegionStore.cppH A D11-Jan-2025111.3 KiB2,9201,751

SMTConstraintManager.cppH A D05-Aug-2021685 187

SValBuilder.cppH A D10-Jan-202539.6 KiB1,108718

SVals.cppH A D19-Dec-202412.3 KiB378282

SarifDiagnostics.cppH A D17-Nov-20227.9 KiB210162

SimpleConstraintManager.cppH A D19-Dec-20244.6 KiB13493

SimpleSValBuilder.cppH A D10-Jan-202554.1 KiB1,430952

Store.cppH A D02-Aug-202420.7 KiB540322

SymbolManager.cppH A D10-Jan-202512.1 KiB577454

TextDiagnostics.cppH A D28-Jan-20255.9 KiB156116

WorkList.cppH A D05-Jun-20228.3 KiB302196

Z3CrosscheckVisitor.cppH A D06-Jan-20256.9 KiB161115