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 D08-Jul-202411.2 KiB383263

BlockCounter.cppH A D12-Mar-20212.5 KiB8554

BugReporter.cppH A D29-Jan-2025118.3 KiB3,3572,300

BugReporterVisitors.cppH A D29-Jan-2025125.2 KiB3,5412,354

BugSuppression.cppH A D29-Jan-20257.3 KiB17087

CallDescription.cppH A D29-Jan-20256 KiB170116

CallEvent.cppH A D29-Jan-202553 KiB1,4971,029

Checker.cppH A D12-Mar-20211.4 KiB4020

CheckerContext.cppH A D29-Jan-20255.7 KiB158106

CheckerHelpers.cppH A D29-Jan-20256.4 KiB187133

CheckerManager.cppH A D08-Jul-202433.1 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-202523.5 KiB736530

DynamicExtent.cppH A D08-Jul-20244.9 KiB13496

DynamicType.cppH A D08-Jul-202411 KiB307222

Environment.cppH A D08-Jul-20249.2 KiB301224

ExplodedGraph.cppH A D08-Jul-202417.6 KiB538328

ExprEngine.cppH A D29-Jan-2025145.6 KiB3,9542,830

ExprEngineC.cppH A D29-Jan-202542.5 KiB1,159815

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

ExprEngineCallAndReturn.cppH A D29-Jan-202550.2 KiB1,320863

ExprEngineObjC.cppH A D08-Jul-202412.1 KiB298160

FunctionSummary.cppH A D12-Mar-20211,000 3115

HTMLDiagnostics.cppH A D29-Jan-202552.4 KiB1,6421,174

LoopUnrolling.cppH A D29-Jan-202513.1 KiB348257

LoopWidening.cppH A D08-Jul-20244.1 KiB10363

MemRegion.cppH A D29-Jan-202558.6 KiB1,7991,362

PlistDiagnostics.cppH A D08-Jul-202428.3 KiB838588

PrettyStackTraceLocationContext.hH A D12-Mar-20211.3 KiB4519

ProgramState.cppH A D29-Jan-202523.2 KiB654466

RangeConstraintManager.cppH A D29-Jan-2025130.8 KiB3,4592,072

RangedConstraintManager.cppH A D08-Jul-20249.3 KiB249149

RegionStore.cppH A D29-Jan-2025107.7 KiB2,9191,750

SMTConstraintManager.cppH A D15-Nov-2022685 187

SValBuilder.cppH A D08-Jul-202439.5 KiB1,108718

SVals.cppH A D29-Jan-202511.6 KiB378282

SarifDiagnostics.cppH A D08-Jul-20247.9 KiB210162

SimpleConstraintManager.cppH A D08-Jul-20244.6 KiB13493

SimpleSValBuilder.cppH A D08-Jul-202453.8 KiB1,430952

Store.cppH A D29-Jan-202520.7 KiB540322

SymbolManager.cppH A D08-Jul-202417.3 KiB577454

TextDiagnostics.cppH A D08-Jul-20245.9 KiB156116

WorkList.cppH A D08-Jul-20248.3 KiB302196

Z3CrosscheckVisitor.cppH A D29-Jan-20256 KiB