From 96218269f4c2da82f143727fb7697d572c190bc5 Mon Sep 17 00:00:00 2001 From: Pauli Date: Mon, 6 Apr 2020 09:23:00 +1000 Subject: Integer overflow in ASN1_STRING_set. Addressing a potential integer overflow condition. Reviewed-by: Tomas Mraz (Merged from https://github.com/openssl/openssl/pull/11473) --- crypto/asn1/asn1_lib.c | 21 ++++++++++++++++----- 1 file changed, 16 insertions(+), 5 deletions(-) (limited to 'crypto') diff --git a/crypto/asn1/asn1_lib.c b/crypto/asn1/asn1_lib.c index fc4462eb8f..d8844eab65 100644 --- a/crypto/asn1/asn1_lib.c +++ b/crypto/asn1/asn1_lib.c @@ -275,18 +275,29 @@ ASN1_STRING *ASN1_STRING_dup(const ASN1_STRING *str) return ret; } -int ASN1_STRING_set(ASN1_STRING *str, const void *_data, int len) +int ASN1_STRING_set(ASN1_STRING *str, const void *_data, int len_in) { unsigned char *c; const char *data = _data; + size_t len; - if (len < 0) { + if (len_in < 0) { if (data == NULL) return 0; - else - len = strlen(data); + len = strlen(data); + } else { + len = (size_t)len_in; + } + /* + * Verify that the length fits within an integer for assignment to + * str->length below. The additional 1 is subtracted to allow for the + * '\0' terminator even though this isn't strictly necessary. + */ + if (len > INT_MAX - 1) { + ASN1err(0, ASN1_R_TOO_LARGE); + return 0; } - if ((str->length <= len) || (str->data == NULL)) { + if ((size_t)str->length <= len || str->data == NULL) { c = str->data; str->data = OPENSSL_realloc(c, len + 1); if (str->data == NULL) { -- cgit v1.2.3