Magic-Mirror/radare2
1
0
Fork 0
mirror of https://github.com/radareorg/radare2.git synced 2025-02-25 16:51:30 +00:00
Code Issues Actions 6 Packages Projects Releases Wiki Activity

Clean-up ASN.1 parser and update x509 fuzzing

Browse Source
This commit is contained in:
Sylvain Pelissier 2023-01-23 22:23:03 +01:00 committed by pancake
parent 3b62c3f16d
commit 8663de81c3
4 changed files with 25 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
libr/include/r_util/r_x509.h
View File

@ -107,7 +107,6 @@ R_API char *r_x509_crl_tostring(RX509CertificateRevocationList *crl, const char*
R_API void r_x509_crl_json(PJ* pj, RX509CertificateRevocationList *crl);
R_API RX509Certificate *r_x509_parse_certificate(RASN1Object *object);
R_API RX509Certificate *r_x509_parse_certificate2(const ut8 *buffer, ut32 length);
R_API void r_x509_free_certificate(RX509Certificate* certificate);
R_API char *r_x509_certificate_tostring(RX509Certificate* certificate, const char* pad);
R_API void r_x509_certificate_json(PJ* pj, RX509Certificate *certificate);

18
libr/util/asn1.c
View File

@ -39,7 +39,7 @@ static RASN1Object *asn1_parse_header(const ut8 *buffer_base, const ut8 *buffer,
return NULL;
}
ut8 head = buffer[0];
obj->offset = buffer_base ? (buffer - buffer_base) : 0;
obj->offset = buffer_base? (buffer - buffer_base): 0;
obj->klass = head & ASN1_CLASS;
obj->form = head & ASN1_FORM;
obj->tag = head & ASN1_TAG;
@ -48,7 +48,13 @@ static RASN1Object *asn1_parse_header(const ut8 *buffer_base, const ut8 *buffer,
length64 = 0;
length8 &= ASN1_LENSHORT;
obj->sector = buffer + 2;
if (length8 && length8 < length - 2) {
// Check for indefinite length.
if (length8) {
// Length over 6 bytes is not allowed.
if (length8 > length - 1 || length8 > 6) {
R_LOG_DEBUG ("ASN.1: length error");
goto out_error;
}
ut8 i8;
// can overflow.
for (i8 = 0; i8 < length8; i8++) {
@ -94,7 +100,7 @@ static ut32 asn1_count_objects(const ut8 *buffer, ut32 length) {
if (!length) {
return 0;
}
ut32 counter = 0;
st32 counter = 0;
const ut8 *next = buffer;
const ut8 *end = buffer + length;
while (next >= buffer && next < end) {
@ -122,6 +128,9 @@ R_API RASN1Object *r_asn1_object_parse(const ut8 *buffer_base, const ut8 *buffer
return NULL;
}
ut32 count = asn1_count_objects (object->sector, object->length);
if (count == -1) {
return NULL;
}
if (count > 0) {
object->list.length = count;
object->list.objects = R_NEWS0 (RASN1Object*, count);
@ -157,6 +166,9 @@ R_API RAsn1 *r_asn1_new(const ut8 *buffer, int length, int fmtmode) {
break;
}
a->root = r_asn1_object_parse (buffer, buffer, length, fmtmode);
if (a->root == NULL) {
return NULL;
}
if (fmtmode == 'j') {
pj_end (a->pj);
}

10
libr/util/x509.c
View File

@ -237,16 +237,6 @@ fail:
return cert;
}
R_API RX509Certificate *r_x509_parse_certificate2(const ut8 *buffer, ut32 length) {
if (!buffer || !length) {
return NULL;
}
RASN1Object *object = r_asn1_object_parse (buffer, buffer, length, 0);
RX509Certificate *certificate = r_x509_parse_certificate (object);
// object freed by r_x509_parse_certificate
return certificate;
}
R_API RX509CRLEntry *r_x509_parse_crlentry(RASN1Object *object) {
if (!object || object->list.length != 2) {
return NULL;

10
test/fuzz/fuzz_x509_parse.c
View File

@ -9,6 +9,16 @@ int LLVMFuzzerInitialize(int *lf_argc, char ***lf_argv) {
return 0;
}
R_API RX509Certificate *r_x509_parse_certificate2(const ut8 *buffer, ut32 length) {
if (!buffer || !length) {
return NULL;
}
RASN1Object *object = r_asn1_object_parse (buffer, buffer, length, 0);
RX509Certificate *certificate = r_x509_parse_certificate (object);
// object freed by r_x509_parse_certificate
return certificate;
}
int LLVMFuzzerTestOneInput(const ut8 *data, size_t len) {
RX509Certificate *out = r_x509_parse_certificate2 (data, len);
free (out);