Bug Summary

File:src/lib/libcrypto/asn1/t_crl.c
Warning:line 101, column 2
Value stored to 'i' is never read

Annotated Source Code

Press '?' to see keyboard shortcuts

clang -cc1 -cc1 -triple amd64-unknown-openbsd7.0 -analyze -disable-free -disable-llvm-verifier -discard-value-names -main-file-name t_crl.c -analyzer-store=region -analyzer-opt-analyze-nested-blocks -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -setup-static-analyzer -mrelocation-model pic -pic-level 1 -fhalf-no-semantic-interposition -mframe-pointer=all -relaxed-aliasing -fno-rounding-math -mconstructor-aliases -munwind-tables -target-cpu x86-64 -target-feature +retpoline-indirect-calls -target-feature +retpoline-indirect-branches -tune-cpu generic -debugger-tuning=gdb -fcoverage-compilation-dir=/usr/src/lib/libcrypto/obj -resource-dir /usr/local/lib/clang/13.0.0 -D LIBRESSL_INTERNAL -D LIBRESSL_CRYPTO_INTERNAL -D DSO_DLFCN -D HAVE_DLFCN_H -D HAVE_FUNOPEN -D OPENSSL_NO_HW_PADLOCK -I /usr/src/lib/libcrypto -I /usr/src/lib/libcrypto/asn1 -I /usr/src/lib/libcrypto/bio -I /usr/src/lib/libcrypto/bn -I /usr/src/lib/libcrypto/bytestring -I /usr/src/lib/libcrypto/dh -I /usr/src/lib/libcrypto/dsa -I /usr/src/lib/libcrypto/ec -I /usr/src/lib/libcrypto/ecdh -I /usr/src/lib/libcrypto/ecdsa -I /usr/src/lib/libcrypto/evp -I /usr/src/lib/libcrypto/hmac -I /usr/src/lib/libcrypto/modes -I /usr/src/lib/libcrypto/ocsp -I /usr/src/lib/libcrypto/rsa -I /usr/src/lib/libcrypto/x509 -I /usr/src/lib/libcrypto/obj -D AES_ASM -D BSAES_ASM -D VPAES_ASM -D OPENSSL_IA32_SSE2 -D RSA_ASM -D OPENSSL_BN_ASM_MONT -D OPENSSL_BN_ASM_MONT5 -D OPENSSL_BN_ASM_GF2m -D MD5_ASM -D GHASH_ASM -D RC4_MD5_ASM -D SHA1_ASM -D SHA256_ASM -D SHA512_ASM -D WHIRLPOOL_ASM -D OPENSSL_CPUID_OBJ -D PIC -internal-isystem /usr/local/lib/clang/13.0.0/include -internal-externc-isystem /usr/include -O2 -fdebug-compilation-dir=/usr/src/lib/libcrypto/obj -ferror-limit 19 -fwrapv -D_RET_PROTECTOR -ret-protector -fgnuc-version=4.2.1 -vectorize-loops -vectorize-slp -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-valloc -fno-builtin-free -fno-builtin-strdup -fno-builtin-strndup -analyzer-output=html -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /home/ben/Projects/vmm/scan-build/2022-01-12-194120-40624-1 -x c /usr/src/lib/libcrypto/asn1/t_crl.c
1/* $OpenBSD: t_crl.c,v 1.20 2021/12/25 13:17:48 jsing Exp $ */
2/* Written by Dr Stephen N Henson (steve@openssl.org) for the OpenSSL
3 * project 1999.
4 */
5/* ====================================================================
6 * Copyright (c) 1999 The OpenSSL Project. All rights reserved.
7 *
8 * Redistribution and use in source and binary forms, with or without
9 * modification, are permitted provided that the following conditions
10 * are met:
11 *
12 * 1. Redistributions of source code must retain the above copyright
13 * notice, this list of conditions and the following disclaimer.
14 *
15 * 2. Redistributions in binary form must reproduce the above copyright
16 * notice, this list of conditions and the following disclaimer in
17 * the documentation and/or other materials provided with the
18 * distribution.
19 *
20 * 3. All advertising materials mentioning features or use of this
21 * software must display the following acknowledgment:
22 * "This product includes software developed by the OpenSSL Project
23 * for use in the OpenSSL Toolkit. (http://www.OpenSSL.org/)"
24 *
25 * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
26 * endorse or promote products derived from this software without
27 * prior written permission. For written permission, please contact
28 * licensing@OpenSSL.org.
29 *
30 * 5. Products derived from this software may not be called "OpenSSL"
31 * nor may "OpenSSL" appear in their names without prior written
32 * permission of the OpenSSL Project.
33 *
34 * 6. Redistributions of any form whatsoever must retain the following
35 * acknowledgment:
36 * "This product includes software developed by the OpenSSL Project
37 * for use in the OpenSSL Toolkit (http://www.OpenSSL.org/)"
38 *
39 * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
40 * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
41 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
42 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OpenSSL PROJECT OR
43 * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
44 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
45 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
46 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
47 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
48 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
49 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
50 * OF THE POSSIBILITY OF SUCH DAMAGE.
51 * ====================================================================
52 *
53 * This product includes cryptographic software written by Eric Young
54 * (eay@cryptsoft.com). This product includes software written by Tim
55 * Hudson (tjh@cryptsoft.com).
56 *
57 */
58
59#include <stdio.h>
60#include <limits.h>
61
62#include <openssl/bn.h>
63#include <openssl/buffer.h>
64#include <openssl/err.h>
65#include <openssl/objects.h>
66#include <openssl/x509.h>
67#include <openssl/x509v3.h>
68
69#include "x509_lcl.h"
70
71int
72X509_CRL_print_fp(FILE *fp, X509_CRL *x)
73{
74 BIO *b;
75 int ret;
76
77 if ((b = BIO_new(BIO_s_file())) == NULL((void*)0)) {
78 X509error(ERR_R_BUF_LIB)ERR_put_error(11,(0xfff),(7),"/usr/src/lib/libcrypto/asn1/t_crl.c"
,78)
;
79 return (0);
80 }
81 BIO_set_fp(b, fp, BIO_NOCLOSE)BIO_ctrl(b,106,0x00,(char *)fp);
82 ret = X509_CRL_print(b, x);
83 BIO_free(b);
84 return (ret);
85}
86
87int
88X509_CRL_print(BIO *out, X509_CRL *x)
89{
90 STACK_OF(X509_REVOKED)struct stack_st_X509_REVOKED *rev;
91 X509_REVOKED *r;
92 long l;
93 int i;
94 char *p;
95
96 BIO_printf(out, "Certificate Revocation List (CRL):\n");
97 l = X509_CRL_get_version(x);
98 if (l < 0 || l == LONG_MAX9223372036854775807L)
99 goto err;
100 BIO_printf(out, "%8sVersion %lu (0x%lx)\n", "", l + 1, l);
101 i = OBJ_obj2nid(x->sig_alg->algorithm);
Value stored to 'i' is never read
102 if (X509_signature_print(out, x->sig_alg, NULL((void*)0)) == 0)
103 goto err;
104 p = X509_NAME_oneline(X509_CRL_get_issuer(x), NULL((void*)0), 0);
105 if (p == NULL((void*)0))
106 goto err;
107 BIO_printf(out, "%8sIssuer: %s\n", "", p);
108 free(p);
109 BIO_printf(out, "%8sLast Update: ", "");
110 ASN1_TIME_print(out, X509_CRL_get_lastUpdate(x));
111 BIO_printf(out, "\n%8sNext Update: ", "");
112 if (X509_CRL_get_nextUpdate(x))
113 ASN1_TIME_print(out, X509_CRL_get_nextUpdate(x));
114 else
115 BIO_printf(out, "NONE");
116 BIO_printf(out, "\n");
117
118 X509V3_extensions_print(out, "CRL extensions",
119 x->crl->extensions, 0, 8);
120
121 rev = X509_CRL_get_REVOKED(x);
122
123 if (sk_X509_REVOKED_num(rev)sk_num(((_STACK*) (1 ? (rev) : (struct stack_st_X509_REVOKED*
)0)))
> 0)
124 BIO_printf(out, "Revoked Certificates:\n");
125 else
126 BIO_printf(out, "No Revoked Certificates.\n");
127
128 for (i = 0; i < sk_X509_REVOKED_num(rev)sk_num(((_STACK*) (1 ? (rev) : (struct stack_st_X509_REVOKED*
)0)))
; i++) {
129 r = sk_X509_REVOKED_value(rev, i)((X509_REVOKED *)sk_value(((_STACK*) (1 ? (rev) : (struct stack_st_X509_REVOKED
*)0)), (i)))
;
130 BIO_printf(out, " Serial Number: ");
131 i2a_ASN1_INTEGER(out, r->serialNumber);
132 BIO_printf(out, "\n Revocation Date: ");
133 ASN1_TIME_print(out, r->revocationDate);
134 BIO_printf(out, "\n");
135 X509V3_extensions_print(out, "CRL entry extensions",
136 r->extensions, 0, 8);
137 }
138 if (X509_signature_print(out, x->sig_alg, x->signature) == 0)
139 goto err;
140
141 return 1;
142
143 err:
144 return 0;
145}