OpenCoverage

chacha-merged.c

Absolute File Name:/home/opencoverage/opencoverage/guest-scripts/libressl/src/crypto/chacha/chacha-merged.c
Switch to Source codePreprocessed file
LineSourceCount
1-
2-
3-
4-
5-
6-
7-
8-
9struct chacha_ctx {-
10 u_int input[16];-
11 uint8_t ks[64];-
12 uint8_t unused;-
13};-
14-
15static inline void chacha_keysetup(struct chacha_ctx *x, const u_char *k,-
16 u_int kbits)-
17 __attribute__(());-
18static inline void chacha_ivsetup(struct chacha_ctx *x, const u_char *iv,-
19 const u_char *ctr)-
20 __attribute__(())-
21 __attribute__(());-
22static inline void chacha_encrypt_bytes(struct chacha_ctx *x, const u_char *m,-
23 u_char *c, u_int bytes)-
24 __attribute__(())-
25 __attribute__(());-
26-
27typedef unsigned char u8;-
28typedef unsigned int u32;-
29-
30typedef struct chacha_ctx chacha_ctx;-
31static const char sigma[16] = {-
32 0x65, 0x78, 0x70, 0x61, 0x6e, 0x64, 0x20, 0x33,-
33 0x32, 0x2d, 0x62, 0x79, 0x74, 0x65, 0x20, 0x6b,-
34};-
35-
36-
37static const char tau[16] = {-
38 0x65, 0x78, 0x70, 0x61, 0x6e, 0x64, 0x20, 0x31,-
39 0x36, 0x2d, 0x62, 0x79, 0x74, 0x65, 0x20, 0x6b,-
40};-
41-
42static inline void-
43chacha_keysetup(chacha_ctx *x, const u8 *k, u32 kbits)-
44{-
45 const char *constants;-
46-
47 x->input[4] = (((u32)((k + 0)[0])) | ((u32)((k + 0)[1]) << 8) | ((u32)((k + 0)[2]) << 16) | ((u32)((k + 0)[3]) << 24));-
48 x->input[5] = (((u32)((k + 4)[0])) | ((u32)((k + 4)[1]) << 8) | ((u32)((k + 4)[2]) << 16) | ((u32)((k + 4)[3]) << 24));-
49 x->input[6] = (((u32)((k + 8)[0])) | ((u32)((k + 8)[1]) << 8) | ((u32)((k + 8)[2]) << 16) | ((u32)((k + 8)[3]) << 24));-
50 x->input[7] = (((u32)((k + 12)[0])) | ((u32)((k + 12)[1]) << 8) | ((u32)((k + 12)[2]) << 16) | ((u32)((k + 12)[3]) << 24));-
51 if (kbits == 256
kbits == 256Description
TRUEevaluated 368 times by 5 tests
Evaluated by:
  • aeadtest
  • chachatest
  • evptest
  • ssltest
  • tlstest
FALSEnever evaluated
) {		0-368
52 k += 16;-
53 constants = sigma;-
54 }
executed 368 times by 5 tests: end of block
Executed by:
  • aeadtest
  • chachatest
  • evptest
  • ssltest
  • tlstest
 else {		368
55 constants = tau;-
56 }
never executed: end of block
0
57 x->input[8] = (((u32)((k + 0)[0])) | ((u32)((k + 0)[1]) << 8) | ((u32)((k + 0)[2]) << 16) | ((u32)((k + 0)[3]) << 24));-
58 x->input[9] = (((u32)((k + 4)[0])) | ((u32)((k + 4)[1]) << 8) | ((u32)((k + 4)[2]) << 16) | ((u32)((k + 4)[3]) << 24));-
59 x->input[10] = (((u32)((k + 8)[0])) | ((u32)((k + 8)[1]) << 8) | ((u32)((k + 8)[2]) << 16) | ((u32)((k + 8)[3]) << 24));-
60 x->input[11] = (((u32)((k + 12)[0])) | ((u32)((k + 12)[1]) << 8) | ((u32)((k + 12)[2]) << 16) | ((u32)((k + 12)[3]) << 24));-
61 x->input[0] = (((u32)((constants + 0)[0])) | ((u32)((constants + 0)[1]) << 8) | ((u32)((constants + 0)[2]) << 16) | ((u32)((constants + 0)[3]) << 24));-
62 x->input[1] = (((u32)((constants + 4)[0])) | ((u32)((constants + 4)[1]) << 8) | ((u32)((constants + 4)[2]) << 16) | ((u32)((constants + 4)[3]) << 24));-
63 x->input[2] = (((u32)((constants + 8)[0])) | ((u32)((constants + 8)[1]) << 8) | ((u32)((constants + 8)[2]) << 16) | ((u32)((constants + 8)[3]) << 24));-
64 x->input[3] = (((u32)((constants + 12)[0])) | ((u32)((constants + 12)[1]) << 8) | ((u32)((constants + 12)[2]) << 16) | ((u32)((constants + 12)[3]) << 24));-
65}
executed 368 times by 5 tests: end of block
Executed by:
  • aeadtest
  • chachatest
  • evptest
  • ssltest
  • tlstest
