1*f1f68b21Sriastradh /* $NetBSD: t_sha512trunc.c,v 1.2 2024/03/15 18:10:37 riastradh Exp $ */
21e152b59Sriastradh
31e152b59Sriastradh /*-
41e152b59Sriastradh * Copyright (c) 2024 The NetBSD Foundation, Inc.
51e152b59Sriastradh * All rights reserved.
61e152b59Sriastradh *
71e152b59Sriastradh * Redistribution and use in source and binary forms, with or without
81e152b59Sriastradh * modification, are permitted provided that the following conditions
91e152b59Sriastradh * are met:
101e152b59Sriastradh * 1. Redistributions of source code must retain the above copyright
111e152b59Sriastradh * notice, this list of conditions and the following disclaimer.
121e152b59Sriastradh * 2. Redistributions in binary form must reproduce the above copyright
131e152b59Sriastradh * notice, this list of conditions and the following disclaimer in the
141e152b59Sriastradh * documentation and/or other materials provided with the distribution.
151e152b59Sriastradh *
161e152b59Sriastradh * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
171e152b59Sriastradh * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
181e152b59Sriastradh * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
191e152b59Sriastradh * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
201e152b59Sriastradh * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
211e152b59Sriastradh * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
221e152b59Sriastradh * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
231e152b59Sriastradh * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
241e152b59Sriastradh * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
251e152b59Sriastradh * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
261e152b59Sriastradh * POSSIBILITY OF SUCH DAMAGE.
271e152b59Sriastradh */
281e152b59Sriastradh
291e152b59Sriastradh #include <sys/cdefs.h>
30*f1f68b21Sriastradh __RCSID("$NetBSD: t_sha512trunc.c,v 1.2 2024/03/15 18:10:37 riastradh Exp $");
311e152b59Sriastradh
321e152b59Sriastradh #include <stddef.h>
331e152b59Sriastradh
341e152b59Sriastradh #include <atf-c.h>
351e152b59Sriastradh
361e152b59Sriastradh #include <openssl/evp.h>
371e152b59Sriastradh
381e152b59Sriastradh #include "h_macros.h"
391e152b59Sriastradh
401e152b59Sriastradh struct testcase {
411e152b59Sriastradh const unsigned char in[128];
421e152b59Sriastradh size_t inlen;
431e152b59Sriastradh const unsigned char out[32];
441e152b59Sriastradh };
451e152b59Sriastradh
461e152b59Sriastradh static void
check(const struct testcase * C,size_t n,size_t digestlen,const EVP_MD * md)471e152b59Sriastradh check(const struct testcase *C, size_t n, size_t digestlen, const EVP_MD *md)
481e152b59Sriastradh {
491e152b59Sriastradh enum { C0 = 0xc0, C1 = 0xc1 };
501e152b59Sriastradh unsigned char *buf, *digest, *p0, *p1;
511e152b59Sriastradh size_t i;
521e152b59Sriastradh
531e152b59Sriastradh ATF_REQUIRE_MSG(digestlen <= INT_MAX, "digestlen=%zu", digestlen);
541e152b59Sriastradh ATF_REQUIRE_EQ_MSG((int)digestlen, EVP_MD_size(md),
551e152b59Sriastradh "expected %d, got %d", (int)digestlen, EVP_MD_size(md));
561e152b59Sriastradh
571e152b59Sriastradh ATF_REQUIRE_MSG(digestlen < SIZE_MAX - 2048,
581e152b59Sriastradh "digestlen=%zu", digestlen);
591e152b59Sriastradh REQUIRE_LIBC(buf = malloc(digestlen + 2048), NULL);
601e152b59Sriastradh p0 = buf;
611e152b59Sriastradh digest = buf + 1;
621e152b59Sriastradh p1 = buf + 1 + digestlen;
631e152b59Sriastradh
641e152b59Sriastradh for (i = 0; i < n; i++) {
651e152b59Sriastradh EVP_MD_CTX *ctx;
661e152b59Sriastradh unsigned digestlen1;
671e152b59Sriastradh
681e152b59Sriastradh *p0 = C0;
691e152b59Sriastradh *p1 = C1;
701e152b59Sriastradh
711e152b59Sriastradh #define REQUIRE(x) ATF_REQUIRE_MSG((x), "i=%zu", i)
721e152b59Sriastradh REQUIRE(ctx = EVP_MD_CTX_new());
731e152b59Sriastradh REQUIRE(EVP_DigestInit_ex(ctx, md, NULL));
741e152b59Sriastradh REQUIRE(EVP_DigestUpdate(ctx, C->in, C->inlen));
751e152b59Sriastradh REQUIRE(EVP_DigestFinal_ex(ctx, digest, &digestlen1));
761e152b59Sriastradh #undef REQUIRE
771e152b59Sriastradh ATF_CHECK_MSG(digestlen == digestlen1,
781e152b59Sriastradh "i=%zu: expected %zu got %u", i, digestlen, digestlen1);
791e152b59Sriastradh EVP_MD_CTX_free(ctx);
801e152b59Sriastradh
811e152b59Sriastradh ATF_CHECK_MSG(memcmp(digest, C->out, digestlen) == 0,
821e152b59Sriastradh "i=%zu", i);
831e152b59Sriastradh
841e152b59Sriastradh ATF_CHECK_EQ_MSG(*p0, C0, "expected 0x%x got 0x%hhx", C0, *p0);
851e152b59Sriastradh ATF_CHECK_EQ_MSG(*p1, C1, "expected 0x%x got 0x%hhx", C1, *p1);
861e152b59Sriastradh }
871e152b59Sriastradh }
881e152b59Sriastradh
891e152b59Sriastradh /*
901e152b59Sriastradh * Test vectors from:
911e152b59Sriastradh *
921e152b59Sriastradh * https://csrc.nist.gov/Projects/Cryptographic-Algorithm-Validation-Program/Secure-Hashing#Testing
931e152b59Sriastradh */
941e152b59Sriastradh
951e152b59Sriastradh ATF_TC(sha512_224);
ATF_TC_HEAD(sha512_224,tc)961e152b59Sriastradh ATF_TC_HEAD(sha512_224, tc)
971e152b59Sriastradh {
981e152b59Sriastradh atf_tc_set_md_var(tc, "descr", "Test SHA512-224");
991e152b59Sriastradh }
ATF_TC_BODY(sha512_224,tc)1001e152b59Sriastradh ATF_TC_BODY(sha512_224, tc)
1011e152b59Sriastradh {
1021e152b59Sriastradh static const struct testcase C[] = {
1031e152b59Sriastradh [0] = {
1041e152b59Sriastradh .inlen = 0,
1051e152b59Sriastradh .out = {
1061e152b59Sriastradh 0x6e,0xd0,0xdd,0x02, 0x80,0x6f,0xa8,0x9e,
1071e152b59Sriastradh 0x25,0xde,0x06,0x0c, 0x19,0xd3,0xac,0x86,
1081e152b59Sriastradh 0xca,0xbb,0x87,0xd6, 0xa0,0xdd,0xd0,0x5c,
1091e152b59Sriastradh 0x33,0x3b,0x84,0xf4,
1101e152b59Sriastradh },
1111e152b59Sriastradh },
1121e152b59Sriastradh [1] = {
1131e152b59Sriastradh .inlen = 1,
1141e152b59Sriastradh .in = {
1151e152b59Sriastradh 0xcf,
1161e152b59Sriastradh },
1171e152b59Sriastradh .out = {
1181e152b59Sriastradh 0x41,0x99,0x23,0x9e, 0x87,0xd4,0x7b,0x6f,
1191e152b59Sriastradh 0xed,0xa0,0x16,0x80, 0x2b,0xf3,0x67,0xfb,
1201e152b59Sriastradh 0x6e,0x8b,0x56,0x55, 0xef,0xf6,0x22,0x5c,
1211e152b59Sriastradh 0xb2,0x66,0x8f,0x4a,
1221e152b59Sriastradh },
1231e152b59Sriastradh },
1241e152b59Sriastradh };
1251e152b59Sriastradh
1261e152b59Sriastradh check(C, __arraycount(C), 28, EVP_sha512_224());
1271e152b59Sriastradh }
1281e152b59Sriastradh
1291e152b59Sriastradh ATF_TC(sha512_256);
ATF_TC_HEAD(sha512_256,tc)1301e152b59Sriastradh ATF_TC_HEAD(sha512_256, tc)
1311e152b59Sriastradh {
1321e152b59Sriastradh atf_tc_set_md_var(tc, "descr", "Test SHA512-256");
1331e152b59Sriastradh }
ATF_TC_BODY(sha512_256,tc)1341e152b59Sriastradh ATF_TC_BODY(sha512_256, tc)
1351e152b59Sriastradh {
1361e152b59Sriastradh static const struct testcase C[] = {
1371e152b59Sriastradh [0] = {
1381e152b59Sriastradh .inlen = 0,
1391e152b59Sriastradh .out = {
1401e152b59Sriastradh 0xc6,0x72,0xb8,0xd1, 0xef,0x56,0xed,0x28,
1411e152b59Sriastradh 0xab,0x87,0xc3,0x62, 0x2c,0x51,0x14,0x06,
1421e152b59Sriastradh 0x9b,0xdd,0x3a,0xd7, 0xb8,0xf9,0x73,0x74,
1431e152b59Sriastradh 0x98,0xd0,0xc0,0x1e, 0xce,0xf0,0x96,0x7a,
1441e152b59Sriastradh },
1451e152b59Sriastradh },
1461e152b59Sriastradh [1] = {
1471e152b59Sriastradh .inlen = 1,
1481e152b59Sriastradh .in = {
1491e152b59Sriastradh 0xfa,
1501e152b59Sriastradh },
1511e152b59Sriastradh .out = {
1521e152b59Sriastradh 0xc4,0xef,0x36,0x92, 0x3c,0x64,0xe5,0x1e,
1531e152b59Sriastradh 0x87,0x57,0x20,0xe5, 0x50,0x29,0x8a,0x5a,
1541e152b59Sriastradh 0xb8,0xa3,0xf2,0xf8, 0x75,0xb1,0xe1,0xa4,
1551e152b59Sriastradh 0xc9,0xb9,0x5b,0xab, 0xf7,0x34,0x4f,0xef,
1561e152b59Sriastradh },
1571e152b59Sriastradh },
1581e152b59Sriastradh };
1591e152b59Sriastradh
1601e152b59Sriastradh check(C, __arraycount(C), 32, EVP_sha512_256());
1611e152b59Sriastradh }
1621e152b59Sriastradh
ATF_TP_ADD_TCS(tp)1631e152b59Sriastradh ATF_TP_ADD_TCS(tp)
1641e152b59Sriastradh {
1651e152b59Sriastradh
1661e152b59Sriastradh ATF_TP_ADD_TC(tp, sha512_224);
1671e152b59Sriastradh ATF_TP_ADD_TC(tp, sha512_256);
1681e152b59Sriastradh
1691e152b59Sriastradh return atf_no_error();
1701e152b59Sriastradh }
171