• Home
Name Date Size #Lines LOC

..--

APSIntType.cppD03-May-20241.2 KiB3919

AnalysisManager.cppD03-May-20241.8 KiB5540

AnalyzerOptions.cppD03-May-20247.7 KiB239179

Android.mkD03-May-20241.5 KiB6958

BasicValueFactory.cppD03-May-20247.7 KiB289187

BlockCounter.cppD03-May-20242.5 KiB8755

BugReporter.cppD03-May-202481.2 KiB2,4751,767

BugReporterVisitors.cppD03-May-202449.5 KiB1,4721,078

CMakeLists.txtD03-May-20241.1 KiB6056

CallEvent.cppD03-May-202433.4 KiB982652

Checker.cppD03-May-20241.2 KiB3214

CheckerContext.cppD03-May-20243.2 KiB9958

CheckerHelpers.cppD03-May-20242.2 KiB8148

CheckerManager.cppD03-May-202427.1 KiB713543

CheckerRegistry.cppD03-May-20245.1 KiB15293

ConstraintManager.cppD03-May-20241.4 KiB4022

CoreEngine.cppD03-May-202420.6 KiB691481

Environment.cppD03-May-20247.4 KiB243174

ExplodedGraph.cppD03-May-202413.9 KiB445252

ExprEngine.cppD03-May-202482.2 KiB2,3481,681

ExprEngineC.cppD03-May-202434.1 KiB939658

ExprEngineCXX.cppD03-May-202415.7 KiB391279

ExprEngineCallAndReturn.cppD03-May-202432.1 KiB873556

ExprEngineObjC.cppD03-May-20248.9 KiB216120

FunctionSummary.cppD03-May-20241.2 KiB3922

HTMLDiagnostics.cppD03-May-202416.9 KiB567381

MakefileD03-May-2024582 183

MemRegion.cppD03-May-202443.5 KiB1,3901,023

PathDiagnostic.cppD03-May-202434.9 KiB1,052841

PlistDiagnostics.cppD03-May-202419.3 KiB563425

ProgramState.cppD03-May-202424.8 KiB759540

RangeConstraintManager.cppD03-May-202421 KiB588399

RegionStore.cppD03-May-202479.5 KiB2,2061,389

SValBuilder.cppD03-May-202415.2 KiB422257

SVals.cppD03-May-20249.6 KiB316216

SimpleConstraintManager.cppD03-May-20249.5 KiB288193

SimpleConstraintManager.hD03-May-20244.1 KiB10655

SimpleSValBuilder.cppD03-May-202434.2 KiB958656

Store.cppD03-May-202417.6 KiB499299

SubEngine.cppD03-May-2024465 153

SymbolManager.cppD03-May-202415.4 KiB553434

TextPathDiagnostics.cppD03-May-20242.6 KiB7347