368
66-
67static inline void-
68chacha_ivsetup(chacha_ctx *x, const u8 *iv, const u8 *counter)-
69{-
70 x->input[12] = counter ==
counter == ((void *)0)Description
TRUEevaluated 368 times by 5 tests
Evaluated by:
  • aeadtest
  • chachatest
  • evptest
  • ssltest
  • tlstest
FALSEnever evaluated
0-368
71 ((void *)0)
counter == ((void *)0)Description
TRUEevaluated 368 times by 5 tests
Evaluated by:
  • aeadtest
  • chachatest
  • evptest
  • ssltest
  • tlstest
FALSEnever evaluated
 		0-368
72 ? 0 : (((u32)((counter + 0)[0])) | ((u32)((counter + 0)[1]) << 8) | ((u32)((counter + 0)[2]) << 16) | ((u32)((counter + 0)[3]) << 24));-
73 x->input[13] = counter ==
counter == ((void *)0)Description
TRUEevaluated 368 times by 5 tests
Evaluated by:
  • aeadtest
  • chachatest
  • evptest
  • ssltest
  • tlstest
FALSEnever evaluated
0-368
74 ((void *)0)
counter == ((void *)0)Description
TRUEevaluated 368 times by 5 tests
Evaluated by:
  • aeadtest
  • chachatest
  • evptest
  • ssltest
  • tlstest
FALSEnever evaluated
 		0-368
75 ? 0 : (((u32)((counter + 4)[0])) | ((u32)((counter + 4)[1]) << 8) | ((u32)((counter + 4)[2]) << 16) | ((u32)((counter + 4)[3]) << 24));-
76 x->input[14] = (((u32)((iv + 0)[0])) | ((u32)((iv + 0)[1]) << 8) | ((u32)((iv + 0)[2]) << 16) | ((u32)((iv + 0)[3]) << 24));-
77 x->input[15] = (((u32)((iv + 4)[0])) | ((u32)((iv + 4)[1]) << 8) | ((u32)((iv + 4)[2]) << 16) | ((u32)((iv + 4)[3]) << 24));-
78}
executed 368 times by 5 tests: end of block
Executed by:
  • aeadtest
  • chachatest
  • evptest
  • ssltest
  • tlstest
