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 KiB

BlockCounter.cppH A D20-Dec-20192.5 KiB8554

BugReporter.cppH A D28-Jul-2024118.3 KiB3,3992,339

BugReporterVisitors.cppH A D28-Jul-2024125.2 KiB3,4792,305

BugSuppression.cppH A D28-Jul-20247.3 KiB19298

CallDescription.cppH A D28-Jul-20246 KiB170110

CallEvent.cppH A D28-Jul-202453 KiB1,5001,032

Checker.cppH A D10-Mar-20201.4 KiB4020

CheckerContext.cppH A D28-Jul-20245.7 KiB171116

CheckerHelpers.cppH A D28-Jul-20246.4 KiB195140

CheckerManager.cppH A D14-Apr-202333.1 KiB921688

CheckerRegistryData.cppH A D18-Dec-20238.2 KiB

CommonBugCategories.cppH A D03-Jan-20241.2 KiB

ConstraintManager.cppH A D18-Dec-20234.8 KiB

CoreEngine.cppH A D28-Jul-202423.5 KiB724519

DynamicExtent.cppH A D18-Dec-20234.9 KiB

DynamicType.cppH A D04-Jul-202211 KiB307222

Environment.cppH A D07-Feb-20249.2 KiB

ExplodedGraph.cppH A D02-Sep-202317.6 KiB538328

ExprEngine.cppH A D22-Sep-2024145.6 KiB3,9662,842

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

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

ExprEngineCallAndReturn.cppH A D28-Jul-202450.2 KiB1,321864

ExprEngineObjC.cppH A D18-Dec-202312.1 KiB

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

HTMLDiagnostics.cppH A D28-Jul-202452.4 KiB1,6401,176

LoopUnrolling.cppH A D28-Jul-202413.1 KiB365271

LoopWidening.cppH A D18-Dec-20234.1 KiB

MemRegion.cppH A D28-Jul-202458.6 KiB1,8181,378

PlistDiagnostics.cppH A D18-Dec-202328.3 KiB

PrettyStackTraceLocationContext.hH A D20-Dec-20191.3 KiB4519

ProgramState.cppH A D28-Jul-202423.2 KiB686486

RangeConstraintManager.cppH A D28-Jul-2024130.8 KiB3,4642,077

RangedConstraintManager.cppH A D04-Jul-20229.3 KiB249149

RegionStore.cppH A D28-Jul-2024107.7 KiB2,9201,751

SMTConstraintManager.cppH A D20-Mar-2022685 187

SValBuilder.cppH A D18-Dec-202339.5 KiB

SVals.cppH A D28-Jul-202411.6 KiB378282

SarifDiagnostics.cppH A D14-Apr-20237.9 KiB210162

SimpleConstraintManager.cppH A D18-Dec-20234.6 KiB

SimpleSValBuilder.cppH A D18-Dec-202353.8 KiB

Store.cppH A D06-Aug-202420.7 KiB550326

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 D28-Jul-20246 KiB161115