Skip to content

Commit 86212fd

Browse files
committed
add test for session deserialization input validation
1 parent 7245ad0 commit 86212fd

1 file changed

Lines changed: 85 additions & 0 deletions

File tree

tests/api.c

Lines changed: 85 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -16493,6 +16493,90 @@ static int test_wolfSSL_sigalg_info(void)
1649316493
return EXPECT_RESULT();
1649416494
}
1649516495

16496+
static int test_wolfSSL_d2i_SSL_SESSION_bounds_check(void)
16497+
{
16498+
EXPECT_DECLS;
16499+
#if defined(OPENSSL_EXTRA) && defined(HAVE_EXT_CACHE) && \
16500+
defined(SESSION_CERTS)
16501+
WOLFSSL_SESSION* sess = NULL;
16502+
WOLFSSL_SESSION* restored = NULL;
16503+
unsigned char* sessDer = NULL;
16504+
unsigned char* modData = NULL;
16505+
const unsigned char* ptr = NULL;
16506+
unsigned char* pp = NULL;
16507+
int sz = 0;
16508+
int idx = 0;
16509+
int sessionIDSz = 0;
16510+
int altIDLen = 0;
16511+
int chainOffset = 0;
16512+
int newLen = 0;
16513+
word16 oversized = 0;
16514+
16515+
/* Create and serialize a valid empty session to learn the format */
16516+
ExpectNotNull(sess = wolfSSL_SESSION_new());
16517+
ExpectIntGT((sz = wolfSSL_i2d_SSL_SESSION(sess, NULL)), 0);
16518+
ExpectNotNull(sessDer = (unsigned char*)XMALLOC(sz, NULL,
16519+
DYNAMIC_TYPE_OPENSSL));
16520+
pp = sessDer;
16521+
ExpectIntGT(wolfSSL_i2d_SSL_SESSION(sess, &pp), 0);
16522+
wolfSSL_SESSION_free(sess);
16523+
sess = NULL;
16524+
16525+
/* Calculate offset to chain.count field:
16526+
* side(1) + bornOn(4) + timeout(4) + sessionIDSz(1) + sessionID(var)
16527+
* + masterSecret(SECRET_LEN=48) + haveEMS(1) + altIDLen(1) + altID(var)
16528+
*/
16529+
idx = 1 + 4 + 4;
16530+
if (EXPECT_SUCCESS()) {
16531+
sessionIDSz = sessDer[idx++];
16532+
idx += sessionIDSz + SECRET_LEN + 1;
16533+
altIDLen = sessDer[idx++];
16534+
if (altIDLen == ID_LEN)
16535+
idx += ID_LEN;
16536+
chainOffset = idx;
16537+
}
16538+
16539+
/*
16540+
* The deserialization must reject this with a BUFFER_ERROR (return NULL).
16541+
*/
16542+
newLen = chainOffset + 1 + 50;
16543+
ExpectNotNull(modData = (unsigned char*)XMALLOC(newLen, NULL,
16544+
DYNAMIC_TYPE_TMP_BUFFER));
16545+
if (EXPECT_SUCCESS()) {
16546+
XMEMCPY(modData, sessDer, chainOffset);
16547+
modData[chainOffset] = MAX_CHAIN_DEPTH + 1;
16548+
XMEMSET(modData + chainOffset + 1, 0, newLen - chainOffset - 1);
16549+
}
16550+
ptr = modData;
16551+
ExpectNull(restored = wolfSSL_d2i_SSL_SESSION(NULL, &ptr, (long)newLen));
16552+
XFREE(modData, NULL, DYNAMIC_TYPE_TMP_BUFFER);
16553+
modData = NULL;
16554+
16555+
/*
16556+
* chain.count is valid (1), but the cert length field is too large.
16557+
*/
16558+
newLen = chainOffset + 1 + 2 + 100;
16559+
ExpectNotNull(modData = (unsigned char*)XMALLOC(newLen, NULL,
16560+
DYNAMIC_TYPE_TMP_BUFFER));
16561+
if (EXPECT_SUCCESS()) {
16562+
XMEMCPY(modData, sessDer, chainOffset);
16563+
idx = chainOffset;
16564+
modData[idx++] = 1; /* chain.count = 1 */
16565+
oversized = MAX_X509_SIZE + 1;
16566+
modData[idx++] = (byte)(oversized >> 8);
16567+
modData[idx++] = (byte)(oversized & 0xFF);
16568+
XMEMSET(modData + idx, 0xCC, newLen - idx);
16569+
}
16570+
ptr = modData;
16571+
ExpectNull(restored = wolfSSL_d2i_SSL_SESSION(NULL, &ptr, (long)newLen));
16572+
XFREE(modData, NULL, DYNAMIC_TYPE_TMP_BUFFER);
16573+
modData = NULL;
16574+
16575+
XFREE(sessDer, NULL, DYNAMIC_TYPE_OPENSSL);
16576+
#endif
16577+
return EXPECT_RESULT();
16578+
}
16579+
1649616580
static int test_wolfSSL_SESSION(void)
1649716581
{
1649816582
EXPECT_DECLS;
@@ -31747,6 +31831,7 @@ TEST_CASE testCases[] = {
3174731831
TEST_DECL(test_wolfSSL_ciphersuite_auth),
3174831832
TEST_DECL(test_wolfSSL_sigalg_info),
3174931833
/* Can't memory test as tcp_connect aborts. */
31834+
TEST_DECL(test_wolfSSL_d2i_SSL_SESSION_bounds_check),
3175031835
TEST_DECL(test_wolfSSL_SESSION),
3175131836
TEST_DECL(test_wolfSSL_SESSION_expire_downgrade),
3175231837
TEST_DECL(test_wolfSSL_CTX_sess_set_remove_cb),

0 commit comments

Comments
 (0)