368
79-
80static inline void-
81chacha_encrypt_bytes(chacha_ctx *x, const u8 *m, u8 *c, u32 bytes)-
82{-
83 u32 x0, x1, x2, x3, x4, x5, x6, x7;-
84 u32 x8, x9, x10, x11, x12, x13, x14, x15;-
85 u32 j0, j1, j2, j3, j4, j5, j6, j7;-
86 u32 j8, j9, j10, j11, j12, j13, j14, j15;-
87 u8 *ctarget = -
88 ((void *)0)-
89 ;-
90 u8 tmp[64];-
91 u_int i;-
92-
93 if (!bytes
!bytesDescription
TRUEevaluated 552 times by 1 test
Evaluated by:
  • chachatest
FALSEevaluated 368 times by 5 tests
Evaluated by:
  • aeadtest
  • chachatest
  • evptest
  • ssltest
  • tlstest
)		368-552
94 return;
executed 552 times by 1 test: return;
Executed by:
  • chachatest
552
95-
96 j0 = x->input[0];-
97 j1 = x->input[1];-
98 j2 = x->input[2];-
99 j3 = x->input[3];-
100 j4 = x->input[4];-
101 j5 = x->input[5];-
102 j6 = x->input[6];-
103 j7 = x->input[7];-
104 j8 = x->input[8];-
105 j9 = x->input[9];-
106 j10 = x->input[10];-
107 j11 = x->input[11];-
108 j12 = x->input[12];-
109 j13 = x->input[13];-
110 j14 = x->input[14];-
111 j15 = x->input[15];-
112-
113 for (;;) {-
114 if (bytes < 64
bytes < 64Description
TRUEevaluated 292 times by 4 tests
Evaluated by:
  • aeadtest
  • chachatest
  • ssltest
  • tlstest
FALSEevaluated 244 times by 4 tests
Evaluated by:
  • aeadtest
  • chachatest
  • evptest
  • ssltest
) {		244-292
115 for (i = 0; i < bytes
i < bytesDescription
TRUEevaluated 6916 times by 4 tests
Evaluated by:
  • aeadtest
  • chachatest
  • ssltest
  • tlstest
FALSEevaluated 292 times by 4 tests
Evaluated by:
  • aeadtest
  • chachatest
  • ssltest
  • tlstest
; ++i)		292-6916
116 tmp[i] = m[i];
executed 6916 times by 4 tests: tmp[i] = m[i];
Executed by:
  • aeadtest
  • chachatest
  • ssltest
  • tlstest
6916
117 m = tmp;-
118 ctarget = c;-
119 c = tmp;-
120 }
executed 292 times by 4 tests: end of block
Executed by:
  • aeadtest
  • chachatest
  • ssltest
  • tlstest
292
121 x0 = j0;-
122 x1 = j1;-
123 x2 = j2;-
124 x3 = j3;-
125 x4 = j4;-
126 x5 = j5;-
127 x6 = j6;-
128 x7 = j7;-
129 x8 = j8;-
130 x9 = j9;-
131 x10 = j10;-
132 x11 = j11;-
133 x12 = j12;-
134 x13 = j13;-
135 x14 = j14;-
136 x15 = j15;-
137 for (i = 20; i > 0
i > 0Description
TRUEevaluated 5360 times by 5 tests
Evaluated by:
  • aeadtest
  • chachatest
  • evptest
  • ssltest
  • tlstest
FALSEevaluated 536 times by 5 tests
Evaluated by:
  • aeadtest
  • chachatest
  • evptest
  • ssltest
  • tlstest
; i -= 2) {		536-5360
138 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)))));-
139 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)))));-
140 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)))));-
141 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)))));-
142 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)))));-
143 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)))));-
144 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)))));-
145 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)))));-
146 }
executed 5360 times by 5 tests: end of block
Executed by:
  • aeadtest
  • chachatest
  • evptest
  • ssltest
  • tlstest
