/src/openssl41/crypto/x509/v3_timespec.c

Source
/*
 * Copyright 2024-2026 The OpenSSL Project Authors. All Rights Reserved.
 *
 * Licensed under the Apache License 2.0 (the "License").  You may not use
 * this file except in compliance with the License.  You can obtain a copy
 * in the file LICENSE in the source distribution or at
 * https://www.openssl.org/source/license.html
 */

#include <stdio.h>
#include <openssl/asn1t.h>
#include <openssl/x509v3.h>
#include <crypto/asn1.h>
#include "ext_dat.h"

static const char *const WEEKDAY_NAMES[7] = {
    "SUN",
    "MON",
    "TUE",
    "WED",
    "THU",
    "FRI",
    "SAT"
};

static const char *const WEEK_NAMES[5] = {
    "first",
    "second",
    "third",
    "fourth",
    "final"
};

static const char *const MONTH_NAMES[12] = {
    "JAN",
    "FEB",
    "MAR",
    "APR",
    "MAY",
    "JUN",
    "JUL",
    "AUG",
    "SEPT",
    "OCT",
    "NOV",
    "DEC"
};

ASN1_SEQUENCE(OSSL_TIME_SPEC_ABSOLUTE) = {
    ASN1_EXP_OPT(OSSL_TIME_SPEC_ABSOLUTE, startTime, ASN1_GENERALIZEDTIME, 0),
    ASN1_EXP_OPT(OSSL_TIME_SPEC_ABSOLUTE, endTime, ASN1_GENERALIZEDTIME, 1),
} ASN1_SEQUENCE_END(OSSL_TIME_SPEC_ABSOLUTE)

ASN1_SEQUENCE(OSSL_DAY_TIME) = {
    ASN1_EXP_OPT(OSSL_DAY_TIME, hour, ASN1_INTEGER, 0),
    ASN1_EXP_OPT(OSSL_DAY_TIME, minute, ASN1_INTEGER, 1),
    ASN1_EXP_OPT(OSSL_DAY_TIME, second, ASN1_INTEGER, 2),
} ASN1_SEQUENCE_END(OSSL_DAY_TIME)

ASN1_SEQUENCE(OSSL_DAY_TIME_BAND) = {
    ASN1_EXP_OPT(OSSL_DAY_TIME_BAND, startDayTime, OSSL_DAY_TIME, 0),
    ASN1_EXP_OPT(OSSL_DAY_TIME_BAND, endDayTime, OSSL_DAY_TIME, 1),
} ASN1_SEQUENCE_END(OSSL_DAY_TIME_BAND)

ASN1_CHOICE(OSSL_NAMED_DAY) = {
    ASN1_SET_OF(OSSL_NAMED_DAY, choice.intNamedDays, ASN1_ENUMERATED),
    ASN1_SIMPLE(OSSL_NAMED_DAY, choice.bitNamedDays, ASN1_BIT_STRING),
} ASN1_CHOICE_END(OSSL_NAMED_DAY)

ASN1_CHOICE(OSSL_TIME_SPEC_X_DAY_OF) = {
    ASN1_EXP(OSSL_TIME_SPEC_X_DAY_OF, choice.first, OSSL_NAMED_DAY, 1),
    ASN1_EXP(OSSL_TIME_SPEC_X_DAY_OF, choice.second, OSSL_NAMED_DAY, 2),
    ASN1_EXP(OSSL_TIME_SPEC_X_DAY_OF, choice.third, OSSL_NAMED_DAY, 3),
    ASN1_EXP(OSSL_TIME_SPEC_X_DAY_OF, choice.fourth, OSSL_NAMED_DAY, 4),
    ASN1_EXP(OSSL_TIME_SPEC_X_DAY_OF, choice.fifth, OSSL_NAMED_DAY, 5),
} ASN1_CHOICE_END(OSSL_TIME_SPEC_X_DAY_OF)

ASN1_CHOICE(OSSL_TIME_SPEC_DAY) = {
    ASN1_SET_OF(OSSL_TIME_SPEC_DAY, choice.intDay, ASN1_INTEGER),
    ASN1_SIMPLE(OSSL_TIME_SPEC_DAY, choice.bitDay, ASN1_BIT_STRING),
    ASN1_SIMPLE(OSSL_TIME_SPEC_DAY, choice.dayOf, OSSL_TIME_SPEC_X_DAY_OF),
} ASN1_CHOICE_END(OSSL_TIME_SPEC_DAY)

ASN1_CHOICE(OSSL_TIME_SPEC_WEEKS) = {
    ASN1_SIMPLE(OSSL_TIME_SPEC_WEEKS, choice.allWeeks, ASN1_NULL),
    ASN1_SET_OF(OSSL_TIME_SPEC_WEEKS, choice.intWeek, ASN1_INTEGER),
    ASN1_SIMPLE(OSSL_TIME_SPEC_WEEKS, choice.bitWeek, ASN1_BIT_STRING),
} ASN1_CHOICE_END(OSSL_TIME_SPEC_WEEKS)

ASN1_CHOICE(OSSL_TIME_SPEC_MONTH) = {
    ASN1_SIMPLE(OSSL_TIME_SPEC_MONTH, choice.allMonths, ASN1_NULL),
    ASN1_SET_OF(OSSL_TIME_SPEC_MONTH, choice.intMonth, ASN1_INTEGER),
    ASN1_SIMPLE(OSSL_TIME_SPEC_MONTH, choice.bitMonth, ASN1_BIT_STRING),
} ASN1_CHOICE_END(OSSL_TIME_SPEC_MONTH)

ASN1_SEQUENCE(OSSL_TIME_PERIOD) = {
    ASN1_EXP_SET_OF_OPT(OSSL_TIME_PERIOD, timesOfDay, OSSL_DAY_TIME_BAND, 0),
    ASN1_EXP_OPT(OSSL_TIME_PERIOD, days, OSSL_TIME_SPEC_DAY, 1),
    ASN1_EXP_OPT(OSSL_TIME_PERIOD, weeks, OSSL_TIME_SPEC_WEEKS, 2),
    ASN1_EXP_OPT(OSSL_TIME_PERIOD, months, OSSL_TIME_SPEC_MONTH, 3),
    ASN1_EXP_SET_OF_OPT(OSSL_TIME_PERIOD, years, ASN1_INTEGER, 4),
} ASN1_SEQUENCE_END(OSSL_TIME_PERIOD)

ASN1_CHOICE(OSSL_TIME_SPEC_TIME) = {
    ASN1_SIMPLE(OSSL_TIME_SPEC_TIME, choice.absolute, OSSL_TIME_SPEC_ABSOLUTE),
    ASN1_SET_OF(OSSL_TIME_SPEC_TIME, choice.periodic, OSSL_TIME_PERIOD)
} ASN1_CHOICE_END(OSSL_TIME_SPEC_TIME)

ASN1_SEQUENCE(OSSL_TIME_SPEC) = {
    ASN1_SIMPLE(OSSL_TIME_SPEC, time, OSSL_TIME_SPEC_TIME),
    ASN1_OPT(OSSL_TIME_SPEC, notThisTime, ASN1_FBOOLEAN),
    ASN1_OPT(OSSL_TIME_SPEC, timeZone, ASN1_INTEGER),
} ASN1_SEQUENCE_END(OSSL_TIME_SPEC)

