Name Date Size #Lines LOC

..--

APSIntTypeTest.cppH A D08-Jul-20242.2 KiB5838

AnalyzerOptionsTest.cppH A D08-Jul-20243.5 KiB9863

BugReportInterestingnessTest.cppH A D08-Jul-20245.6 KiB166136

CMakeLists.txtH A D29-Jan-2025965 4541

CallDescriptionTest.cppH A D08-Jul-202421.7 KiB667563

CallEventTest.cppH A D08-Jul-20243.3 KiB9066

CheckerRegistration.hH A D08-Jul-20245.3 KiB152120

ConflictingEvalCallsTest.cppH A D08-Jul-20242.1 KiB6046

ExprEngineVisitTest.cppH A D16-Jul-20243.6 KiB

FalsePositiveRefutationBRVisitorTest.cppH A D08-Jul-20248.9 KiB227182

IsCLibraryFunctionTest.cppH A D08-Jul-20242.9 KiB8565

MemRegionDescriptiveNameTest.cppH A D29-Jan-20255.2 KiB147116

NoStateChangeFuncVisitorTest.cppH A D08-Jul-20248.9 KiB301227

ParamRegionTest.cppH A D25-Jun-20214.2 KiB12599

RangeSetTest.cppH A D29-Jan-202546.4 KiB1,093776

RegisterCustomCheckersTest.cppH A D08-Jul-202418.8 KiB462374

Reusables.hH A D08-Jul-20245 KiB156118

SValSimplifyerTest.cppH A D29-Jan-20253.5 KiB

SValTest.cppH A D15-Nov-202213.9 KiB417309

StoreTest.cppH A D25-Jun-20215.5 KiB156102

SymbolReaperTest.cppH A D25-Jun-20212.3 KiB7245

TestReturnValueUnderConstruction.cppH A D08-Jul-20243.5 KiB12493

Z3CrosscheckOracleTest.cppH A D29-Jan-20259.6 KiB14493