OpenCoverage

chacha_private.h

Absolute File Name:/home/opencoverage/opencoverage/guest-scripts/libressl/src/crypto/compat/chacha_private.h
Switch to Source codePreprocessed file
LineSourceCount
1-
2typedef unsigned char u8;-
3typedef unsigned int u32;-
4-
5typedef struct-
6{-
7 u32 input[16];-
8} chacha_ctx;-
9static const char sigma[16] = "expand 32-byte k";-
10static const char tau[16] = "expand 16-byte k";-
11-
12static void-
13chacha_keysetup(chacha_ctx *x,const u8 *k,u32 kbits,u32 ivbits)-
14{-
15 const char *constants;-
16-
17 x->input[4] = (((u32)((k + 0)[0]) ) | ((u32)((k + 0)[1]) << 8) | ((u32)((k + 0)[2]) << 16) | ((u32)((k + 0)[3]) << 24));-
18 x->input[5] = (((u32)((k + 4)[0]) ) | ((u32)((k + 4)[1]) << 8) | ((u32)((k + 4)[2]) << 16) | ((u32)((k + 4)[3]) << 24));-
19 x->input[6] = (((u32)((k + 8)[0]) ) | ((u32)((k + 8)[1]) << 8) | ((u32)((k + 8)[2]) << 16) | ((u32)((k + 8)[3]) << 24));-
20 x->input[7] = (((u32)((k + 12)[0]) ) | ((u32)((k + 12)[1]) << 8) | ((u32)((k + 12)[2]) << 16) | ((u32)((k + 12)[3]) << 24));-
21 if (kbits == 256
kbits == 256Description
TRUEevaluated 1302 times by 27 tests
Evaluated by:
  • arc4randomforktest
  • bntest
  • cipher_list
  • cipherstest
  • clienttest
  • configtest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • igetest
  • libcrypto.so.44.0.1
  • mont
  • pkcs7test
  • randtest
  • rsa_test
  • servertest
  • ssl_versions
  • ssltest
  • timingsafe
  • tls_ext_alpn
  • tls_prf
  • tlsexttest
  • ...
FALSEnever evaluated
) {		0-1302
22 k += 16;-
23 constants = sigma;-
24 }
executed 1302 times by 27 tests: end of block
Executed by:
  • arc4randomforktest
  • bntest
  • cipher_list
  • cipherstest
  • clienttest
  • configtest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • igetest
  • libcrypto.so.44.0.1
  • mont
  • pkcs7test
  • randtest
  • rsa_test
  • servertest
  • ssl_versions
  • ssltest
  • timingsafe
  • tls_ext_alpn
  • tls_prf
  • tlsexttest
  • ...
 else {		1302
25 constants = tau;-
26 }
never executed: end of block
0
27 x->input[8] = (((u32)((k + 0)[0]) ) | ((u32)((k + 0)[1]) << 8) | ((u32)((k + 0)[2]) << 16) | ((u32)((k + 0)[3]) << 24));-
28 x->input[9] = (((u32)((k + 4)[0]) ) | ((u32)((k + 4)[1]) << 8) | ((u32)((k + 4)[2]) << 16) | ((u32)((k + 4)[3]) << 24));-
29 x->input[10] = (((u32)((k + 8)[0]) ) | ((u32)((k + 8)[1]) << 8) | ((u32)((k + 8)[2]) << 16) | ((u32)((k + 8)[3]) << 24));-
30 x->input[11] = (((u32)((k + 12)[0]) ) | ((u32)((k + 12)[1]) << 8) | ((u32)((k + 12)[2]) << 16) | ((u32)((k + 12)[3]) << 24));-
31 x->input[0] = (((u32)((constants + 0)[0]) ) | ((u32)((constants + 0)[1]) << 8) | ((u32)((constants + 0)[2]) << 16) | ((u32)((constants + 0)[3]) << 24));-
32 x->input[1] = (((u32)((constants + 4)[0]) ) | ((u32)((constants + 4)[1]) << 8) | ((u32)((constants + 4)[2]) << 16) | ((u32)((constants + 4)[3]) << 24));-
33 x->input[2] = (((u32)((constants + 8)[0]) ) | ((u32)((constants + 8)[1]) << 8) | ((u32)((constants + 8)[2]) << 16) | ((u32)((constants + 8)[3]) << 24));-
34 x->input[3] = (((u32)((constants + 12)[0]) ) | ((u32)((constants + 12)[1]) << 8) | ((u32)((constants + 12)[2]) << 16) | ((u32)((constants + 12)[3]) << 24));-
35}
executed 1302 times by 27 tests: end of block
Executed by:
  • arc4randomforktest
  • bntest
  • cipher_list
  • cipherstest
  • clienttest
  • configtest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • igetest
  • libcrypto.so.44.0.1
  • mont
  • pkcs7test
  • randtest
  • rsa_test
  • servertest
  • ssl_versions
  • ssltest
  • timingsafe
  • tls_ext_alpn
  • tls_prf
  • tlsexttest
  • ...