5360
147 x0 = (((u32)((x0) + (j0)) & (0xFFFFFFFFU)));-
148 x1 = (((u32)((x1) + (j1)) & (0xFFFFFFFFU)));-
149 x2 = (((u32)((x2) + (j2)) & (0xFFFFFFFFU)));-
150 x3 = (((u32)((x3) + (j3)) & (0xFFFFFFFFU)));-
151 x4 = (((u32)((x4) + (j4)) & (0xFFFFFFFFU)));-
152 x5 = (((u32)((x5) + (j5)) & (0xFFFFFFFFU)));-
153 x6 = (((u32)((x6) + (j6)) & (0xFFFFFFFFU)));-
154 x7 = (((u32)((x7) + (j7)) & (0xFFFFFFFFU)));-
155 x8 = (((u32)((x8) + (j8)) & (0xFFFFFFFFU)));-
156 x9 = (((u32)((x9) + (j9)) & (0xFFFFFFFFU)));-
157 x10 = (((u32)((x10) + (j10)) & (0xFFFFFFFFU)));-
158 x11 = (((u32)((x11) + (j11)) & (0xFFFFFFFFU)));-
159 x12 = (((u32)((x12) + (j12)) & (0xFFFFFFFFU)));-
160 x13 = (((u32)((x13) + (j13)) & (0xFFFFFFFFU)));-
161 x14 = (((u32)((x14) + (j14)) & (0xFFFFFFFFU)));-
162 x15 = (((u32)((x15) + (j15)) & (0xFFFFFFFFU)));-
163-
164 if (bytes < 64
bytes < 64Description
TRUEevaluated 292 times by 4 tests
Evaluated by:
  • aeadtest
  • chachatest
  • ssltest
  • tlstest
FALSEevaluated 244 times by 4 tests
Evaluated by:
  • aeadtest
  • chachatest
  • evptest
  • ssltest
) {		244-292
165 do { (x->ks + 0)[0] = ((u8)((x0)) & (0xFFU)); (x->ks + 0)[1] = ((u8)((x0) >> 8) & (0xFFU)); (x->ks + 0)[2] = ((u8)((x0) >> 16) & (0xFFU)); (x->ks + 0)[3] = ((u8)((x0) >> 24) & (0xFFU)); } while (0);-
166 do { (x->ks + 4)[0] = ((u8)((x1)) & (0xFFU)); (x->ks + 4)[1] = ((u8)((x1) >> 8) & (0xFFU)); (x->ks + 4)[2] = ((u8)((x1) >> 16) & (0xFFU)); (x->ks + 4)[3] = ((u8)((x1) >> 24) & (0xFFU)); } while (0);-
167 do { (x->ks + 8)[0] = ((u8)((x2)) & (0xFFU)); (x->ks + 8)[1] = ((u8)((x2) >> 8) & (0xFFU)); (x->ks + 8)[2] = ((u8)((x2) >> 16) & (0xFFU)); (x->ks + 8)[3] = ((u8)((x2) >> 24) & (0xFFU)); } while (0);-
168 do { (x->ks + 12)[0] = ((u8)((x3)) & (0xFFU)); (x->ks + 12)[1] = ((u8)((x3) >> 8) & (0xFFU)); (x->ks + 12)[2] = ((u8)((x3) >> 16) & (0xFFU)); (x->ks + 12)[3] = ((u8)((x3) >> 24) & (0xFFU)); } while (0);-
169 do { (x->ks + 16)[0] = ((u8)((x4)) & (0xFFU)); (x->ks + 16)[1] = ((u8)((x4) >> 8) & (0xFFU)); (x->ks + 16)[2] = ((u8)((x4) >> 16) & (0xFFU)); (x->ks + 16)[3] = ((u8)((x4) >> 24) & (0xFFU)); } while (0);-
170 do { (x->ks + 20)[0] = ((u8)((x5)) & (0xFFU)); (x->ks + 20)[1] = ((u8)((x5) >> 8) & (0xFFU)); (x->ks + 20)[2] = ((u8)((x5) >> 16) & (0xFFU)); (x->ks + 20)[3] = ((u8)((x5) >> 24) & (0xFFU)); } while (0);-
171 do { (x->ks + 24)[0] = ((u8)((x6)) & (0xFFU)); (x->ks + 24)[1] = ((u8)((x6) >> 8) & (0xFFU)); (x->ks + 24)[2] = ((u8)((x6) >> 16) & (0xFFU)); (x->ks + 24)[3] = ((u8)((x6) >> 24) & (0xFFU)); } while (0);-
172 do { (x->ks + 28)[0] = ((u8)((x7)) & (0xFFU)); (x->ks + 28)[1] = ((u8)((x7) >> 8) & (0xFFU)); (x->ks + 28)[2] = ((u8)((x7) >> 16) & (0xFFU)); (x->ks + 28)[3] = ((u8)((x7) >> 24) & (0xFFU)); } while (0);-
173 do { (x->ks + 32)[0] = ((u8)((x8)) & (0xFFU)); (x->ks + 32)[1] = ((u8)((x8) >> 8) & (0xFFU)); (x->ks + 32)[2] = ((u8)((x8) >> 16) & (0xFFU)); (x->ks + 32)[3] = ((u8)((x8) >> 24) & (0xFFU)); } while (0);-
174 do { (x->ks + 36)[0] = ((u8)((x9)) & (0xFFU)); (x->ks + 36)[1] = ((u8)((x9) >> 8) & (0xFFU)); (x->ks + 36)[2] = ((u8)((x9) >> 16) & (0xFFU)); (x->ks + 36)[3] = ((u8)((x9) >> 24) & (0xFFU)); } while (0);-
175 do { (x->ks + 40)[0] = ((u8)((x10)) & (0xFFU)); (x->ks + 40)[1] = ((u8)((x10) >> 8) & (0xFFU)); (x->ks + 40)[2] = ((u8)((x10) >> 16) & (0xFFU)); (x->ks + 40)[3] = ((u8)((x10) >> 24) & (0xFFU)); } while (0);-
176 do { (x->ks + 44)[0] = ((u8)((x11)) & (0xFFU)); (x->ks + 44)[1] = ((u8)((x11) >> 8) & (0xFFU)); (x->ks + 44)[2] = ((u8)((x11) >> 16) & (0xFFU)); (x->ks + 44)[3] = ((u8)((x11) >> 24) & (0xFFU)); } while (0);-
177 do { (x->ks + 48)[0] = ((u8)((x12)) & (0xFFU)); (x->ks + 48)[1] = ((u8)((x12) >> 8) & (0xFFU)); (x->ks + 48)[2] = ((u8)((x12) >> 16) & (0xFFU)); (x->ks + 48)[3] = ((u8)((x12) >> 24) & (0xFFU)); } while (0);-
178 do { (x->ks + 52)[0] = ((u8)((x13)) & (0xFFU)); (x->ks + 52)[1] = ((u8)((x13) >> 8) & (0xFFU)); (x->ks + 52)[2] = ((u8)((x13) >> 16) & (0xFFU)); (x->ks + 52)[3] = ((u8)((x13) >> 24) & (0xFFU)); } while (0);-
179 do { (x->ks + 56)[0] = ((u8)((x14)) & (0xFFU)); (x->ks + 56)[1] = ((u8)((x14) >> 8) & (0xFFU)); (x->ks + 56)[2] = ((u8)((x14) >> 16) & (0xFFU)); (x->ks + 56)[3] = ((u8)((x14) >> 24) & (0xFFU)); } while (0);-
180 do { (x->ks + 60)[0] = ((u8)((x15)) & (0xFFU)); (x->ks + 60)[1] = ((u8)((x15) >> 8) & (0xFFU)); (x->ks + 60)[2] = ((u8)((x15) >> 16) & (0xFFU)); (x->ks + 60)[3] = ((u8)((x15) >> 24) & (0xFFU)); } while (0);-
181 }
executed 292 times by 4 tests: end of block
Executed by:
  • aeadtest
  • chachatest
  • ssltest
  • tlstest