IMPLEMENT_ASN1_FUNCTIONS(OSSL_DAY_TIME)
IMPLEMENT_ASN1_FUNCTIONS(OSSL_DAY_TIME_BAND)
IMPLEMENT_ASN1_FUNCTIONS(OSSL_TIME_SPEC_DAY)
IMPLEMENT_ASN1_FUNCTIONS(OSSL_TIME_SPEC_WEEKS)
IMPLEMENT_ASN1_FUNCTIONS(OSSL_TIME_SPEC_MONTH)
IMPLEMENT_ASN1_FUNCTIONS(OSSL_NAMED_DAY)
IMPLEMENT_ASN1_FUNCTIONS(OSSL_TIME_SPEC_X_DAY_OF)
IMPLEMENT_ASN1_FUNCTIONS(OSSL_TIME_SPEC_ABSOLUTE)
IMPLEMENT_ASN1_FUNCTIONS(OSSL_TIME_SPEC_TIME)
IMPLEMENT_ASN1_FUNCTIONS(OSSL_TIME_SPEC)
IMPLEMENT_ASN1_FUNCTIONS(OSSL_TIME_PERIOD)

static int i2r_OSSL_TIME_SPEC_ABSOLUTE(X509V3_EXT_METHOD *method,
    OSSL_TIME_SPEC_ABSOLUTE *time,
    BIO *out, int indent)
{
    if (time->startTime != NULL && time->endTime != NULL) {
        if (!BIO_puts(out, "Any time between "))
            return 0;
        if (!ossl_asn1_time_print_ex(out, time->startTime, 0))
            return 0;
        if (!BIO_puts(out, " and "))
            return 0;
        if (!ossl_asn1_time_print_ex(out, time->endTime, 0))
            return 0;
    } else if (time->startTime != NULL) {
        if (!BIO_puts(out, "Any time after "))
            return 0;
        if (!ossl_asn1_time_print_ex(out, time->startTime, 0))
            return 0;
        if (BIO_printf(out, "%.*s", time->startTime->length,
                time->startTime->length
                    ? time->startTime->data
                    : (const unsigned char *)"")
            <= 0)
            return 0;
    } else if (time->endTime != NULL) {
        if (!BIO_puts(out, "Any time until "))
            return 0;
        if (!ossl_asn1_time_print_ex(out, time->endTime, 0))
            return 0;
    } else { /* Invalid: there must be SOME time specified. */
        return BIO_puts(out, "INVALID (EMPTY)");
    }
    return 1;
}

static int i2r_OSSL_DAY_TIME(X509V3_EXT_METHOD *method,
    OSSL_DAY_TIME *dt,
    BIO *out, int indent)
{
    int64_t h = 0;
    int64_t m = 0;
    int64_t s = 0;

    if (!dt->hour || !ASN1_INTEGER_get_int64(&h, dt->hour))
        return 0;
    if (dt->minute && !ASN1_INTEGER_get_int64(&m, dt->minute))
        return 0;
    if (dt->second && !ASN1_INTEGER_get_int64(&s, dt->second))
        return 0;
    return BIO_printf(out, "%02lld:%02lld:%02lld",
               (long long int)h, (long long int)m, (long long int)s)
        > 0;
}

static int i2r_OSSL_DAY_TIME_BAND(X509V3_EXT_METHOD *method,
    OSSL_DAY_TIME_BAND *band,
    BIO *out, int indent)
{
    if (band->startDayTime) {
        if (!i2r_OSSL_DAY_TIME(method, band->startDayTime, out, indent))
            return 0;
    } else if (!BIO_puts(out, "00:00:00")) {
        return 0;
    }
    if (!BIO_puts(out, " - "))
        return 0;
    if (band->endDayTime) {
        if (!i2r_OSSL_DAY_TIME(method, band->endDayTime, out, indent))
            return 0;
    } else if (!BIO_puts(out, "23:59:59")) {
        return 0;
    }
    return 1;
}

static int print_int_month(BIO *out, int64_t month)
{
    switch (month) {
    case (OSSL_TIME_SPEC_INT_MONTH_JAN):
        return BIO_puts(out, "JAN");
    case (OSSL_TIME_SPEC_INT_MONTH_FEB):
        return BIO_puts(out, "FEB");
    case (OSSL_TIME_SPEC_INT_MONTH_MAR):
        return BIO_puts(out, "MAR");
    case (OSSL_TIME_SPEC_INT_MONTH_APR):
        return BIO_puts(out, "APR");
    case (OSSL_TIME_SPEC_INT_MONTH_MAY):
        return BIO_puts(out, "MAY");
    case (OSSL_TIME_SPEC_INT_MONTH_JUN):
        return BIO_puts(out, "JUN");
    case (OSSL_TIME_SPEC_INT_MONTH_JUL):
        return BIO_puts(out, "JUL");
    case (OSSL_TIME_SPEC_INT_MONTH_AUG):
        return BIO_puts(out, "AUG");
    case (OSSL_TIME_SPEC_INT_MONTH_SEP):
        return BIO_puts(out, "SEP");
    case (OSSL_TIME_SPEC_INT_MONTH_OCT):
        return BIO_puts(out, "OCT");
    case (OSSL_TIME_SPEC_INT_MONTH_NOV):
        return BIO_puts(out, "NOV");
    case (OSSL_TIME_SPEC_INT_MONTH_DEC):
        return BIO_puts(out, "DEC");
    default:
        return 0;
    }
    return 0;
}

static int print_bit_month(BIO *out, ASN1_BIT_STRING *bs)
{
    int i = OSSL_TIME_SPEC_BIT_MONTH_JAN;
    int j = 0;

    for (; i <= OSSL_TIME_SPEC_BIT_MONTH_DEC; i++) {
        if (ASN1_BIT_STRING_get_bit(bs, i)) {
            if (j > 0 && !BIO_puts(out, ", "))
                return 0;
            j++;
            if (!BIO_puts(out, MONTH_NAMES[i]))
                return 0;
        }
    }
    return 1;
}

/*
 * It might seem like you could just print the bits of the string numerically,
 * but the fifth bit has the special meaning of "the final week" imputed to it
 * by the text of ITU-T Recommendation X.520.
 */
static int print_bit_week(BIO *out, ASN1_BIT_STRING *bs)
{
    int i = OSSL_TIME_SPEC_BIT_WEEKS_1;
    int j = 0;

    for (; i <= OSSL_TIME_SPEC_BIT_WEEKS_5; i++) {
        if (ASN1_BIT_STRING_get_bit(bs, i)) {
            if (j > 0 && !BIO_puts(out, ", "))
                return 0;
            j++;
            if (!BIO_puts(out, WEEK_NAMES[i]))
                return 0;
        }
    }
    return 1;
}

static int print_day_of_week(BIO *out, ASN1_BIT_STRING *bs)
{
    int i = OSSL_TIME_SPEC_DAY_BIT_SUN;
    int j = 0;

    for (; i <= OSSL_TIME_SPEC_DAY_BIT_SAT; i++) {
        if (ASN1_BIT_STRING_get_bit(bs, i)) {
            if (j > 0 && !BIO_puts(out, ", "))
                return 0;
            j++;
            if (!BIO_puts(out, WEEKDAY_NAMES[i]))
                return 0;
        }
    }
    return 1;
}

