digest.c 8.8 KB
Newer Older
R
Rich Salz 已提交
1
/*
P
Paul Yang 已提交
2
 * Copyright 1995-2018 The OpenSSL Project Authors. All Rights Reserved.
3
 *
4
 * Licensed under the Apache License 2.0 (the "License").  You may not use
R
Rich Salz 已提交
5 6 7
 * 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
8
 */
9 10

#include <stdio.h>
11
#include "internal/cryptlib.h"
12 13
#include <openssl/objects.h>
#include <openssl/evp.h>
R
Rich Salz 已提交
14
#include <openssl/engine.h>
15
#include "internal/evp_int.h"
16
#include "evp_locl.h"
17

18
/* This call frees resources associated with the context */
19
int EVP_MD_CTX_reset(EVP_MD_CTX *ctx)
20
{
21 22 23 24 25 26 27 28 29 30 31 32 33 34
    if (ctx == NULL)
        return 1;

    /*
     * Don't assume ctx->md_data was cleaned in EVP_Digest_Final, because
     * sometimes only copies of the context are ever finalised.
     */
    if (ctx->digest && ctx->digest->cleanup
        && !EVP_MD_CTX_test_flags(ctx, EVP_MD_CTX_FLAG_CLEANED))
        ctx->digest->cleanup(ctx);
    if (ctx->digest && ctx->digest->ctx_size && ctx->md_data
        && !EVP_MD_CTX_test_flags(ctx, EVP_MD_CTX_FLAG_REUSE)) {
        OPENSSL_clear_free(ctx->md_data, ctx->digest->ctx_size);
    }
P
Paul Yang 已提交
35 36
    /*
     * pctx should be freed by the user of EVP_MD_CTX
P
Paul Yang 已提交
37
     * if EVP_MD_CTX_FLAG_KEEP_PKEY_CTX is set
P
Paul Yang 已提交
38
     */
P
Paul Yang 已提交
39
    if (!EVP_MD_CTX_test_flags(ctx, EVP_MD_CTX_FLAG_KEEP_PKEY_CTX))
P
Paul Yang 已提交
40
        EVP_PKEY_CTX_free(ctx->pctx);
41
#ifndef OPENSSL_NO_ENGINE
R
Rich Salz 已提交
42
    ENGINE_finish(ctx->engine);
43
#endif
44
    OPENSSL_cleanse(ctx, sizeof(*ctx));
45 46

    return 1;
47
}
48

49
EVP_MD_CTX *EVP_MD_CTX_new(void)
50
{
51 52
    return OPENSSL_zalloc(sizeof(EVP_MD_CTX));
}
53

54
void EVP_MD_CTX_free(EVP_MD_CTX *ctx)
55
{
56
    EVP_MD_CTX_reset(ctx);
57
    OPENSSL_free(ctx);
58
}
59

D
 
Dr. Stephen Henson 已提交
60
int EVP_DigestInit(EVP_MD_CTX *ctx, const EVP_MD *type)
61
{
62
    EVP_MD_CTX_reset(ctx);
63 64
    return EVP_DigestInit_ex(ctx, type, NULL);
}
B
Ben Laurie 已提交
65