292
182-
183 x0 = ((x0) ^ ((((u32)((m + 0)[0])) | ((u32)((m + 0)[1]) << 8) | ((u32)((m + 0)[2]) << 16) | ((u32)((m + 0)[3]) << 24))));-
184 x1 = ((x1) ^ ((((u32)((m + 4)[0])) | ((u32)((m + 4)[1]) << 8) | ((u32)((m + 4)[2]) << 16) | ((u32)((m + 4)[3]) << 24))));-
185 x2 = ((x2) ^ ((((u32)((m + 8)[0])) | ((u32)((m + 8)[1]) << 8) | ((u32)((m + 8)[2]) << 16) | ((u32)((m + 8)[3]) << 24))));-
186 x3 = ((x3) ^ ((((u32)((m + 12)[0])) | ((u32)((m + 12)[1]) << 8) | ((u32)((m + 12)[2]) << 16) | ((u32)((m + 12)[3]) << 24))));-
187 x4 = ((x4) ^ ((((u32)((m + 16)[0])) | ((u32)((m + 16)[1]) << 8) | ((u32)((m + 16)[2]) << 16) | ((u32)((m + 16)[3]) << 24))));-
188 x5 = ((x5) ^ ((((u32)((m + 20)[0])) | ((u32)((m + 20)[1]) << 8) | ((u32)((m + 20)[2]) << 16) | ((u32)((m + 20)[3]) << 24))));-
189 x6 = ((x6) ^ ((((u32)((m + 24)[0])) | ((u32)((m + 24)[1]) << 8) | ((u32)((m + 24)[2]) << 16) | ((u32)((m + 24)[3]) << 24))));-
190 x7 = ((x7) ^ ((((u32)((m + 28)[0])) | ((u32)((m + 28)[1]) << 8) | ((u32)((m + 28)[2]) << 16) | ((u32)((m + 28)[3]) << 24))));-
191 x8 = ((x8) ^ ((((u32)((m + 32)[0])) | ((u32)((m + 32)[1]) << 8) | ((u32)((m + 32)[2]) << 16) | ((u32)((m + 32)[3]) << 24))));-
192 x9 = ((x9) ^ ((((u32)((m + 36)[0])) | ((u32)((m + 36)[1]) << 8) | ((u32)((m + 36)[2]) << 16) | ((u32)((m + 36)[3]) << 24))));-
193 x10 = ((x10) ^ ((((u32)((m + 40)[0])) | ((u32)((m + 40)[1]) << 8) | ((u32)((m + 40)[2]) << 16) | ((u32)((m + 40)[3]) << 24))));-
194 x11 = ((x11) ^ ((((u32)((m + 44)[0])) | ((u32)((m + 44)[1]) << 8) | ((u32)((m + 44)[2]) << 16) | ((u32)((m + 44)[3]) << 24))));-
195 x12 = ((x12) ^ ((((u32)((m + 48)[0])) | ((u32)((m + 48)[1]) << 8) | ((u32)((m + 48)[2]) << 16) | ((u32)((m + 48)[3]) << 24))));-
196 x13 = ((x13) ^ ((((u32)((m + 52)[0])) | ((u32)((m + 52)[1]) << 8) | ((u32)((m + 52)[2]) << 16) | ((u32)((m + 52)[3]) << 24))));-
197 x14 = ((x14) ^ ((((u32)((m + 56)[0])) | ((u32)((m + 56)[1]) << 8) | ((u32)((m + 56)[2]) << 16) | ((u32)((m + 56)[3]) << 24))));-
198 x15 = ((x15) ^ ((((u32)((m + 60)[0])) | ((u32)((m + 60)[1]) << 8) | ((u32)((m + 60)[2]) << 16) | ((u32)((m + 60)[3]) << 24))));-
199-
200 j12 = ((((u32)(((j12)) + (1)) & (0xFFFFFFFFU))));-
201 if (!j12
!j12Description
TRUEnever evaluated
FALSEevaluated 536 times by 5 tests
Evaluated by:
  • aeadtest
  • chachatest
  • evptest
  • ssltest
  • tlstest
) {		0-536
202 j13 = ((((u32)(((j13)) + (1)) & (0xFFFFFFFFU))));-
203-
204-
205-
206-
207 }
never executed: end of block
0
208-
209 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);-
210 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);-
211 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);-
212 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);-
213 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);-
214 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);-
215 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);-
216 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);-
217 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);-
218 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);-
219 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);-
220 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);-
221 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);-
222 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);-
223 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);-
224 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);-
225-
226 if (bytes <= 64
bytes <= 64Description
TRUEevaluated 368 times by 5 tests
Evaluated by:
  • aeadtest
  • chachatest
  • evptest
  • ssltest
  • tlstest
FALSEevaluated 168 times by 2 tests
Evaluated by:
  • aeadtest
  • ssltest
) {		168-368
227 if (bytes < 64
bytes < 64Description
TRUEevaluated 292 times by 4 tests
Evaluated by:
  • aeadtest
  • chachatest
  • ssltest
  • tlstest
FALSEevaluated 76 times by 3 tests
Evaluated by:
  • chachatest
  • evptest
  • ssltest
) {		76-292
228 for (i = 0; i < bytes
i < bytesDescription
TRUEevaluated 6916 times by 4 tests
Evaluated by:
  • aeadtest
  • chachatest
  • ssltest
  • tlstest
FALSEevaluated 292 times by 4 tests
Evaluated by:
  • aeadtest
  • chachatest
  • ssltest
  • tlstest
; ++i)		292-6916
229 ctarget[i] = c[i];
executed 6916 times by 4 tests: ctarget[i] = c[i];
Executed by:
  • aeadtest
  • chachatest
  • ssltest
  • tlstest
6916
230 }
executed 292 times by 4 tests: end of block
Executed by:
  • aeadtest
  • chachatest
  • ssltest
  • tlstest
292
231 x->input[12] = j12;-
232 x->input[13] = j13;-
233 x->unused = 64 - bytes;-
234 return;
executed 368 times by 5 tests: return;
Executed by:
  • aeadtest
  • chachatest
  • evptest
  • ssltest
  • tlstest
368
235 }-
236 bytes -= 64;-
237 c += 64;-
238 m += 64;-
239 }
executed 168 times by 2 tests: end of block
Executed by:
  • aeadtest
  • ssltest
168
240}
never executed: end of block
0
Switch to Source codePreprocessed file
Generated by Squish Coco 4.2.2