/*

 * Copyright 1999-2018 The OpenSSL Project Authors. All Rights Reserved.

 *

 * Licensed under the OpenSSL license (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 "internal/cryptlib.h"

#include <openssl/conf.h>

#include <openssl/asn1.h>

#include <openssl/asn1t.h>

#include <openssl/x509v3.h>

#include "pcy_local.h"

#include "ext_dat.h"

/* Certificate policies extension support: this one is a bit complex... */

static int i2r_certpol(X509V3_EXT_METHOD *method, STACK_OF(POLICYINFO) *pol,

                       BIO *out, int indent);

static STACK_OF(POLICYINFO) *r2i_certpol(X509V3_EXT_METHOD *method,

                                         X509V3_CTX *ctx, const char *value);

static void print_qualifiers(BIO *out, STACK_OF(POLICYQUALINFO) *quals,

                             int indent);

static void print_notice(BIO *out, USERNOTICE *notice, int indent);

static POLICYINFO *policy_section(X509V3_CTX *ctx,

                                  STACK_OF(CONF_VALUE) *polstrs, int ia5org);

static POLICYQUALINFO *notice_section(X509V3_CTX *ctx,

                                      STACK_OF(CONF_VALUE) *unot, int ia5org);

static int nref_nos(STACK_OF(ASN1_INTEGER) *nnums, STACK_OF(CONF_VALUE) *nos);

static int displaytext_str2tag(const char *tagstr, unsigned int *tag_len);

static int displaytext_get_tag_len(const char *tagstr);

const X509V3_EXT_METHOD v3_cpols = {

    NID_certificate_policies, 0, ASN1_ITEM_ref(CERTIFICATEPOLICIES),

    0, 0, 0, 0,

    0, 0,

    0, 0,

    (X509V3_EXT_I2R)i2r_certpol,

    (X509V3_EXT_R2I)r2i_certpol,

    NULL

};

ASN1_ITEM_TEMPLATE(CERTIFICATEPOLICIES) =

        ASN1_EX_TEMPLATE_TYPE(ASN1_TFLG_SEQUENCE_OF, 0, CERTIFICATEPOLICIES, POLICYINFO)

ASN1_ITEM_TEMPLATE_END(CERTIFICATEPOLICIES)

IMPLEMENT_ASN1_FUNCTIONS(CERTIFICATEPOLICIES)

ASN1_SEQUENCE(POLICYINFO) = {

        ASN1_SIMPLE(POLICYINFO, policyid, ASN1_OBJECT),

        ASN1_SEQUENCE_OF_OPT(POLICYINFO, qualifiers, POLICYQUALINFO)

} ASN1_SEQUENCE_END(POLICYINFO)

IMPLEMENT_ASN1_FUNCTIONS(POLICYINFO)

ASN1_ADB_TEMPLATE(policydefault) = ASN1_SIMPLE(POLICYQUALINFO, d.other, ASN1_ANY);

ASN1_ADB(POLICYQUALINFO) = {

        ADB_ENTRY(NID_id_qt_cps, ASN1_SIMPLE(POLICYQUALINFO, d.cpsuri, ASN1_IA5STRING)),

        ADB_ENTRY(NID_id_qt_unotice, ASN1_SIMPLE(POLICYQUALINFO, d.usernotice, USERNOTICE))

} ASN1_ADB_END(POLICYQUALINFO, 0, pqualid, 0, &policydefault_tt, NULL);

ASN1_SEQUENCE(POLICYQUALINFO) = {

        ASN1_SIMPLE(POLICYQUALINFO, pqualid, ASN1_OBJECT),

        ASN1_ADB_OBJECT(POLICYQUALINFO)

} ASN1_SEQUENCE_END(POLICYQUALINFO)

IMPLEMENT_ASN1_FUNCTIONS(POLICYQUALINFO)

ASN1_SEQUENCE(USERNOTICE) = {

        ASN1_OPT(USERNOTICE, noticeref, NOTICEREF),

        ASN1_OPT(USERNOTICE, exptext, DISPLAYTEXT)

} ASN1_SEQUENCE_END(USERNOTICE)