66
int EVP_DigestInit_ex(EVP_MD_CTX *ctx, const EVP_MD *type, ENGINE *impl)
67 68
{
    EVP_MD_CTX_clear_flags(ctx, EVP_MD_CTX_FLAG_CLEANED);
69
#ifndef OPENSSL_NO_ENGINE
70 71 72 73
    /*
     * Whether it's nice or not, "Inits" can be used on "Final"'d contexts so
     * this context may already have an ENGINE! Try to avoid releasing the
     * previous handle, re-querying for an ENGINE, and having a
F
FdaSilvaYY 已提交
74
     * reinitialisation, when it may all be unnecessary.
75
     */
76 77
    if (ctx->engine && ctx->digest &&
        (type == NULL || (type->type == ctx->digest->type)))
78 79 80 81 82 83 84
        goto skip_to_init;
    if (type) {
        /*
         * Ensure an ENGINE left lying around from last time is cleared (the
         * previous check attempted to avoid this if the same ENGINE and
         * EVP_MD could be used).
         */
R
Rich Salz 已提交
85 86
        ENGINE_finish(ctx->engine);
        if (impl != NULL) {
87 88 89 90
            if (!ENGINE_init(impl)) {
                EVPerr(EVP_F_EVP_DIGESTINIT_EX, EVP_R_INITIALIZATION_ERROR);
                return 0;
            }
R
Rich Salz 已提交
91
        } else {
92 93
            /* Ask if an ENGINE is reserved for this job */
            impl = ENGINE_get_digest_engine(type->type);
R
Rich Salz 已提交
94 95
        }
        if (impl != NULL) {
96 97
            /* There's an ENGINE for this job ... (apparently) */
            const EVP_MD *d = ENGINE_get_digest(impl, type->type);
R
Rich Salz 已提交
98 99

            if (d == NULL) {
100 101 102 103 104 105 106 107 108 109 110 111 112
                EVPerr(EVP_F_EVP_DIGESTINIT_EX, EVP_R_INITIALIZATION_ERROR);
                ENGINE_finish(impl);
                return 0;
            }
            /* We'll use the ENGINE's private digest definition */
            type = d;
            /*
             * Store the ENGINE functional reference so we know 'type' came
             * from an ENGINE and we need to release it when done.
             */
            ctx->engine = impl;
        } else
            ctx->engine = NULL;
113 114 115 116 117 118
    } else {
        if (!ctx->digest) {
            EVPerr(EVP_F_EVP_DIGESTINIT_EX, EVP_R_NO_DIGEST_SET);
            return 0;
        }
        type = ctx->digest;
119
    }
120
#endif
121
    if (ctx->digest != type) {
122
        if (ctx->digest && ctx->digest->ctx_size) {
123
            OPENSSL_clear_free(ctx->md_data, ctx->digest->ctx_size);
124 125
            ctx->md_data = NULL;
        }
126 127 128
        ctx->digest = type;
        if (!(ctx->flags & EVP_MD_CTX_FLAG_NO_INIT) && type->ctx_size) {
            ctx->update = type->update;
R
Rich Salz 已提交
129
            ctx->md_data = OPENSSL_zalloc(type->ctx_size);
130 131 132 133 134 135
            if (ctx->md_data == NULL) {
                EVPerr(EVP_F_EVP_DIGESTINIT_EX, ERR_R_MALLOC_FAILURE);
                return 0;
            }
        }
    }
136
#ifndef OPENSSL_NO_ENGINE
137
 skip_to_init:
138
#endif
139 140 141 142 143 144 145 146 147 148 149
    if (ctx->pctx) {
        int r;
        r = EVP_PKEY_CTX_ctrl(ctx->pctx, -1, EVP_PKEY_OP_TYPE_SIG,
                              EVP_PKEY_CTRL_DIGESTINIT, 0, ctx);
        if (r <= 0 && (r != -2))
            return 0;
    }
    if (ctx->flags & EVP_MD_CTX_FLAG_NO_INIT)
        return 1;
    return ctx->digest->init(ctx);
}
150

B
Ben Laurie 已提交
151
int EVP_DigestUpdate(EVP_MD_CTX *ctx, const void *data, size_t count)
152 153 154
{
    return ctx->update(ctx, data, count);
}
155

156
/* The caller can assume that this removes any secret data from the context */
D
 
Dr. Stephen Henson 已提交
157
int EVP_DigestFinal(EVP_MD_CTX *ctx, unsigned char *md, unsigned int *size)
158 159 160
{
    int ret;
    ret = EVP_DigestFinal_ex(ctx, md, size);
161
    EVP_MD_CTX_reset(ctx);
162 163
    return ret;
}
D
 
Dr. Stephen Henson 已提交
164 165 166

/* The caller can assume that this removes any secret data from the context */
int EVP_DigestFinal_ex(EVP_MD_CTX *ctx, unsigned char *md, unsigned int *size)
167 168
{
    int ret;
169

170 171 172 173 174 175 176 177
    OPENSSL_assert(ctx->digest->md_size <= EVP_MAX_MD_SIZE);
    ret = ctx->digest->final(ctx, md);
    if (size != NULL)
        *size = ctx->digest->md_size;
    if (ctx->digest->cleanup) {
        ctx->digest->cleanup(ctx);
        EVP_MD_CTX_set_flags(ctx, EVP_MD_CTX_FLAG_CLEANED);
    }
178
    OPENSSL_cleanse(ctx->md_data, ctx->digest->ctx_size);
179 180
    return ret;
}
181

182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202
int EVP_DigestFinalXOF(EVP_MD_CTX *ctx, unsigned char *md, size_t size)
{
    int ret = 0;

    if (ctx->digest->flags & EVP_MD_FLAG_XOF
        && size <= INT_MAX
        && ctx->digest->md_ctrl(ctx, EVP_MD_CTRL_XOF_LEN, (int)size, NULL)) {
        ret = ctx->digest->final(ctx, md);

        if (ctx->digest->cleanup != NULL) {
            ctx->digest->cleanup(ctx);
            EVP_MD_CTX_set_flags(ctx, EVP_MD_CTX_FLAG_CLEANED);
        }
        OPENSSL_cleanse(ctx->md_data, ctx->digest->ctx_size);
    } else {
        EVPerr(EVP_F_EVP_DIGESTFINALXOF, EVP_R_NOT_XOF_OR_INVALID_LENGTH);
    }

    return ret;
}

