Blame crypto/bn/bn_ctx.c

Packit c4476c
/*
Packit c4476c
 * Copyright 2000-2019 The OpenSSL Project Authors. All Rights Reserved.
Packit c4476c
 *
Packit c4476c
 * Licensed under the OpenSSL license (the "License").  You may not use
Packit c4476c
 * this file except in compliance with the License.  You can obtain a copy
Packit c4476c
 * in the file LICENSE in the source distribution or at
Packit c4476c
 * https://www.openssl.org/source/license.html
Packit c4476c
 */
Packit c4476c
Packit c4476c
#include "internal/cryptlib.h"
Packit c4476c
#include "bn_local.h"
Packit c4476c
Packit c4476c
/*-
Packit c4476c
 * TODO list
Packit c4476c
 *
Packit c4476c
 * 1. Check a bunch of "(words+1)" type hacks in various bignum functions and
Packit c4476c
 * check they can be safely removed.
Packit c4476c
 *  - Check +1 and other ugliness in BN_from_montgomery()
Packit c4476c
 *
Packit c4476c
 * 2. Consider allowing a BN_new_ex() that, at least, lets you specify an
Packit c4476c
 * appropriate 'block' size that will be honoured by bn_expand_internal() to
Packit c4476c
 * prevent piddly little reallocations. OTOH, profiling bignum expansions in
Packit c4476c
 * BN_CTX doesn't show this to be a big issue.
Packit c4476c
 */