static int print_int_day_of_week(BIO *out, int64_t dow)
{
    switch (dow) {
    case (OSSL_TIME_SPEC_DAY_INT_SUN):
        return BIO_puts(out, "SUN");
    case (OSSL_TIME_SPEC_DAY_INT_MON):
        return BIO_puts(out, "MON");
    case (OSSL_TIME_SPEC_DAY_INT_TUE):
        return BIO_puts(out, "TUE");
    case (OSSL_TIME_SPEC_DAY_INT_WED):
        return BIO_puts(out, "WED");
    case (OSSL_TIME_SPEC_DAY_INT_THU):
        return BIO_puts(out, "THU");
    case (OSSL_TIME_SPEC_DAY_INT_FRI):
        return BIO_puts(out, "FRI");
    case (OSSL_TIME_SPEC_DAY_INT_SAT):
        return BIO_puts(out, "SAT");
    default:
        return 0;
    }
    return 0;
}

static int print_int_named_day(BIO *out, int64_t nd)
{
    switch (nd) {
    case (OSSL_NAMED_DAY_INT_SUN):
        return BIO_puts(out, "SUN");
    case (OSSL_NAMED_DAY_INT_MON):
        return BIO_puts(out, "MON");
    case (OSSL_NAMED_DAY_INT_TUE):
        return BIO_puts(out, "TUE");
    case (OSSL_NAMED_DAY_INT_WED):
        return BIO_puts(out, "WED");
    case (OSSL_NAMED_DAY_INT_THU):
        return BIO_puts(out, "THU");
    case (OSSL_NAMED_DAY_INT_FRI):
        return BIO_puts(out, "FRI");
    case (OSSL_NAMED_DAY_INT_SAT):
        return BIO_puts(out, "SAT");
    default:
        return 0;
    }
    return 0;
}

static int print_bit_named_day(BIO *out, ASN1_BIT_STRING *bs)
{
    return print_day_of_week(out, bs);
}

static int i2r_OSSL_PERIOD(X509V3_EXT_METHOD *method,
    OSSL_TIME_PERIOD *p,
    BIO *out, int indent)
{
    int i;
    OSSL_DAY_TIME_BAND *band;
    ASN1_INTEGER *big_val;
    int64_t small_val;
    OSSL_NAMED_DAY *nd;

    if (BIO_printf(out, "%*sPeriod:\n", indent, "") <= 0)
        return 0;
    if (p->timesOfDay) {
        if (BIO_printf(out, "%*sDaytime bands:\n", indent + 4, "") <= 0)
            return 0;
        for (i = 0; i < sk_OSSL_DAY_TIME_BAND_num(p->timesOfDay); i++) {
            band = sk_OSSL_DAY_TIME_BAND_value(p->timesOfDay, i);
            if (BIO_printf(out, "%*s", indent + 8, "") <= 0)
                return 0;
            if (!i2r_OSSL_DAY_TIME_BAND(method, band, out, indent + 8))
                return 0;
            if (!BIO_puts(out, "\n"))
                return 0;
        }
    }
    if (p->days) {
        if (p->days->type == OSSL_TIME_SPEC_DAY_TYPE_INT) {
            if (p->weeks != NULL) {
                if (BIO_printf(out, "%*sDays of the week: ", indent + 4, "") <= 0)
                    return 0;
            } else if (p->months != NULL) {
                if (BIO_printf(out, "%*sDays of the month: ", indent + 4, "") <= 0)
                    return 0;
            } else if (p->years != NULL) {
                if (BIO_printf(out, "%*sDays of the year: ", indent + 4, "") <= 0)
                    return 0;
            }
        } else {
            if (BIO_printf(out, "%*sDays: ", indent + 4, "") <= 0)
                return 0;
        }

        switch (p->days->type) {
        case (OSSL_TIME_SPEC_DAY_TYPE_INT):
            for (i = 0; i < sk_ASN1_INTEGER_num(p->days->choice.intDay); i++) {
                big_val = sk_ASN1_INTEGER_value(p->days->choice.intDay, i);
                if (!ASN1_INTEGER_get_int64(&small_val, big_val))
                    return 0;
                if (i > 0 && !BIO_puts(out, ", "))
                    return 0;
                /* If weeks is defined, then print day of week by name. */
                if (p->weeks != NULL) {
                    if (!print_int_day_of_week(out, small_val))
                        return 0;
                } else if (BIO_printf(out, "%lld", (long long int)small_val) <= 0) {
                    return 0;
                }
            }
            break;
        case (OSSL_TIME_SPEC_DAY_TYPE_BIT):
            if (!print_day_of_week(out, p->days->choice.bitDay))
                return 0;
            break;
        case (OSSL_TIME_SPEC_DAY_TYPE_DAY_OF):
            switch (p->days->choice.dayOf->type) {
            case (OSSL_TIME_SPEC_X_DAY_OF_FIRST):
                if (!BIO_puts(out, "FIRST "))
                    return 0;
                nd = p->days->choice.dayOf->choice.first;
                break;
            case (OSSL_TIME_SPEC_X_DAY_OF_SECOND):
                if (!BIO_puts(out, "SECOND "))
                    return 0;
                nd = p->days->choice.dayOf->choice.second;
                break;
            case (OSSL_TIME_SPEC_X_DAY_OF_THIRD):
                if (!BIO_puts(out, "THIRD "))
                    return 0;
                nd = p->days->choice.dayOf->choice.third;
                break;
            case (OSSL_TIME_SPEC_X_DAY_OF_FOURTH):
                if (!BIO_puts(out, "FOURTH "))
                    return 0;
                nd = p->days->choice.dayOf->choice.fourth;
                break;
            case (OSSL_TIME_SPEC_X_DAY_OF_FIFTH):
                if (!BIO_puts(out, "FIFTH "))
                    return 0;
                nd = p->days->choice.dayOf->choice.fifth;
                break;
            default:
                return 0;
            }
            switch (nd->type) {
            case (OSSL_NAMED_DAY_TYPE_INT):
                if (!ASN1_INTEGER_get_int64(&small_val, nd->choice.intNamedDays))
                    return 0;
                if (!print_int_named_day(out, small_val))
                    return 0;
                break;
            case (OSSL_NAMED_DAY_TYPE_BIT):
                if (!print_bit_named_day(out, nd->choice.bitNamedDays))
                    return 0;
                break;
            default:
                return 0;
            }
            break;
        default:
            return 0;
        }
        if (!BIO_puts(out, "\n"))
            return 0;
    }
    if (p->weeks) {
        if (p->weeks->type == OSSL_TIME_SPEC_WEEKS_TYPE_INT) {
            if (p->months != NULL) {
                if (BIO_printf(out, "%*sWeeks of the month: ", indent + 4, "") <= 0)
                    return 0;
            } else if (p->years != NULL) {
                if (BIO_printf(out, "%*sWeeks of the year: ", indent + 4, "") <= 0)
                    return 0;
            }
        } else {
            if (BIO_printf(out, "%*sWeeks: ", indent + 4, "") <= 0)
                return 0;
        }

        switch (p->weeks->type) {
        case (OSSL_TIME_SPEC_WEEKS_TYPE_ALL):
            if (!BIO_puts(out, "ALL"))
                return 0;
            break;
        case (OSSL_TIME_SPEC_WEEKS_TYPE_INT):
            for (i = 0; i < sk_ASN1_INTEGER_num(p->weeks->choice.intWeek); i++) {
                big_val = sk_ASN1_INTEGER_value(p->weeks->choice.intWeek, i);
                if (!ASN1_INTEGER_get_int64(&small_val, big_val))
                    return 0;
                if (i > 0 && !BIO_puts(out, ", "))
                    return 0;
                if (!BIO_printf(out, "%lld", (long long int)small_val))
                    return 0;
            }
            break;
        case (OSSL_TIME_SPEC_WEEKS_TYPE_BIT):
            if (!print_bit_week(out, p->weeks->choice.bitWeek))
                return 0;
            break;
        default:
            return 0;
        }
        if (!BIO_puts(out, "\n"))
            return 0;
    }
    if (p->months) {
        if (BIO_printf(out, "%*sMonths: ", indent + 4, "") <= 0)
            return 0;
        switch (p->months->type) {
        case (OSSL_TIME_SPEC_MONTH_TYPE_ALL):
            if (!BIO_puts(out, "ALL"))
                return 0;
            break;
        case (OSSL_TIME_SPEC_MONTH_TYPE_INT):
            for (i = 0; i < sk_ASN1_INTEGER_num(p->months->choice.intMonth); i++) {
                big_val = sk_ASN1_INTEGER_value(p->months->choice.intMonth, i);
                if (!ASN1_INTEGER_get_int64(&small_val, big_val))
                    return 0;
                if (i > 0 && !BIO_puts(out, ", "))
                    return 0;
                if (!print_int_month(out, small_val))
                    return 0;
            }
            break;
        case (OSSL_TIME_SPEC_MONTH_TYPE_BIT):
            if (!print_bit_month(out, p->months->choice.bitMonth))
                return 0;
            break;
        default:
            return 0;
        }
        if (!BIO_puts(out, "\n"))
            return 0;
    }
    if (p->years) {
        if (BIO_printf(out, "%*sYears: ", indent + 4, "") <= 0)
            return 0;
        for (i = 0; i < sk_ASN1_INTEGER_num(p->years); i++) {
            big_val = sk_ASN1_INTEGER_value(p->years, i);
            if (!ASN1_INTEGER_get_int64(&small_val, big_val))
                return 0;
            if (i > 0 && !BIO_puts(out, ", "))
                return 0;
            if (BIO_printf(out, "%04lld", (long long int)small_val) <= 0)
                return 0;
        }
    }
    return 1;
}

