JohnnySavages

Remove calls with unused return value

1

Found by Linux Verification Center (linuxtesting.org) with SVACE. CLA: trivial

Fix Null dereference

2

Returning NULL from sk_X509_value is possible if num_trusted is less than 0 or if one of the ctx->chain->data[i] values is NULL. Found by Linux Verification Center (linuxtesting.org) with SVACE. CLA:...

Remove receiving of unused return value

3

Found by Linux Verification Center (linuxtesting.org) with SVACE. CLA: trivial

Check EC_GROUP_get0_order result before dereference

2

Fix NULL dereference Found by Linux Verification Center (linuxtesting.org) with SVACE. CLA: trivial

Check sk_X509_value result before dereference

1

`issuer` passed as second parameter to `check_issued` may result in NULL dereference Found by Linux Verification Center (linuxtesting.org) with SVACE. CLA: trivial

Add forgotten check of sk_*_push result

4

Found by Linux Verification Center (linuxtesting.org) with SVACE. Refer [issue](https://github.com/openssl/openssl/issues/25397) CLA: regular

Add params precondition in ASN1_STRING_TABLE_add, ASN1_STRING_TABLE_get

3

There is a potential type overflow [here]( https://github.com/openssl/openssl/blob/e0ae801728776b53e2be0972846072ce32bea304/crypto/asn1/a_strnid.c#L115) and [here]( https://github.com/openssl/openssl/blob/e0ae801728776b53e2be0972846072ce32bea304/crypto/asn1/a_strnid.c#L122) if `(*a)->nid < 0` и `(*a)->nid + (*b)->nid > INT_MAX`. Bonus: minsize, maxsize values sanity check. CLA: trivial