Packit c4476c
Packit c4476c
/* How many bignums are in each "pool item"; */
Packit c4476c
#define BN_CTX_POOL_SIZE        16
Packit c4476c
/* The stack frame info is resizing, set a first-time expansion size; */
Packit c4476c
#define BN_CTX_START_FRAMES     32
Packit c4476c
Packit c4476c
/***********/
Packit c4476c
/* BN_POOL */
Packit c4476c
/***********/
Packit c4476c
Packit c4476c
/* A bundle of bignums that can be linked with other bundles */
Packit c4476c
typedef struct bignum_pool_item {
Packit c4476c
    /* The bignum values */
Packit c4476c
    BIGNUM vals[BN_CTX_POOL_SIZE];
Packit c4476c
    /* Linked-list admin */
Packit c4476c
    struct bignum_pool_item *prev, *next;
Packit c4476c
} BN_POOL_ITEM;
Packit c4476c
/* A linked-list of bignums grouped in bundles */
Packit c4476c
typedef struct bignum_pool {
Packit c4476c
    /* Linked-list admin */
Packit c4476c
    BN_POOL_ITEM *head, *current, *tail;
Packit c4476c
    /* Stack depth and allocation size */
Packit c4476c
    unsigned used, size;
Packit c4476c
} BN_POOL;
Packit c4476c
static void BN_POOL_init(BN_POOL *);
Packit c4476c
static void BN_POOL_finish(BN_POOL *);
Packit c4476c
static BIGNUM *BN_POOL_get(BN_POOL *, int);
Packit c4476c
static void BN_POOL_release(BN_POOL *, unsigned int);
Packit c4476c
Packit c4476c
/************/
Packit c4476c
/* BN_STACK */
Packit c4476c
/************/
Packit c4476c
Packit c4476c
/* A wrapper to manage the "stack frames" */
Packit c4476c
typedef struct bignum_ctx_stack {
Packit c4476c
    /* Array of indexes into the bignum stack */
Packit c4476c
    unsigned int *indexes;
Packit c4476c
    /* Number of stack frames, and the size of the allocated array */
Packit c4476c
    unsigned int depth, size;
Packit c4476c
} BN_STACK;
Packit c4476c
static void BN_STACK_init(BN_STACK *);
Packit c4476c
static void BN_STACK_finish(BN_STACK *);
Packit c4476c
static int BN_STACK_push(BN_STACK *, unsigned int);
Packit c4476c
static unsigned int BN_STACK_pop(BN_STACK *);
Packit c4476c
Packit c4476c
/**********/
Packit c4476c
/* BN_CTX */
Packit c4476c
/**********/
Packit c4476c
Packit c4476c
/* The opaque BN_CTX type */
Packit c4476c
struct bignum_ctx {
Packit c4476c
    /* The bignum bundles */
Packit c4476c
    BN_POOL pool;
Packit c4476c
    /* The "stack frames", if you will */
Packit c4476c
    BN_STACK stack;
Packit c4476c
    /* The number of bignums currently assigned */
Packit c4476c
    unsigned int used;
Packit c4476c
    /* Depth of stack overflow */
Packit c4476c
    int err_stack;
Packit c4476c
    /* Block "gets" until an "end" (compatibility behaviour) */
Packit c4476c
    int too_many;
Packit c4476c
    /* Flags. */
Packit c4476c
    int flags;
Packit c4476c
};
Packit c4476c
Packit c4476c
/* Enable this to find BN_CTX bugs */
Packit c4476c
#ifdef BN_CTX_DEBUG
Packit c4476c
static const char *ctxdbg_cur = NULL;
Packit c4476c
static void ctxdbg(BN_CTX *ctx)
Packit c4476c
{
Packit c4476c
    unsigned int bnidx = 0, fpidx = 0;
Packit c4476c
    BN_POOL_ITEM *item = ctx->pool.head;
Packit c4476c
    BN_STACK *stack = &ctx->stack;
Packit c4476c
    fprintf(stderr, "(%16p): ", ctx);
Packit c4476c
    while (bnidx < ctx->used) {
Packit c4476c
        fprintf(stderr, "%03x ", item->vals[bnidx++ % BN_CTX_POOL_SIZE].dmax);
Packit c4476c
        if (!(bnidx % BN_CTX_POOL_SIZE))
Packit c4476c
            item = item->next;
Packit c4476c
    }
Packit c4476c
    fprintf(stderr, "\n");
Packit c4476c
    bnidx = 0;
Packit c4476c
    fprintf(stderr, "          : ");
Packit c4476c
    while (fpidx < stack->depth) {
Packit c4476c
        while (bnidx++ < stack->indexes[fpidx])
Packit c4476c
            fprintf(stderr, "    ");
Packit c4476c
        fprintf(stderr, "^^^ ");
Packit c4476c
        bnidx++;
Packit c4476c
        fpidx++;
Packit c4476c
    }
Packit c4476c
    fprintf(stderr, "\n");
Packit c4476c
}
Packit c4476c
Packit c4476c
# define CTXDBG_ENTRY(str, ctx)  do { \
Packit c4476c
                                ctxdbg_cur = (str); \
Packit c4476c
                                fprintf(stderr,"Starting %s\n", ctxdbg_cur); \
Packit c4476c
                                ctxdbg(ctx); \
Packit c4476c
                                } while(0)
Packit c4476c
# define CTXDBG_EXIT(ctx)        do { \
Packit c4476c
                                fprintf(stderr,"Ending %s\n", ctxdbg_cur); \
Packit c4476c
                                ctxdbg(ctx); \
Packit c4476c
                                } while(0)