IMPLEMENT_ASN1_FUNCTIONS(USERNOTICE)

ASN1_SEQUENCE(NOTICEREF) = {

        ASN1_SIMPLE(NOTICEREF, organization, DISPLAYTEXT),

        ASN1_SEQUENCE_OF(NOTICEREF, noticenos, ASN1_INTEGER)

} ASN1_SEQUENCE_END(NOTICEREF)

IMPLEMENT_ASN1_FUNCTIONS(NOTICEREF)

static STACK_OF(POLICYINFO) *r2i_certpol(X509V3_EXT_METHOD *method,

                                         X509V3_CTX *ctx, const char *value)

{

    STACK_OF(POLICYINFO) *pols;

    char *pstr;

    POLICYINFO *pol;

    ASN1_OBJECT *pobj;

    STACK_OF(CONF_VALUE) *vals = X509V3_parse_list(value);

    CONF_VALUE *cnf;

    const int num = sk_CONF_VALUE_num(vals);

    int i, ia5org;

    if (vals == NULL) {

        X509V3err(X509V3_F_R2I_CERTPOL, ERR_R_X509V3_LIB);

        return NULL;

    }

    pols = sk_POLICYINFO_new_reserve(NULL, num);

    if (pols == NULL) {

        X509V3err(X509V3_F_R2I_CERTPOL, ERR_R_MALLOC_FAILURE);

        goto err;

    }

    ia5org = 0;

    for (i = 0; i < num; i++) {

        cnf = sk_CONF_VALUE_value(vals, i);

        if (cnf->value || !cnf->name) {

            X509V3err(X509V3_F_R2I_CERTPOL,

                      X509V3_R_INVALID_POLICY_IDENTIFIER);

            X509V3_conf_err(cnf);

            goto err;

        }

        pstr = cnf->name;

        if (strcmp(pstr, "ia5org") == 0) {

            ia5org = 1;

            continue;

        } else if (*pstr == '@') {

            STACK_OF(CONF_VALUE) *polsect;

            polsect = X509V3_get_section(ctx, pstr + 1);

            if (!polsect) {

                X509V3err(X509V3_F_R2I_CERTPOL, X509V3_R_INVALID_SECTION);

                X509V3_conf_err(cnf);

                goto err;

            }

            pol = policy_section(ctx, polsect, ia5org);

            X509V3_section_free(ctx, polsect);

            if (pol == NULL)

                goto err;

        } else {

            if ((pobj = OBJ_txt2obj(cnf->name, 0)) == NULL) {

                X509V3err(X509V3_F_R2I_CERTPOL,

                          X509V3_R_INVALID_OBJECT_IDENTIFIER);

                X509V3_conf_err(cnf);

                goto err;

            }

            pol = POLICYINFO_new();

            if (pol == NULL) {

                ASN1_OBJECT_free(pobj);

                X509V3err(X509V3_F_R2I_CERTPOL, ERR_R_MALLOC_FAILURE);

                goto err;

            }

            pol->policyid = pobj;

        }

        if (!sk_POLICYINFO_push(pols, pol)) {

            POLICYINFO_free(pol);

            X509V3err(X509V3_F_R2I_CERTPOL, ERR_R_MALLOC_FAILURE);

            goto err;

        }

    }

    sk_CONF_VALUE_pop_free(vals, X509V3_conf_free);

    return pols;

 err:

    sk_CONF_VALUE_pop_free(vals, X509V3_conf_free);

    sk_POLICYINFO_pop_free(pols, POLICYINFO_free);

    return NULL;

}

static POLICYINFO *policy_section(X509V3_CTX *ctx,

                                  STACK_OF(CONF_VALUE) *polstrs, int ia5org)

