/src/nss/lib/freebl/ecl/ecp_25519.c

Source (jump to first uncovered line)
/* This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */

/* curve 25519 https://www.rfc-editor.org/rfc/rfc7748.txt */

#ifdef FREEBL_NO_DEPEND
#include "../stubs.h"
#endif

#include "ecl-priv.h"
#include "secitem.h"
#include "secerr.h"
#include "secport.h"
#include <stdlib.h>
#include <stdio.h>

/*
 * point validation is not necessary in general. But this checks a point (px)
 * against some known bad values.
 */
SECStatus
ec_Curve25519_pt_validate(const SECItem *px)
{
    PRUint8 *p;
    PRUint64 i;
    PRUint8 forbiddenValues[12][32] = {
        { 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
          0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
          0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
          0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00 },
        { 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
          0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
          0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
          0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00 },
        { 0xe0, 0xeb, 0x7a, 0x7c, 0x3b, 0x41, 0xb8, 0xae,
          0x16, 0x56, 0xe3, 0xfa, 0xf1, 0x9f, 0xc4, 0x6a,
          0xda, 0x09, 0x8d, 0xeb, 0x9c, 0x32, 0xb1, 0xfd,
          0x86, 0x62, 0x05, 0x16, 0x5f, 0x49, 0xb8, 0x00 },
        { 0x5f, 0x9c, 0x95, 0xbc, 0xa3, 0x50, 0x8c, 0x24,
          0xb1, 0xd0, 0xb1, 0x55, 0x9c, 0x83, 0xef, 0x5b,
          0x04, 0x44, 0x5c, 0xc4, 0x58, 0x1c, 0x8e, 0x86,
          0xd8, 0x22, 0x4e, 0xdd, 0xd0, 0x9f, 0x11, 0x57 },
        { 0xec, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
          0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
          0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
          0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x7f },
        { 0xed, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
          0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
          0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
          0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x7f },
        { 0xee, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
          0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
          0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
          0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x7f },
        { 0xcd, 0xeb, 0x7a, 0x7c, 0x3b, 0x41, 0xb8, 0xae,
          0x16, 0x56, 0xe3, 0xfa, 0xf1, 0x9f, 0xc4, 0x6a,
          0xda, 0x09, 0x8d, 0xeb, 0x9c, 0x32, 0xb1, 0xfd,
          0x86, 0x62, 0x05, 0x16, 0x5f, 0x49, 0xb8, 0x80 },
        { 0x4c, 0x9c, 0x95, 0xbc, 0xa3, 0x50, 0x8c, 0x24,
          0xb1, 0xd0, 0xb1, 0x55, 0x9c, 0x83, 0xef, 0x5b,
          0x04, 0x44, 0x5c, 0xc4, 0x58, 0x1c, 0x8e, 0x86,
          0xd8, 0x22, 0x4e, 0xdd, 0xd0, 0x9f, 0x11, 0xd7 },
        { 0xd9, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
          0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
          0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
          0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff },
        { 0xda, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
          0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
          0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
          0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff },
        { 0xdb, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
          0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
          0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
          0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff },
    };

    if (px->len == 32) {
        p = px->data;
    } else {
        return SECFailure;
    }

    for (i = 0; i < PR_ARRAY_SIZE(forbiddenValues); ++i) {
        if (NSS_SecureMemcmp(p, forbiddenValues[i], px->len) == 0) {
            return SECFailure;
        }
    }

    return SECSuccess;
}

/*
 * scalar validation is not necessary.
 */
SECStatus
ec_Curve25519_scalar_validate(const SECItem *scalar)
{
    if (!scalar || !scalar->data) {
        PORT_SetError(SEC_ERROR_INVALID_ARGS);
        return SECFailure;
    }

    if (scalar->len != 32) {
        PORT_SetError(SEC_ERROR_BAD_KEY);
        return SECFailure;
    }
    return SECSuccess;
}

/*
 * Scalar multiplication for Curve25519.
 * If P == NULL, the base point is used.
 * Returns X = k*P
 */
SECStatus
ec_Curve25519_pt_mul(SECItem *X, SECItem *k, SECItem *P)
{
    PRUint8 *px;
    PRUint8 basePoint[32] = { 9 };

    if (!P) {
        px = basePoint;
    } else {
        PORT_Assert(P->len == 32);
        if (P->len != 32) {
            return SECFailure;
        }
        px = P->data;
    }
    if (k->len != 32) {
        return SECFailure;
    }
#ifndef UNSAFE_FUZZER_MODE
    SECStatus rv = ec_Curve25519_mul(X->data, k->data, px);
    if (NSS_SecureMemcmpZero(X->data, X->len) == 0) {
        return SECFailure;
    }
    return rv;
#else
    return px != NULL;
#endif
}