static int i2r_OSSL_TIME_SPEC_TIME(X509V3_EXT_METHOD *method,
    OSSL_TIME_SPEC_TIME *time,
    BIO *out, int indent)
{
    OSSL_TIME_PERIOD *tp;
    int i;

    switch (time->type) {
    case (OSSL_TIME_SPEC_TIME_TYPE_ABSOLUTE):
        if (BIO_printf(out, "%*sAbsolute: ", indent, "") <= 0)
            return 0;
        if (i2r_OSSL_TIME_SPEC_ABSOLUTE(method, time->choice.absolute, out, indent + 4) <= 0)
            return 0;
        return BIO_puts(out, "\n");
    case (OSSL_TIME_SPEC_TIME_TYPE_PERIODIC):
        if (BIO_printf(out, "%*sPeriodic:\n", indent, "") <= 0)
            return 0;
        for (i = 0; i < sk_OSSL_TIME_PERIOD_num(time->choice.periodic); i++) {
            if (i > 0 && !BIO_puts(out, "\n"))
                return 0;
            tp = sk_OSSL_TIME_PERIOD_value(time->choice.periodic, i);
            if (!i2r_OSSL_PERIOD(method, tp, out, indent + 4))
                return 0;
        }
        return BIO_puts(out, "\n");
    default:
        return 0;
    }
    return 0;
}

static int i2r_OSSL_TIME_SPEC(X509V3_EXT_METHOD *method,
    OSSL_TIME_SPEC *time,
    BIO *out, int indent)
{
    int64_t tz;

    if (time->timeZone) {
        if (ASN1_INTEGER_get_int64(&tz, time->timeZone) != 1)
            return 0;
        if (BIO_printf(out, "%*sTimezone: UTC%+03lld:00\n", indent, "", (long long int)tz) <= 0)
            return 0;
    }
    if (time->notThisTime > 0) {
        if (BIO_printf(out, "%*sNOT this time:\n", indent, "") <= 0)
            return 0;
    } else if (BIO_printf(out, "%*sTime:\n", indent, "") <= 0) {
        return 0;
    }
    return i2r_OSSL_TIME_SPEC_TIME(method, time->time, out, indent + 4);
}

const X509V3_EXT_METHOD ossl_v3_time_specification = {
    NID_time_specification, X509V3_EXT_MULTILINE,
    ASN1_ITEM_ref(OSSL_TIME_SPEC),
    0, 0, 0, 0,
    0, 0,
    0,
    0,
    (X509V3_EXT_I2R)i2r_OSSL_TIME_SPEC,
    NULL,
    NULL
};

Coverage Report

Created: 2026-10-28 06:28

