• Home
Name Date Size #Lines LOC

..--

APSIntType.cppD03-May-20241.2 KiB3919

AnalysisManager.cppD03-May-20241.8 KiB5439

AnalyzerOptions.cppD03-May-20242.8 KiB8349

Android.mkD03-May-20241.5 KiB6857

BasicValueFactory.cppD03-May-20247.7 KiB289187

BlockCounter.cppD03-May-20242.5 KiB8755

BugReporter.cppD03-May-202470.5 KiB2,1681,550

BugReporterVisitors.cppD03-May-202433.4 KiB1,017747

CMakeLists.txtD03-May-20241.1 KiB6056

CallEvent.cppD03-May-202430.6 KiB914614

Checker.cppD03-May-20241.2 KiB3214

CheckerContext.cppD03-May-20242.7 KiB8451

CheckerHelpers.cppD03-May-20242.2 KiB8148

CheckerManager.cppD03-May-202427.3 KiB721553

CheckerRegistry.cppD03-May-20245.1 KiB15192

ConstraintManager.cppD03-May-20241.8 KiB4725

CoreEngine.cppD03-May-202420.6 KiB691481

Environment.cppD03-May-202410 KiB299221

ExplodedGraph.cppD03-May-202413.6 KiB437258

ExprEngine.cppD03-May-202473.7 KiB2,1181,521

ExprEngineC.cppD03-May-202433 KiB909636

ExprEngineCXX.cppD03-May-202413 KiB317224

ExprEngineCallAndReturn.cppD03-May-202425.5 KiB700446

ExprEngineObjC.cppD03-May-202410.5 KiB262157

FunctionSummary.cppD03-May-20241.2 KiB3922

HTMLDiagnostics.cppD03-May-202416.8 KiB566380

MakefileD03-May-2024582 183

MemRegion.cppD03-May-202440.3 KiB1,290950

PathDiagnostic.cppD03-May-202433.2 KiB989793

PlistDiagnostics.cppD03-May-202417.7 KiB530402

ProgramState.cppD03-May-202424.5 KiB753539

RangeConstraintManager.cppD03-May-202420.3 KiB574393

RegionStore.cppD03-May-202474.8 KiB2,0661,315

SValBuilder.cppD03-May-202415 KiB416254

SVals.cppD03-May-20249.6 KiB316216

SimpleConstraintManager.cppD03-May-20249.5 KiB289193

SimpleConstraintManager.hD03-May-20244.1 KiB10655

SimpleSValBuilder.cppD03-May-202433.9 KiB951651

Store.cppD03-May-202413.7 KiB383218

SubEngine.cppD03-May-2024465 153

SymbolManager.cppD03-May-202415.5 KiB551433

TextPathDiagnostics.cppD03-May-20242.6 KiB7246