{

    int i;

    CONF_VALUE *cnf;

    POLICYINFO *pol;

    POLICYQUALINFO *qual;

    if ((pol = POLICYINFO_new()) == NULL)

        goto merr;

    for (i = 0; i < sk_CONF_VALUE_num(polstrs); i++) {

        cnf = sk_CONF_VALUE_value(polstrs, i);

        if (strcmp(cnf->name, "policyIdentifier") == 0) {

            ASN1_OBJECT *pobj;

            if ((pobj = OBJ_txt2obj(cnf->value, 0)) == NULL) {

                X509V3err(X509V3_F_POLICY_SECTION,

                          X509V3_R_INVALID_OBJECT_IDENTIFIER);

                X509V3_conf_err(cnf);

                goto err;

            }

            pol->policyid = pobj;

        } else if (!name_cmp(cnf->name, "CPS")) {

            if (pol->qualifiers == NULL)

                pol->qualifiers = sk_POLICYQUALINFO_new_null();

            if ((qual = POLICYQUALINFO_new()) == NULL)

                goto merr;

            if (!sk_POLICYQUALINFO_push(pol->qualifiers, qual))

                goto merr;

            if ((qual->pqualid = OBJ_nid2obj(NID_id_qt_cps)) == NULL) {

                X509V3err(X509V3_F_POLICY_SECTION, ERR_R_INTERNAL_ERROR);

                goto err;

            }

            if ((qual->d.cpsuri = ASN1_IA5STRING_new()) == NULL)

                goto merr;

            if (!ASN1_STRING_set(qual->d.cpsuri, cnf->value,

                                 strlen(cnf->value)))

                goto merr;

        } else if (!name_cmp(cnf->name, "userNotice")) {

            STACK_OF(CONF_VALUE) *unot;

            if (*cnf->value != '@') {

                X509V3err(X509V3_F_POLICY_SECTION,

                          X509V3_R_EXPECTED_A_SECTION_NAME);

                X509V3_conf_err(cnf);

                goto err;

            }

            unot = X509V3_get_section(ctx, cnf->value + 1);

            if (!unot) {

                X509V3err(X509V3_F_POLICY_SECTION, X509V3_R_INVALID_SECTION);

                X509V3_conf_err(cnf);

                goto err;

            }

            qual = notice_section(ctx, unot, ia5org);

            X509V3_section_free(ctx, unot);

            if (!qual)

                goto err;

            if (!pol->qualifiers)

                pol->qualifiers = sk_POLICYQUALINFO_new_null();

            if (!sk_POLICYQUALINFO_push(pol->qualifiers, qual))

                goto merr;

        } else {

            X509V3err(X509V3_F_POLICY_SECTION, X509V3_R_INVALID_OPTION);

            X509V3_conf_err(cnf);

            goto err;

        }

    }

    if (!pol->policyid) {

        X509V3err(X509V3_F_POLICY_SECTION, X509V3_R_NO_POLICY_IDENTIFIER);

        goto err;

    }

    return pol;

 merr:

    X509V3err(X509V3_F_POLICY_SECTION, ERR_R_MALLOC_FAILURE);

 err:

    POLICYINFO_free(pol);

    return NULL;

}

static int displaytext_get_tag_len(const char *tagstr)

{

    char *colon = strchr(tagstr, ':');

    return (colon == NULL) ? -1 : colon - tagstr;

}

static int displaytext_str2tag(const char *tagstr, unsigned int *tag_len)

{

    int len;

    *tag_len = 0;

    len = displaytext_get_tag_len(tagstr);

    if (len == -1)

        return V_ASN1_VISIBLESTRING;

    *tag_len = len;

    if (len == sizeof("UTF8") - 1 && strncmp(tagstr, "UTF8", len) == 0)

        return V_ASN1_UTF8STRING;

    if (len == sizeof("UTF8String") - 1 && strncmp(tagstr, "UTF8String", len) == 0)

        return V_ASN1_UTF8STRING;

    if (len == sizeof("BMP") - 1 && strncmp(tagstr, "BMP", len) == 0)

        return V_ASN1_BMPSTRING;

    if (len == sizeof("BMPSTRING") - 1 && strncmp(tagstr, "BMPSTRING", len) == 0)

        return V_ASN1_BMPSTRING;

    if (len == sizeof("VISIBLE") - 1 && strncmp(tagstr, "VISIBLE", len) == 0)

        return V_ASN1_VISIBLESTRING;

    if (len == sizeof("VISIBLESTRING") - 1 && strncmp(tagstr, "VISIBLESTRING", len) == 0)

        return V_ASN1_VISIBLESTRING;

    *tag_len = 0;

    return V_ASN1_VISIBLESTRING;

}

