Name Date Size #Lines LOC

..--

APSIntTypeTest.cppH A D10-Dec-20222.2 KiB5838

AnalyzerOptionsTest.cppH A D13-Dec-20233.5 KiB9863

BugReportInterestingnessTest.cppH A D17-May-20245.6 KiB166136

CMakeLists.txtH A D31-Oct-2024965 4541

CallDescriptionTest.cppH A D17-May-202421.7 KiB667563

CallEventTest.cppH A D01-Jul-20243.3 KiB9066

CheckerRegistration.hH A D31-Aug-20235.3 KiB152120

ConflictingEvalCallsTest.cppH A D17-May-20242.1 KiB6046

ExprEngineVisitTest.cppH A D10-Jul-20243.6 KiB

FalsePositiveRefutationBRVisitorTest.cppH A D17-May-20248.9 KiB227182

IsCLibraryFunctionTest.cppH A D25-Mar-20242.9 KiB8565

MemRegionDescriptiveNameTest.cppH A D25-Oct-20245.2 KiB147116

NoStateChangeFuncVisitorTest.cppH A D17-May-20248.9 KiB301227

ParamRegionTest.cppH A D12-Jun-20204.2 KiB12599

RangeSetTest.cppH A D14-Sep-202446.4 KiB1,093776

RegisterCustomCheckersTest.cppH A D01-Jan-202418.8 KiB462374

Reusables.hH A D31-Aug-20235 KiB156118

SValSimplifyerTest.cppH A D31-Oct-20243.5 KiB

SValTest.cppH A D11-Oct-202113.9 KiB417309

StoreTest.cppH A D28-Apr-20205.5 KiB156102

SymbolReaperTest.cppH A D30-Aug-20192.3 KiB7245

TestReturnValueUnderConstruction.cppH A D14-Jan-20233.5 KiB12493

Z3CrosscheckOracleTest.cppH A D07-Jan-20259.6 KiB14493