wolfSSL/wolfssl
1
0
Fork 1
mirror of https://github.com/wolfSSL/wolfssl.git synced 2025-08-03 12:44:45 +02:00
Code Issues Packages Projects Releases Wiki Activity

ed25519 and ed448 check sigLen against expected

Browse Source
This commit is contained in:
kaleb-himes
2020-06-23 17:32:00 -06:00
parent 582240a84d
commit 722961f55c
3 changed files with 43 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

41
tests/api.c
View File

@@ -14669,6 +14669,8 @@ static int test_wc_ed25519_sign_msg (void)
ed25519_key key;
byte msg[] = "Everybody gets Friday off.\n";
byte sig[ED25519_SIG_SIZE];
byte sigTooShort[ED25519_SIG_SIZE - 1];
byte sigTooLong[ED25519_SIG_SIZE + 1];
word32 msglen = sizeof(msg);
word32 siglen = sizeof(sig);
word32 badSigLen = sizeof(sig) - 1;
@@ -14676,6 +14678,8 @@ static int test_wc_ed25519_sign_msg (void)
/* Initialize stack variables. */
XMEMSET(sig, 0, siglen);
XMEMSET(sigTooShort, 0, siglen-1);
XMEMSET(sigTooLong, 0, siglen+1);
/* Initialize key. */
ret = wc_InitRng(&rng);
@@ -14690,6 +14694,9 @@ static int test_wc_ed25519_sign_msg (void)
if (ret == 0) {
ret = wc_ed25519_sign_msg(msg, msglen, sig, &siglen, &key);
XMEMCPY(sigTooShort, sig, siglen-1);
XMEMCPY(sigTooLong, sig, siglen);
sigTooLong[ED25519_SIG_SIZE] = 0x01; /* add byte to end of sig */
}
/* Test bad args. */
if (ret == 0 && siglen == ED25519_SIG_SIZE) {
@@ -14729,6 +14736,18 @@ static int test_wc_ed25519_sign_msg (void)
/* Test bad args. */
if (ret == 0) {
AssertIntEQ(wc_ed25519_verify_msg(sigTooShort, siglen - 1, msg,
msglen, &verify_ok, &key),
BAD_FUNC_ARG);
/* This should verify even though sig is modified, only siglen
* bytes are checked */
AssertIntEQ(wc_ed25519_verify_msg(sigTooLong, siglen, msg,
msglen, &verify_ok, &key),
0);
AssertIntEQ(wc_ed25519_verify_msg(sigTooLong, siglen + 1, msg,
msglen, &verify_ok, &key),
BAD_FUNC_ARG);
ret = wc_ed25519_verify_msg(NULL, siglen, msg, msglen, &verify_ok,
&key);
if (ret == BAD_FUNC_ARG) {
@@ -15416,6 +15435,8 @@ static int test_wc_ed448_sign_msg (void)
ed448_key key;
byte msg[] = "Everybody gets Friday off.\n";
byte sig[ED448_SIG_SIZE];
byte sigTooShort[ED448_SIG_SIZE - 1];
byte sigTooLong[ED448_SIG_SIZE + 1];
word32 msglen = sizeof(msg);
word32 siglen = sizeof(sig);
word32 badSigLen = sizeof(sig) - 1;
@@ -15423,6 +15444,8 @@ static int test_wc_ed448_sign_msg (void)
/* Initialize stack variables. */
XMEMSET(sig, 0, siglen);
XMEMSET(sigTooShort, 0, siglen - 1);
XMEMSET(sigTooLong, 0, siglen + 1);
/* Initialize key. */
ret = wc_InitRng(&rng);
@@ -15437,6 +15460,9 @@ static int test_wc_ed448_sign_msg (void)
if (ret == 0) {
ret = wc_ed448_sign_msg(msg, msglen, sig, &siglen, &key, NULL, 0);
XMEMCPY(sigTooShort, sig, siglen - 1);
XMEMCPY(sigTooLong, sig, siglen);
sigTooLong[ED448_SIG_SIZE] = 0x01; /* add byte to end of sig */
}
/* Test bad args. */
if (ret == 0 && siglen == ED448_SIG_SIZE) {
@@ -15478,6 +15504,21 @@ static int test_wc_ed448_sign_msg (void)
/* Test bad args. */
if (ret == 0) {
AssertIntEQ(wc_ed448_verify_msg(sigTooShort, siglen - 1, msg,
msglen, &verify_ok, &key,
NULL, 0),
BAD_FUNC_ARG);
/* This should verify even though sig is modified, only siglen
* bytes are checked */
AssertIntEQ(wc_ed448_verify_msg(sigTooLong, siglen, msg,
msglen, &verify_ok, &key,
NULL, 0),
0);
AssertIntEQ(wc_ed448_verify_msg(sigTooLong, siglen + 1, msg,
msglen, &verify_ok, &key,
NULL, 0),
BAD_FUNC_ARG);
ret = wc_ed448_verify_msg(NULL, siglen, msg, msglen, &verify_ok,
&key, NULL, 0);
if (ret == BAD_FUNC_ARG) {

2
wolfcrypt/src/ed25519.c
View File

@@ -365,7 +365,7 @@ static int ed25519_verify_msg(const byte* sig, word32 sigLen, const byte* msg,
*res = 0;
/* check on basics needed to verify signature */
if (sigLen < ED25519_SIG_SIZE || (sig[ED25519_SIG_SIZE-1] & 224))
if (sigLen != ED25519_SIG_SIZE || (sig[ED25519_SIG_SIZE-1] & 224))
return BAD_FUNC_ARG;
/* uncompress A (public key), test if valid, and negate it */

2
wolfcrypt/src/ed448.c
View File

@@ -379,7 +379,7 @@ static int ed448_verify_msg(const byte* sig, word32 sigLen, const byte* msg,
*res = 0;
/* check on basics needed to verify signature */
if (sigLen < ED448_SIG_SIZE) {
if (sigLen != ED448_SIG_SIZE) {
ret = BAD_FUNC_ARG;
}
}