Line	Count	Source (jump to first uncovered line)
1		/* This Source Code Form is subject to the terms of the Mozilla Public
2		* License, v. 2.0. If a copy of the MPL was not distributed with this
3		* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
4
5		/* curve 25519 https://www.rfc-editor.org/rfc/rfc7748.txt */
6
7		#ifdef FREEBL_NO_DEPEND
8		#include "../stubs.h"
9		#endif
10
11		#include "ecl-priv.h"
12		#include "secitem.h"
13		#include "secerr.h"
14		#include "secport.h"
15		#include <stdlib.h>
16		#include <stdio.h>
17
18		/*
19		* point validation is not necessary in general. But this checks a point (px)
20		* against some known bad values.
21		*/
22		SECStatus
23		ec_Curve25519_pt_validate(const SECItem *px)
24	27.6k	{
25	27.6k	PRUint8 *p;
26	27.6k	PRUint64 i;
27	27.6k	PRUint8 forbiddenValues[12][32] = {
28	27.6k	{ 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
29	27.6k	0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
30	27.6k	0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
31	27.6k	0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00 },
32	27.6k	{ 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
33	27.6k	0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
34	27.6k	0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
35	27.6k	0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00 },
36	27.6k	{ 0xe0, 0xeb, 0x7a, 0x7c, 0x3b, 0x41, 0xb8, 0xae,
37	27.6k	0x16, 0x56, 0xe3, 0xfa, 0xf1, 0x9f, 0xc4, 0x6a,
38	27.6k	0xda, 0x09, 0x8d, 0xeb, 0x9c, 0x32, 0xb1, 0xfd,
39	27.6k	0x86, 0x62, 0x05, 0x16, 0x5f, 0x49, 0xb8, 0x00 },
40	27.6k	{ 0x5f, 0x9c, 0x95, 0xbc, 0xa3, 0x50, 0x8c, 0x24,
41	27.6k	0xb1, 0xd0, 0xb1, 0x55, 0x9c, 0x83, 0xef, 0x5b,
42	27.6k	0x04, 0x44, 0x5c, 0xc4, 0x58, 0x1c, 0x8e, 0x86,
43	27.6k	0xd8, 0x22, 0x4e, 0xdd, 0xd0, 0x9f, 0x11, 0x57 },
44	27.6k	{ 0xec, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
45	27.6k	0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
46	27.6k	0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
47	27.6k	0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x7f },
48	27.6k	{ 0xed, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
49	27.6k	0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
50	27.6k	0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
51	27.6k	0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x7f },
52	27.6k	{ 0xee, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
53	27.6k	0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
54	27.6k	0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
55	27.6k	0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x7f },
56	27.6k	{ 0xcd, 0xeb, 0x7a, 0x7c, 0x3b, 0x41, 0xb8, 0xae,
57	27.6k	0x16, 0x56, 0xe3, 0xfa, 0xf1, 0x9f, 0xc4, 0x6a,
58	27.6k	0xda, 0x09, 0x8d, 0xeb, 0x9c, 0x32, 0xb1, 0xfd,
59	27.6k	0x86, 0x62, 0x05, 0x16, 0x5f, 0x49, 0xb8, 0x80 },
60	27.6k	{ 0x4c, 0x9c, 0x95, 0xbc, 0xa3, 0x50, 0x8c, 0x24,
61	27.6k	0xb1, 0xd0, 0xb1, 0x55, 0x9c, 0x83, 0xef, 0x5b,
62	27.6k	0x04, 0x44, 0x5c, 0xc4, 0x58, 0x1c, 0x8e, 0x86,
63	27.6k	0xd8, 0x22, 0x4e, 0xdd, 0xd0, 0x9f, 0x11, 0xd7 },
64	27.6k	{ 0xd9, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
65	27.6k	0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
66	27.6k	0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
67	27.6k	0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff },
68	27.6k	{ 0xda, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
69	27.6k	0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
70	27.6k	0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
71	27.6k	0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff },
72	27.6k	{ 0xdb, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
73	27.6k	0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
74	27.6k	0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
75	27.6k	0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff },
76	27.6k	};
77
78	27.6k	if (px->len == 32) {
79	27.6k	p = px->data;
80	27.6k	} else {
81	8	return SECFailure;
82	8	}
83
84	359k	for (i = 0; i < PR_ARRAY_SIZE(forbiddenValues); ++i) {
85	331k	if (NSS_SecureMemcmp(p, forbiddenValues[i], px->len) == 0) {
86	10	return SECFailure;
87	10	}
88	331k	}
89
90	27.6k	return SECSuccess;
91	27.6k	}
92
93		/*
94		* scalar validation is not necessary.
95		*/
96		SECStatus
97		ec_Curve25519_scalar_validate(const SECItem *scalar)
98	21.7k	{
99	21.7k	if (!scalar \|\| !scalar->data) {
100	0	PORT_SetError(SEC_ERROR_INVALID_ARGS);
101	0	return SECFailure;
102	0	}
103
104	21.7k	if (scalar->len != 32) {
105	0	PORT_SetError(SEC_ERROR_BAD_KEY);
106	0	return SECFailure;
107	0	}
108	21.7k	return SECSuccess;
109	21.7k	}
110
111		/*
112		* Scalar multiplication for Curve25519.
113		* If P == NULL, the base point is used.
114		* Returns X = k*P
115		*/
116		SECStatus
117		ec_Curve25519_pt_mul(SECItem X, SECItem k, SECItem *P)
118	421	{
119	421	PRUint8 *px;
120	421	PRUint8 basePoint[32] = { 9 };
121
122	421	if (!P) {
123	421	px = basePoint;
124	421	} else {
125	0	PORT_Assert(P->len == 32);
126	0	if (P->len != 32) {
127	0	return SECFailure;
128	0	}
129	0	px = P->data;
130	0	}
131	421	if (k->len != 32) {
132	0	return SECFailure;
133	0	}
134		#ifndef UNSAFE_FUZZER_MODE
135		SECStatus rv = ec_Curve25519_mul(X->data, k->data, px);
136		if (NSS_SecureMemcmpZero(X->data, X->len) == 0) {
137		return SECFailure;
138		}
139		return rv;
140		#else
141	421	return px != NULL;
142	421	#endif
143	421	}

Coverage Report

Created: 2025-07-11 07:06