Name Date Size #Lines LOC

..--

APSIntType.hH A D04-Jul-20223.7 KiB10955

AnalysisManager.hH A D27-Aug-20204.6 KiB161102

BasicValueFactory.hH A D14-Apr-20239.1 KiB294200

BlockCounter.hH A D20-Dec-20191.6 KiB6028

CallDescription.hH A D28-Jul-202411.8 KiB292105

CallEvent.hH A D28-Jul-202453.7 KiB1,521868

CheckerContext.hH A D28-Jul-202417.3 KiB444211

CheckerHelpers.hH A D28-Jul-20243.7 KiB12273

ConstraintManager.hH A D18-Dec-20237.7 KiB

CoreEngine.hH A D28-Jul-202419.9 KiB593373

DynamicCastInfo.hH A D10-Mar-20201.5 KiB5635

DynamicExtent.hH A D18-Dec-20232.7 KiB

DynamicType.hH A D18-Dec-20234.2 KiB

DynamicTypeInfo.hH A D27-Jan-20221.7 KiB5628

Environment.hH A D20-Dec-20193.8 KiB12670

ExplodedGraph.hH A D02-Sep-202317.7 KiB542299

ExprEngine.hH A D28-Jul-202443.5 KiB1,013538

FunctionSummary.hH A D14-Apr-20234 KiB14297

LoopUnrolling.hH A D27-Jan-20222.1 KiB4814

LoopWidening.hH A D22-Aug-20211.4 KiB3612

MemRegion.hH A D28-Jul-202454.4 KiB1,6791,018

ProgramState.hH A D28-Jul-202434.6 KiB915509

ProgramStateTrait.hH A D04-Jul-202211.1 KiB299168

ProgramState_Fwd.hH A D20-Dec-20191.2 KiB4328

RangedConstraintManager.hH A D04-Jul-202219.8 KiB503189

Regions.defH A D02-Sep-20234 KiB9589

SMTConstraintManager.hH A D28-Jul-202412.5 KiB365240

SMTConv.hH A D17-Apr-202328.6 KiB794551

SValBuilder.hH A D28-Jul-202416 KiB424249

SValVisitor.hH A D18-Dec-20235.4 KiB

SVals.defH A D18-Dec-20232.3 KiB

SVals.hH A D28-Jul-202415 KiB501308

SimpleConstraintManager.hH A D04-Jul-20223.9 KiB9442

Store.hH A D28-Jul-202413 KiB322150

StoreRef.hH A D20-Dec-20191.6 KiB5426

SummaryManager.hH A D20-Dec-20191.2 KiB5816

SymExpr.hH A D02-Sep-20234.4 KiB15281

SymbolManager.hH A D02-Sep-202322.6 KiB693442

Symbols.defH A D04-Jul-20221.7 KiB5748

WorkList.hH A D20-Dec-20192.8 KiB9556