203
int EVP_MD_CTX_copy(EVP_MD_CTX *out, const EVP_MD_CTX *in)
204
{
205
    EVP_MD_CTX_reset(out);
206 207
    return EVP_MD_CTX_copy_ex(out, in);
}
D
 
Dr. Stephen Henson 已提交
208 209

int EVP_MD_CTX_copy_ex(EVP_MD_CTX *out, const EVP_MD_CTX *in)
210 211 212 213 214 215
{
    unsigned char *tmp_buf;
    if ((in == NULL) || (in->digest == NULL)) {
        EVPerr(EVP_F_EVP_MD_CTX_COPY_EX, EVP_R_INPUT_NOT_INITIALIZED);
        return 0;
    }
216
#ifndef OPENSSL_NO_ENGINE
217 218 219 220 221
    /* Make sure it's safe to copy a digest context using an ENGINE */
    if (in->engine && !ENGINE_init(in->engine)) {
        EVPerr(EVP_F_EVP_MD_CTX_COPY_EX, ERR_R_ENGINE_LIB);
        return 0;
    }
222
#endif
223

224 225 226 227 228
    if (out->digest == in->digest) {
        tmp_buf = out->md_data;
        EVP_MD_CTX_set_flags(out, EVP_MD_CTX_FLAG_REUSE);
    } else
        tmp_buf = NULL;
229
    EVP_MD_CTX_reset(out);
R
Rich Salz 已提交
230
    memcpy(out, in, sizeof(*out));
231

P
Paul Yang 已提交
232 233 234
    /* copied EVP_MD_CTX should free the copied EVP_PKEY_CTX */
    EVP_MD_CTX_clear_flags(out, EVP_MD_CTX_FLAG_KEEP_PKEY_CTX);

R
Richard Levitte 已提交
235 236 237 238 239 240 241
    /* Null these variables, since they are getting fixed up
     * properly below.  Anything else may cause a memleak and/or
     * double free if any of the memory allocations below fail
     */
    out->md_data = NULL;
    out->pctx = NULL;

242 243 244 245 246
    if (in->md_data && out->digest->ctx_size) {
        if (tmp_buf)
            out->md_data = tmp_buf;
        else {
            out->md_data = OPENSSL_malloc(out->digest->ctx_size);
247
            if (out->md_data == NULL) {
248 249 250 251 252 253
                EVPerr(EVP_F_EVP_MD_CTX_COPY_EX, ERR_R_MALLOC_FAILURE);
                return 0;
            }
        }
        memcpy(out->md_data, in->md_data, out->digest->ctx_size);
    }
254

255
    out->update = in->update;
256

257 258 259
    if (in->pctx) {
        out->pctx = EVP_PKEY_CTX_dup(in->pctx);
        if (!out->pctx) {
260
            EVP_MD_CTX_reset(out);
261 262 263
            return 0;
        }
    }
264

265 266
    if (out->digest->copy)
        return out->digest->copy(out, in);
267

268 269
    return 1;
}
270

271
int EVP_Digest(const void *data, size_t count,
272 273 274
               unsigned char *md, unsigned int *size, const EVP_MD *type,
               ENGINE *impl)
{
275
    EVP_MD_CTX *ctx = EVP_MD_CTX_new();
276
    int ret;
277

278 279 280 281 282 283
    if (ctx == NULL)
        return 0;
    EVP_MD_CTX_set_flags(ctx, EVP_MD_CTX_FLAG_ONESHOT);
    ret = EVP_DigestInit_ex(ctx, type, impl)
        && EVP_DigestUpdate(ctx, data, count)
        && EVP_DigestFinal_ex(ctx, md, size);
284
    EVP_MD_CTX_free(ctx);
285

286 287
    return ret;
}
288

D
Dr. Stephen Henson 已提交
289 290 291 292 293 294 295 296 297 298
int EVP_MD_CTX_ctrl(EVP_MD_CTX *ctx, int cmd, int p1, void *p2)
{
    if (ctx->digest && ctx->digest->md_ctrl) {
        int ret = ctx->digest->md_ctrl(ctx, cmd, p1, p2);
        if (ret <= 0)
            return 0;
        return 1;
    }
    return 0;
}