Packit c4476c
# define CTXDBG_RET(ctx,ret)
Packit c4476c
#else
Packit c4476c
# define CTXDBG_ENTRY(str, ctx)
Packit c4476c
# define CTXDBG_EXIT(ctx)
Packit c4476c
# define CTXDBG_RET(ctx,ret)
Packit c4476c
#endif
Packit c4476c
Packit c4476c
Packit c4476c
BN_CTX *BN_CTX_new(void)
Packit c4476c
{
Packit c4476c
    BN_CTX *ret;
Packit c4476c
Packit c4476c
    if ((ret = OPENSSL_zalloc(sizeof(*ret))) == NULL) {
Packit c4476c
        BNerr(BN_F_BN_CTX_NEW, ERR_R_MALLOC_FAILURE);
Packit c4476c
        return NULL;
Packit c4476c
    }
Packit c4476c
    /* Initialise the structure */
Packit c4476c
    BN_POOL_init(&ret->pool);
Packit c4476c
    BN_STACK_init(&ret->stack);
Packit c4476c
    return ret;
Packit c4476c
}
Packit c4476c
Packit c4476c
BN_CTX *BN_CTX_secure_new(void)
Packit c4476c
{
Packit c4476c
    BN_CTX *ret = BN_CTX_new();
Packit c4476c
Packit c4476c
    if (ret != NULL)
Packit c4476c
        ret->flags = BN_FLG_SECURE;
Packit c4476c
    return ret;
Packit c4476c
}
Packit c4476c
Packit c4476c
void BN_CTX_free(BN_CTX *ctx)
Packit c4476c
{
Packit c4476c
    if (ctx == NULL)
Packit c4476c
        return;
Packit c4476c
#ifdef BN_CTX_DEBUG
Packit c4476c
    {
Packit c4476c
        BN_POOL_ITEM *pool = ctx->pool.head;
Packit c4476c
        fprintf(stderr, "BN_CTX_free, stack-size=%d, pool-bignums=%d\n",
Packit c4476c
                ctx->stack.size, ctx->pool.size);
Packit c4476c
        fprintf(stderr, "dmaxs: ");
Packit c4476c
        while (pool) {
Packit c4476c
            unsigned loop = 0;
Packit c4476c
            while (loop < BN_CTX_POOL_SIZE)
Packit c4476c
                fprintf(stderr, "%02x ", pool->vals[loop++].dmax);
Packit c4476c
            pool = pool->next;
Packit c4476c
        }
Packit c4476c
        fprintf(stderr, "\n");
Packit c4476c
    }
Packit c4476c
#endif
Packit c4476c
    BN_STACK_finish(&ctx->stack);
Packit c4476c
    BN_POOL_finish(&ctx->pool);
Packit c4476c
    OPENSSL_free(ctx);
Packit c4476c
}
Packit c4476c
Packit c4476c
void BN_CTX_start(BN_CTX *ctx)
Packit c4476c
{
Packit c4476c
    CTXDBG_ENTRY("BN_CTX_start", ctx);
Packit c4476c
    /* If we're already overflowing ... */
Packit c4476c
    if (ctx->err_stack || ctx->too_many)
Packit c4476c
        ctx->err_stack++;
Packit c4476c
    /* (Try to) get a new frame pointer */
Packit c4476c
    else if (!BN_STACK_push(&ctx->stack, ctx->used)) {
Packit c4476c
        BNerr(BN_F_BN_CTX_START, BN_R_TOO_MANY_TEMPORARY_VARIABLES);
Packit c4476c
        ctx->err_stack++;
Packit c4476c
    }
Packit c4476c
    CTXDBG_EXIT(ctx);
Packit c4476c
}
Packit c4476c
Packit c4476c
void BN_CTX_end(BN_CTX *ctx)
Packit c4476c
{
Packit c4476c
    if (ctx == NULL)
Packit c4476c
        return;
Packit c4476c
    CTXDBG_ENTRY("BN_CTX_end", ctx);
Packit c4476c
    if (ctx->err_stack)
Packit c4476c
        ctx->err_stack--;
Packit c4476c
    else {
Packit c4476c
        unsigned int fp = BN_STACK_pop(&ctx->stack);
Packit c4476c
        /* Does this stack frame have anything to release? */
Packit c4476c
        if (fp < ctx->used)
Packit c4476c
            BN_POOL_release(&ctx->pool, ctx->used - fp);
Packit c4476c
        ctx->used = fp;
Packit c4476c
        /* Unjam "too_many" in case "get" had failed */
Packit c4476c
        ctx->too_many = 0;
Packit c4476c
    }
Packit c4476c
    CTXDBG_EXIT(ctx);
Packit c4476c
}
Packit c4476c
Packit c4476c
BIGNUM *BN_CTX_get(BN_CTX *ctx)
Packit c4476c
{
Packit c4476c
    BIGNUM *ret;
Packit c4476c
Packit c4476c
    CTXDBG_ENTRY("BN_CTX_get", ctx);
Packit c4476c
    if (ctx->err_stack || ctx->too_many)
Packit c4476c
        return NULL;
Packit c4476c
    if ((ret = BN_POOL_get(&ctx->pool, ctx->flags)) == NULL) {
Packit c4476c
        /*
Packit c4476c
         * Setting too_many prevents repeated "get" attempts from cluttering
Packit c4476c
         * the error stack.
Packit c4476c
         */
Packit c4476c
        ctx->too_many = 1;
Packit c4476c
        BNerr(BN_F_BN_CTX_GET, BN_R_TOO_MANY_TEMPORARY_VARIABLES);
Packit c4476c
        return NULL;
Packit c4476c
    }
Packit c4476c
    /* OK, make sure the returned bignum is "zero" */
Packit c4476c
    BN_zero(ret);
Packit c4476c
    /* clear BN_FLG_CONSTTIME if leaked from previous frames */
Packit c4476c
    ret->flags &= (~BN_FLG_CONSTTIME);
Packit c4476c
    ctx->used++;
Packit c4476c
    CTXDBG_RET(ctx, ret);
Packit c4476c
    return ret;
Packit c4476c
}
Packit c4476c
Packit c4476c
/************/
Packit c4476c
/* BN_STACK */
Packit c4476c
/************/
Packit c4476c
Packit c4476c
static void BN_STACK_init(BN_STACK *st)
Packit c4476c
{
Packit c4476c
    st->indexes = NULL;
Packit c4476c
    st->depth = st->size = 0;
Packit c4476c
}
Packit c4476c
Packit c4476c
static void BN_STACK_finish(BN_STACK *st)
Packit c4476c
{
Packit c4476c
    OPENSSL_free(st->indexes);
Packit c4476c
    st->indexes = NULL;
Packit c4476c
}
Packit c4476c
Packit c4476c
Packit c4476c
static int BN_STACK_push(BN_STACK *st, unsigned int idx)
Packit c4476c
{
Packit c4476c
    if (st->depth == st->size) {
Packit c4476c
        /* Need to expand */
Packit c4476c
        unsigned int newsize =
Packit c4476c
            st->size ? (st->size * 3 / 2) : BN_CTX_START_FRAMES;
Packit c4476c
        unsigned int *newitems;
Packit c4476c
Packit c4476c
        if ((newitems = OPENSSL_malloc(sizeof(*newitems) * newsize)) == NULL) {
Packit c4476c
            BNerr(BN_F_BN_STACK_PUSH, ERR_R_MALLOC_FAILURE);
Packit c4476c
            return 0;
Packit c4476c
        }
Packit c4476c
        if (st->depth)
Packit c4476c
            memcpy(newitems, st->indexes, sizeof(*newitems) * st->depth);
Packit c4476c
        OPENSSL_free(st->indexes);
Packit c4476c
        st->indexes = newitems;
Packit c4476c
        st->size = newsize;
Packit c4476c
    }
Packit c4476c
    st->indexes[(st->depth)++] = idx;
Packit c4476c
    return 1;
Packit c4476c
}
Packit c4476c
Packit c4476c
static unsigned int BN_STACK_pop(BN_STACK *st)
Packit c4476c
{
Packit c4476c
    return st->indexes[--(st->depth)];
Packit c4476c
}
Packit c4476c
Packit c4476c
/***********/
Packit c4476c
/* BN_POOL */
Packit c4476c
/***********/
Packit c4476c
Packit c4476c
static void BN_POOL_init(BN_POOL *p)
Packit c4476c
{
Packit c4476c
    p->head = p->current = p->tail = NULL;
Packit c4476c
    p->used = p->size = 0;
Packit c4476c
}
Packit c4476c
Packit c4476c
static void BN_POOL_finish(BN_POOL *p)
Packit c4476c
{
Packit c4476c
    unsigned int loop;
Packit c4476c
    BIGNUM *bn;
Packit c4476c
Packit c4476c
    while (p->head) {
Packit c4476c
        for (loop = 0, bn = p->head->vals; loop++ < BN_CTX_POOL_SIZE; bn++)
Packit c4476c
            if (bn->d)
Packit c4476c
                BN_clear_free(bn);
Packit c4476c
        p->current = p->head->next;
Packit c4476c
        OPENSSL_free(p->head);
Packit c4476c
        p->head = p->current;
Packit c4476c
    }
Packit c4476c
}
Packit c4476c
Packit c4476c
Packit c4476c
static BIGNUM *BN_POOL_get(BN_POOL *p, int flag)
Packit c4476c
{
Packit c4476c
    BIGNUM *bn;
Packit c4476c
    unsigned int loop;
Packit c4476c
Packit c4476c
    /* Full; allocate a new pool item and link it in. */
Packit c4476c
    if (p->used == p->size) {
Packit c4476c
        BN_POOL_ITEM *item;
Packit c4476c
Packit c4476c
        if ((item = OPENSSL_malloc(sizeof(*item))) == NULL) {
Packit c4476c
            BNerr(BN_F_BN_POOL_GET, ERR_R_MALLOC_FAILURE);
Packit c4476c
            return NULL;
Packit c4476c
        }
Packit c4476c
        for (loop = 0, bn = item->vals; loop++ < BN_CTX_POOL_SIZE; bn++) {
Packit c4476c
            bn_init(bn);
Packit c4476c
            if ((flag & BN_FLG_SECURE) != 0)
Packit c4476c
                BN_set_flags(bn, BN_FLG_SECURE);
Packit c4476c
        }
Packit c4476c
        item->prev = p->tail;
Packit c4476c
        item->next = NULL;
Packit c4476c
Packit c4476c
        if (p->head == NULL)
Packit c4476c
            p->head = p->current = p->tail = item;
Packit c4476c
        else {
Packit c4476c
            p->tail->next = item;
Packit c4476c
            p->tail = item;
Packit c4476c
            p->current = item;
Packit c4476c
        }
Packit c4476c
        p->size += BN_CTX_POOL_SIZE;
Packit c4476c
        p->used++;
Packit c4476c
        /* Return the first bignum from the new pool */
Packit c4476c
        return item->vals;
Packit c4476c
    }
Packit c4476c
Packit c4476c
    if (!p->used)
Packit c4476c
        p->current = p->head;
Packit c4476c
    else if ((p->used % BN_CTX_POOL_SIZE) == 0)
Packit c4476c
        p->current = p->current->next;
Packit c4476c
    return p->current->vals + ((p->used++) % BN_CTX_POOL_SIZE);
Packit c4476c
}
Packit c4476c
Packit c4476c
static void BN_POOL_release(BN_POOL *p, unsigned int num)
Packit c4476c
{
Packit c4476c
    unsigned int offset = (p->used - 1) % BN_CTX_POOL_SIZE;
Packit c4476c
Packit c4476c
    p->used -= num;
Packit c4476c
    while (num--) {
Packit c4476c
        bn_check_top(p->current->vals + offset);
Packit c4476c
        if (offset == 0) {
Packit c4476c
            offset = BN_CTX_POOL_SIZE - 1;
Packit c4476c
            p->current = p->current->prev;
Packit c4476c
        } else
Packit c4476c
            offset--;
Packit c4476c
    }
Packit c4476c
}