• Home
Name Date Size #Lines LOC

..--

APSIntType.cppD03-May-20241.5 KiB4928

AnalysisManager.cppD03-May-20242.6 KiB6751

AnalyzerOptions.cppD03-May-20246.8 KiB195153

BasicValueFactory.cppD03-May-20249.8 KiB351245

BlockCounter.cppD03-May-20242.5 KiB8554

BugReporter.cppD03-May-2024115 KiB3,3202,282

BugReporterVisitors.cppD03-May-2024105 KiB2,9161,976

CMakeLists.txtD03-May-20241.2 KiB6863

CallEvent.cppD03-May-202450.1 KiB1,4561,019

Checker.cppD03-May-20241.4 KiB4020

CheckerContext.cppD03-May-20244.5 KiB13289

CheckerHelpers.cppD03-May-20244.4 KiB153101

CheckerManager.cppD03-May-202432.4 KiB907674

CheckerRegistryData.cppD03-May-20248.2 KiB242164

CommonBugCategories.cppD03-May-20241 KiB2715

ConstraintManager.cppD03-May-20241.7 KiB4427

CoreEngine.cppD03-May-202423 KiB706505

DynamicSize.cppD03-May-20242.8 KiB7249

DynamicType.cppD03-May-202411.1 KiB307222

Environment.cppD03-May-20249.2 KiB298221

ExplodedGraph.cppD03-May-202417.8 KiB542332

ExprEngine.cppD03-May-2024121.2 KiB3,2822,389

ExprEngineC.cppD03-May-202443.2 KiB1,178826

ExprEngineCXX.cppD03-May-202444 KiB1,040705

ExprEngineCallAndReturn.cppD03-May-202443.3 KiB1,136741

ExprEngineObjC.cppD03-May-202411.4 KiB285160

FunctionSummary.cppD03-May-20241,000 3115

HTMLDiagnostics.cppD03-May-202436.6 KiB1,153854

LoopUnrolling.cppD03-May-202411.2 KiB306228

LoopWidening.cppD03-May-20244 KiB10262

MemRegion.cppD03-May-202455.7 KiB1,7361,311

PlistDiagnostics.cppD03-May-202447.2 KiB1,385875

PrettyStackTraceLocationContext.hD03-May-20241.3 KiB4519

ProgramState.cppD03-May-202421.7 KiB649462

RangeConstraintManager.cppD03-May-202487.1 KiB2,2821,373

RangedConstraintManager.cppD03-May-20248.6 KiB225132

RegionStore.cppD03-May-202497.1 KiB2,6481,673

SMTConstraintManager.cppD03-May-2024657 197

SValBuilder.cppD03-May-202423.7 KiB664441

SVals.cppD03-May-202411.5 KiB372264

SarifDiagnostics.cppD03-May-202414.6 KiB400305

SimpleConstraintManager.cppD03-May-20244.6 KiB13392

SimpleSValBuilder.cppD03-May-202450.6 KiB1,365928

Store.cppD03-May-202421.8 KiB568333

SymbolManager.cppD03-May-202416.6 KiB558437

TextDiagnostics.cppD03-May-20245.9 KiB156116

WorkList.cppD03-May-20248.6 KiB314206