static POLICYQUALINFO *notice_section(X509V3_CTX *ctx,

                                      STACK_OF(CONF_VALUE) *unot, int ia5org)

{

    int i, ret, len, tag;

    unsigned int tag_len;

    CONF_VALUE *cnf;

    USERNOTICE *not;

    POLICYQUALINFO *qual;

    char *value = NULL;

    if ((qual = POLICYQUALINFO_new()) == NULL)

        goto merr;

    if ((qual->pqualid = OBJ_nid2obj(NID_id_qt_unotice)) == NULL) {

        X509V3err(X509V3_F_NOTICE_SECTION, ERR_R_INTERNAL_ERROR);

        goto err;

    }

    if ((not = USERNOTICE_new()) == NULL)

        goto merr;

    qual->d.usernotice = not;

    for (i = 0; i < sk_CONF_VALUE_num(unot); i++) {

        cnf = sk_CONF_VALUE_value(unot, i);

        value = cnf->value;

        if (strcmp(cnf->name, "explicitText") == 0) {

            tag = displaytext_str2tag(value, &tag_len);

            if ((not->exptext = ASN1_STRING_type_new(tag)) == NULL)

                goto merr;

            if (tag_len != 0)

                value += tag_len + 1;

            len = strlen(value);

            if (!ASN1_STRING_set(not->exptext, value, len))

                goto merr;

        } else if (strcmp(cnf->name, "organization") == 0) {

            NOTICEREF *nref;

            if (!not->noticeref) {

                if ((nref = NOTICEREF_new()) == NULL)

                    goto merr;

                not->noticeref = nref;

            } else

                nref = not->noticeref;

            if (ia5org)

                nref->organization->type = V_ASN1_IA5STRING;

            else

                nref->organization->type = V_ASN1_VISIBLESTRING;

            if (!ASN1_STRING_set(nref->organization, cnf->value,

                                 strlen(cnf->value)))

                goto merr;

        } else if (strcmp(cnf->name, "noticeNumbers") == 0) {

            NOTICEREF *nref;

            STACK_OF(CONF_VALUE) *nos;

            if (!not->noticeref) {

                if ((nref = NOTICEREF_new()) == NULL)

                    goto merr;

                not->noticeref = nref;

            } else

                nref = not->noticeref;

            nos = X509V3_parse_list(cnf->value);

            if (!nos || !sk_CONF_VALUE_num(nos)) {

                X509V3err(X509V3_F_NOTICE_SECTION, X509V3_R_INVALID_NUMBERS);

                X509V3_conf_err(cnf);

                sk_CONF_VALUE_pop_free(nos, X509V3_conf_free);

                goto err;

            }

            ret = nref_nos(nref->noticenos, nos);

            sk_CONF_VALUE_pop_free(nos, X509V3_conf_free);

            if (!ret)

                goto err;

        } else {

            X509V3err(X509V3_F_NOTICE_SECTION, X509V3_R_INVALID_OPTION);

            X509V3_conf_err(cnf);

            goto err;

        }

    }

    if (not->noticeref &&

        (!not->noticeref->noticenos || !not->noticeref->organization)) {

        X509V3err(X509V3_F_NOTICE_SECTION,

                  X509V3_R_NEED_ORGANIZATION_AND_NUMBERS);

        goto err;

    }

    return qual;

 merr:

    X509V3err(X509V3_F_NOTICE_SECTION, ERR_R_MALLOC_FAILURE);

 err:

    POLICYQUALINFO_free(qual);

    return NULL;

}

static int nref_nos(STACK_OF(ASN1_INTEGER) *nnums, STACK_OF(CONF_VALUE) *nos)

