Name Date Size #Lines LOC

..--

APSIntType.cppH A D08-Jul-20241.5 KiB4928

AnalysisManager.cppH A D08-Jul-20242.5 KiB6448

AnalyzerOptions.cppH A D08-Jul-20247.3 KiB205162

BasicValueFactory.cppH A D29-Jan-202511.2 KiB383263

BlockCounter.cppH A D25-Jun-20212.5 KiB8554

BugReporter.cppH A D29-Jan-2025119 KiB3,3992,339

BugReporterVisitors.cppH A D29-Jan-2025121.1 KiB3,4792,305

BugSuppression.cppH A D29-Jan-20257.4 KiB19298

CMakeLists.txtH A D08-Jul-20241.2 KiB7166

CallDescription.cppH A D08-Jul-20246 KiB170110

CallEvent.cppH A D29-Jan-202553.1 KiB1,5001,032

Checker.cppH A D25-Jun-20211.4 KiB4020

CheckerContext.cppH A D08-Jul-20245.7 KiB171116

CheckerHelpers.cppH A D29-Jan-20256.6 KiB195140

CheckerManager.cppH A D29-Jan-202532.6 KiB921688

CheckerRegistryData.cppH A D08-Jul-20248.2 KiB242164

CommonBugCategories.cppH A D08-Jul-20241.2 KiB3119

ConstraintManager.cppH A D08-Jul-20244.8 KiB12485

CoreEngine.cppH A D29-Jan-202524.4 KiB724519

DynamicExtent.cppH A D29-Jan-20254.9 KiB13496

DynamicType.cppH A D15-Nov-202211 KiB307222

Environment.cppH A D08-Jul-20249.2 KiB301224

ExplodedGraph.cppH A D29-Jan-202517.7 KiB538328

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

ExprEngineC.cppH A D08-Jul-202442.5 KiB1,161817

ExprEngineCXX.cppH A D29-Jan-202550.4 KiB1,256819

ExprEngineCallAndReturn.cppH A D29-Jan-202550.4 KiB1,321864

ExprEngineObjC.cppH A D08-Jul-202412.1 KiB298160

FunctionSummary.cppH A D25-Jun-20211,000 3115

HTMLDiagnostics.cppH A D29-Jan-202552.5 KiB1,6401,176

LoopUnrolling.cppH A D29-Jan-202513.1 KiB365271

LoopWidening.cppH A D08-Jul-20244.1 KiB10363

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

PlistDiagnostics.cppH A D29-Jan-202528.2 KiB838588

PrettyStackTraceLocationContext.hH A D25-Jun-20211.3 KiB4519

ProgramState.cppH A D29-Jan-202522.5 KiB686486

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

RangedConstraintManager.cppH A D29-Jan-20259.3 KiB249149

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

SMTConstraintManager.cppH A D18-Feb-2022685 187

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

SVals.cppH A D29-Jan-202512.3 KiB378282

SarifDiagnostics.cppH A D19-Nov-20227.9 KiB210162

SimpleConstraintManager.cppH A D29-Jan-20254.6 KiB13493

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

Store.cppH A D29-Jan-202520.7 KiB540322

SymbolManager.cppH A D29-Jan-202512.1 KiB577454

TextDiagnostics.cppH A D29-Jan-20255.9 KiB156116

WorkList.cppH A D15-Nov-20228.3 KiB302196

Z3CrosscheckVisitor.cppH A D29-Jan-20256.9 KiB161115