diff options
author | Gleb Smirnoff <glebius@FreeBSD.org> | 2015-10-26 11:42:25 +0000 |
---|---|---|
committer | Gleb Smirnoff <glebius@FreeBSD.org> | 2015-10-26 11:42:25 +0000 |
commit | 009e7aaa36cdc634402b808846ff82869c79b076 (patch) | |
tree | 87ec8a7d959d10b98fa9068d0c72ebea6c14f0fb /contrib/ntp/tests/libntp/calendar.c | |
parent | 9f2ff1c7f301609664a1ef5f55688b9254c1b424 (diff) | |
download | src-009e7aaa36cdc634402b808846ff82869c79b076.tar.gz src-009e7aaa36cdc634402b808846ff82869c79b076.zip |
Upgrade NTP to 4.2.8p4.
Security: FreeBSD-SA-15:25.ntp
Security: CVE-2015-7871
Security: CVE-2015-7855
Security: CVE-2015-7854
Security: CVE-2015-7853
Security: CVE-2015-7852
Security: CVE-2015-7851
Security: CVE-2015-7850
Security: CVE-2015-7849
Security: CVE-2015-7848
Security: CVE-2015-7701
Security: CVE-2015-7703
Security: CVE-2015-7704, CVE-2015-7705
Security: CVE-2015-7691, CVE-2015-7692, CVE-2015-7702
Approved by: so
Notes
Notes:
svn path=/releng/9.3/; revision=290001
Diffstat (limited to 'contrib/ntp/tests/libntp/calendar.c')
-rw-r--r-- | contrib/ntp/tests/libntp/calendar.c | 541 |
1 files changed, 541 insertions, 0 deletions
diff --git a/contrib/ntp/tests/libntp/calendar.c b/contrib/ntp/tests/libntp/calendar.c new file mode 100644 index 000000000000..2c8a2d52afb0 --- /dev/null +++ b/contrib/ntp/tests/libntp/calendar.c @@ -0,0 +1,541 @@ +#include "config.h" + +#include "ntp_stdlib.h" /* test fail without this include, for some reason */ +#include "ntp_calendar.h" +#include "unity.h" + +#include <string.h> + +static int leapdays(int year); + +int isGT(int first, int second); +int leapdays(int year); +char * CalendarFromCalToString(const struct calendar *cal); +char * CalendarFromIsoToString(const struct isodate *iso); +int IsEqualCal(const struct calendar *expected, const struct calendar *actual); +int IsEqualIso(const struct isodate *expected, const struct isodate *actual); +char * DateFromCalToString(const struct calendar *cal); +char * DateFromIsoToString(const struct isodate *iso); +int IsEqualDateCal(const struct calendar *expected, const struct calendar *actual); +int IsEqualDateIso(const struct isodate *expected, const struct isodate *actual); +void test_DaySplitMerge(void); +void test_SplitYearDays1(void); +void test_SplitYearDays2(void); +void test_RataDie1(void); +void test_LeapYears1(void); +void test_LeapYears2(void); +void test_RoundTripDate(void); +void test_RoundTripYearStart(void); +void test_RoundTripMonthStart(void); +void test_RoundTripWeekStart(void); +void test_RoundTripDayStart(void); +void test_IsoCalYearsToWeeks(void); +void test_IsoCalWeeksToYearStart(void); +void test_IsoCalWeeksToYearEnd(void); +void test_DaySecToDate(void); + +/* + * --------------------------------------------------------------------- + * test support stuff + * --------------------------------------------------------------------- + */ +int +isGT(int first, int second) +{ + if(first > second) { + return TRUE; + } else { + return FALSE; + } +} + +int +leapdays(int year) +{ + if (year % 400 == 0) + return 1; + if (year % 100 == 0) + return 0; + if (year % 4 == 0) + return 1; + return 0; +} + +char * +CalendarFromCalToString( + const struct calendar *cal) +{ + char * str = malloc(sizeof (char) * 100); + snprintf(str, 100, "%u-%02u-%02u (%u) %02u:%02u:%02u", + cal->year, (u_int)cal->month, (u_int)cal->monthday, + cal->yearday, + (u_int)cal->hour, (u_int)cal->minute, (u_int)cal->second); + str[99] = '\0'; /* paranoia rulez! */ + return str; +} + +char * +CalendarFromIsoToString( + const struct isodate *iso) +{ + char * str = emalloc (sizeof (char) * 100); + snprintf(str, 100, "%u-W%02u-%02u %02u:%02u:%02u", + iso->year, (u_int)iso->week, (u_int)iso->weekday, + (u_int)iso->hour, (u_int)iso->minute, (u_int)iso->second); + str[99] = '\0'; /* paranoia rulez! */ + return str; +} + +int +IsEqualCal( + const struct calendar *expected, + const struct calendar *actual) +{ + if (expected->year == actual->year && + (!expected->yearday || expected->yearday == actual->yearday) && + expected->month == actual->month && + expected->monthday == actual->monthday && + expected->hour == actual->hour && + expected->minute == actual->minute && + expected->second == actual->second) { + return TRUE; + } else { + printf("expected: %s but was %s", + CalendarFromCalToString(expected), + CalendarFromCalToString(actual)); + return FALSE; + } +} + +int +IsEqualIso( + const struct isodate *expected, + const struct isodate *actual) +{ + if (expected->year == actual->year && + expected->week == actual->week && + expected->weekday == actual->weekday && + expected->hour == actual->hour && + expected->minute == actual->minute && + expected->second == actual->second) { + return TRUE; + } else { + printf("expected: %s but was %s", + CalendarFromIsoToString(expected), + CalendarFromIsoToString(actual)); + return FALSE; + } +} + +char * +DateFromCalToString( + const struct calendar *cal) +{ + + char * str = emalloc (sizeof (char) * 100); + snprintf(str, 100, "%u-%02u-%02u (%u)", + cal->year, (u_int)cal->month, (u_int)cal->monthday, + cal->yearday); + str[99] = '\0'; /* paranoia rulez! */ + return str; +} + +char * +DateFromIsoToString( + const struct isodate *iso) +{ + + char * str = emalloc (sizeof (char) * 100); + snprintf(str, 100, "%u-W%02u-%02u", + iso->year, (u_int)iso->week, (u_int)iso->weekday); + str[99] = '\0'; /* paranoia rulez! */ + return str; +} + +int/*BOOL*/ +IsEqualDateCal( + const struct calendar *expected, + const struct calendar *actual) +{ + if (expected->year == actual->year && + (!expected->yearday || expected->yearday == actual->yearday) && + expected->month == actual->month && + expected->monthday == actual->monthday) { + return TRUE; + } else { + printf("expected: %s but was %s", + DateFromCalToString(expected), + DateFromCalToString(actual)); + return FALSE; + } +} + +int/*BOOL*/ +IsEqualDateIso( + const struct isodate *expected, + const struct isodate *actual) +{ + if (expected->year == actual->year && + expected->week == actual->week && + expected->weekday == actual->weekday) { + return TRUE; + } else { + printf("expected: %s but was %s", + DateFromIsoToString(expected), + DateFromIsoToString(actual)); + return FALSE; + } +} + + +/* + * --------------------------------------------------------------------- + * test cases + * --------------------------------------------------------------------- + */ + +/* days before month, with a full-year pad at the upper end */ +static const u_short real_month_table[2][13] = { + /* -*- table for regular years -*- */ + { 0, 31, 59, 90, 120, 151, 181, 212, 243, 273, 304, 334, 365 }, + /* -*- table for leap years -*- */ + { 0, 31, 60, 91, 121, 152, 182, 213, 244, 274, 305, 335, 366 } +}; + +/* days in month, with one month wrap-around at both ends */ +static const u_short real_month_days[2][14] = { + /* -*- table for regular years -*- */ + { 31, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31, 31 }, + /* -*- table for leap years -*- */ + { 31, 31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31, 31 } +}; + +/* test the day/sec join & split ops, making sure that 32bit + * intermediate results would definitely overflow and the hi DWORD of + * the 'vint64' is definitely needed. + */ +void +test_DaySplitMerge(void) { + int32 day,sec; + for (day = -1000000; day <= 1000000; day += 100) { + for (sec = -100000; sec <= 186400; sec += 10000) { + vint64 merge; + ntpcal_split split; + int32 eday; + int32 esec; + + merge = ntpcal_dayjoin(day, sec); + split = ntpcal_daysplit(&merge); + eday = day; + esec = sec; + + while (esec >= 86400) { + eday += 1; + esec -= 86400; + } + while (esec < 0) { + eday -= 1; + esec += 86400; + } + + TEST_ASSERT_EQUAL(eday, split.hi); + TEST_ASSERT_EQUAL(esec, split.lo); + } + } +} + +void +test_SplitYearDays1(void) { + int32 eyd; + for (eyd = -1; eyd <= 365; eyd++) { + ntpcal_split split = ntpcal_split_yeardays(eyd, 0); + if (split.lo >= 0 && split.hi >= 0) { + TEST_ASSERT_TRUE(isGT(12,split.hi)); + TEST_ASSERT_TRUE(isGT(real_month_days[0][split.hi+1], split.lo)); + int32 tyd = real_month_table[0][split.hi] + split.lo; + TEST_ASSERT_EQUAL(eyd, tyd); + } else + TEST_ASSERT_TRUE(eyd < 0 || eyd > 364); + } +} + +void +test_SplitYearDays2(void) { + int32 eyd; + for (eyd = -1; eyd <= 366; eyd++) { + ntpcal_split split = ntpcal_split_yeardays(eyd, 1); + if (split.lo >= 0 && split.hi >= 0) { + /* basic checks do not work on compunds :( */ + /* would like: TEST_ASSERT_TRUE(12 > split.hi); */ + TEST_ASSERT_TRUE(isGT(12,split.hi)); + TEST_ASSERT_TRUE(isGT(real_month_days[1][split.hi+1], split.lo)); + int32 tyd = real_month_table[1][split.hi] + split.lo; + TEST_ASSERT_EQUAL(eyd, tyd); + } else + TEST_ASSERT_TRUE(eyd < 0 || eyd > 365); + } +} + +void +test_RataDie1(void) { + int32 testDate = 1; /* 0001-01-01 (proleptic date) */ + struct calendar expected = { 1, 1, 1, 1 }; + struct calendar actual; + + ntpcal_rd_to_date(&actual, testDate); + TEST_ASSERT_TRUE(IsEqualDateCal(&expected, &actual)); +} + +/* check last day of february for first 10000 years */ +void +test_LeapYears1(void) { + struct calendar dateIn, dateOut; + + for (dateIn.year = 1; dateIn.year < 10000; ++dateIn.year) { + dateIn.month = 2; + dateIn.monthday = 28 + leapdays(dateIn.year); + dateIn.yearday = 31 + dateIn.monthday; + + ntpcal_rd_to_date(&dateOut, ntpcal_date_to_rd(&dateIn)); + + TEST_ASSERT_TRUE(IsEqualDateCal(&dateIn, &dateOut)); + } +} + +/* check first day of march for first 10000 years */ +void +test_LeapYears2(void) { + struct calendar dateIn, dateOut; + + for (dateIn.year = 1; dateIn.year < 10000; ++dateIn.year) { + dateIn.month = 3; + dateIn.monthday = 1; + dateIn.yearday = 60 + leapdays(dateIn.year); + + ntpcal_rd_to_date(&dateOut, ntpcal_date_to_rd(&dateIn)); + TEST_ASSERT_TRUE(IsEqualDateCal(&dateIn, &dateOut)); + } +} + +/* Full roundtrip from 1601-01-01 to 2400-12-31 + * checks sequence of rata die numbers and validates date output + * (since the input is all nominal days of the calendar in that range + * and the result of the inverse calculation must match the input no + * invalid output can occur.) + */ +void +test_RoundTripDate(void) { + struct calendar truDate, expDate = { 1600, 0, 12, 31 };; + int leaps; + int32 truRdn, expRdn = ntpcal_date_to_rd(&expDate); + + while (expDate.year < 2400) { + expDate.year++; + expDate.month = 0; + expDate.yearday = 0; + leaps = leapdays(expDate.year); + while (expDate.month < 12) { + expDate.month++; + expDate.monthday = 0; + while (expDate.monthday < real_month_days[leaps][expDate.month]) { + expDate.monthday++; + expDate.yearday++; + expRdn++; + + truRdn = ntpcal_date_to_rd(&expDate); + TEST_ASSERT_EQUAL(expRdn, truRdn); + + ntpcal_rd_to_date(&truDate, truRdn); + TEST_ASSERT_TRUE(IsEqualDateCal(&expDate, &truDate)); + } + } + } +} + +/* Roundtrip testing on calyearstart */ +void +test_RoundTripYearStart(void) { + static const time_t pivot = 0; + u_int32 ntp, expys, truys; + struct calendar date; + + for (ntp = 0; ntp < 0xFFFFFFFFu - 30000000u; ntp += 30000000u) { + truys = calyearstart(ntp, &pivot); + ntpcal_ntp_to_date(&date, ntp, &pivot); + date.month = date.monthday = 1; + date.hour = date.minute = date.second = 0; + expys = ntpcal_date_to_ntp(&date); + TEST_ASSERT_EQUAL(expys, truys); + } +} + +/* Roundtrip testing on calmonthstart */ +void +test_RoundTripMonthStart(void) { + static const time_t pivot = 0; + u_int32 ntp, expms, trums; + struct calendar date; + + for (ntp = 0; ntp < 0xFFFFFFFFu - 2000000u; ntp += 2000000u) { + trums = calmonthstart(ntp, &pivot); + ntpcal_ntp_to_date(&date, ntp, &pivot); + date.monthday = 1; + date.hour = date.minute = date.second = 0; + expms = ntpcal_date_to_ntp(&date); + TEST_ASSERT_EQUAL(expms, trums); + } +} + +/* Roundtrip testing on calweekstart */ +void +test_RoundTripWeekStart(void) { + static const time_t pivot = 0; + u_int32 ntp, expws, truws; + struct isodate date; + + for (ntp = 0; ntp < 0xFFFFFFFFu - 600000u; ntp += 600000u) { + truws = calweekstart(ntp, &pivot); + isocal_ntp_to_date(&date, ntp, &pivot); + date.hour = date.minute = date.second = 0; + date.weekday = 1; + expws = isocal_date_to_ntp(&date); + TEST_ASSERT_EQUAL(expws, truws); + } +} + +/* Roundtrip testing on caldaystart */ +void +test_RoundTripDayStart(void) { + static const time_t pivot = 0; + u_int32 ntp, expds, truds; + struct calendar date; + + for (ntp = 0; ntp < 0xFFFFFFFFu - 80000u; ntp += 80000u) { + truds = caldaystart(ntp, &pivot); + ntpcal_ntp_to_date(&date, ntp, &pivot); + date.hour = date.minute = date.second = 0; + expds = ntpcal_date_to_ntp(&date); + TEST_ASSERT_EQUAL(expds, truds); + } +} + +/* --------------------------------------------------------------------- + * ISO8601 week calendar internals + * + * The ISO8601 week calendar implementation is simple in the terms of + * the math involved, but the implementation of the calculations must + * take care of a few things like overflow, floor division, and sign + * corrections. + * + * Most of the functions are straight forward, but converting from years + * to weeks and from weeks to years warrants some extra tests. These use + * an independent reference implementation of the conversion from years + * to weeks. + * --------------------------------------------------------------------- + */ + +/* helper / reference implementation for the first week of year in the + * ISO8601 week calendar. This is based on the reference definition of + * the ISO week calendar start: The Monday closest to January,1st of the + * corresponding year in the Gregorian calendar. + */ +static int32_t +refimpl_WeeksInIsoYears( + int32_t years) +{ + int32_t days, weeks; + days = ntpcal_weekday_close( + ntpcal_days_in_years(years) + 1, + CAL_MONDAY) - 1; + /* the weekday functions operate on RDN, while we want elapsed + * units here -- we have to add / sub 1 in the midlle / at the + * end of the operation that gets us the first day of the ISO + * week calendar day. + */ + weeks = days / 7; + days = days % 7; + TEST_ASSERT_EQUAL(0, days); /* paranoia check... */ + return weeks; +} + +/* The next tests loop over 5000yrs, but should still be very fast. If + * they are not, the calendar needs a better implementation... + */ +void +test_IsoCalYearsToWeeks(void) { + int32_t years; + int32_t wref, wcal; + for (years = -1000; years < 4000; ++years) { + /* get number of weeks before years (reference) */ + wref = refimpl_WeeksInIsoYears(years); + /* get number of weeks before years (object-under-test) */ + wcal = isocal_weeks_in_years(years); + TEST_ASSERT_EQUAL(wref, wcal); + } +} + +void +test_IsoCalWeeksToYearStart(void) { + int32_t years; + int32_t wref; + ntpcal_split ysplit; + for (years = -1000; years < 4000; ++years) { + /* get number of weeks before years (reference) */ + wref = refimpl_WeeksInIsoYears(years); + /* reverse split */ + ysplit = isocal_split_eraweeks(wref); + /* check invariants: same year, week 0 */ + TEST_ASSERT_EQUAL(years, ysplit.hi); + TEST_ASSERT_EQUAL(0, ysplit.lo); + } +} + +void +test_IsoCalWeeksToYearEnd(void) { + int32_t years; + int32_t wref; + ntpcal_split ysplit; + for (years = -1000; years < 4000; ++years) { + /* get last week of previous year */ + wref = refimpl_WeeksInIsoYears(years) - 1; + /* reverse split */ + ysplit = isocal_split_eraweeks(wref); + /* check invariants: previous year, week 51 or 52 */ + TEST_ASSERT_EQUAL(years-1, ysplit.hi); + TEST_ASSERT(ysplit.lo == 51 || ysplit.lo == 52); + } +} + +void +test_DaySecToDate(void) { + struct calendar cal; + int32_t days; + + days = ntpcal_daysec_to_date(&cal, -86400); + TEST_ASSERT_MESSAGE((days==-1 && cal.hour==0 && cal.minute==0 && cal.second==0), + "failed for -86400"); + + days = ntpcal_daysec_to_date(&cal, -86399); + TEST_ASSERT_MESSAGE((days==-1 && cal.hour==0 && cal.minute==0 && cal.second==1), + "failed for -86399"); + + days = ntpcal_daysec_to_date(&cal, -1); + TEST_ASSERT_MESSAGE((days==-1 && cal.hour==23 && cal.minute==59 && cal.second==59), + "failed for -1"); + + days = ntpcal_daysec_to_date(&cal, 0); + TEST_ASSERT_MESSAGE((days==0 && cal.hour==0 && cal.minute==0 && cal.second==0), + "failed for 0"); + + days = ntpcal_daysec_to_date(&cal, 1); + TEST_ASSERT_MESSAGE((days==0 && cal.hour==0 && cal.minute==0 && cal.second==1), + "failed for 1"); + + days = ntpcal_daysec_to_date(&cal, 86399); + TEST_ASSERT_MESSAGE((days==0 && cal.hour==23 && cal.minute==59 && cal.second==59), + "failed for 86399"); + + days = ntpcal_daysec_to_date(&cal, 86400); + TEST_ASSERT_MESSAGE((days==1 && cal.hour==0 && cal.minute==0 && cal.second==0), + "failed for 86400"); +} |