Line	Count	Source
1		/*
2		* Copyright 2024-2026 The OpenSSL Project Authors. All Rights Reserved.
3		*
4		* Licensed under the Apache License 2.0 (the "License"). You may not use
5		* this file except in compliance with the License. You can obtain a copy
6		* in the file LICENSE in the source distribution or at
7		* https://www.openssl.org/source/license.html
8		*/
9
10		#include <stdio.h>
11		#include <openssl/asn1t.h>
12		#include <openssl/x509v3.h>
13		#include <crypto/asn1.h>
14		#include "ext_dat.h"
15
16		static const char *const WEEKDAY_NAMES[7] = {
17		"SUN",
18		"MON",
19		"TUE",
20		"WED",
21		"THU",
22		"FRI",
23		"SAT"
24		};
25
26		static const char *const WEEK_NAMES[5] = {
27		"first",
28		"second",
29		"third",
30		"fourth",
31		"final"
32		};
33
34		static const char *const MONTH_NAMES[12] = {
35		"JAN",
36		"FEB",
37		"MAR",
38		"APR",
39		"MAY",
40		"JUN",
41		"JUL",
42		"AUG",
43		"SEPT",
44		"OCT",
45		"NOV",
46		"DEC"
47		};
48
49		ASN1_SEQUENCE(OSSL_TIME_SPEC_ABSOLUTE) = {
50		ASN1_EXP_OPT(OSSL_TIME_SPEC_ABSOLUTE, startTime, ASN1_GENERALIZEDTIME, 0),
51		ASN1_EXP_OPT(OSSL_TIME_SPEC_ABSOLUTE, endTime, ASN1_GENERALIZEDTIME, 1),
52	57.2k	} ASN1_SEQUENCE_END(OSSL_TIME_SPEC_ABSOLUTE)
53	57.2k
54	57.2k	ASN1_SEQUENCE(OSSL_DAY_TIME) = {
55	57.2k	ASN1_EXP_OPT(OSSL_DAY_TIME, hour, ASN1_INTEGER, 0),
56	57.2k	ASN1_EXP_OPT(OSSL_DAY_TIME, minute, ASN1_INTEGER, 1),
57	57.2k	ASN1_EXP_OPT(OSSL_DAY_TIME, second, ASN1_INTEGER, 2),
58	57.2k	} ASN1_SEQUENCE_END(OSSL_DAY_TIME)
59	25.8k
60	25.8k	ASN1_SEQUENCE(OSSL_DAY_TIME_BAND) = {
61	25.8k	ASN1_EXP_OPT(OSSL_DAY_TIME_BAND, startDayTime, OSSL_DAY_TIME, 0),
62	25.8k	ASN1_EXP_OPT(OSSL_DAY_TIME_BAND, endDayTime, OSSL_DAY_TIME, 1),
63	71.9k	} ASN1_SEQUENCE_END(OSSL_DAY_TIME_BAND)
64	71.9k
65	71.9k	ASN1_CHOICE(OSSL_NAMED_DAY) = {
66	71.9k	ASN1_SET_OF(OSSL_NAMED_DAY, choice.intNamedDays, ASN1_ENUMERATED),
67	71.9k	ASN1_SIMPLE(OSSL_NAMED_DAY, choice.bitNamedDays, ASN1_BIT_STRING),
68	71.9k	} ASN1_CHOICE_END(OSSL_NAMED_DAY)
69	31.5k
70	31.5k	ASN1_CHOICE(OSSL_TIME_SPEC_X_DAY_OF) = {
71	31.5k	ASN1_EXP(OSSL_TIME_SPEC_X_DAY_OF, choice.first, OSSL_NAMED_DAY, 1),
72	31.5k	ASN1_EXP(OSSL_TIME_SPEC_X_DAY_OF, choice.second, OSSL_NAMED_DAY, 2),
73	31.5k	ASN1_EXP(OSSL_TIME_SPEC_X_DAY_OF, choice.third, OSSL_NAMED_DAY, 3),
74	31.5k	ASN1_EXP(OSSL_TIME_SPEC_X_DAY_OF, choice.fourth, OSSL_NAMED_DAY, 4),
75	31.5k	ASN1_EXP(OSSL_TIME_SPEC_X_DAY_OF, choice.fifth, OSSL_NAMED_DAY, 5),
76	33.9k	} ASN1_CHOICE_END(OSSL_TIME_SPEC_X_DAY_OF)
77	33.9k
78	33.9k	ASN1_CHOICE(OSSL_TIME_SPEC_DAY) = {
79	33.9k	ASN1_SET_OF(OSSL_TIME_SPEC_DAY, choice.intDay, ASN1_INTEGER),
80	33.9k	ASN1_SIMPLE(OSSL_TIME_SPEC_DAY, choice.bitDay, ASN1_BIT_STRING),
81	33.9k	ASN1_SIMPLE(OSSL_TIME_SPEC_DAY, choice.dayOf, OSSL_TIME_SPEC_X_DAY_OF),
82	515k	} ASN1_CHOICE_END(OSSL_TIME_SPEC_DAY)
83	515k
84	515k	ASN1_CHOICE(OSSL_TIME_SPEC_WEEKS) = {
85	515k	ASN1_SIMPLE(OSSL_TIME_SPEC_WEEKS, choice.allWeeks, ASN1_NULL),
86	515k	ASN1_SET_OF(OSSL_TIME_SPEC_WEEKS, choice.intWeek, ASN1_INTEGER),
87	515k	ASN1_SIMPLE(OSSL_TIME_SPEC_WEEKS, choice.bitWeek, ASN1_BIT_STRING),
88	515k	} ASN1_CHOICE_END(OSSL_TIME_SPEC_WEEKS)
89	506k
90	506k	ASN1_CHOICE(OSSL_TIME_SPEC_MONTH) = {
91	506k	ASN1_SIMPLE(OSSL_TIME_SPEC_MONTH, choice.allMonths, ASN1_NULL),
92	506k	ASN1_SET_OF(OSSL_TIME_SPEC_MONTH, choice.intMonth, ASN1_INTEGER),
93	506k	ASN1_SIMPLE(OSSL_TIME_SPEC_MONTH, choice.bitMonth, ASN1_BIT_STRING),
94	506k	} ASN1_CHOICE_END(OSSL_TIME_SPEC_MONTH)
95	506k
96	506k	ASN1_SEQUENCE(OSSL_TIME_PERIOD) = {
97	506k	ASN1_EXP_SET_OF_OPT(OSSL_TIME_PERIOD, timesOfDay, OSSL_DAY_TIME_BAND, 0),
98	506k	ASN1_EXP_OPT(OSSL_TIME_PERIOD, days, OSSL_TIME_SPEC_DAY, 1),
99	506k	ASN1_EXP_OPT(OSSL_TIME_PERIOD, weeks, OSSL_TIME_SPEC_WEEKS, 2),
100	506k	ASN1_EXP_OPT(OSSL_TIME_PERIOD, months, OSSL_TIME_SPEC_MONTH, 3),
101	506k	ASN1_EXP_SET_OF_OPT(OSSL_TIME_PERIOD, years, ASN1_INTEGER, 4),
102	506k	} ASN1_SEQUENCE_END(OSSL_TIME_PERIOD)
103	136k
104	136k	ASN1_CHOICE(OSSL_TIME_SPEC_TIME) = {
105	136k	ASN1_SIMPLE(OSSL_TIME_SPEC_TIME, choice.absolute, OSSL_TIME_SPEC_ABSOLUTE),
106	136k	ASN1_SET_OF(OSSL_TIME_SPEC_TIME, choice.periodic, OSSL_TIME_PERIOD)
107	302k	} ASN1_CHOICE_END(OSSL_TIME_SPEC_TIME)
108	302k
109	302k	ASN1_SEQUENCE(OSSL_TIME_SPEC) = {
110	302k	ASN1_SIMPLE(OSSL_TIME_SPEC, time, OSSL_TIME_SPEC_TIME),
111	302k	ASN1_OPT(OSSL_TIME_SPEC, notThisTime, ASN1_FBOOLEAN),
112	302k	ASN1_OPT(OSSL_TIME_SPEC, timeZone, ASN1_INTEGER),
113	302k	} ASN1_SEQUENCE_END(OSSL_TIME_SPEC)
114	83.3k
115	83.3k	IMPLEMENT_ASN1_FUNCTIONS(OSSL_DAY_TIME)
116	83.3k	IMPLEMENT_ASN1_FUNCTIONS(OSSL_DAY_TIME_BAND)
117	83.3k	IMPLEMENT_ASN1_FUNCTIONS(OSSL_TIME_SPEC_DAY)
118	83.3k	IMPLEMENT_ASN1_FUNCTIONS(OSSL_TIME_SPEC_WEEKS)
119	83.3k	IMPLEMENT_ASN1_FUNCTIONS(OSSL_TIME_SPEC_MONTH)
120	83.3k	IMPLEMENT_ASN1_FUNCTIONS(OSSL_NAMED_DAY)
121	83.3k	IMPLEMENT_ASN1_FUNCTIONS(OSSL_TIME_SPEC_X_DAY_OF)
122	83.3k	IMPLEMENT_ASN1_FUNCTIONS(OSSL_TIME_SPEC_ABSOLUTE)
123	83.3k	IMPLEMENT_ASN1_FUNCTIONS(OSSL_TIME_SPEC_TIME)
124	83.3k	IMPLEMENT_ASN1_FUNCTIONS(OSSL_TIME_SPEC)
125	83.3k	IMPLEMENT_ASN1_FUNCTIONS(OSSL_TIME_PERIOD)
126	83.3k
127	83.3k	static int i2r_OSSL_TIME_SPEC_ABSOLUTE(X509V3_EXT_METHOD *method,
128	83.3k	OSSL_TIME_SPEC_ABSOLUTE *time,
129	83.3k	BIO *out, int indent)
130	83.3k	{
131	711	if (time->startTime != NULL && time->endTime != NULL) {
132	0	if (!BIO_puts(out, "Any time between "))
133	0	return 0;
134	0	if (!ossl_asn1_time_print_ex(out, time->startTime, 0))
135	0	return 0;
136	0	if (!BIO_puts(out, " and "))
137	0	return 0;
138	0	if (!ossl_asn1_time_print_ex(out, time->endTime, 0))
139	0	return 0;
140	711	} else if (time->startTime != NULL) {
141	0	if (!BIO_puts(out, "Any time after "))
142	0	return 0;
143	0	if (!ossl_asn1_time_print_ex(out, time->startTime, 0))
144	0	return 0;
145	0	if (BIO_printf(out, "%.*s", time->startTime->length,
146	0	time->startTime->length
147	0	? time->startTime->data
148	0	: (const unsigned char *)"")
149	0	<= 0)
150	0	return 0;
151	711	} else if (time->endTime != NULL) {
152	0	if (!BIO_puts(out, "Any time until "))
153	0	return 0;
154	0	if (!ossl_asn1_time_print_ex(out, time->endTime, 0))
155	0	return 0;
156	711	} else { /* Invalid: there must be SOME time specified. */
157	711	return BIO_puts(out, "INVALID (EMPTY)");
158	711	}
159	0	return 1;
160	711	}
161
162		static int i2r_OSSL_DAY_TIME(X509V3_EXT_METHOD *method,
163		OSSL_DAY_TIME *dt,
164		BIO *out, int indent)
165	187	{
166	187	int64_t h = 0;
167	187	int64_t m = 0;
168	187	int64_t s = 0;
169
170	187	if (!dt->hour \|\| !ASN1_INTEGER_get_int64(&h, dt->hour))
171	187	return 0;
172	0	if (dt->minute && !ASN1_INTEGER_get_int64(&m, dt->minute))
173	0	return 0;
174	0	if (dt->second && !ASN1_INTEGER_get_int64(&s, dt->second))
175	0	return 0;
176	0	return BIO_printf(out, "%02lld:%02lld:%02lld",
177	0	(long long int)h, (long long int)m, (long long int)s)
178	0	> 0;
179	0	}
180
181		static int i2r_OSSL_DAY_TIME_BAND(X509V3_EXT_METHOD *method,
182		OSSL_DAY_TIME_BAND *band,
183		BIO *out, int indent)
184	2.83k	{
185	2.83k	if (band->startDayTime) {
186	103	if (!i2r_OSSL_DAY_TIME(method, band->startDayTime, out, indent))
187	103	return 0;
188	2.72k	} else if (!BIO_puts(out, "00:00:00")) {
189	0	return 0;
190	0	}
191	2.72k	if (!BIO_puts(out, " - "))
192	0	return 0;
193	2.72k	if (band->endDayTime) {
194	84	if (!i2r_OSSL_DAY_TIME(method, band->endDayTime, out, indent))
195	84	return 0;
196	2.64k	} else if (!BIO_puts(out, "23:59:59")) {
197	0	return 0;
198	0	}
199	2.64k	return 1;
200	2.72k	}
201
202		static int print_int_month(BIO *out, int64_t month)
203	6.67k	{
204	6.67k	switch (month) {
205	5.43k	case (OSSL_TIME_SPEC_INT_MONTH_JAN):
206	5.43k	return BIO_puts(out, "JAN");
207	100	case (OSSL_TIME_SPEC_INT_MONTH_FEB):
208	100	return BIO_puts(out, "FEB");
209	8	case (OSSL_TIME_SPEC_INT_MONTH_MAR):
210	8	return BIO_puts(out, "MAR");
211	38	case (OSSL_TIME_SPEC_INT_MONTH_APR):
212	38	return BIO_puts(out, "APR");
213	64	case (OSSL_TIME_SPEC_INT_MONTH_MAY):
214	64	return BIO_puts(out, "MAY");
215	17	case (OSSL_TIME_SPEC_INT_MONTH_JUN):
216	17	return BIO_puts(out, "JUN");
217	66	case (OSSL_TIME_SPEC_INT_MONTH_JUL):
218	66	return BIO_puts(out, "JUL");
219	10	case (OSSL_TIME_SPEC_INT_MONTH_AUG):
220	10	return BIO_puts(out, "AUG");
221	57	case (OSSL_TIME_SPEC_INT_MONTH_SEP):
222	57	return BIO_puts(out, "SEP");
223	23	case (OSSL_TIME_SPEC_INT_MONTH_OCT):
224	23	return BIO_puts(out, "OCT");
225	23	case (OSSL_TIME_SPEC_INT_MONTH_NOV):
226	23	return BIO_puts(out, "NOV");
227	51	case (OSSL_TIME_SPEC_INT_MONTH_DEC):
228	51	return BIO_puts(out, "DEC");
229	779	default:
230	779	return 0;
231	6.67k	}
232	0	return 0;
233	6.67k	}
234
235		static int print_bit_month(BIO out, ASN1_BIT_STRING bs)
236	1.92k	{
237	1.92k	int i = OSSL_TIME_SPEC_BIT_MONTH_JAN;
238	1.92k	int j = 0;
239
240	25.0k	for (; i <= OSSL_TIME_SPEC_BIT_MONTH_DEC; i++) {
241	23.1k	if (ASN1_BIT_STRING_get_bit(bs, i)) {
242	7.95k	if (j > 0 && !BIO_puts(out, ", "))
243	0	return 0;
244	7.95k	j++;
245	7.95k	if (!BIO_puts(out, MONTH_NAMES[i]))
246	0	return 0;
247	7.95k	}
248	23.1k	}
249	1.92k	return 1;
250	1.92k	}
251
252		/*
253		* It might seem like you could just print the bits of the string numerically,
254		* but the fifth bit has the special meaning of "the final week" imputed to it
255		* by the text of ITU-T Recommendation X.520.
256		*/
257		static int print_bit_week(BIO out, ASN1_BIT_STRING bs)
258	1.48k	{
259	1.48k	int i = OSSL_TIME_SPEC_BIT_WEEKS_1;
260	1.48k	int j = 0;
261
262	8.90k	for (; i <= OSSL_TIME_SPEC_BIT_WEEKS_5; i++) {
263	7.42k	if (ASN1_BIT_STRING_get_bit(bs, i)) {
264	4.54k	if (j > 0 && !BIO_puts(out, ", "))
265	0	return 0;
266	4.54k	j++;
267	4.54k	if (!BIO_puts(out, WEEK_NAMES[i]))
268	0	return 0;
269	4.54k	}
270	7.42k	}
271	1.48k	return 1;
272	1.48k	}
273
274		static int print_day_of_week(BIO out, ASN1_BIT_STRING bs)
275	6.85k	{
276	6.85k	int i = OSSL_TIME_SPEC_DAY_BIT_SUN;
277	6.85k	int j = 0;
278
279	54.8k	for (; i <= OSSL_TIME_SPEC_DAY_BIT_SAT; i++) {
280	48.0k	if (ASN1_BIT_STRING_get_bit(bs, i)) {
281	27.3k	if (j > 0 && !BIO_puts(out, ", "))
282	0	return 0;
283	27.3k	j++;
284	27.3k	if (!BIO_puts(out, WEEKDAY_NAMES[i]))
285	0	return 0;
286	27.3k	}
287	48.0k	}
288	6.85k	return 1;
289	6.85k	}
290
291		static int print_int_day_of_week(BIO *out, int64_t dow)
292	1	{
293	1	switch (dow) {
294	0	case (OSSL_TIME_SPEC_DAY_INT_SUN):
295	0	return BIO_puts(out, "SUN");
296	0	case (OSSL_TIME_SPEC_DAY_INT_MON):
297	0	return BIO_puts(out, "MON");
298	0	case (OSSL_TIME_SPEC_DAY_INT_TUE):
299	0	return BIO_puts(out, "TUE");
300	0	case (OSSL_TIME_SPEC_DAY_INT_WED):
301	0	return BIO_puts(out, "WED");
302	0	case (OSSL_TIME_SPEC_DAY_INT_THU):
303	0	return BIO_puts(out, "THU");
304	0	case (OSSL_TIME_SPEC_DAY_INT_FRI):
305	0	return BIO_puts(out, "FRI");
306	0	case (OSSL_TIME_SPEC_DAY_INT_SAT):
307	0	return BIO_puts(out, "SAT");
308	1	default:
309	1	return 0;
310	1	}
311	0	return 0;
312	1	}
313
314		static int print_int_named_day(BIO *out, int64_t nd)
315	0	{
316	0	switch (nd) {
317	0	case (OSSL_NAMED_DAY_INT_SUN):
318	0	return BIO_puts(out, "SUN");
319	0	case (OSSL_NAMED_DAY_INT_MON):
320	0	return BIO_puts(out, "MON");
321	0	case (OSSL_NAMED_DAY_INT_TUE):
322	0	return BIO_puts(out, "TUE");
323	0	case (OSSL_NAMED_DAY_INT_WED):
324	0	return BIO_puts(out, "WED");
325	0	case (OSSL_NAMED_DAY_INT_THU):
326	0	return BIO_puts(out, "THU");
327	0	case (OSSL_NAMED_DAY_INT_FRI):
328	0	return BIO_puts(out, "FRI");
329	0	case (OSSL_NAMED_DAY_INT_SAT):
330	0	return BIO_puts(out, "SAT");
331	0	default:
332	0	return 0;
333	0	}
334	0	return 0;
335	0	}
336
337		static int print_bit_named_day(BIO out, ASN1_BIT_STRING bs)
338	4.59k	{
339	4.59k	return print_day_of_week(out, bs);
340	4.59k	}
341
342		static int i2r_OSSL_PERIOD(X509V3_EXT_METHOD *method,
343		OSSL_TIME_PERIOD *p,
344		BIO *out, int indent)
345	40.8k	{
346	40.8k	int i;
347	40.8k	OSSL_DAY_TIME_BAND *band;
348	40.8k	ASN1_INTEGER *big_val;
349	40.8k	int64_t small_val;
350	40.8k	OSSL_NAMED_DAY *nd;
351
352	40.8k	if (BIO_printf(out, "%*sPeriod:\n", indent, "") <= 0)
353	0	return 0;
354	40.8k	if (p->timesOfDay) {
355	1.94k	if (BIO_printf(out, "%*sDaytime bands:\n", indent + 4, "") <= 0)
356	0	return 0;
357	4.59k	for (i = 0; i < sk_OSSL_DAY_TIME_BAND_num(p->timesOfDay); i++) {
358	2.83k	band = sk_OSSL_DAY_TIME_BAND_value(p->timesOfDay, i);
359	2.83k	if (BIO_printf(out, "%*s", indent + 8, "") <= 0)
360	0	return 0;
361	2.83k	if (!i2r_OSSL_DAY_TIME_BAND(method, band, out, indent + 8))
362	187	return 0;
363	2.64k	if (!BIO_puts(out, "\n"))
364	0	return 0;
365	2.64k	}
366	1.94k	}
367	40.6k	if (p->days) {
368	8.14k	if (p->days->type == OSSL_TIME_SPEC_DAY_TYPE_INT) {
369	1.03k	if (p->weeks != NULL) {
370	73	if (BIO_printf(out, "%*sDays of the week: ", indent + 4, "") <= 0)
371	0	return 0;
372	964	} else if (p->months != NULL) {
373	154	if (BIO_printf(out, "%*sDays of the month: ", indent + 4, "") <= 0)
374	0	return 0;
375	810	} else if (p->years != NULL) {
376	218	if (BIO_printf(out, "%*sDays of the year: ", indent + 4, "") <= 0)
377	0	return 0;
378	218	}
379	7.11k	} else {
380	7.11k	if (BIO_printf(out, "%*sDays: ", indent + 4, "") <= 0)
381	0	return 0;
382	7.11k	}
383
384	8.14k	switch (p->days->type) {
385	1.03k	case (OSSL_TIME_SPEC_DAY_TYPE_INT):
386	3.59k	for (i = 0; i < sk_ASN1_INTEGER_num(p->days->choice.intDay); i++) {
387	2.70k	big_val = sk_ASN1_INTEGER_value(p->days->choice.intDay, i);
388	2.70k	if (!ASN1_INTEGER_get_int64(&small_val, big_val))
389	149	return 0;
390	2.55k	if (i > 0 && !BIO_puts(out, ", "))
391	0	return 0;
392		/* If weeks is defined, then print day of week by name. */
393	2.55k	if (p->weeks != NULL) {
394	1	if (!print_int_day_of_week(out, small_val))
395	1	return 0;
396	2.55k	} else if (BIO_printf(out, "%lld", (long long int)small_val) <= 0) {
397	0	return 0;
398	0	}
399	2.55k	}
400	887	break;
401	2.26k	case (OSSL_TIME_SPEC_DAY_TYPE_BIT):
402	2.26k	if (!print_day_of_week(out, p->days->choice.bitDay))
403	0	return 0;
404	2.26k	break;
405	4.84k	case (OSSL_TIME_SPEC_DAY_TYPE_DAY_OF):
406	4.84k	switch (p->days->choice.dayOf->type) {
407	747	case (OSSL_TIME_SPEC_X_DAY_OF_FIRST):
408	747	if (!BIO_puts(out, "FIRST "))
409	0	return 0;
410	747	nd = p->days->choice.dayOf->choice.first;
411	747	break;
412	586	case (OSSL_TIME_SPEC_X_DAY_OF_SECOND):
413	586	if (!BIO_puts(out, "SECOND "))
414	0	return 0;
415	586	nd = p->days->choice.dayOf->choice.second;
416	586	break;
417	2.66k	case (OSSL_TIME_SPEC_X_DAY_OF_THIRD):
418	2.66k	if (!BIO_puts(out, "THIRD "))
419	0	return 0;
420	2.66k	nd = p->days->choice.dayOf->choice.third;
421	2.66k	break;
422	399	case (OSSL_TIME_SPEC_X_DAY_OF_FOURTH):
423	399	if (!BIO_puts(out, "FOURTH "))
424	0	return 0;
425	399	nd = p->days->choice.dayOf->choice.fourth;
426	399	break;
427	444	case (OSSL_TIME_SPEC_X_DAY_OF_FIFTH):
428	444	if (!BIO_puts(out, "FIFTH "))
429	0	return 0;
430	444	nd = p->days->choice.dayOf->choice.fifth;
431	444	break;
432	0	default:
433	0	return 0;
434	4.84k	}
435	4.84k	switch (nd->type) {
436	252	case (OSSL_NAMED_DAY_TYPE_INT):
437	252	if (!ASN1_INTEGER_get_int64(&small_val, nd->choice.intNamedDays))
438	252	return 0;
439	0	if (!print_int_named_day(out, small_val))
440	0	return 0;
441	0	break;
442	4.59k	case (OSSL_NAMED_DAY_TYPE_BIT):
443	4.59k	if (!print_bit_named_day(out, nd->choice.bitNamedDays))
444	0	return 0;
445	4.59k	break;
446	4.59k	default:
447	0	return 0;
448	4.84k	}
449	4.59k	break;
450	4.59k	default:
451	0	return 0;
452	8.14k	}
453	7.74k	if (!BIO_puts(out, "\n"))
454	0	return 0;
455	7.74k	}
456	40.2k	if (p->weeks) {
457	3.88k	if (p->weeks->type == OSSL_TIME_SPEC_WEEKS_TYPE_INT) {
458	2.27k	if (p->months != NULL) {
459	31	if (BIO_printf(out, "%*sWeeks of the month: ", indent + 4, "") <= 0)
460	0	return 0;
461	2.24k	} else if (p->years != NULL) {
462	974	if (BIO_printf(out, "%*sWeeks of the year: ", indent + 4, "") <= 0)
463	0	return 0;
464	974	}
465	2.27k	} else {
466	1.61k	if (BIO_printf(out, "%*sWeeks: ", indent + 4, "") <= 0)
467	0	return 0;
468	1.61k	}
469
470	3.88k	switch (p->weeks->type) {
471	132	case (OSSL_TIME_SPEC_WEEKS_TYPE_ALL):
472	132	if (!BIO_puts(out, "ALL"))
473	0	return 0;
474	132	break;
475	2.27k	case (OSSL_TIME_SPEC_WEEKS_TYPE_INT):
476	3.96k	for (i = 0; i < sk_ASN1_INTEGER_num(p->weeks->choice.intWeek); i++) {
477	1.77k	big_val = sk_ASN1_INTEGER_value(p->weeks->choice.intWeek, i);
478	1.77k	if (!ASN1_INTEGER_get_int64(&small_val, big_val))
479	82	return 0;
480	1.69k	if (i > 0 && !BIO_puts(out, ", "))
481	0	return 0;
482	1.69k	if (!BIO_printf(out, "%lld", (long long int)small_val))
483	0	return 0;
484	1.69k	}
485	2.18k	break;
486	2.18k	case (OSSL_TIME_SPEC_WEEKS_TYPE_BIT):
487	1.48k	if (!print_bit_week(out, p->weeks->choice.bitWeek))
488	0	return 0;
489	1.48k	break;
490	1.48k	default:
491	0	return 0;
492	3.88k	}
493	3.80k	if (!BIO_puts(out, "\n"))
494	0	return 0;
495	3.80k	}
496	40.1k	if (p->months) {
497	5.90k	if (BIO_printf(out, "%*sMonths: ", indent + 4, "") <= 0)
498	0	return 0;
499	5.90k	switch (p->months->type) {
500	1.50k	case (OSSL_TIME_SPEC_MONTH_TYPE_ALL):
501	1.50k	if (!BIO_puts(out, "ALL"))
502	0	return 0;
503	1.50k	break;
504	2.47k	case (OSSL_TIME_SPEC_MONTH_TYPE_INT):
505	8.37k	for (i = 0; i < sk_ASN1_INTEGER_num(p->months->choice.intMonth); i++) {
506	6.81k	big_val = sk_ASN1_INTEGER_value(p->months->choice.intMonth, i);
507	6.81k	if (!ASN1_INTEGER_get_int64(&small_val, big_val))
508	142	return 0;
509	6.67k	if (i > 0 && !BIO_puts(out, ", "))
510	0	return 0;
511	6.67k	if (!print_int_month(out, small_val))
512	779	return 0;
513	6.67k	}
514	1.55k	break;
515	1.92k	case (OSSL_TIME_SPEC_MONTH_TYPE_BIT):
516	1.92k	if (!print_bit_month(out, p->months->choice.bitMonth))
517	0	return 0;
518	1.92k	break;
519	1.92k	default:
520	0	return 0;
521	5.90k	}
522	4.98k	if (!BIO_puts(out, "\n"))
523	0	return 0;
524	4.98k	}
525	39.2k	if (p->years) {
526	2.28k	if (BIO_printf(out, "%*sYears: ", indent + 4, "") <= 0)
527	0	return 0;
528	4.30k	for (i = 0; i < sk_ASN1_INTEGER_num(p->years); i++) {
529	2.18k	big_val = sk_ASN1_INTEGER_value(p->years, i);
530	2.18k	if (!ASN1_INTEGER_get_int64(&small_val, big_val))
531	167	return 0;
532	2.02k	if (i > 0 && !BIO_puts(out, ", "))
533	0	return 0;
534	2.02k	if (BIO_printf(out, "%04lld", (long long int)small_val) <= 0)
535	0	return 0;
536	2.02k	}
537	2.28k	}
538	39.0k	return 1;
539	39.2k	}
540
541		static int i2r_OSSL_TIME_SPEC_TIME(X509V3_EXT_METHOD *method,
542		OSSL_TIME_SPEC_TIME *time,
543		BIO *out, int indent)
544	26.3k	{
545	26.3k	OSSL_TIME_PERIOD *tp;
546	26.3k	int i;
547
548	26.3k	switch (time->type) {
549	3.84k	case (OSSL_TIME_SPEC_TIME_TYPE_ABSOLUTE):
550	3.84k	if (BIO_printf(out, "%*sAbsolute: ", indent, "") <= 0)
551	0	return 0;
552	3.84k	if (i2r_OSSL_TIME_SPEC_ABSOLUTE(method, time->choice.absolute, out, indent + 4) <= 0)
553	3	return 0;
554	3.84k	return BIO_puts(out, "\n");
555	22.5k	case (OSSL_TIME_SPEC_TIME_TYPE_PERIODIC):
556	22.5k	if (BIO_printf(out, "%*sPeriodic:\n", indent, "") <= 0)
557	0	return 0;
558	61.6k	for (i = 0; i < sk_OSSL_TIME_PERIOD_num(time->choice.periodic); i++) {
559	40.8k	if (i > 0 && !BIO_puts(out, "\n"))
560	0	return 0;
561	40.8k	tp = sk_OSSL_TIME_PERIOD_value(time->choice.periodic, i);
562	40.8k	if (!i2r_OSSL_PERIOD(method, tp, out, indent + 4))
563	1.75k	return 0;
564	40.8k	}
565	20.7k	return BIO_puts(out, "\n");
566	0	default:
567	0	return 0;
568	26.3k	}
569	0	return 0;
570	26.3k	}
571
572		static int i2r_OSSL_TIME_SPEC(X509V3_EXT_METHOD *method,
573		OSSL_TIME_SPEC *time,
574		BIO *out, int indent)
575	27.1k	{
576	27.1k	int64_t tz;
577
578	27.1k	if (time->timeZone) {
579	3.34k	if (ASN1_INTEGER_get_int64(&tz, time->timeZone) != 1)
580	708	return 0;
581	2.63k	if (BIO_printf(out, "%*sTimezone: UTC%+03lld:00\n", indent, "", (long long int)tz) <= 0)
582	0	return 0;
583	2.63k	}
584	26.3k	if (time->notThisTime > 0) {
585	1.41k	if (BIO_printf(out, "%*sNOT this time:\n", indent, "") <= 0)
586	0	return 0;
587	24.9k	} else if (BIO_printf(out, "%*sTime:\n", indent, "") <= 0) {
588	0	return 0;
589	0	}
590	26.3k	return i2r_OSSL_TIME_SPEC_TIME(method, time->time, out, indent + 4);
591	26.3k	}
592
593		const X509V3_EXT_METHOD ossl_v3_time_specification = {
594		NID_time_specification, X509V3_EXT_MULTILINE,
595		ASN1_ITEM_ref(OSSL_TIME_SPEC),
596		0, 0, 0, 0,
597		0, 0,
598		0,
599		0,
600		(X509V3_EXT_I2R)i2r_OSSL_TIME_SPEC,
601		NULL,
602		NULL
603		};