Name Date Size #Lines LOC

..13-Apr-2024-

APSIntType.hH A D09-Feb-20233.7 KiB10955

AnalysisManager.hH A D08-May-20224.6 KiB161102

BasicValueFactory.hH A D23-Jun-20239.1 KiB294200

BlockCounter.hH A D08-May-20221.6 KiB6028

CallDescription.hH A D23-Jun-202310.1 KiB258101

CallEvent.hH A D13-Apr-202451.4 KiB1,449827

CheckerContext.hH A D12-Jan-202416.6 KiB432210

CheckerHelpers.hH A D23-Jun-20233.5 KiB11870

ConstraintManager.hH A D13-Apr-20247.7 KiB199103

CoreEngine.hH A D12-Jan-202420 KiB593374

DynamicCastInfo.hH A D08-May-20221.5 KiB5635

DynamicExtent.hH A D13-Apr-20242.7 KiB6523

DynamicType.hH A D13-Apr-20244.2 KiB9045

DynamicTypeInfo.hH A D14-May-20221.7 KiB5628

Environment.hH A D08-May-20223.8 KiB12670

ExplodedGraph.hH A D12-Jan-202417.7 KiB542299

ExprEngine.hH A D12-Jan-202444 KiB1,021541

FunctionSummary.hH A D23-Jun-20234 KiB14297

LoopUnrolling.hH A D14-May-20222.1 KiB4814

LoopWidening.hH A D08-May-20221.4 KiB3612

MemRegion.hH A D12-Jan-202454.3 KiB1,6741,014

ProgramState.hH A D23-Jun-202335 KiB927519

ProgramStateTrait.hH A D09-Feb-202311.1 KiB299168

ProgramState_Fwd.hH A D08-May-20221.2 KiB4328

RangedConstraintManager.hH A D09-Feb-202319.8 KiB503189

Regions.defH A D12-Jan-20244 KiB9589

SMTConstraintManager.hH A D12-Jan-202412.4 KiB362237

SMTConv.hH A D23-Jun-202328.6 KiB794551

SValBuilder.hH A D13-Apr-202415.8 KiB420249

SValVisitor.hH A D13-Apr-20245.4 KiB14286

SVals.defH A D13-Apr-20242.3 KiB7365

SVals.hH A D13-Apr-202415.3 KiB509314

SimpleConstraintManager.hH A D09-Feb-20233.9 KiB9442

Store.hH A D23-Jun-202313.2 KiB326154

StoreRef.hH A D08-May-20221.6 KiB5426

SummaryManager.hH A D08-May-20221.2 KiB5816

SymExpr.hH A D12-Jan-20244.4 KiB15281

SymbolManager.hH A D12-Jan-202422.6 KiB693442

Symbols.defH A D09-Feb-20231.7 KiB5748

WorkList.hH A D08-May-20222.8 KiB9556