Name Date Size #Lines LOC

..--

APSIntType.cppH A D02-Sep-20231.5 KiB4928

AnalysisManager.cppH A D02-Sep-20232.5 KiB6448

AnalyzerOptions.cppH A D14-Apr-20237.3 KiB205162

BasicValueFactory.cppH A D18-Dec-202311.2 KiB383263

BlockCounter.cppH A D20-Dec-20192.5 KiB8554

BugReporter.cppH A D27-Jul-2024118.3 KiB3,3572,300

BugReporterVisitors.cppH A D27-Jul-2024125.2 KiB3,5412,354

BugSuppression.cppH A D27-Jul-20247.3 KiB17087

CallDescription.cppH A D27-Jul-20246 KiB170116

CallEvent.cppH A D27-Jul-202453 KiB1,4971,029

Checker.cppH A D10-Mar-20201.4 KiB4020

CheckerContext.cppH A D27-Jul-20245.7 KiB158106

CheckerHelpers.cppH A D27-Jul-20246.4 KiB187133

CheckerManager.cppH A D14-Apr-202333.1 KiB921688

CheckerRegistryData.cppH A D18-Dec-20238.2 KiB242164

CommonBugCategories.cppH A D03-Jan-20241.2 KiB3119

ConstraintManager.cppH A D18-Dec-20234.8 KiB12485

CoreEngine.cppH A D27-Jul-202423.5 KiB736530

DynamicExtent.cppH A D18-Dec-20234.9 KiB13496

DynamicType.cppH A D04-Jul-202211 KiB307222

Environment.cppH A D07-Feb-20249.2 KiB301224

ExplodedGraph.cppH A D02-Sep-202317.6 KiB538328

ExprEngine.cppH A D22-Sep-2024145.6 KiB3,9542,830

ExprEngineC.cppH A D27-Jul-202442.5 KiB1,159815

ExprEngineCXX.cppH A D27-Jul-202452 KiB1,256819

ExprEngineCallAndReturn.cppH A D27-Jul-202450.2 KiB1,320863

ExprEngineObjC.cppH A D18-Dec-202312.1 KiB298160

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

HTMLDiagnostics.cppH A D27-Jul-202452.4 KiB1,6421,174

LoopUnrolling.cppH A D27-Jul-202413.1 KiB348257

LoopWidening.cppH A D18-Dec-20234.1 KiB10363

MemRegion.cppH A D27-Jul-202458.6 KiB1,7991,362

PlistDiagnostics.cppH A D18-Dec-202328.3 KiB838588

PrettyStackTraceLocationContext.hH A D20-Dec-20191.3 KiB4519

ProgramState.cppH A D27-Jul-202423.2 KiB654466

RangeConstraintManager.cppH A D27-Jul-2024130.8 KiB3,4592,072

RangedConstraintManager.cppH A D04-Jul-20229.3 KiB249149

RegionStore.cppH A D27-Jul-2024107.7 KiB2,9191,750

SMTConstraintManager.cppH A D20-Mar-2022685 187

SValBuilder.cppH A D18-Dec-202339.5 KiB1,108718

SVals.cppH A D27-Jul-202411.6 KiB378282

SarifDiagnostics.cppH A D14-Apr-20237.9 KiB210162

SimpleConstraintManager.cppH A D18-Dec-20234.6 KiB13493

SimpleSValBuilder.cppH A D18-Dec-202353.8 KiB1,430952

Store.cppH A D06-Aug-202420.7 KiB540322

SymbolManager.cppH A D02-Sep-202317.3 KiB577454

TextDiagnostics.cppH A D02-Sep-20235.9 KiB156116

WorkList.cppH A D04-Jul-20228.3 KiB302196

Z3CrosscheckVisitor.cppH A D27-Jul-20246 KiB