jcs.org
Serenity Operating System
1/*
2 * Copyright (c) 2022, Ben Wiederhake <BenWiederhake.GitHub@gmx.de>
3 *
4 * SPDX-License-Identifier: BSD-2-Clause
5 */
6
7#include <AK/StringView.h>
8#include <LibCrypto/ASN1/ASN1.h>
9#include <LibTest/TestCase.h>
10
11#define EXPECT_DATETIME(sv, y, mo, d, h, mi, s) \
12 EXPECT_EQ(Crypto::ASN1::parse_utc_time(sv).value(), Core::DateTime::create(y, mo, d, h, mi, s))
13
14TEST_CASE(test_utc_boring)
15{
16 // YYMMDDhhmm[ss]Z
17 EXPECT_DATETIME("010101010101Z"sv, 2001, 1, 1, 1, 1, 1);
18 EXPECT_DATETIME("010203040506Z"sv, 2001, 2, 3, 4, 5, 6);
19 EXPECT_DATETIME("020406081012Z"sv, 2002, 4, 6, 8, 10, 12);
20 EXPECT_DATETIME("0204060810Z"sv, 2002, 4, 6, 8, 10, 0);
21 EXPECT_DATETIME("220911220000Z"sv, 2022, 9, 11, 22, 0, 0);
22}
23
24TEST_CASE(test_utc_year_rollover)
25{
26 // YYMMDDhhmm[ss]Z
27 EXPECT_DATETIME("000101010101Z"sv, 2000, 1, 1, 1, 1, 1);
28 EXPECT_DATETIME("010101010101Z"sv, 2001, 1, 1, 1, 1, 1);
29 EXPECT_DATETIME("020101010101Z"sv, 2002, 1, 1, 1, 1, 1);
30 // ...
31 EXPECT_DATETIME("480101010101Z"sv, 2048, 1, 1, 1, 1, 1);
32 EXPECT_DATETIME("490101010101Z"sv, 2049, 1, 1, 1, 1, 1);
33 // This Y2050-problem is hardcoded in the spec. Oh no.
34 EXPECT_DATETIME("500101010101Z"sv, 1950, 1, 1, 1, 1, 1);
35 EXPECT_DATETIME("510101010101Z"sv, 1951, 1, 1, 1, 1, 1);
36 // ...
37 EXPECT_DATETIME("970101010101Z"sv, 1997, 1, 1, 1, 1, 1);
38 EXPECT_DATETIME("980101010101Z"sv, 1998, 1, 1, 1, 1, 1);
39 EXPECT_DATETIME("990101010101Z"sv, 1999, 1, 1, 1, 1, 1);
40}
41
42TEST_CASE(test_utc_offset)
43{
44 // YYMMDDhhmm[ss](+|-)hhmm
45 // We don't yet support storing the offset anywhere and instead just assume that the offset is just +0000.
46 EXPECT_DATETIME("010101010101+0000"sv, 2001, 1, 1, 1, 1, 1);
47 EXPECT_DATETIME("010203040506+0000"sv, 2001, 2, 3, 4, 5, 6);
48 EXPECT_DATETIME("020406081012+0000"sv, 2002, 4, 6, 8, 10, 12);
49 EXPECT_DATETIME("0204060810+0000"sv, 2002, 4, 6, 8, 10, 0);
50 EXPECT_DATETIME("220911220000+0000"sv, 2022, 9, 11, 22, 0, 0);
51 // Designed to fail once we support offsets:
52 EXPECT_DATETIME("220911220000+0600"sv, 2022, 9, 11, 22, 0, 0);
53}
54
55TEST_CASE(test_utc_missing_z)
56{
57 // YYMMDDhhmm[ss]
58 // We don't actually need to parse this correctly; rejecting these inputs is fine.
59 // This test just makes sure that we don't crash.
60 (void)Crypto::ASN1::parse_utc_time("010101010101"sv);
61 (void)Crypto::ASN1::parse_utc_time("010203040506"sv);
62 (void)Crypto::ASN1::parse_utc_time("020406081012"sv);
63 (void)Crypto::ASN1::parse_utc_time("0204060810"sv);
64 (void)Crypto::ASN1::parse_utc_time("220911220000"sv);
65}
66
67#undef EXPECT_DATETIME
68#define EXPECT_DATETIME(sv, y, mo, d, h, mi, s) \
69 EXPECT_EQ(Crypto::ASN1::parse_generalized_time(sv).value(), Core::DateTime::create(y, mo, d, h, mi, s))
70
71TEST_CASE(test_generalized_boring)
72{
73 // YYYYMMDDhh[mm[ss[.fff]]]
74 EXPECT_DATETIME("20010101010101Z"sv, 2001, 1, 1, 1, 1, 1);
75 EXPECT_DATETIME("20010203040506Z"sv, 2001, 2, 3, 4, 5, 6);
76 EXPECT_DATETIME("20020406081012Z"sv, 2002, 4, 6, 8, 10, 12);
77 EXPECT_DATETIME("200204060810Z"sv, 2002, 4, 6, 8, 10, 0);
78 EXPECT_DATETIME("2002040608Z"sv, 2002, 4, 6, 8, 0, 0);
79 // TODO: We probably should not discard the milliseconds.
80 EXPECT_DATETIME("20020406081012.567Z"sv, 2002, 4, 6, 8, 10, 12);
81 EXPECT_DATETIME("20220911220000Z"sv, 2022, 9, 11, 22, 0, 0);
82}
83
84TEST_CASE(test_generalized_offset)
85{
86 // YYYYMMDDhh[mm[ss[.fff]]](+|-)hhmm
87 // We don't yet support storing the offset anywhere and instead just assume that the offset is just +0000.
88 EXPECT_DATETIME("20010101010101+0000"sv, 2001, 1, 1, 1, 1, 1);
89 EXPECT_DATETIME("20010203040506+0000"sv, 2001, 2, 3, 4, 5, 6);
90 EXPECT_DATETIME("20020406081012+0000"sv, 2002, 4, 6, 8, 10, 12);
91 EXPECT_DATETIME("200204060810+0000"sv, 2002, 4, 6, 8, 10, 0);
92 EXPECT_DATETIME("2002040608+0000"sv, 2002, 4, 6, 8, 0, 0);
93 // TODO: We probably should not discard the milliseconds.
94 EXPECT_DATETIME("20020406081012.567+0000"sv, 2002, 4, 6, 8, 10, 12);
95 EXPECT_DATETIME("20220911220000+0000"sv, 2022, 9, 11, 22, 0, 0);
96 // Designed to fail once we support offsets:
97 EXPECT_DATETIME("20220911220000+0600"sv, 2022, 9, 11, 22, 0, 0);
98}
99
100TEST_CASE(test_generalized_missing_z)
101{
102 // YYYYMMDDhh[mm[ss[.fff]]]
103 EXPECT_DATETIME("20010101010101"sv, 2001, 1, 1, 1, 1, 1);
104 EXPECT_DATETIME("20010203040506"sv, 2001, 2, 3, 4, 5, 6);
105 EXPECT_DATETIME("20020406081012"sv, 2002, 4, 6, 8, 10, 12);
106 EXPECT_DATETIME("200204060810"sv, 2002, 4, 6, 8, 10, 0);
107 EXPECT_DATETIME("2002040608"sv, 2002, 4, 6, 8, 0, 0);
108 // TODO: We probably should not discard the milliseconds.
109 EXPECT_DATETIME("20020406081012.567"sv, 2002, 4, 6, 8, 10, 12);
110 EXPECT_DATETIME("20220911220000"sv, 2022, 9, 11, 22, 0, 0);
111}
112
113TEST_CASE(test_generalized_unusual_year)
114{
115 // Towards the positive
116 EXPECT_DATETIME("20010203040506Z"sv, 2001, 2, 3, 4, 5, 6);
117 EXPECT_DATETIME("20110203040506Z"sv, 2011, 2, 3, 4, 5, 6);
118 EXPECT_DATETIME("21010203040506Z"sv, 2101, 2, 3, 4, 5, 6);
119 EXPECT_DATETIME("30010203040506Z"sv, 3001, 2, 3, 4, 5, 6);
120 EXPECT_DATETIME("40010203040506Z"sv, 4001, 2, 3, 4, 5, 6);
121 EXPECT_DATETIME("90010203040506Z"sv, 9001, 2, 3, 4, 5, 6);
122 EXPECT_DATETIME("99990203040506Z"sv, 9999, 2, 3, 4, 5, 6);
123
124 // Towards zero
125 EXPECT_DATETIME("20010203040506Z"sv, 2001, 2, 3, 4, 5, 6);
126 EXPECT_DATETIME("19990203040506Z"sv, 1999, 2, 3, 4, 5, 6);
127 EXPECT_DATETIME("19500203040506Z"sv, 1950, 2, 3, 4, 5, 6);
128 EXPECT_DATETIME("19010203040506Z"sv, 1901, 2, 3, 4, 5, 6);
129 EXPECT_DATETIME("18010203040506Z"sv, 1801, 2, 3, 4, 5, 6);
130 EXPECT_DATETIME("15010203040506Z"sv, 1501, 2, 3, 4, 5, 6);
131 EXPECT_DATETIME("10010203040506Z"sv, 1001, 2, 3, 4, 5, 6);
132 EXPECT_DATETIME("01010203040506Z"sv, 101, 2, 3, 4, 5, 6);
133 EXPECT_DATETIME("00110203040506Z"sv, 11, 2, 3, 4, 5, 6);
134 EXPECT_DATETIME("00010203040506Z"sv, 1, 2, 3, 4, 5, 6);
135 EXPECT_DATETIME("00000203040506Z"sv, 0, 2, 3, 4, 5, 6);
136
137 // Problematic dates
138 EXPECT_DATETIME("20200229040506Z"sv, 2020, 2, 29, 4, 5, 6);
139 EXPECT_DATETIME("20000229040506Z"sv, 2000, 2, 29, 4, 5, 6);
140 EXPECT_DATETIME("24000229040506Z"sv, 2400, 2, 29, 4, 5, 6);
141}
142
143TEST_CASE(test_generalized_nonexistent_dates)
144{
145 // The following dates don't exist. I'm not sure what the "correct" result is,
146 // but we need to make sure that we don't crash.
147 (void)Crypto::ASN1::parse_generalized_time("20210229040506Z"sv); // Not a leap year (not divisible by 4)
148 (void)Crypto::ASN1::parse_generalized_time("21000229040506Z"sv); // Not a leap year (divisible by 100)
149 (void)Crypto::ASN1::parse_generalized_time("20220230040506Z"sv); // Never exists
150 (void)Crypto::ASN1::parse_generalized_time("20220631040506Z"sv); // Never exists
151 (void)Crypto::ASN1::parse_generalized_time("20220732040506Z"sv); // Never exists
152
153 // https://www.timeanddate.com/calendar/julian-gregorian-switch.html
154 (void)Crypto::ASN1::parse_generalized_time("15821214040506Z"sv); // Gregorian switch; France
155 (void)Crypto::ASN1::parse_generalized_time("15821011040506Z"sv); // Gregorian switch; Italy, Poland, Portugal, Spain
156 (void)Crypto::ASN1::parse_generalized_time("15830105040506Z"sv); // Gregorian switch; Germany (Catholic)
157 (void)Crypto::ASN1::parse_generalized_time("15831011040506Z"sv); // Gregorian switch; Austria
158 (void)Crypto::ASN1::parse_generalized_time("15871026040506Z"sv); // Gregorian switch; Hungary
159 (void)Crypto::ASN1::parse_generalized_time("16100826040506Z"sv); // Gregorian switch; Germany (old Prussia)
160 (void)Crypto::ASN1::parse_generalized_time("17000223040506Z"sv); // Gregorian switch; Germany (Protestant)
161 (void)Crypto::ASN1::parse_generalized_time("17520908040506Z"sv); // Gregorian switch; US, Canada, UK
162 (void)Crypto::ASN1::parse_generalized_time("18711225040506Z"sv); // Gregorian switch; Japan
163 (void)Crypto::ASN1::parse_generalized_time("19160407040506Z"sv); // Gregorian switch; Bulgaria
164 (void)Crypto::ASN1::parse_generalized_time("19180207040506Z"sv); // Gregorian switch; Estonia, Russia
165 (void)Crypto::ASN1::parse_generalized_time("19230222040506Z"sv); // Gregorian switch; Greece
166 (void)Crypto::ASN1::parse_generalized_time("19261224040506Z"sv); // Gregorian switch; Turkey
167}