1302
36-
37static void-
38chacha_ivsetup(chacha_ctx *x,const u8 *iv)-
39{-
40 x->input[12] = 0;-
41 x->input[13] = 0;-
42 x->input[14] = (((u32)((iv + 0)[0]) ) | ((u32)((iv + 0)[1]) << 8) | ((u32)((iv + 0)[2]) << 16) | ((u32)((iv + 0)[3]) << 24));-
43 x->input[15] = (((u32)((iv + 4)[0]) ) | ((u32)((iv + 4)[1]) << 8) | ((u32)((iv + 4)[2]) << 16) | ((u32)((iv + 4)[3]) << 24));-
44}
executed 1302 times by 27 tests: end of block
Executed by:
  • arc4randomforktest
  • bntest
  • cipher_list
  • cipherstest
  • clienttest
  • configtest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • igetest
  • libcrypto.so.44.0.1
  • mont
  • pkcs7test
  • randtest
  • rsa_test
  • servertest
  • ssl_versions
  • ssltest
  • timingsafe
  • tls_ext_alpn
  • tls_prf
  • tlsexttest
  • ...
1302
45-
46static void-
47chacha_encrypt_bytes(chacha_ctx *x,const u8 *m,u8 *c,u32 bytes)-
48{-
49 u32 x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15;-
50 u32 j0, j1, j2, j3, j4, j5, j6, j7, j8, j9, j10, j11, j12, j13, j14, j15;-
51 u8 *ctarget = -
52 ((void *)0)-
53 ;-
54 u8 tmp[64];-
55 u_int i;-
56-
57 if (!bytes
!bytesDescription
TRUEnever evaluated
FALSEevaluated 1120 times by 27 tests
Evaluated by:
  • arc4randomforktest
  • bntest
  • cipher_list
  • cipherstest
  • clienttest
  • configtest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • igetest
  • libcrypto.so.44.0.1
  • mont
  • pkcs7test
  • randtest
  • rsa_test
  • servertest
  • ssl_versions
  • ssltest
  • timingsafe
  • tls_ext_alpn
  • tls_prf
  • tlsexttest
  • ...
) return;
never executed: return;
0-1120
58-
59 j0 = x->input[0];-
60 j1 = x->input[1];-
61 j2 = x->input[2];-
62 j3 = x->input[3];-
63 j4 = x->input[4];-
64 j5 = x->input[5];-
65 j6 = x->input[6];-
66 j7 = x->input[7];-
67 j8 = x->input[8];-
68 j9 = x->input[9];-
69 j10 = x->input[10];-
70 j11 = x->input[11];-
71 j12 = x->input[12];-
72 j13 = x->input[13];-
73 j14 = x->input[14];-
74 j15 = x->input[15];-
75-
76 for (;;) {-
77 if (bytes < 64
bytes < 64Description
TRUEnever evaluated
FALSEevaluated 17920 times by 27 tests
Evaluated by:
  • arc4randomforktest
  • bntest
  • cipher_list
  • cipherstest
  • clienttest
  • configtest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • igetest
  • libcrypto.so.44.0.1
  • mont
  • pkcs7test
  • randtest
  • rsa_test
  • servertest
  • ssl_versions
  • ssltest
  • timingsafe
  • tls_ext_alpn
  • tls_prf
  • tlsexttest
  • ...
) {		0-17920
78 for (i = 0;i < bytes
i < bytesDescription
TRUEnever evaluated
FALSEnever evaluated
;++i) tmp[i] = m[i];
never executed: tmp[i] = m[i];
0
79 m = tmp;-
80 ctarget = c;-
81 c = tmp;-
82 }
never executed: end of block
0
83 x0 = j0;-
84 x1 = j1;-
85 x2 = j2;-
86 x3 = j3;-
87 x4 = j4;-
88 x5 = j5;-
89 x6 = j6;-
90 x7 = j7;-
91 x8 = j8;-
92 x9 = j9;-
93 x10 = j10;-
94 x11 = j11;-
95 x12 = j12;-
96 x13 = j13;-
97 x14 = j14;-
98 x15 = j15;-
99 for (i = 20;i > 0
i > 0Description
TRUEevaluated 179200 times by 27 tests
Evaluated by:
  • arc4randomforktest
  • bntest
  • cipher_list
  • cipherstest
  • clienttest
  • configtest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • igetest
  • libcrypto.so.44.0.1
  • mont
  • pkcs7test
  • randtest
  • rsa_test
  • servertest
  • ssl_versions
  • ssltest
  • timingsafe
  • tls_ext_alpn
  • tls_prf
  • tlsexttest
  • ...
FALSEevaluated 17920 times by 27 tests
Evaluated by:
  • arc4randomforktest
  • bntest
  • cipher_list
  • cipherstest
  • clienttest
  • configtest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • igetest
  • libcrypto.so.44.0.1
  • mont
  • pkcs7test
  • randtest
  • rsa_test
  • servertest
  • ssl_versions
  • ssltest
  • timingsafe
  • tls_ext_alpn
  • tls_prf
  • tlsexttest
  • ...
;i -= 2) {		17920-179200
100 x0 = (((u32)((x0) + (x4)) & (0xFFFFFFFFU))); x12 = ((((u32)((((x12) ^ (x0))) << (16)) & (0xFFFFFFFFU)) | ((((x12) ^ (x0))) >> (32 - (16))))); x8 = (((u32)((x8) + (x12)) & (0xFFFFFFFFU))); x4 = ((((u32)((((x4) ^ (x8))) << (12)) & (0xFFFFFFFFU)) | ((((x4) ^ (x8))) >> (32 - (12))))); x0 = (((u32)((x0) + (x4)) & (0xFFFFFFFFU))); x12 = ((((u32)((((x12) ^ (x0))) << (8)) & (0xFFFFFFFFU)) | ((((x12) ^ (x0))) >> (32 - (8))))); x8 = (((u32)((x8) + (x12)) & (0xFFFFFFFFU))); x4 = ((((u32)((((x4) ^ (x8))) << (7)) & (0xFFFFFFFFU)) | ((((x4) ^ (x8))) >> (32 - (7)))));-
101 x1 = (((u32)((x1) + (x5)) & (0xFFFFFFFFU))); x13 = ((((u32)((((x13) ^ (x1))) << (16)) & (0xFFFFFFFFU)) | ((((x13) ^ (x1))) >> (32 - (16))))); x9 = (((u32)((x9) + (x13)) & (0xFFFFFFFFU))); x5 = ((((u32)((((x5) ^ (x9))) << (12)) & (0xFFFFFFFFU)) | ((((x5) ^ (x9))) >> (32 - (12))))); x1 = (((u32)((x1) + (x5)) & (0xFFFFFFFFU))); x13 = ((((u32)((((x13) ^ (x1))) << (8)) & (0xFFFFFFFFU)) | ((((x13) ^ (x1))) >> (32 - (8))))); x9 = (((u32)((x9) + (x13)) & (0xFFFFFFFFU))); x5 = ((((u32)((((x5) ^ (x9))) << (7)) & (0xFFFFFFFFU)) | ((((x5) ^ (x9))) >> (32 - (7)))));-
102 x2 = (((u32)((x2) + (x6)) & (0xFFFFFFFFU))); x14 = ((((u32)((((x14) ^ (x2))) << (16)) & (0xFFFFFFFFU)) | ((((x14) ^ (x2))) >> (32 - (16))))); x10 = (((u32)((x10) + (x14)) & (0xFFFFFFFFU))); x6 = ((((u32)((((x6) ^ (x10))) << (12)) & (0xFFFFFFFFU)) | ((((x6) ^ (x10))) >> (32 - (12))))); x2 = (((u32)((x2) + (x6)) & (0xFFFFFFFFU))); x14 = ((((u32)((((x14) ^ (x2))) << (8)) & (0xFFFFFFFFU)) | ((((x14) ^ (x2))) >> (32 - (8))))); x10 = (((u32)((x10) + (x14)) & (0xFFFFFFFFU))); x6 = ((((u32)((((x6) ^ (x10))) << (7)) & (0xFFFFFFFFU)) | ((((x6) ^ (x10))) >> (32 - (7)))));-
103 x3 = (((u32)((x3) + (x7)) & (0xFFFFFFFFU))); x15 = ((((u32)((((x15) ^ (x3))) << (16)) & (0xFFFFFFFFU)) | ((((x15) ^ (x3))) >> (32 - (16))))); x11 = (((u32)((x11) + (x15)) & (0xFFFFFFFFU))); x7 = ((((u32)((((x7) ^ (x11))) << (12)) & (0xFFFFFFFFU)) | ((((x7) ^ (x11))) >> (32 - (12))))); x3 = (((u32)((x3) + (x7)) & (0xFFFFFFFFU))); x15 = ((((u32)((((x15) ^ (x3))) << (8)) & (0xFFFFFFFFU)) | ((((x15) ^ (x3))) >> (32 - (8))))); x11 = (((u32)((x11) + (x15)) & (0xFFFFFFFFU))); x7 = ((((u32)((((x7) ^ (x11))) << (7)) & (0xFFFFFFFFU)) | ((((x7) ^ (x11))) >> (32 - (7)))));-
104 x0 = (((u32)((x0) + (x5)) & (0xFFFFFFFFU))); x15 = ((((u32)((((x15) ^ (x0))) << (16)) & (0xFFFFFFFFU)) | ((((x15) ^ (x0))) >> (32 - (16))))); x10 = (((u32)((x10) + (x15)) & (0xFFFFFFFFU))); x5 = ((((u32)((((x5) ^ (x10))) << (12)) & (0xFFFFFFFFU)) | ((((x5) ^ (x10))) >> (32 - (12))))); x0 = (((u32)((x0) + (x5)) & (0xFFFFFFFFU))); x15 = ((((u32)((((x15) ^ (x0))) << (8)) & (0xFFFFFFFFU)) | ((((x15) ^ (x0))) >> (32 - (8))))); x10 = (((u32)((x10) + (x15)) & (0xFFFFFFFFU))); x5 = ((((u32)((((x5) ^ (x10))) << (7)) & (0xFFFFFFFFU)) | ((((x5) ^ (x10))) >> (32 - (7)))));-
105 x1 = (((u32)((x1) + (x6)) & (0xFFFFFFFFU))); x12 = ((((u32)((((x12) ^ (x1))) << (16)) & (0xFFFFFFFFU)) | ((((x12) ^ (x1))) >> (32 - (16))))); x11 = (((u32)((x11) + (x12)) & (0xFFFFFFFFU))); x6 = ((((u32)((((x6) ^ (x11))) << (12)) & (0xFFFFFFFFU)) | ((((x6) ^ (x11))) >> (32 - (12))))); x1 = (((u32)((x1) + (x6)) & (0xFFFFFFFFU))); x12 = ((((u32)((((x12) ^ (x1))) << (8)) & (0xFFFFFFFFU)) | ((((x12) ^ (x1))) >> (32 - (8))))); x11 = (((u32)((x11) + (x12)) & (0xFFFFFFFFU))); x6 = ((((u32)((((x6) ^ (x11))) << (7)) & (0xFFFFFFFFU)) | ((((x6) ^ (x11))) >> (32 - (7)))));-
106 x2 = (((u32)((x2) + (x7)) & (0xFFFFFFFFU))); x13 = ((((u32)((((x13) ^ (x2))) << (16)) & (0xFFFFFFFFU)) | ((((x13) ^ (x2))) >> (32 - (16))))); x8 = (((u32)((x8) + (x13)) & (0xFFFFFFFFU))); x7 = ((((u32)((((x7) ^ (x8))) << (12)) & (0xFFFFFFFFU)) | ((((x7) ^ (x8))) >> (32 - (12))))); x2 = (((u32)((x2) + (x7)) & (0xFFFFFFFFU))); x13 = ((((u32)((((x13) ^ (x2))) << (8)) & (0xFFFFFFFFU)) | ((((x13) ^ (x2))) >> (32 - (8))))); x8 = (((u32)((x8) + (x13)) & (0xFFFFFFFFU))); x7 = ((((u32)((((x7) ^ (x8))) << (7)) & (0xFFFFFFFFU)) | ((((x7) ^ (x8))) >> (32 - (7)))));-
107 x3 = (((u32)((x3) + (x4)) & (0xFFFFFFFFU))); x14 = ((((u32)((((x14) ^ (x3))) << (16)) & (0xFFFFFFFFU)) | ((((x14) ^ (x3))) >> (32 - (16))))); x9 = (((u32)((x9) + (x14)) & (0xFFFFFFFFU))); x4 = ((((u32)((((x4) ^ (x9))) << (12)) & (0xFFFFFFFFU)) | ((((x4) ^ (x9))) >> (32 - (12))))); x3 = (((u32)((x3) + (x4)) & (0xFFFFFFFFU))); x14 = ((((u32)((((x14) ^ (x3))) << (8)) & (0xFFFFFFFFU)) | ((((x14) ^ (x3))) >> (32 - (8))))); x9 = (((u32)((x9) + (x14)) & (0xFFFFFFFFU))); x4 = ((((u32)((((x4) ^ (x9))) << (7)) & (0xFFFFFFFFU)) | ((((x4) ^ (x9))) >> (32 - (7)))));-
108 }
executed 179200 times by 27 tests: end of block
Executed by:
  • arc4randomforktest
  • bntest
  • cipher_list
  • cipherstest
  • clienttest
  • configtest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • igetest
  • libcrypto.so.44.0.1
  • mont
  • pkcs7test
  • randtest
  • rsa_test
  • servertest
  • ssl_versions
  • ssltest
  • timingsafe
  • tls_ext_alpn
  • tls_prf
  • tlsexttest
  • ...
179200
109 x0 = (((u32)((x0) + (j0)) & (0xFFFFFFFFU)));-
110 x1 = (((u32)((x1) + (j1)) & (0xFFFFFFFFU)));-
111 x2 = (((u32)((x2) + (j2)) & (0xFFFFFFFFU)));-
112 x3 = (((u32)((x3) + (j3)) & (0xFFFFFFFFU)));-
113 x4 = (((u32)((x4) + (j4)) & (0xFFFFFFFFU)));-
114 x5 = (((u32)((x5) + (j5)) & (0xFFFFFFFFU)));-
115 x6 = (((u32)((x6) + (j6)) & (0xFFFFFFFFU)));-
116 x7 = (((u32)((x7) + (j7)) & (0xFFFFFFFFU)));-
117 x8 = (((u32)((x8) + (j8)) & (0xFFFFFFFFU)));-
118 x9 = (((u32)((x9) + (j9)) & (0xFFFFFFFFU)));-
119 x10 = (((u32)((x10) + (j10)) & (0xFFFFFFFFU)));-
120 x11 = (((u32)((x11) + (j11)) & (0xFFFFFFFFU)));-
121 x12 = (((u32)((x12) + (j12)) & (0xFFFFFFFFU)));-
122 x13 = (((u32)((x13) + (j13)) & (0xFFFFFFFFU)));-
123 x14 = (((u32)((x14) + (j14)) & (0xFFFFFFFFU)));-
124 x15 = (((u32)((x15) + (j15)) & (0xFFFFFFFFU)));-
125 j12 = ((((u32)(((j12)) + (1)) & (0xFFFFFFFFU))));-
126 if (!j12
!j12Description
TRUEnever evaluated
FALSEevaluated 17920 times by 27 tests
Evaluated by:
  • arc4randomforktest
  • bntest
  • cipher_list
  • cipherstest
  • clienttest
  • configtest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • igetest
  • libcrypto.so.44.0.1
  • mont
  • pkcs7test
  • randtest
  • rsa_test
  • servertest
  • ssl_versions
  • ssltest
  • timingsafe
  • tls_ext_alpn
  • tls_prf
  • tlsexttest
  • ...
) {		0-17920
127 j13 = ((((u32)(((j13)) + (1)) & (0xFFFFFFFFU))));-
128-
129 }
never executed: end of block
0
130-
131 do { (c + 0)[0] = ((u8)((x0)) & (0xFFU)); (c + 0)[1] = ((u8)((x0) >> 8) & (0xFFU)); (c + 0)[2] = ((u8)((x0) >> 16) & (0xFFU)); (c + 0)[3] = ((u8)((x0) >> 24) & (0xFFU)); } while (0);-
132 do { (c + 4)[0] = ((u8)((x1)) & (0xFFU)); (c + 4)[1] = ((u8)((x1) >> 8) & (0xFFU)); (c + 4)[2] = ((u8)((x1) >> 16) & (0xFFU)); (c + 4)[3] = ((u8)((x1) >> 24) & (0xFFU)); } while (0);-
133 do { (c + 8)[0] = ((u8)((x2)) & (0xFFU)); (c + 8)[1] = ((u8)((x2) >> 8) & (0xFFU)); (c + 8)[2] = ((u8)((x2) >> 16) & (0xFFU)); (c + 8)[3] = ((u8)((x2) >> 24) & (0xFFU)); } while (0);-
134 do { (c + 12)[0] = ((u8)((x3)) & (0xFFU)); (c + 12)[1] = ((u8)((x3) >> 8) & (0xFFU)); (c + 12)[2] = ((u8)((x3) >> 16) & (0xFFU)); (c + 12)[3] = ((u8)((x3) >> 24) & (0xFFU)); } while (0);-
135 do { (c + 16)[0] = ((u8)((x4)) & (0xFFU)); (c + 16)[1] = ((u8)((x4) >> 8) & (0xFFU)); (c + 16)[2] = ((u8)((x4) >> 16) & (0xFFU)); (c + 16)[3] = ((u8)((x4) >> 24) & (0xFFU)); } while (0);-
136 do { (c + 20)[0] = ((u8)((x5)) & (0xFFU)); (c + 20)[1] = ((u8)((x5) >> 8) & (0xFFU)); (c + 20)[2] = ((u8)((x5) >> 16) & (0xFFU)); (c + 20)[3] = ((u8)((x5) >> 24) & (0xFFU)); } while (0);-
137 do { (c + 24)[0] = ((u8)((x6)) & (0xFFU)); (c + 24)[1] = ((u8)((x6) >> 8) & (0xFFU)); (c + 24)[2] = ((u8)((x6) >> 16) & (0xFFU)); (c + 24)[3] = ((u8)((x6) >> 24) & (0xFFU)); } while (0);-
138 do { (c + 28)[0] = ((u8)((x7)) & (0xFFU)); (c + 28)[1] = ((u8)((x7) >> 8) & (0xFFU)); (c + 28)[2] = ((u8)((x7) >> 16) & (0xFFU)); (c + 28)[3] = ((u8)((x7) >> 24) & (0xFFU)); } while (0);-
139 do { (c + 32)[0] = ((u8)((x8)) & (0xFFU)); (c + 32)[1] = ((u8)((x8) >> 8) & (0xFFU)); (c + 32)[2] = ((u8)((x8) >> 16) & (0xFFU)); (c + 32)[3] = ((u8)((x8) >> 24) & (0xFFU)); } while (0);-
140 do { (c + 36)[0] = ((u8)((x9)) & (0xFFU)); (c + 36)[1] = ((u8)((x9) >> 8) & (0xFFU)); (c + 36)[2] = ((u8)((x9) >> 16) & (0xFFU)); (c + 36)[3] = ((u8)((x9) >> 24) & (0xFFU)); } while (0);-
141 do { (c + 40)[0] = ((u8)((x10)) & (0xFFU)); (c + 40)[1] = ((u8)((x10) >> 8) & (0xFFU)); (c + 40)[2] = ((u8)((x10) >> 16) & (0xFFU)); (c + 40)[3] = ((u8)((x10) >> 24) & (0xFFU)); } while (0);-
142 do { (c + 44)[0] = ((u8)((x11)) & (0xFFU)); (c + 44)[1] = ((u8)((x11) >> 8) & (0xFFU)); (c + 44)[2] = ((u8)((x11) >> 16) & (0xFFU)); (c + 44)[3] = ((u8)((x11) >> 24) & (0xFFU)); } while (0);-
143 do { (c + 48)[0] = ((u8)((x12)) & (0xFFU)); (c + 48)[1] = ((u8)((x12) >> 8) & (0xFFU)); (c + 48)[2] = ((u8)((x12) >> 16) & (0xFFU)); (c + 48)[3] = ((u8)((x12) >> 24) & (0xFFU)); } while (0);-
144 do { (c + 52)[0] = ((u8)((x13)) & (0xFFU)); (c + 52)[1] = ((u8)((x13) >> 8) & (0xFFU)); (c + 52)[2] = ((u8)((x13) >> 16) & (0xFFU)); (c + 52)[3] = ((u8)((x13) >> 24) & (0xFFU)); } while (0);-
145 do { (c + 56)[0] = ((u8)((x14)) & (0xFFU)); (c + 56)[1] = ((u8)((x14) >> 8) & (0xFFU)); (c + 56)[2] = ((u8)((x14) >> 16) & (0xFFU)); (c + 56)[3] = ((u8)((x14) >> 24) & (0xFFU)); } while (0);-
146 do { (c + 60)[0] = ((u8)((x15)) & (0xFFU)); (c + 60)[1] = ((u8)((x15) >> 8) & (0xFFU)); (c + 60)[2] = ((u8)((x15) >> 16) & (0xFFU)); (c + 60)[3] = ((u8)((x15) >> 24) & (0xFFU)); } while (0);-
147-
148 if (bytes <= 64
bytes <= 64Description
TRUEevaluated 1120 times by 27 tests
Evaluated by:
  • arc4randomforktest
  • bntest
  • cipher_list
  • cipherstest
  • clienttest
  • configtest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • igetest
  • libcrypto.so.44.0.1
  • mont
  • pkcs7test
  • randtest
  • rsa_test
  • servertest
  • ssl_versions
  • ssltest
  • timingsafe
  • tls_ext_alpn
  • tls_prf
  • tlsexttest
  • ...
FALSEevaluated 16800 times by 27 tests
Evaluated by:
  • arc4randomforktest
  • bntest
  • cipher_list
  • cipherstest
  • clienttest
  • configtest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • igetest
  • libcrypto.so.44.0.1
  • mont
  • pkcs7test
  • randtest
  • rsa_test
  • servertest
  • ssl_versions
  • ssltest
  • timingsafe
  • tls_ext_alpn
  • tls_prf
  • tlsexttest
  • ...
) {		1120-16800
149 if (bytes < 64
bytes < 64Description
TRUEnever evaluated
FALSEevaluated 1120 times by 27 tests
Evaluated by:
  • arc4randomforktest
  • bntest
  • cipher_list
  • cipherstest
  • clienttest
  • configtest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • igetest
  • libcrypto.so.44.0.1
  • mont
  • pkcs7test
  • randtest
  • rsa_test
  • servertest
  • ssl_versions
  • ssltest
  • timingsafe
  • tls_ext_alpn
  • tls_prf
  • tlsexttest
  • ...
) {		0-1120
150 for (i = 0;i < bytes
i < bytesDescription
TRUEnever evaluated
FALSEnever evaluated
;++i) ctarget[i] = c[i];
never executed: ctarget[i] = c[i];
0
151 }
never executed: end of block
0
152 x->input[12] = j12;-
153 x->input[13] = j13;-
154 return;
executed 1120 times by 27 tests: return;
Executed by:
  • arc4randomforktest
  • bntest
  • cipher_list
  • cipherstest
  • clienttest
  • configtest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • igetest
  • libcrypto.so.44.0.1
  • mont
  • pkcs7test
  • randtest
  • rsa_test
  • servertest
  • ssl_versions
  • ssltest
  • timingsafe
  • tls_ext_alpn
  • tls_prf
  • tlsexttest
  • ...
1120
155 }-
156 bytes -= 64;-
157 c += 64;-
158-
159-
160-
161 }
executed 16800 times by 27 tests: end of block
Executed by:
  • arc4randomforktest
  • bntest
  • cipher_list
  • cipherstest
  • clienttest
  • configtest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • igetest
  • libcrypto.so.44.0.1
  • mont
  • pkcs7test
  • randtest
  • rsa_test
  • servertest
  • ssl_versions
  • ssltest
  • timingsafe
  • tls_ext_alpn
  • tls_prf
  • tlsexttest
  • ...
16800
162}
never executed: end of block
0
Switch to Source codePreprocessed file
Generated by Squish Coco 4.2.2