{

    CONF_VALUE *cnf;

    ASN1_INTEGER *aint;

    int i;

    for (i = 0; i < sk_CONF_VALUE_num(nos); i++) {

        cnf = sk_CONF_VALUE_value(nos, i);

        if ((aint = s2i_ASN1_INTEGER(NULL, cnf->name)) == NULL) {

            X509V3err(X509V3_F_NREF_NOS, X509V3_R_INVALID_NUMBER);

            goto err;

        }

        if (!sk_ASN1_INTEGER_push(nnums, aint))

            goto merr;

    }

    return 1;

 merr:

    ASN1_INTEGER_free(aint);

    X509V3err(X509V3_F_NREF_NOS, ERR_R_MALLOC_FAILURE);

 err:

    return 0;

}

static int i2r_certpol(X509V3_EXT_METHOD *method, STACK_OF(POLICYINFO) *pol,

                       BIO *out, int indent)

{

    int i;

    POLICYINFO *pinfo;

    /* First print out the policy OIDs */

    for (i = 0; i < sk_POLICYINFO_num(pol); i++) {

        pinfo = sk_POLICYINFO_value(pol, i);

        BIO_printf(out, "%*sPolicy: ", indent, "");

        i2a_ASN1_OBJECT(out, pinfo->policyid);

        BIO_puts(out, "\n");

        if (pinfo->qualifiers)

            print_qualifiers(out, pinfo->qualifiers, indent + 2);

    }

    return 1;

}

static void print_qualifiers(BIO *out, STACK_OF(POLICYQUALINFO) *quals,

                             int indent)

{

    POLICYQUALINFO *qualinfo;

    int i;

    for (i = 0; i < sk_POLICYQUALINFO_num(quals); i++) {

        qualinfo = sk_POLICYQUALINFO_value(quals, i);

        switch (OBJ_obj2nid(qualinfo->pqualid)) {

        case NID_id_qt_cps:

            BIO_printf(out, "%*sCPS: %s\n", indent, "",

                       qualinfo->d.cpsuri->data);

            break;

        case NID_id_qt_unotice:

            BIO_printf(out, "%*sUser Notice:\n", indent, "");

            print_notice(out, qualinfo->d.usernotice, indent + 2);

            break;

        default:

            BIO_printf(out, "%*sUnknown Qualifier: ", indent + 2, "");

            i2a_ASN1_OBJECT(out, qualinfo->pqualid);

            BIO_puts(out, "\n");

            break;

        }

    }

}

static void print_notice(BIO *out, USERNOTICE *notice, int indent)

{

    int i;

    if (notice->noticeref) {

        NOTICEREF *ref;

        ref = notice->noticeref;

        BIO_printf(out, "%*sOrganization: %s\n", indent, "",

                   ref->organization->data);

        BIO_printf(out, "%*sNumber%s: ", indent, "",

                   sk_ASN1_INTEGER_num(ref->noticenos) > 1 ? "s" : "");

        for (i = 0; i < sk_ASN1_INTEGER_num(ref->noticenos); i++) {

            ASN1_INTEGER *num;

            char *tmp;

            num = sk_ASN1_INTEGER_value(ref->noticenos, i);

            if (i)

                BIO_puts(out, ", ");

            if (num == NULL)

                BIO_puts(out, "(null)");

            else {

                tmp = i2s_ASN1_INTEGER(NULL, num);

                if (tmp == NULL)

                    return;

                BIO_puts(out, tmp);

                OPENSSL_free(tmp);

            }

        }

        BIO_puts(out, "\n");

    }

    if (notice->exptext)

        BIO_printf(out, "%*sExplicit Text: %s\n", indent, "",

                   notice->exptext->data);

}

void X509_POLICY_NODE_print(BIO *out, X509_POLICY_NODE *node, int indent)

{

    const X509_POLICY_DATA *dat = node->data;

    BIO_printf(out, "%*sPolicy: ", indent, "");

    i2a_ASN1_OBJECT(out, dat->valid_policy);

    BIO_puts(out, "\n");

    BIO_printf(out, "%*s%s\n", indent + 2, "",

               node_data_critical(dat) ? "Critical" : "Non Critical");

    if (dat->qualifier_set)

        print_qualifiers(out, dat->qualifier_set, indent + 2);

    else

        BIO_printf(out, "%*sNo Qualifiers\n", indent + 2, "");

}