OpenCoverage

aria.c

Absolute File Name:

/home/opencoverage/opencoverage/guest-scripts/openssl/src/crypto/aria/aria.c

Switch to Source code

Preprocessed file

Line Source Count

1 -

2 -

3 static const uint32_t Key_RC[5][4] = { -

4 { 0x517cc1b7, 0x27220a94, 0xfe13abe8, 0xfa9a6ee0 }, -

5 { 0x6db14acc, 0x9e21c820, 0xff28b1d5, 0xef5de2b0 }, -

6 { 0xdb92371d, 0x2126e970, 0x03249775, 0x04e8c90e }, -

7 { 0x517cc1b7, 0x27220a94, 0xfe13abe8, 0xfa9a6ee0 }, -

8 { 0x6db14acc, 0x9e21c820, 0xff28b1d5, 0xef5de2b0 } -

9 }; -

10 -

11 -

12 static const uint32_t S1[256] = { -

13 0x00636363, 0x007c7c7c, 0x00777777, 0x007b7b7b, -

14 0x00f2f2f2, 0x006b6b6b, 0x006f6f6f, 0x00c5c5c5, -

15 0x00303030, 0x00010101, 0x00676767, 0x002b2b2b, -

16 0x00fefefe, 0x00d7d7d7, 0x00ababab, 0x00767676, -

17 0x00cacaca, 0x00828282, 0x00c9c9c9, 0x007d7d7d, -

18 0x00fafafa, 0x00595959, 0x00474747, 0x00f0f0f0, -

19 0x00adadad, 0x00d4d4d4, 0x00a2a2a2, 0x00afafaf, -

20 0x009c9c9c, 0x00a4a4a4, 0x00727272, 0x00c0c0c0, -

21 0x00b7b7b7, 0x00fdfdfd, 0x00939393, 0x00262626, -

22 0x00363636, 0x003f3f3f, 0x00f7f7f7, 0x00cccccc, -

23 0x00343434, 0x00a5a5a5, 0x00e5e5e5, 0x00f1f1f1, -

24 0x00717171, 0x00d8d8d8, 0x00313131, 0x00151515, -

25 0x00040404, 0x00c7c7c7, 0x00232323, 0x00c3c3c3, -

26 0x00181818, 0x00969696, 0x00050505, 0x009a9a9a, -

27 0x00070707, 0x00121212, 0x00808080, 0x00e2e2e2, -

28 0x00ebebeb, 0x00272727, 0x00b2b2b2, 0x00757575, -

29 0x00090909, 0x00838383, 0x002c2c2c, 0x001a1a1a, -

30 0x001b1b1b, 0x006e6e6e, 0x005a5a5a, 0x00a0a0a0, -

31 0x00525252, 0x003b3b3b, 0x00d6d6d6, 0x00b3b3b3, -

32 0x00292929, 0x00e3e3e3, 0x002f2f2f, 0x00848484, -

33 0x00535353, 0x00d1d1d1, 0x00000000, 0x00ededed, -

34 0x00202020, 0x00fcfcfc, 0x00b1b1b1, 0x005b5b5b, -

35 0x006a6a6a, 0x00cbcbcb, 0x00bebebe, 0x00393939, -

36 0x004a4a4a, 0x004c4c4c, 0x00585858, 0x00cfcfcf, -

37 0x00d0d0d0, 0x00efefef, 0x00aaaaaa, 0x00fbfbfb, -

38 0x00434343, 0x004d4d4d, 0x00333333, 0x00858585, -

39 0x00454545, 0x00f9f9f9, 0x00020202, 0x007f7f7f, -

40 0x00505050, 0x003c3c3c, 0x009f9f9f, 0x00a8a8a8, -

41 0x00515151, 0x00a3a3a3, 0x00404040, 0x008f8f8f, -

42 0x00929292, 0x009d9d9d, 0x00383838, 0x00f5f5f5, -

43 0x00bcbcbc, 0x00b6b6b6, 0x00dadada, 0x00212121, -

44 0x00101010, 0x00ffffff, 0x00f3f3f3, 0x00d2d2d2, -

45 0x00cdcdcd, 0x000c0c0c, 0x00131313, 0x00ececec, -

46 0x005f5f5f, 0x00979797, 0x00444444, 0x00171717, -

47 0x00c4c4c4, 0x00a7a7a7, 0x007e7e7e, 0x003d3d3d, -

48 0x00646464, 0x005d5d5d, 0x00191919, 0x00737373, -

49 0x00606060, 0x00818181, 0x004f4f4f, 0x00dcdcdc, -

50 0x00222222, 0x002a2a2a, 0x00909090, 0x00888888, -

51 0x00464646, 0x00eeeeee, 0x00b8b8b8, 0x00141414, -

52 0x00dedede, 0x005e5e5e, 0x000b0b0b, 0x00dbdbdb, -

53 0x00e0e0e0, 0x00323232, 0x003a3a3a, 0x000a0a0a, -

54 0x00494949, 0x00060606, 0x00242424, 0x005c5c5c, -

55 0x00c2c2c2, 0x00d3d3d3, 0x00acacac, 0x00626262, -

56 0x00919191, 0x00959595, 0x00e4e4e4, 0x00797979, -

57 0x00e7e7e7, 0x00c8c8c8, 0x00373737, 0x006d6d6d, -

58 0x008d8d8d, 0x00d5d5d5, 0x004e4e4e, 0x00a9a9a9, -

59 0x006c6c6c, 0x00565656, 0x00f4f4f4, 0x00eaeaea, -

60 0x00656565, 0x007a7a7a, 0x00aeaeae, 0x00080808, -

61 0x00bababa, 0x00787878, 0x00252525, 0x002e2e2e, -

62 0x001c1c1c, 0x00a6a6a6, 0x00b4b4b4, 0x00c6c6c6, -

63 0x00e8e8e8, 0x00dddddd, 0x00747474, 0x001f1f1f, -

64 0x004b4b4b, 0x00bdbdbd, 0x008b8b8b, 0x008a8a8a, -

65 0x00707070, 0x003e3e3e, 0x00b5b5b5, 0x00666666, -

66 0x00484848, 0x00030303, 0x00f6f6f6, 0x000e0e0e, -

67 0x00616161, 0x00353535, 0x00575757, 0x00b9b9b9, -

68 0x00868686, 0x00c1c1c1, 0x001d1d1d, 0x009e9e9e, -

69 0x00e1e1e1, 0x00f8f8f8, 0x00989898, 0x00111111, -

70 0x00696969, 0x00d9d9d9, 0x008e8e8e, 0x00949494, -

71 0x009b9b9b, 0x001e1e1e, 0x00878787, 0x00e9e9e9, -

72 0x00cecece, 0x00555555, 0x00282828, 0x00dfdfdf, -

73 0x008c8c8c, 0x00a1a1a1, 0x00898989, 0x000d0d0d, -

74 0x00bfbfbf, 0x00e6e6e6, 0x00424242, 0x00686868, -

75 0x00414141, 0x00999999, 0x002d2d2d, 0x000f0f0f, -

76 0x00b0b0b0, 0x00545454, 0x00bbbbbb, 0x00161616 -

77 }; -

78 -

79 static const uint32_t S2[256] = { -

80 0xe200e2e2, 0x4e004e4e, 0x54005454, 0xfc00fcfc, -

81 0x94009494, 0xc200c2c2, 0x4a004a4a, 0xcc00cccc, -

82 0x62006262, 0x0d000d0d, 0x6a006a6a, 0x46004646, -

83 0x3c003c3c, 0x4d004d4d, 0x8b008b8b, 0xd100d1d1, -

84 0x5e005e5e, 0xfa00fafa, 0x64006464, 0xcb00cbcb, -

85 0xb400b4b4, 0x97009797, 0xbe00bebe, 0x2b002b2b, -

86 0xbc00bcbc, 0x77007777, 0x2e002e2e, 0x03000303, -

87 0xd300d3d3, 0x19001919, 0x59005959, 0xc100c1c1, -

88 0x1d001d1d, 0x06000606, 0x41004141, 0x6b006b6b, -

89 0x55005555, 0xf000f0f0, 0x99009999, 0x69006969, -

90 0xea00eaea, 0x9c009c9c, 0x18001818, 0xae00aeae, -

91 0x63006363, 0xdf00dfdf, 0xe700e7e7, 0xbb00bbbb, -

92 0x00000000, 0x73007373, 0x66006666, 0xfb00fbfb, -

93 0x96009696, 0x4c004c4c, 0x85008585, 0xe400e4e4, -

94 0x3a003a3a, 0x09000909, 0x45004545, 0xaa00aaaa, -

95 0x0f000f0f, 0xee00eeee, 0x10001010, 0xeb00ebeb, -

96 0x2d002d2d, 0x7f007f7f, 0xf400f4f4, 0x29002929, -

97 0xac00acac, 0xcf00cfcf, 0xad00adad, 0x91009191, -

98 0x8d008d8d, 0x78007878, 0xc800c8c8, 0x95009595, -

99 0xf900f9f9, 0x2f002f2f, 0xce00cece, 0xcd00cdcd, -

100 0x08000808, 0x7a007a7a, 0x88008888, 0x38003838, -

101 0x5c005c5c, 0x83008383, 0x2a002a2a, 0x28002828, -

102 0x47004747, 0xdb00dbdb, 0xb800b8b8, 0xc700c7c7, -

103 0x93009393, 0xa400a4a4, 0x12001212, 0x53005353, -

104 0xff00ffff, 0x87008787, 0x0e000e0e, 0x31003131, -

105 0x36003636, 0x21002121, 0x58005858, 0x48004848, -

106 0x01000101, 0x8e008e8e, 0x37003737, 0x74007474, -

107 0x32003232, 0xca00caca, 0xe900e9e9, 0xb100b1b1, -

108 0xb700b7b7, 0xab00abab, 0x0c000c0c, 0xd700d7d7, -

109 0xc400c4c4, 0x56005656, 0x42004242, 0x26002626, -

110 0x07000707, 0x98009898, 0x60006060, 0xd900d9d9, -

111 0xb600b6b6, 0xb900b9b9, 0x11001111, 0x40004040, -

112 0xec00ecec, 0x20002020, 0x8c008c8c, 0xbd00bdbd, -

113 0xa000a0a0, 0xc900c9c9, 0x84008484, 0x04000404, -

114 0x49004949, 0x23002323, 0xf100f1f1, 0x4f004f4f, -

115 0x50005050, 0x1f001f1f, 0x13001313, 0xdc00dcdc, -

116 0xd800d8d8, 0xc000c0c0, 0x9e009e9e, 0x57005757, -

117 0xe300e3e3, 0xc300c3c3, 0x7b007b7b, 0x65006565, -

118 0x3b003b3b, 0x02000202, 0x8f008f8f, 0x3e003e3e, -

119 0xe800e8e8, 0x25002525, 0x92009292, 0xe500e5e5, -

120 0x15001515, 0xdd00dddd, 0xfd00fdfd, 0x17001717, -

121 0xa900a9a9, 0xbf00bfbf, 0xd400d4d4, 0x9a009a9a, -

122 0x7e007e7e, 0xc500c5c5, 0x39003939, 0x67006767, -

123 0xfe00fefe, 0x76007676, 0x9d009d9d, 0x43004343, -

124 0xa700a7a7, 0xe100e1e1, 0xd000d0d0, 0xf500f5f5, -

125 0x68006868, 0xf200f2f2, 0x1b001b1b, 0x34003434, -

126 0x70007070, 0x05000505, 0xa300a3a3, 0x8a008a8a, -

127 0xd500d5d5, 0x79007979, 0x86008686, 0xa800a8a8, -

128 0x30003030, 0xc600c6c6, 0x51005151, 0x4b004b4b, -

129 0x1e001e1e, 0xa600a6a6, 0x27002727, 0xf600f6f6, -

130 0x35003535, 0xd200d2d2, 0x6e006e6e, 0x24002424, -

131 0x16001616, 0x82008282, 0x5f005f5f, 0xda00dada, -

132 0xe600e6e6, 0x75007575, 0xa200a2a2, 0xef00efef, -

133 0x2c002c2c, 0xb200b2b2, 0x1c001c1c, 0x9f009f9f, -

134 0x5d005d5d, 0x6f006f6f, 0x80008080, 0x0a000a0a, -

135 0x72007272, 0x44004444, 0x9b009b9b, 0x6c006c6c, -

136 0x90009090, 0x0b000b0b, 0x5b005b5b, 0x33003333, -

137 0x7d007d7d, 0x5a005a5a, 0x52005252, 0xf300f3f3, -

138 0x61006161, 0xa100a1a1, 0xf700f7f7, 0xb000b0b0, -

139 0xd600d6d6, 0x3f003f3f, 0x7c007c7c, 0x6d006d6d, -

140 0xed00eded, 0x14001414, 0xe000e0e0, 0xa500a5a5, -

141 0x3d003d3d, 0x22002222, 0xb300b3b3, 0xf800f8f8, -

142 0x89008989, 0xde00dede, 0x71007171, 0x1a001a1a, -

143 0xaf00afaf, 0xba00baba, 0xb500b5b5, 0x81008181 -

144 }; -

145 -

146 static const uint32_t X1[256] = { -

147 0x52520052, 0x09090009, 0x6a6a006a, 0xd5d500d5, -

148 0x30300030, 0x36360036, 0xa5a500a5, 0x38380038, -

149 0xbfbf00bf, 0x40400040, 0xa3a300a3, 0x9e9e009e, -

150 0x81810081, 0xf3f300f3, 0xd7d700d7, 0xfbfb00fb, -

151 0x7c7c007c, 0xe3e300e3, 0x39390039, 0x82820082, -

152 0x9b9b009b, 0x2f2f002f, 0xffff00ff, 0x87870087, -

153 0x34340034, 0x8e8e008e, 0x43430043, 0x44440044, -

154 0xc4c400c4, 0xdede00de, 0xe9e900e9, 0xcbcb00cb, -

155 0x54540054, 0x7b7b007b, 0x94940094, 0x32320032, -

156 0xa6a600a6, 0xc2c200c2, 0x23230023, 0x3d3d003d, -

157 0xeeee00ee, 0x4c4c004c, 0x95950095, 0x0b0b000b, -

158 0x42420042, 0xfafa00fa, 0xc3c300c3, 0x4e4e004e, -

159 0x08080008, 0x2e2e002e, 0xa1a100a1, 0x66660066, -

160 0x28280028, 0xd9d900d9, 0x24240024, 0xb2b200b2, -

161 0x76760076, 0x5b5b005b, 0xa2a200a2, 0x49490049, -

162 0x6d6d006d, 0x8b8b008b, 0xd1d100d1, 0x25250025, -

163 0x72720072, 0xf8f800f8, 0xf6f600f6, 0x64640064, -

164 0x86860086, 0x68680068, 0x98980098, 0x16160016, -

165 0xd4d400d4, 0xa4a400a4, 0x5c5c005c, 0xcccc00cc, -

166 0x5d5d005d, 0x65650065, 0xb6b600b6, 0x92920092, -

167 0x6c6c006c, 0x70700070, 0x48480048, 0x50500050, -

168 0xfdfd00fd, 0xeded00ed, 0xb9b900b9, 0xdada00da, -

169 0x5e5e005e, 0x15150015, 0x46460046, 0x57570057, -

170 0xa7a700a7, 0x8d8d008d, 0x9d9d009d, 0x84840084, -

171 0x90900090, 0xd8d800d8, 0xabab00ab, 0x00000000, -

172 0x8c8c008c, 0xbcbc00bc, 0xd3d300d3, 0x0a0a000a, -

173 0xf7f700f7, 0xe4e400e4, 0x58580058, 0x05050005, -

174 0xb8b800b8, 0xb3b300b3, 0x45450045, 0x06060006, -

175 0xd0d000d0, 0x2c2c002c, 0x1e1e001e, 0x8f8f008f, -

176 0xcaca00ca, 0x3f3f003f, 0x0f0f000f, 0x02020002, -

177 0xc1c100c1, 0xafaf00af, 0xbdbd00bd, 0x03030003, -

178 0x01010001, 0x13130013, 0x8a8a008a, 0x6b6b006b, -

179 0x3a3a003a, 0x91910091, 0x11110011, 0x41410041, -

180 0x4f4f004f, 0x67670067, 0xdcdc00dc, 0xeaea00ea, -

181 0x97970097, 0xf2f200f2, 0xcfcf00cf, 0xcece00ce, -

182 0xf0f000f0, 0xb4b400b4, 0xe6e600e6, 0x73730073, -

183 0x96960096, 0xacac00ac, 0x74740074, 0x22220022, -

184 0xe7e700e7, 0xadad00ad, 0x35350035, 0x85850085, -

185 0xe2e200e2, 0xf9f900f9, 0x37370037, 0xe8e800e8, -

186 0x1c1c001c, 0x75750075, 0xdfdf00df, 0x6e6e006e, -

187 0x47470047, 0xf1f100f1, 0x1a1a001a, 0x71710071, -

188 0x1d1d001d, 0x29290029, 0xc5c500c5, 0x89890089, -

189 0x6f6f006f, 0xb7b700b7, 0x62620062, 0x0e0e000e, -

190 0xaaaa00aa, 0x18180018, 0xbebe00be, 0x1b1b001b, -

191 0xfcfc00fc, 0x56560056, 0x3e3e003e, 0x4b4b004b, -

192 0xc6c600c6, 0xd2d200d2, 0x79790079, 0x20200020, -

193 0x9a9a009a, 0xdbdb00db, 0xc0c000c0, 0xfefe00fe, -

194 0x78780078, 0xcdcd00cd, 0x5a5a005a, 0xf4f400f4, -

195 0x1f1f001f, 0xdddd00dd, 0xa8a800a8, 0x33330033, -

196 0x88880088, 0x07070007, 0xc7c700c7, 0x31310031, -

197 0xb1b100b1, 0x12120012, 0x10100010, 0x59590059, -

198 0x27270027, 0x80800080, 0xecec00ec, 0x5f5f005f, -

199 0x60600060, 0x51510051, 0x7f7f007f, 0xa9a900a9, -

200 0x19190019, 0xb5b500b5, 0x4a4a004a, 0x0d0d000d, -

201 0x2d2d002d, 0xe5e500e5, 0x7a7a007a, 0x9f9f009f, -

202 0x93930093, 0xc9c900c9, 0x9c9c009c, 0xefef00ef, -

203 0xa0a000a0, 0xe0e000e0, 0x3b3b003b, 0x4d4d004d, -

204 0xaeae00ae, 0x2a2a002a, 0xf5f500f5, 0xb0b000b0, -

205 0xc8c800c8, 0xebeb00eb, 0xbbbb00bb, 0x3c3c003c, -

206 0x83830083, 0x53530053, 0x99990099, 0x61610061, -

207 0x17170017, 0x2b2b002b, 0x04040004, 0x7e7e007e, -

208 0xbaba00ba, 0x77770077, 0xd6d600d6, 0x26260026, -

209 0xe1e100e1, 0x69690069, 0x14140014, 0x63630063, -

210 0x55550055, 0x21210021, 0x0c0c000c, 0x7d7d007d -

211 }; -

212 -

213 static const uint32_t X2[256] = { -

214 0x30303000, 0x68686800, 0x99999900, 0x1b1b1b00, -

215 0x87878700, 0xb9b9b900, 0x21212100, 0x78787800, -

216 0x50505000, 0x39393900, 0xdbdbdb00, 0xe1e1e100, -

217 0x72727200, 0x09090900, 0x62626200, 0x3c3c3c00, -

218 0x3e3e3e00, 0x7e7e7e00, 0x5e5e5e00, 0x8e8e8e00, -

219 0xf1f1f100, 0xa0a0a000, 0xcccccc00, 0xa3a3a300, -

220 0x2a2a2a00, 0x1d1d1d00, 0xfbfbfb00, 0xb6b6b600, -

221 0xd6d6d600, 0x20202000, 0xc4c4c400, 0x8d8d8d00, -

222 0x81818100, 0x65656500, 0xf5f5f500, 0x89898900, -

223 0xcbcbcb00, 0x9d9d9d00, 0x77777700, 0xc6c6c600, -

224 0x57575700, 0x43434300, 0x56565600, 0x17171700, -

225 0xd4d4d400, 0x40404000, 0x1a1a1a00, 0x4d4d4d00, -

226 0xc0c0c000, 0x63636300, 0x6c6c6c00, 0xe3e3e300, -

227 0xb7b7b700, 0xc8c8c800, 0x64646400, 0x6a6a6a00, -

228 0x53535300, 0xaaaaaa00, 0x38383800, 0x98989800, -

229 0x0c0c0c00, 0xf4f4f400, 0x9b9b9b00, 0xededed00, -

230 0x7f7f7f00, 0x22222200, 0x76767600, 0xafafaf00, -

231 0xdddddd00, 0x3a3a3a00, 0x0b0b0b00, 0x58585800, -

232 0x67676700, 0x88888800, 0x06060600, 0xc3c3c300, -

233 0x35353500, 0x0d0d0d00, 0x01010100, 0x8b8b8b00, -

234 0x8c8c8c00, 0xc2c2c200, 0xe6e6e600, 0x5f5f5f00, -

235 0x02020200, 0x24242400, 0x75757500, 0x93939300, -

236 0x66666600, 0x1e1e1e00, 0xe5e5e500, 0xe2e2e200, -

237 0x54545400, 0xd8d8d800, 0x10101000, 0xcecece00, -

238 0x7a7a7a00, 0xe8e8e800, 0x08080800, 0x2c2c2c00, -

239 0x12121200, 0x97979700, 0x32323200, 0xababab00, -

240 0xb4b4b400, 0x27272700, 0x0a0a0a00, 0x23232300, -

241 0xdfdfdf00, 0xefefef00, 0xcacaca00, 0xd9d9d900, -

242 0xb8b8b800, 0xfafafa00, 0xdcdcdc00, 0x31313100, -

243 0x6b6b6b00, 0xd1d1d100, 0xadadad00, 0x19191900, -

244 0x49494900, 0xbdbdbd00, 0x51515100, 0x96969600, -

245 0xeeeeee00, 0xe4e4e400, 0xa8a8a800, 0x41414100, -

246 0xdadada00, 0xffffff00, 0xcdcdcd00, 0x55555500, -

247 0x86868600, 0x36363600, 0xbebebe00, 0x61616100, -

248 0x52525200, 0xf8f8f800, 0xbbbbbb00, 0x0e0e0e00, -

249 0x82828200, 0x48484800, 0x69696900, 0x9a9a9a00, -

250 0xe0e0e000, 0x47474700, 0x9e9e9e00, 0x5c5c5c00, -

251 0x04040400, 0x4b4b4b00, 0x34343400, 0x15151500, -

252 0x79797900, 0x26262600, 0xa7a7a700, 0xdedede00, -

253 0x29292900, 0xaeaeae00, 0x92929200, 0xd7d7d700, -

254 0x84848400, 0xe9e9e900, 0xd2d2d200, 0xbababa00, -

255 0x5d5d5d00, 0xf3f3f300, 0xc5c5c500, 0xb0b0b000, -

256 0xbfbfbf00, 0xa4a4a400, 0x3b3b3b00, 0x71717100, -

257 0x44444400, 0x46464600, 0x2b2b2b00, 0xfcfcfc00, -

258 0xebebeb00, 0x6f6f6f00, 0xd5d5d500, 0xf6f6f600, -

259 0x14141400, 0xfefefe00, 0x7c7c7c00, 0x70707000, -

260 0x5a5a5a00, 0x7d7d7d00, 0xfdfdfd00, 0x2f2f2f00, -

261 0x18181800, 0x83838300, 0x16161600, 0xa5a5a500, -

262 0x91919100, 0x1f1f1f00, 0x05050500, 0x95959500, -

263 0x74747400, 0xa9a9a900, 0xc1c1c100, 0x5b5b5b00, -

264 0x4a4a4a00, 0x85858500, 0x6d6d6d00, 0x13131300, -

265 0x07070700, 0x4f4f4f00, 0x4e4e4e00, 0x45454500, -

266 0xb2b2b200, 0x0f0f0f00, 0xc9c9c900, 0x1c1c1c00, -

267 0xa6a6a600, 0xbcbcbc00, 0xececec00, 0x73737300, -

268 0x90909000, 0x7b7b7b00, 0xcfcfcf00, 0x59595900, -

269 0x8f8f8f00, 0xa1a1a100, 0xf9f9f900, 0x2d2d2d00, -

270 0xf2f2f200, 0xb1b1b100, 0x00000000, 0x94949400, -

271 0x37373700, 0x9f9f9f00, 0xd0d0d000, 0x2e2e2e00, -

272 0x9c9c9c00, 0x6e6e6e00, 0x28282800, 0x3f3f3f00, -

273 0x80808000, 0xf0f0f000, 0x3d3d3d00, 0xd3d3d300, -

274 0x25252500, 0x8a8a8a00, 0xb5b5b500, 0xe7e7e700, -

275 0x42424200, 0xb3b3b300, 0xc7c7c700, 0xeaeaea00, -

276 0xf7f7f700, 0x4c4c4c00, 0x11111100, 0x33333300, -

277 0x03030300, 0xa2a2a200, 0xacacac00, 0x60606000 -

278 }; -

279 void aria_encrypt(const unsigned char *in, unsigned char *out, -

280 const ARIA_KEY *key) -

281 { -

282 register uint32_t reg0, reg1, reg2, reg3; -

283 int Nr; -

284 const ARIA_u128 *rk; -

285 -

286

if (in ==

in == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 386162 times by 1 test Evaluated by: libcrypto.so.1.1

0-386162

287

((void *)0)

in == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 386162 times by 1 test Evaluated by: libcrypto.so.1.1

0-386162

288

|| out ==

out == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 386162 times by 1 test Evaluated by: libcrypto.so.1.1

0-386162

289

((void *)0)

out == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 386162 times by 1 test Evaluated by: libcrypto.so.1.1

0-386162

290

|| key ==

key == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 386162 times by 1 test Evaluated by: libcrypto.so.1.1

0-386162

291

((void *)0)

key == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 386162 times by 1 test Evaluated by: libcrypto.so.1.1

0-386162

292 ) { -

293

return;

never executed: return;

294 } -

295 -

296 rk = key->rd_key; -

297 Nr = key->rounds; -

298 -

299

if (Nr != 12

Nr != 12	Description
TRUE	evaluated 253303 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 132859 times by 1 test Evaluated by: libcrypto.so.1.1

&& Nr != 14

Nr != 14	Description
TRUE	evaluated 131059 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 122244 times by 1 test Evaluated by: libcrypto.so.1.1

&& Nr != 16

Nr != 16	Description
TRUE	never evaluated
FALSE	evaluated 131059 times by 1 test Evaluated by: libcrypto.so.1.1

) {

0-253303

300

return;

never executed: return;

301 } -

302 -

303 reg0 = ( ((uint32_t)((const uint8_t *)(in))[0 * 4 ] << 24) ^ ((uint32_t)((const uint8_t *)(in))[0 * 4 + 1] << 16) ^ ((uint32_t)((const uint8_t *)(in))[0 * 4 + 2] << 8) ^ ((uint32_t)((const uint8_t *)(in))[0 * 4 + 3] ) ); -

304 reg1 = ( ((uint32_t)((const uint8_t *)(in))[1 * 4 ] << 24) ^ ((uint32_t)((const uint8_t *)(in))[1 * 4 + 1] << 16) ^ ((uint32_t)((const uint8_t *)(in))[1 * 4 + 2] << 8) ^ ((uint32_t)((const uint8_t *)(in))[1 * 4 + 3] ) ); -

305 reg2 = ( ((uint32_t)((const uint8_t *)(in))[2 * 4 ] << 24) ^ ((uint32_t)((const uint8_t *)(in))[2 * 4 + 1] << 16) ^ ((uint32_t)((const uint8_t *)(in))[2 * 4 + 2] << 8) ^ ((uint32_t)((const uint8_t *)(in))[2 * 4 + 3] ) ); -

306 reg3 = ( ((uint32_t)((const uint8_t *)(in))[3 * 4 ] << 24) ^ ((uint32_t)((const uint8_t *)(in))[3 * 4 + 1] << 16) ^ ((uint32_t)((const uint8_t *)(in))[3 * 4 + 2] << 8) ^ ((uint32_t)((const uint8_t *)(in))[3 * 4 + 3] ) ); -

307 -

308 do { (reg0) ^= (rk)->u[0]; (reg1) ^= (rk)->u[1]; (reg2) ^= (rk)->u[2]; (reg3) ^= (rk)->u[3]; } while(0); -

309 rk++; -

310 -

311 do { do { (reg0) = S1[((uint8_t)((reg0) >> ((3 - 0) * 8)))] ^ S2[((uint8_t)((reg0) >> ((3 - 1) * 8)))] ^ X1[((uint8_t)((reg0) >> ((3 - 2) * 8)))] ^ X2[((uint8_t)((reg0) >> ((3 - 3) * 8)))]; (reg1) = S1[((uint8_t)((reg1) >> ((3 - 0) * 8)))] ^ S2[((uint8_t)((reg1) >> ((3 - 1) * 8)))] ^ X1[((uint8_t)((reg1) >> ((3 - 2) * 8)))] ^ X2[((uint8_t)((reg1) >> ((3 - 3) * 8)))]; (reg2) = S1[((uint8_t)((reg2) >> ((3 - 0) * 8)))] ^ S2[((uint8_t)((reg2) >> ((3 - 1) * 8)))] ^ X1[((uint8_t)((reg2) >> ((3 - 2) * 8)))] ^ X2[((uint8_t)((reg2) >> ((3 - 3) * 8)))]; (reg3) = S1[((uint8_t)((reg3) >> ((3 - 0) * 8)))] ^ S2[((uint8_t)((reg3) >> ((3 - 1) * 8)))] ^ X1[((uint8_t)((reg3) >> ((3 - 2) * 8)))] ^ X2[((uint8_t)((reg3) >> ((3 - 3) * 8)))]; } while(0); do { (reg1) ^= (reg2); (reg2) ^= (reg3); (reg0) ^= (reg1); (reg3) ^= (reg1); (reg2) ^= (reg0); (reg1) ^= (reg2); } while(0); do { (reg1) = (((reg1) << 8) & 0xff00ff00) ^ (((reg1) >> 8) & 0x00ff00ff); (reg2) = (((uint32_t)(reg2) >> (16)) | ((uint32_t)(reg2) << (32 - 16))); (reg3) = (((reg3) << 24) ^ ((reg3) >> 24) ^ (((reg3) & 0x0000ff00) << 8) ^ (((reg3) & 0x00ff0000) >> 8)); } while(0); do { (reg1) ^= (reg2); (reg2) ^= (reg3); (reg0) ^= (reg1); (reg3) ^= (reg1); (reg2) ^= (reg0); (reg1) ^= (reg2); } while(0); } while(0); -

312 do { (reg0) ^= (rk)->u[0]; (reg1) ^= (rk)->u[1]; (reg2) ^= (rk)->u[2]; (reg3) ^= (rk)->u[3]; } while(0); -

313 rk++; -

314 -

315

while(Nr -= 2

Nr -= 2	Description
TRUE	evaluated 2315172 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 386162 times by 1 test Evaluated by: libcrypto.so.1.1

){

386162-2315172

316 do { do { (reg0) = X1[((uint8_t)((reg0) >> ((3 - 0) * 8)))] ^ X2[((uint8_t)((reg0) >> ((3 - 1) * 8)))] ^ S1[((uint8_t)((reg0) >> ((3 - 2) * 8)))] ^ S2[((uint8_t)((reg0) >> ((3 - 3) * 8)))]; (reg1) = X1[((uint8_t)((reg1) >> ((3 - 0) * 8)))] ^ X2[((uint8_t)((reg1) >> ((3 - 1) * 8)))] ^ S1[((uint8_t)((reg1) >> ((3 - 2) * 8)))] ^ S2[((uint8_t)((reg1) >> ((3 - 3) * 8)))]; (reg2) = X1[((uint8_t)((reg2) >> ((3 - 0) * 8)))] ^ X2[((uint8_t)((reg2) >> ((3 - 1) * 8)))] ^ S1[((uint8_t)((reg2) >> ((3 - 2) * 8)))] ^ S2[((uint8_t)((reg2) >> ((3 - 3) * 8)))]; (reg3) = X1[((uint8_t)((reg3) >> ((3 - 0) * 8)))] ^ X2[((uint8_t)((reg3) >> ((3 - 1) * 8)))] ^ S1[((uint8_t)((reg3) >> ((3 - 2) * 8)))] ^ S2[((uint8_t)((reg3) >> ((3 - 3) * 8)))]; } while(0); do { (reg1) ^= (reg2); (reg2) ^= (reg3); (reg0) ^= (reg1); (reg3) ^= (reg1); (reg2) ^= (reg0); (reg1) ^= (reg2); } while(0); do { (reg3) = (((reg3) << 8) & 0xff00ff00) ^ (((reg3) >> 8) & 0x00ff00ff); (reg0) = (((uint32_t)(reg0) >> (16)) | ((uint32_t)(reg0) << (32 - 16))); (reg1) = (((reg1) << 24) ^ ((reg1) >> 24) ^ (((reg1) & 0x0000ff00) << 8) ^ (((reg1) & 0x00ff0000) >> 8)); } while(0); do { (reg1) ^= (reg2); (reg2) ^= (reg3); (reg0) ^= (reg1); (reg3) ^= (reg1); (reg2) ^= (reg0); (reg1) ^= (reg2); } while(0); } while(0); -

317 do { (reg0) ^= (rk)->u[0]; (reg1) ^= (rk)->u[1]; (reg2) ^= (rk)->u[2]; (reg3) ^= (rk)->u[3]; } while(0); -

318 rk++; -

319 -

320 do { do { (reg0) = S1[((uint8_t)((reg0) >> ((3 - 0) * 8)))] ^ S2[((uint8_t)((reg0) >> ((3 - 1) * 8)))] ^ X1[((uint8_t)((reg0) >> ((3 - 2) * 8)))] ^ X2[((uint8_t)((reg0) >> ((3 - 3) * 8)))]; (reg1) = S1[((uint8_t)((reg1) >> ((3 - 0) * 8)))] ^ S2[((uint8_t)((reg1) >> ((3 - 1) * 8)))] ^ X1[((uint8_t)((reg1) >> ((3 - 2) * 8)))] ^ X2[((uint8_t)((reg1) >> ((3 - 3) * 8)))]; (reg2) = S1[((uint8_t)((reg2) >> ((3 - 0) * 8)))] ^ S2[((uint8_t)((reg2) >> ((3 - 1) * 8)))] ^ X1[((uint8_t)((reg2) >> ((3 - 2) * 8)))] ^ X2[((uint8_t)((reg2) >> ((3 - 3) * 8)))]; (reg3) = S1[((uint8_t)((reg3) >> ((3 - 0) * 8)))] ^ S2[((uint8_t)((reg3) >> ((3 - 1) * 8)))] ^ X1[((uint8_t)((reg3) >> ((3 - 2) * 8)))] ^ X2[((uint8_t)((reg3) >> ((3 - 3) * 8)))]; } while(0); do { (reg1) ^= (reg2); (reg2) ^= (reg3); (reg0) ^= (reg1); (reg3) ^= (reg1); (reg2) ^= (reg0); (reg1) ^= (reg2); } while(0); do { (reg1) = (((reg1) << 8) & 0xff00ff00) ^ (((reg1) >> 8) & 0x00ff00ff); (reg2) = (((uint32_t)(reg2) >> (16)) | ((uint32_t)(reg2) << (32 - 16))); (reg3) = (((reg3) << 24) ^ ((reg3) >> 24) ^ (((reg3) & 0x0000ff00) << 8) ^ (((reg3) & 0x00ff0000) >> 8)); } while(0); do { (reg1) ^= (reg2); (reg2) ^= (reg3); (reg0) ^= (reg1); (reg3) ^= (reg1); (reg2) ^= (reg0); (reg1) ^= (reg2); } while(0); } while(0); -

321 do { (reg0) ^= (rk)->u[0]; (reg1) ^= (rk)->u[1]; (reg2) ^= (rk)->u[2]; (reg3) ^= (rk)->u[3]; } while(0); -

322 rk++; -

323

}

executed 2315172 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

2315172

324 -

325 reg0 = rk->u[0] ^ ( ((uint32_t)((uint8_t)((uint8_t)(X1[((uint8_t)((reg0) >> ((3 - 0) * 8)))] ))) << 24) | ((uint32_t)((uint8_t)((uint8_t)(X2[((uint8_t)((reg0) >> ((3 - 1) * 8)))] >> 8))) << 16) | ((uint32_t)((uint8_t)((uint8_t)(S1[((uint8_t)((reg0) >> ((3 - 2) * 8)))] ))) << 8) | ((uint32_t)((uint8_t)((uint8_t)(S2[((uint8_t)((reg0) >> ((3 - 3) * 8)))] ))) ) ) -

326 -

327 -

328 -

329 ; -

330 reg1 = rk->u[1] ^ ( ((uint32_t)((uint8_t)((uint8_t)(X1[((uint8_t)((reg1) >> ((3 - 0) * 8)))] ))) << 24) | ((uint32_t)((uint8_t)((uint8_t)(X2[((uint8_t)((reg1) >> ((3 - 1) * 8)))] >> 8))) << 16) | ((uint32_t)((uint8_t)((uint8_t)(S1[((uint8_t)((reg1) >> ((3 - 2) * 8)))] ))) << 8) | ((uint32_t)((uint8_t)((uint8_t)(S2[((uint8_t)((reg1) >> ((3 - 3) * 8)))] ))) ) ) -

331 -

332 -

333 -

334 ; -

335 reg2 = rk->u[2] ^ ( ((uint32_t)((uint8_t)((uint8_t)(X1[((uint8_t)((reg2) >> ((3 - 0) * 8)))] ))) << 24) | ((uint32_t)((uint8_t)((uint8_t)(X2[((uint8_t)((reg2) >> ((3 - 1) * 8)))] >> 8))) << 16) | ((uint32_t)((uint8_t)((uint8_t)(S1[((uint8_t)((reg2) >> ((3 - 2) * 8)))] ))) << 8) | ((uint32_t)((uint8_t)((uint8_t)(S2[((uint8_t)((reg2) >> ((3 - 3) * 8)))] ))) ) ) -

336 -

337 -

338 -

339 ; -

340 reg3 = rk->u[3] ^ ( ((uint32_t)((uint8_t)((uint8_t)(X1[((uint8_t)((reg3) >> ((3 - 0) * 8)))] ))) << 24) | ((uint32_t)((uint8_t)((uint8_t)(X2[((uint8_t)((reg3) >> ((3 - 1) * 8)))] >> 8))) << 16) | ((uint32_t)((uint8_t)((uint8_t)(S1[((uint8_t)((reg3) >> ((3 - 2) * 8)))] ))) << 8) | ((uint32_t)((uint8_t)((uint8_t)(S2[((uint8_t)((reg3) >> ((3 - 3) * 8)))] ))) ) ) -

341 -

342 -

343 -

344 ; -

345 -

346 do { ((uint8_t *)(out))[0 * 4 ] = ((uint8_t)((reg0) >> ((3 - 0) * 8))); ((uint8_t *)(out))[0 * 4 + 1] = ((uint8_t)((reg0) >> ((3 - 1) * 8))); ((uint8_t *)(out))[0 * 4 + 2] = ((uint8_t)((reg0) >> ((3 - 2) * 8))); ((uint8_t *)(out))[0 * 4 + 3] = ((uint8_t)((reg0) >> ((3 - 3) * 8))); } while(0); -

347 do { ((uint8_t *)(out))[1 * 4 ] = ((uint8_t)((reg1) >> ((3 - 0) * 8))); ((uint8_t *)(out))[1 * 4 + 1] = ((uint8_t)((reg1) >> ((3 - 1) * 8))); ((uint8_t *)(out))[1 * 4 + 2] = ((uint8_t)((reg1) >> ((3 - 2) * 8))); ((uint8_t *)(out))[1 * 4 + 3] = ((uint8_t)((reg1) >> ((3 - 3) * 8))); } while(0); -

348 do { ((uint8_t *)(out))[2 * 4 ] = ((uint8_t)((reg2) >> ((3 - 0) * 8))); ((uint8_t *)(out))[2 * 4 + 1] = ((uint8_t)((reg2) >> ((3 - 1) * 8))); ((uint8_t *)(out))[2 * 4 + 2] = ((uint8_t)((reg2) >> ((3 - 2) * 8))); ((uint8_t *)(out))[2 * 4 + 3] = ((uint8_t)((reg2) >> ((3 - 3) * 8))); } while(0); -

349 do { ((uint8_t *)(out))[3 * 4 ] = ((uint8_t)((reg3) >> ((3 - 0) * 8))); ((uint8_t *)(out))[3 * 4 + 1] = ((uint8_t)((reg3) >> ((3 - 1) * 8))); ((uint8_t *)(out))[3 * 4 + 2] = ((uint8_t)((reg3) >> ((3 - 2) * 8))); ((uint8_t *)(out))[3 * 4 + 3] = ((uint8_t)((reg3) >> ((3 - 3) * 8))); } while(0); -

350

}

executed 386162 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

386162

351 -

352 int aria_set_encrypt_key(const unsigned char *userKey, const int bits, -

353 ARIA_KEY *key) -

354 { -

355 register uint32_t reg0, reg1, reg2, reg3; -

356 uint32_t w0[4], w1[4], w2[4], w3[4]; -

357 const uint32_t *ck; -

358 -

359 ARIA_u128 *rk; -

360 int Nr = (bits + 256) / 32; -

361 -

362

if (userKey ==

userKey == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 915 times by 1 test Evaluated by: libcrypto.so.1.1

0-915

363

((void *)0)

userKey == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 915 times by 1 test Evaluated by: libcrypto.so.1.1

0-915

364

|| key ==

key == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 915 times by 1 test Evaluated by: libcrypto.so.1.1

0-915

365

((void *)0)

key == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 915 times by 1 test Evaluated by: libcrypto.so.1.1

0-915

366 ) { -

367

return

never executed: return -1;

-1;

never executed: return -1;

368 } -

369

if (bits != 128

bits != 128	Description
TRUE	evaluated 550 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 365 times by 1 test Evaluated by: libcrypto.so.1.1

&& bits != 192

bits != 192	Description
TRUE	evaluated 338 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 212 times by 1 test Evaluated by: libcrypto.so.1.1

&& bits != 256

bits != 256	Description
TRUE	never evaluated
FALSE	evaluated 338 times by 1 test Evaluated by: libcrypto.so.1.1

) {

0-550

370

return

never executed: return -2;

-2;

never executed: return -2;

371 } -

372 -

373 rk = key->rd_key; -

374 key->rounds = Nr; -

375 ck = &Key_RC[(bits - 128) / 64][0]; -

376 -

377 w0[0] = ( ((uint32_t)((const uint8_t *)(userKey))[0 * 4 ] << 24) ^ ((uint32_t)((const uint8_t *)(userKey))[0 * 4 + 1] << 16) ^ ((uint32_t)((const uint8_t *)(userKey))[0 * 4 + 2] << 8) ^ ((uint32_t)((const uint8_t *)(userKey))[0 * 4 + 3] ) ); -

378 w0[1] = ( ((uint32_t)((const uint8_t *)(userKey))[1 * 4 ] << 24) ^ ((uint32_t)((const uint8_t *)(userKey))[1 * 4 + 1] << 16) ^ ((uint32_t)((const uint8_t *)(userKey))[1 * 4 + 2] << 8) ^ ((uint32_t)((const uint8_t *)(userKey))[1 * 4 + 3] ) ); -

379 w0[2] = ( ((uint32_t)((const uint8_t *)(userKey))[2 * 4 ] << 24) ^ ((uint32_t)((const uint8_t *)(userKey))[2 * 4 + 1] << 16) ^ ((uint32_t)((const uint8_t *)(userKey))[2 * 4 + 2] << 8) ^ ((uint32_t)((const uint8_t *)(userKey))[2 * 4 + 3] ) ); -

380 w0[3] = ( ((uint32_t)((const uint8_t *)(userKey))[3 * 4 ] << 24) ^ ((uint32_t)((const uint8_t *)(userKey))[3 * 4 + 1] << 16) ^ ((uint32_t)((const uint8_t *)(userKey))[3 * 4 + 2] << 8) ^ ((uint32_t)((const uint8_t *)(userKey))[3 * 4 + 3] ) ); -

381 -

382 reg0 = w0[0] ^ ck[0]; -

383 reg1 = w0[1] ^ ck[1]; -

384 reg2 = w0[2] ^ ck[2]; -

385 reg3 = w0[3] ^ ck[3]; -

386 -

387 do { do { (reg0) = S1[((uint8_t)((reg0) >> ((3 - 0) * 8)))] ^ S2[((uint8_t)((reg0) >> ((3 - 1) * 8)))] ^ X1[((uint8_t)((reg0) >> ((3 - 2) * 8)))] ^ X2[((uint8_t)((reg0) >> ((3 - 3) * 8)))]; (reg1) = S1[((uint8_t)((reg1) >> ((3 - 0) * 8)))] ^ S2[((uint8_t)((reg1) >> ((3 - 1) * 8)))] ^ X1[((uint8_t)((reg1) >> ((3 - 2) * 8)))] ^ X2[((uint8_t)((reg1) >> ((3 - 3) * 8)))]; (reg2) = S1[((uint8_t)((reg2) >> ((3 - 0) * 8)))] ^ S2[((uint8_t)((reg2) >> ((3 - 1) * 8)))] ^ X1[((uint8_t)((reg2) >> ((3 - 2) * 8)))] ^ X2[((uint8_t)((reg2) >> ((3 - 3) * 8)))]; (reg3) = S1[((uint8_t)((reg3) >> ((3 - 0) * 8)))] ^ S2[((uint8_t)((reg3) >> ((3 - 1) * 8)))] ^ X1[((uint8_t)((reg3) >> ((3 - 2) * 8)))] ^ X2[((uint8_t)((reg3) >> ((3 - 3) * 8)))]; } while(0); do { (reg1) ^= (reg2); (reg2) ^= (reg3); (reg0) ^= (reg1); (reg3) ^= (reg1); (reg2) ^= (reg0); (reg1) ^= (reg2); } while(0); do { (reg1) = (((reg1) << 8) & 0xff00ff00) ^ (((reg1) >> 8) & 0x00ff00ff); (reg2) = (((uint32_t)(reg2) >> (16)) | ((uint32_t)(reg2) << (32 - 16))); (reg3) = (((reg3) << 24) ^ ((reg3) >> 24) ^ (((reg3) & 0x0000ff00) << 8) ^ (((reg3) & 0x00ff0000) >> 8)); } while(0); do { (reg1) ^= (reg2); (reg2) ^= (reg3); (reg0) ^= (reg1); (reg3) ^= (reg1); (reg2) ^= (reg0); (reg1) ^= (reg2); } while(0); } while(0); -

388 -

389

if (bits > 128

bits > 128	Description
TRUE	evaluated 550 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 365 times by 1 test Evaluated by: libcrypto.so.1.1

) {

365-550

390 w1[0] = ( ((uint32_t)((const uint8_t *)(userKey))[4 * 4 ] << 24) ^ ((uint32_t)((const uint8_t *)(userKey))[4 * 4 + 1] << 16) ^ ((uint32_t)((const uint8_t *)(userKey))[4 * 4 + 2] << 8) ^ ((uint32_t)((const uint8_t *)(userKey))[4 * 4 + 3] ) ); -

391 w1[1] = ( ((uint32_t)((const uint8_t *)(userKey))[5 * 4 ] << 24) ^ ((uint32_t)((const uint8_t *)(userKey))[5 * 4 + 1] << 16) ^ ((uint32_t)((const uint8_t *)(userKey))[5 * 4 + 2] << 8) ^ ((uint32_t)((const uint8_t *)(userKey))[5 * 4 + 3] ) ); -

392

if (bits > 192

bits > 192	Description
TRUE	evaluated 338 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 212 times by 1 test Evaluated by: libcrypto.so.1.1

) {

212-338

393 w1[2] = ( ((uint32_t)((const uint8_t *)(userKey))[6 * 4 ] << 24) ^ ((uint32_t)((const uint8_t *)(userKey))[6 * 4 + 1] << 16) ^ ((uint32_t)((const uint8_t *)(userKey))[6 * 4 + 2] << 8) ^ ((uint32_t)((const uint8_t *)(userKey))[6 * 4 + 3] ) ); -

394 w1[3] = ( ((uint32_t)((const uint8_t *)(userKey))[7 * 4 ] << 24) ^ ((uint32_t)((const uint8_t *)(userKey))[7 * 4 + 1] << 16) ^ ((uint32_t)((const uint8_t *)(userKey))[7 * 4 + 2] << 8) ^ ((uint32_t)((const uint8_t *)(userKey))[7 * 4 + 3] ) ); -

395

}

executed 338 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

338

396 else { -

397 w1[2] = w1[3] = 0; -

398

}

executed 212 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

212

399 } -

400 else { -

401 w1[0] = w1[1] = w1[2] = w1[3] = 0; -

402

}

executed 365 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

365

403 -

404 w1[0] ^= reg0; -

405 w1[1] ^= reg1; -

406 w1[2] ^= reg2; -

407 w1[3] ^= reg3; -

408 -

409 reg0 = w1[0]; -

410 reg1 = w1[1]; -

411 reg2 = w1[2]; -

412 reg3 = w1[3]; -

413 -

414 reg0 ^= ck[4]; -

415 reg1 ^= ck[5]; -

416 reg2 ^= ck[6]; -

417 reg3 ^= ck[7]; -

418 -

419 do { do { (reg0) = X1[((uint8_t)((reg0) >> ((3 - 0) * 8)))] ^ X2[((uint8_t)((reg0) >> ((3 - 1) * 8)))] ^ S1[((uint8_t)((reg0) >> ((3 - 2) * 8)))] ^ S2[((uint8_t)((reg0) >> ((3 - 3) * 8)))]; (reg1) = X1[((uint8_t)((reg1) >> ((3 - 0) * 8)))] ^ X2[((uint8_t)((reg1) >> ((3 - 1) * 8)))] ^ S1[((uint8_t)((reg1) >> ((3 - 2) * 8)))] ^ S2[((uint8_t)((reg1) >> ((3 - 3) * 8)))]; (reg2) = X1[((uint8_t)((reg2) >> ((3 - 0) * 8)))] ^ X2[((uint8_t)((reg2) >> ((3 - 1) * 8)))] ^ S1[((uint8_t)((reg2) >> ((3 - 2) * 8)))] ^ S2[((uint8_t)((reg2) >> ((3 - 3) * 8)))]; (reg3) = X1[((uint8_t)((reg3) >> ((3 - 0) * 8)))] ^ X2[((uint8_t)((reg3) >> ((3 - 1) * 8)))] ^ S1[((uint8_t)((reg3) >> ((3 - 2) * 8)))] ^ S2[((uint8_t)((reg3) >> ((3 - 3) * 8)))]; } while(0); do { (reg1) ^= (reg2); (reg2) ^= (reg3); (reg0) ^= (reg1); (reg3) ^= (reg1); (reg2) ^= (reg0); (reg1) ^= (reg2); } while(0); do { (reg3) = (((reg3) << 8) & 0xff00ff00) ^ (((reg3) >> 8) & 0x00ff00ff); (reg0) = (((uint32_t)(reg0) >> (16)) | ((uint32_t)(reg0) << (32 - 16))); (reg1) = (((reg1) << 24) ^ ((reg1) >> 24) ^ (((reg1) & 0x0000ff00) << 8) ^ (((reg1) & 0x00ff0000) >> 8)); } while(0); do { (reg1) ^= (reg2); (reg2) ^= (reg3); (reg0) ^= (reg1); (reg3) ^= (reg1); (reg2) ^= (reg0); (reg1) ^= (reg2); } while(0); } while(0); -

420 -

421 reg0 ^= w0[0]; -

422 reg1 ^= w0[1]; -

423 reg2 ^= w0[2]; -

424 reg3 ^= w0[3]; -

425 -

426 w2[0] = reg0; -

427 w2[1] = reg1; -

428 w2[2] = reg2; -

429 w2[3] = reg3; -

430 -

431 reg0 ^= ck[8]; -

432 reg1 ^= ck[9]; -

433 reg2 ^= ck[10]; -

434 reg3 ^= ck[11]; -

435 -

436 do { do { (reg0) = S1[((uint8_t)((reg0) >> ((3 - 0) * 8)))] ^ S2[((uint8_t)((reg0) >> ((3 - 1) * 8)))] ^ X1[((uint8_t)((reg0) >> ((3 - 2) * 8)))] ^ X2[((uint8_t)((reg0) >> ((3 - 3) * 8)))]; (reg1) = S1[((uint8_t)((reg1) >> ((3 - 0) * 8)))] ^ S2[((uint8_t)((reg1) >> ((3 - 1) * 8)))] ^ X1[((uint8_t)((reg1) >> ((3 - 2) * 8)))] ^ X2[((uint8_t)((reg1) >> ((3 - 3) * 8)))]; (reg2) = S1[((uint8_t)((reg2) >> ((3 - 0) * 8)))] ^ S2[((uint8_t)((reg2) >> ((3 - 1) * 8)))] ^ X1[((uint8_t)((reg2) >> ((3 - 2) * 8)))] ^ X2[((uint8_t)((reg2) >> ((3 - 3) * 8)))]; (reg3) = S1[((uint8_t)((reg3) >> ((3 - 0) * 8)))] ^ S2[((uint8_t)((reg3) >> ((3 - 1) * 8)))] ^ X1[((uint8_t)((reg3) >> ((3 - 2) * 8)))] ^ X2[((uint8_t)((reg3) >> ((3 - 3) * 8)))]; } while(0); do { (reg1) ^= (reg2); (reg2) ^= (reg3); (reg0) ^= (reg1); (reg3) ^= (reg1); (reg2) ^= (reg0); (reg1) ^= (reg2); } while(0); do { (reg1) = (((reg1) << 8) & 0xff00ff00) ^ (((reg1) >> 8) & 0x00ff00ff); (reg2) = (((uint32_t)(reg2) >> (16)) | ((uint32_t)(reg2) << (32 - 16))); (reg3) = (((reg3) << 24) ^ ((reg3) >> 24) ^ (((reg3) & 0x0000ff00) << 8) ^ (((reg3) & 0x00ff0000) >> 8)); } while(0); do { (reg1) ^= (reg2); (reg2) ^= (reg3); (reg0) ^= (reg1); (reg3) ^= (reg1); (reg2) ^= (reg0); (reg1) ^= (reg2); } while(0); } while(0); -

437 -

438 w3[0] = reg0 ^ w1[0]; -

439 w3[1] = reg1 ^ w1[1]; -

440 w3[2] = reg2 ^ w1[2]; -

441 w3[3] = reg3 ^ w1[3]; -

442 -

443 do { (rk)->u[0] = ((w0)[0]) ^ (((w1)[((4 - ((19) / 32)) ) % 4]) >> ((19) % 32)) ^ (((w1)[((4 - ((19) / 32)) + 3) % 4]) << (32 - ((19) % 32))); (rk)->u[1] = ((w0)[1]) ^ (((w1)[((4 - ((19) / 32)) + 1) % 4]) >> ((19) % 32)) ^ (((w1)[((4 - ((19) / 32)) ) % 4]) << (32 - ((19) % 32))); (rk)->u[2] = ((w0)[2]) ^ (((w1)[((4 - ((19) / 32)) + 2) % 4]) >> ((19) % 32)) ^ (((w1)[((4 - ((19) / 32)) + 1) % 4]) << (32 - ((19) % 32))); (rk)->u[3] = ((w0)[3]) ^ (((w1)[((4 - ((19) / 32)) + 3) % 4]) >> ((19) % 32)) ^ (((w1)[((4 - ((19) / 32)) + 2) % 4]) << (32 - ((19) % 32))); } while(0); -

444 rk++; -

445 do { (rk)->u[0] = ((w1)[0]) ^ (((w2)[((4 - ((19) / 32)) ) % 4]) >> ((19) % 32)) ^ (((w2)[((4 - ((19) / 32)) + 3) % 4]) << (32 - ((19) % 32))); (rk)->u[1] = ((w1)[1]) ^ (((w2)[((4 - ((19) / 32)) + 1) % 4]) >> ((19) % 32)) ^ (((w2)[((4 - ((19) / 32)) ) % 4]) << (32 - ((19) % 32))); (rk)->u[2] = ((w1)[2]) ^ (((w2)[((4 - ((19) / 32)) + 2) % 4]) >> ((19) % 32)) ^ (((w2)[((4 - ((19) / 32)) + 1) % 4]) << (32 - ((19) % 32))); (rk)->u[3] = ((w1)[3]) ^ (((w2)[((4 - ((19) / 32)) + 3) % 4]) >> ((19) % 32)) ^ (((w2)[((4 - ((19) / 32)) + 2) % 4]) << (32 - ((19) % 32))); } while(0); -

446 rk++; -

447 do { (rk)->u[0] = ((w2)[0]) ^ (((w3)[((4 - ((19) / 32)) ) % 4]) >> ((19) % 32)) ^ (((w3)[((4 - ((19) / 32)) + 3) % 4]) << (32 - ((19) % 32))); (rk)->u[1] = ((w2)[1]) ^ (((w3)[((4 - ((19) / 32)) + 1) % 4]) >> ((19) % 32)) ^ (((w3)[((4 - ((19) / 32)) ) % 4]) << (32 - ((19) % 32))); (rk)->u[2] = ((w2)[2]) ^ (((w3)[((4 - ((19) / 32)) + 2) % 4]) >> ((19) % 32)) ^ (((w3)[((4 - ((19) / 32)) + 1) % 4]) << (32 - ((19) % 32))); (rk)->u[3] = ((w2)[3]) ^ (((w3)[((4 - ((19) / 32)) + 3) % 4]) >> ((19) % 32)) ^ (((w3)[((4 - ((19) / 32)) + 2) % 4]) << (32 - ((19) % 32))); } while(0); -

448 rk++; -

449 do { (rk)->u[0] = ((w3)[0]) ^ (((w0)[((4 - ((19) / 32)) ) % 4]) >> ((19) % 32)) ^ (((w0)[((4 - ((19) / 32)) + 3) % 4]) << (32 - ((19) % 32))); (rk)->u[1] = ((w3)[1]) ^ (((w0)[((4 - ((19) / 32)) + 1) % 4]) >> ((19) % 32)) ^ (((w0)[((4 - ((19) / 32)) ) % 4]) << (32 - ((19) % 32))); (rk)->u[2] = ((w3)[2]) ^ (((w0)[((4 - ((19) / 32)) + 2) % 4]) >> ((19) % 32)) ^ (((w0)[((4 - ((19) / 32)) + 1) % 4]) << (32 - ((19) % 32))); (rk)->u[3] = ((w3)[3]) ^ (((w0)[((4 - ((19) / 32)) + 3) % 4]) >> ((19) % 32)) ^ (((w0)[((4 - ((19) / 32)) + 2) % 4]) << (32 - ((19) % 32))); } while(0); -

450 -

451 rk++; -

452 do { (rk)->u[0] = ((w0)[0]) ^ (((w1)[((4 - ((31) / 32)) ) % 4]) >> ((31) % 32)) ^ (((w1)[((4 - ((31) / 32)) + 3) % 4]) << (32 - ((31) % 32))); (rk)->u[1] = ((w0)[1]) ^ (((w1)[((4 - ((31) / 32)) + 1) % 4]) >> ((31) % 32)) ^ (((w1)[((4 - ((31) / 32)) ) % 4]) << (32 - ((31) % 32))); (rk)->u[2] = ((w0)[2]) ^ (((w1)[((4 - ((31) / 32)) + 2) % 4]) >> ((31) % 32)) ^ (((w1)[((4 - ((31) / 32)) + 1) % 4]) << (32 - ((31) % 32))); (rk)->u[3] = ((w0)[3]) ^ (((w1)[((4 - ((31) / 32)) + 3) % 4]) >> ((31) % 32)) ^ (((w1)[((4 - ((31) / 32)) + 2) % 4]) << (32 - ((31) % 32))); } while(0); -

453 rk++; -

454 do { (rk)->u[0] = ((w1)[0]) ^ (((w2)[((4 - ((31) / 32)) ) % 4]) >> ((31) % 32)) ^ (((w2)[((4 - ((31) / 32)) + 3) % 4]) << (32 - ((31) % 32))); (rk)->u[1] = ((w1)[1]) ^ (((w2)[((4 - ((31) / 32)) + 1) % 4]) >> ((31) % 32)) ^ (((w2)[((4 - ((31) / 32)) ) % 4]) << (32 - ((31) % 32))); (rk)->u[2] = ((w1)[2]) ^ (((w2)[((4 - ((31) / 32)) + 2) % 4]) >> ((31) % 32)) ^ (((w2)[((4 - ((31) / 32)) + 1) % 4]) << (32 - ((31) % 32))); (rk)->u[3] = ((w1)[3]) ^ (((w2)[((4 - ((31) / 32)) + 3) % 4]) >> ((31) % 32)) ^ (((w2)[((4 - ((31) / 32)) + 2) % 4]) << (32 - ((31) % 32))); } while(0); -

455 rk++; -

456 do { (rk)->u[0] = ((w2)[0]) ^ (((w3)[((4 - ((31) / 32)) ) % 4]) >> ((31) % 32)) ^ (((w3)[((4 - ((31) / 32)) + 3) % 4]) << (32 - ((31) % 32))); (rk)->u[1] = ((w2)[1]) ^ (((w3)[((4 - ((31) / 32)) + 1) % 4]) >> ((31) % 32)) ^ (((w3)[((4 - ((31) / 32)) ) % 4]) << (32 - ((31) % 32))); (rk)->u[2] = ((w2)[2]) ^ (((w3)[((4 - ((31) / 32)) + 2) % 4]) >> ((31) % 32)) ^ (((w3)[((4 - ((31) / 32)) + 1) % 4]) << (32 - ((31) % 32))); (rk)->u[3] = ((w2)[3]) ^ (((w3)[((4 - ((31) / 32)) + 3) % 4]) >> ((31) % 32)) ^ (((w3)[((4 - ((31) / 32)) + 2) % 4]) << (32 - ((31) % 32))); } while(0); -

457 rk++; -

458 do { (rk)->u[0] = ((w3)[0]) ^ (((w0)[((4 - ((31) / 32)) ) % 4]) >> ((31) % 32)) ^ (((w0)[((4 - ((31) / 32)) + 3) % 4]) << (32 - ((31) % 32))); (rk)->u[1] = ((w3)[1]) ^ (((w0)[((4 - ((31) / 32)) + 1) % 4]) >> ((31) % 32)) ^ (((w0)[((4 - ((31) / 32)) ) % 4]) << (32 - ((31) % 32))); (rk)->u[2] = ((w3)[2]) ^ (((w0)[((4 - ((31) / 32)) + 2) % 4]) >> ((31) % 32)) ^ (((w0)[((4 - ((31) / 32)) + 1) % 4]) << (32 - ((31) % 32))); (rk)->u[3] = ((w3)[3]) ^ (((w0)[((4 - ((31) / 32)) + 3) % 4]) >> ((31) % 32)) ^ (((w0)[((4 - ((31) / 32)) + 2) % 4]) << (32 - ((31) % 32))); } while(0); -

459 -

460 rk++; -

461 do { (rk)->u[0] = ((w0)[0]) ^ (((w1)[((4 - ((67) / 32)) ) % 4]) >> ((67) % 32)) ^ (((w1)[((4 - ((67) / 32)) + 3) % 4]) << (32 - ((67) % 32))); (rk)->u[1] = ((w0)[1]) ^ (((w1)[((4 - ((67) / 32)) + 1) % 4]) >> ((67) % 32)) ^ (((w1)[((4 - ((67) / 32)) ) % 4]) << (32 - ((67) % 32))); (rk)->u[2] = ((w0)[2]) ^ (((w1)[((4 - ((67) / 32)) + 2) % 4]) >> ((67) % 32)) ^ (((w1)[((4 - ((67) / 32)) + 1) % 4]) << (32 - ((67) % 32))); (rk)->u[3] = ((w0)[3]) ^ (((w1)[((4 - ((67) / 32)) + 3) % 4]) >> ((67) % 32)) ^ (((w1)[((4 - ((67) / 32)) + 2) % 4]) << (32 - ((67) % 32))); } while(0); -

462 rk++; -

463 do { (rk)->u[0] = ((w1)[0]) ^ (((w2)[((4 - ((67) / 32)) ) % 4]) >> ((67) % 32)) ^ (((w2)[((4 - ((67) / 32)) + 3) % 4]) << (32 - ((67) % 32))); (rk)->u[1] = ((w1)[1]) ^ (((w2)[((4 - ((67) / 32)) + 1) % 4]) >> ((67) % 32)) ^ (((w2)[((4 - ((67) / 32)) ) % 4]) << (32 - ((67) % 32))); (rk)->u[2] = ((w1)[2]) ^ (((w2)[((4 - ((67) / 32)) + 2) % 4]) >> ((67) % 32)) ^ (((w2)[((4 - ((67) / 32)) + 1) % 4]) << (32 - ((67) % 32))); (rk)->u[3] = ((w1)[3]) ^ (((w2)[((4 - ((67) / 32)) + 3) % 4]) >> ((67) % 32)) ^ (((w2)[((4 - ((67) / 32)) + 2) % 4]) << (32 - ((67) % 32))); } while(0); -

464 rk++; -

465 do { (rk)->u[0] = ((w2)[0]) ^ (((w3)[((4 - ((67) / 32)) ) % 4]) >> ((67) % 32)) ^ (((w3)[((4 - ((67) / 32)) + 3) % 4]) << (32 - ((67) % 32))); (rk)->u[1] = ((w2)[1]) ^ (((w3)[((4 - ((67) / 32)) + 1) % 4]) >> ((67) % 32)) ^ (((w3)[((4 - ((67) / 32)) ) % 4]) << (32 - ((67) % 32))); (rk)->u[2] = ((w2)[2]) ^ (((w3)[((4 - ((67) / 32)) + 2) % 4]) >> ((67) % 32)) ^ (((w3)[((4 - ((67) / 32)) + 1) % 4]) << (32 - ((67) % 32))); (rk)->u[3] = ((w2)[3]) ^ (((w3)[((4 - ((67) / 32)) + 3) % 4]) >> ((67) % 32)) ^ (((w3)[((4 - ((67) / 32)) + 2) % 4]) << (32 - ((67) % 32))); } while(0); -

466 rk++; -

467 do { (rk)->u[0] = ((w3)[0]) ^ (((w0)[((4 - ((67) / 32)) ) % 4]) >> ((67) % 32)) ^ (((w0)[((4 - ((67) / 32)) + 3) % 4]) << (32 - ((67) % 32))); (rk)->u[1] = ((w3)[1]) ^ (((w0)[((4 - ((67) / 32)) + 1) % 4]) >> ((67) % 32)) ^ (((w0)[((4 - ((67) / 32)) ) % 4]) << (32 - ((67) % 32))); (rk)->u[2] = ((w3)[2]) ^ (((w0)[((4 - ((67) / 32)) + 2) % 4]) >> ((67) % 32)) ^ (((w0)[((4 - ((67) / 32)) + 1) % 4]) << (32 - ((67) % 32))); (rk)->u[3] = ((w3)[3]) ^ (((w0)[((4 - ((67) / 32)) + 3) % 4]) >> ((67) % 32)) ^ (((w0)[((4 - ((67) / 32)) + 2) % 4]) << (32 - ((67) % 32))); } while(0); -

468 -

469 rk++; -

470 do { (rk)->u[0] = ((w0)[0]) ^ (((w1)[((4 - ((97) / 32)) ) % 4]) >> ((97) % 32)) ^ (((w1)[((4 - ((97) / 32)) + 3) % 4]) << (32 - ((97) % 32))); (rk)->u[1] = ((w0)[1]) ^ (((w1)[((4 - ((97) / 32)) + 1) % 4]) >> ((97) % 32)) ^ (((w1)[((4 - ((97) / 32)) ) % 4]) << (32 - ((97) % 32))); (rk)->u[2] = ((w0)[2]) ^ (((w1)[((4 - ((97) / 32)) + 2) % 4]) >> ((97) % 32)) ^ (((w1)[((4 - ((97) / 32)) + 1) % 4]) << (32 - ((97) % 32))); (rk)->u[3] = ((w0)[3]) ^ (((w1)[((4 - ((97) / 32)) + 3) % 4]) >> ((97) % 32)) ^ (((w1)[((4 - ((97) / 32)) + 2) % 4]) << (32 - ((97) % 32))); } while(0); -

471

if (bits > 128

bits > 128	Description
TRUE	evaluated 550 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 365 times by 1 test Evaluated by: libcrypto.so.1.1

) {

365-550

472 rk++; -

473 do { (rk)->u[0] = ((w1)[0]) ^ (((w2)[((4 - ((97) / 32)) ) % 4]) >> ((97) % 32)) ^ (((w2)[((4 - ((97) / 32)) + 3) % 4]) << (32 - ((97) % 32))); (rk)->u[1] = ((w1)[1]) ^ (((w2)[((4 - ((97) / 32)) + 1) % 4]) >> ((97) % 32)) ^ (((w2)[((4 - ((97) / 32)) ) % 4]) << (32 - ((97) % 32))); (rk)->u[2] = ((w1)[2]) ^ (((w2)[((4 - ((97) / 32)) + 2) % 4]) >> ((97) % 32)) ^ (((w2)[((4 - ((97) / 32)) + 1) % 4]) << (32 - ((97) % 32))); (rk)->u[3] = ((w1)[3]) ^ (((w2)[((4 - ((97) / 32)) + 3) % 4]) >> ((97) % 32)) ^ (((w2)[((4 - ((97) / 32)) + 2) % 4]) << (32 - ((97) % 32))); } while(0); -

474 rk++; -

475 do { (rk)->u[0] = ((w2)[0]) ^ (((w3)[((4 - ((97) / 32)) ) % 4]) >> ((97) % 32)) ^ (((w3)[((4 - ((97) / 32)) + 3) % 4]) << (32 - ((97) % 32))); (rk)->u[1] = ((w2)[1]) ^ (((w3)[((4 - ((97) / 32)) + 1) % 4]) >> ((97) % 32)) ^ (((w3)[((4 - ((97) / 32)) ) % 4]) << (32 - ((97) % 32))); (rk)->u[2] = ((w2)[2]) ^ (((w3)[((4 - ((97) / 32)) + 2) % 4]) >> ((97) % 32)) ^ (((w3)[((4 - ((97) / 32)) + 1) % 4]) << (32 - ((97) % 32))); (rk)->u[3] = ((w2)[3]) ^ (((w3)[((4 - ((97) / 32)) + 3) % 4]) >> ((97) % 32)) ^ (((w3)[((4 - ((97) / 32)) + 2) % 4]) << (32 - ((97) % 32))); } while(0); -

476

}

executed 550 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

550

477

if (bits > 192

bits > 192	Description
TRUE	evaluated 338 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 577 times by 1 test Evaluated by: libcrypto.so.1.1

) {

338-577

478 rk++; -

479 do { (rk)->u[0] = ((w3)[0]) ^ (((w0)[((4 - ((97) / 32)) ) % 4]) >> ((97) % 32)) ^ (((w0)[((4 - ((97) / 32)) + 3) % 4]) << (32 - ((97) % 32))); (rk)->u[1] = ((w3)[1]) ^ (((w0)[((4 - ((97) / 32)) + 1) % 4]) >> ((97) % 32)) ^ (((w0)[((4 - ((97) / 32)) ) % 4]) << (32 - ((97) % 32))); (rk)->u[2] = ((w3)[2]) ^ (((w0)[((4 - ((97) / 32)) + 2) % 4]) >> ((97) % 32)) ^ (((w0)[((4 - ((97) / 32)) + 1) % 4]) << (32 - ((97) % 32))); (rk)->u[3] = ((w3)[3]) ^ (((w0)[((4 - ((97) / 32)) + 3) % 4]) >> ((97) % 32)) ^ (((w0)[((4 - ((97) / 32)) + 2) % 4]) << (32 - ((97) % 32))); } while(0); -

480 -

481 rk++; -

482 do { (rk)->u[0] = ((w0)[0]) ^ (((w1)[((4 - ((109) / 32)) ) % 4]) >> ((109) % 32)) ^ (((w1)[((4 - ((109) / 32)) + 3) % 4]) << (32 - ((109) % 32))); (rk)->u[1] = ((w0)[1]) ^ (((w1)[((4 - ((109) / 32)) + 1) % 4]) >> ((109) % 32)) ^ (((w1)[((4 - ((109) / 32)) ) % 4]) << (32 - ((109) % 32))); (rk)->u[2] = ((w0)[2]) ^ (((w1)[((4 - ((109) / 32)) + 2) % 4]) >> ((109) % 32)) ^ (((w1)[((4 - ((109) / 32)) + 1) % 4]) << (32 - ((109) % 32))); (rk)->u[3] = ((w0)[3]) ^ (((w1)[((4 - ((109) / 32)) + 3) % 4]) >> ((109) % 32)) ^ (((w1)[((4 - ((109) / 32)) + 2) % 4]) << (32 - ((109) % 32))); } while(0); -

483

}

executed 338 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

338

484 -

485

return

executed 915 times by 1 test: return 0;

Executed by:

libcrypto.so.1.1

executed 915 times by 1 test: return 0;

Executed by:

libcrypto.so.1.1

915

486 } -

487 -

488 int aria_set_decrypt_key(const unsigned char *userKey, const int bits, -

489 ARIA_KEY *key) -

490 { -

491 ARIA_u128 *rk_head; -

492 ARIA_u128 *rk_tail; -

493 register uint32_t w1, w2; -

494 register uint32_t reg0, reg1, reg2, reg3; -

495 uint32_t s0, s1, s2, s3; -

496 -

497 const int r = aria_set_encrypt_key(userKey, bits, key); -

498 -

499

if (r != 0

r != 0	Description
TRUE	never evaluated
FALSE	evaluated 129 times by 1 test Evaluated by: libcrypto.so.1.1

) {

0-129

500

return

never executed: return r;

501 } -

502 -

503 rk_head = key->rd_key; -

504 rk_tail = rk_head + key->rounds; -

505 -

506 reg0 = rk_head->u[0]; -

507 reg1 = rk_head->u[1]; -

508 reg2 = rk_head->u[2]; -

509 reg3 = rk_head->u[3]; -

510 -

511 memcpy(rk_head, rk_tail, 16); -

512 -

513 rk_tail->u[0] = reg0; -

514 rk_tail->u[1] = reg1; -

515 rk_tail->u[2] = reg2; -

516 rk_tail->u[3] = reg3; -

517 -

518 rk_head++; -

519 rk_tail--; -

520 -

521

for (; rk_head < rk_tail

rk_head < rk_tail	Description
TRUE	evaluated 774 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 129 times by 1 test Evaluated by: libcrypto.so.1.1

; rk_head++, rk_tail--) {

129-774

522 do { (w1) = (rk_head->u[0]); (w2) = (((uint32_t)((w1)) >> (8)) | ((uint32_t)((w1)) << (32 - 8))); (reg0) = (w2) ^ (((uint32_t)((w1) ^ (w2)) >> (16)) | ((uint32_t)((w1) ^ (w2)) << (32 - 16))); } while(0); -

523 do { (w1) = (rk_head->u[1]); (w2) = (((uint32_t)((w1)) >> (8)) | ((uint32_t)((w1)) << (32 - 8))); (reg1) = (w2) ^ (((uint32_t)((w1) ^ (w2)) >> (16)) | ((uint32_t)((w1) ^ (w2)) << (32 - 16))); } while(0); -

524 do { (w1) = (rk_head->u[2]); (w2) = (((uint32_t)((w1)) >> (8)) | ((uint32_t)((w1)) << (32 - 8))); (reg2) = (w2) ^ (((uint32_t)((w1) ^ (w2)) >> (16)) | ((uint32_t)((w1) ^ (w2)) << (32 - 16))); } while(0); -

525 do { (w1) = (rk_head->u[3]); (w2) = (((uint32_t)((w1)) >> (8)) | ((uint32_t)((w1)) << (32 - 8))); (reg3) = (w2) ^ (((uint32_t)((w1) ^ (w2)) >> (16)) | ((uint32_t)((w1) ^ (w2)) << (32 - 16))); } while(0); -

526 -

527 do { (reg1) ^= (reg2); (reg2) ^= (reg3); (reg0) ^= (reg1); (reg3) ^= (reg1); (reg2) ^= (reg0); (reg1) ^= (reg2); } while(0); -

528 do { (reg1) = (((reg1) << 8) & 0xff00ff00) ^ (((reg1) >> 8) & 0x00ff00ff); (reg2) = (((uint32_t)(reg2) >> (16)) | ((uint32_t)(reg2) << (32 - 16))); (reg3) = (((reg3) << 24) ^ ((reg3) >> 24) ^ (((reg3) & 0x0000ff00) << 8) ^ (((reg3) & 0x00ff0000) >> 8)); } while(0); -

529 do { (reg1) ^= (reg2); (reg2) ^= (reg3); (reg0) ^= (reg1); (reg3) ^= (reg1); (reg2) ^= (reg0); (reg1) ^= (reg2); } while(0); -

530 -

531 s0 = reg0; -

532 s1 = reg1; -

533 s2 = reg2; -

534 s3 = reg3; -

535 -

536 do { (w1) = (rk_tail->u[0]); (w2) = (((uint32_t)((w1)) >> (8)) | ((uint32_t)((w1)) << (32 - 8))); (reg0) = (w2) ^ (((uint32_t)((w1) ^ (w2)) >> (16)) | ((uint32_t)((w1) ^ (w2)) << (32 - 16))); } while(0); -

537 do { (w1) = (rk_tail->u[1]); (w2) = (((uint32_t)((w1)) >> (8)) | ((uint32_t)((w1)) << (32 - 8))); (reg1) = (w2) ^ (((uint32_t)((w1) ^ (w2)) >> (16)) | ((uint32_t)((w1) ^ (w2)) << (32 - 16))); } while(0); -

538 do { (w1) = (rk_tail->u[2]); (w2) = (((uint32_t)((w1)) >> (8)) | ((uint32_t)((w1)) << (32 - 8))); (reg2) = (w2) ^ (((uint32_t)((w1) ^ (w2)) >> (16)) | ((uint32_t)((w1) ^ (w2)) << (32 - 16))); } while(0); -

539 do { (w1) = (rk_tail->u[3]); (w2) = (((uint32_t)((w1)) >> (8)) | ((uint32_t)((w1)) << (32 - 8))); (reg3) = (w2) ^ (((uint32_t)((w1) ^ (w2)) >> (16)) | ((uint32_t)((w1) ^ (w2)) << (32 - 16))); } while(0); -

540 -

541 do { (reg1) ^= (reg2); (reg2) ^= (reg3); (reg0) ^= (reg1); (reg3) ^= (reg1); (reg2) ^= (reg0); (reg1) ^= (reg2); } while(0); -

542 do { (reg1) = (((reg1) << 8) & 0xff00ff00) ^ (((reg1) >> 8) & 0x00ff00ff); (reg2) = (((uint32_t)(reg2) >> (16)) | ((uint32_t)(reg2) << (32 - 16))); (reg3) = (((reg3) << 24) ^ ((reg3) >> 24) ^ (((reg3) & 0x0000ff00) << 8) ^ (((reg3) & 0x00ff0000) >> 8)); } while(0); -

543 do { (reg1) ^= (reg2); (reg2) ^= (reg3); (reg0) ^= (reg1); (reg3) ^= (reg1); (reg2) ^= (reg0); (reg1) ^= (reg2); } while(0); -

544 -

545 rk_head->u[0] = reg0; -

546 rk_head->u[1] = reg1; -

547 rk_head->u[2] = reg2; -

548 rk_head->u[3] = reg3; -

549 -

550 rk_tail->u[0] = s0; -

551 rk_tail->u[1] = s1; -

552 rk_tail->u[2] = s2; -

553 rk_tail->u[3] = s3; -

554

}

executed 774 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

774

555 do { (w1) = (rk_head->u[0]); (w2) = (((uint32_t)((w1)) >> (8)) | ((uint32_t)((w1)) << (32 - 8))); (reg0) = (w2) ^ (((uint32_t)((w1) ^ (w2)) >> (16)) | ((uint32_t)((w1) ^ (w2)) << (32 - 16))); } while(0); -

556 do { (w1) = (rk_head->u[1]); (w2) = (((uint32_t)((w1)) >> (8)) | ((uint32_t)((w1)) << (32 - 8))); (reg1) = (w2) ^ (((uint32_t)((w1) ^ (w2)) >> (16)) | ((uint32_t)((w1) ^ (w2)) << (32 - 16))); } while(0); -

557 do { (w1) = (rk_head->u[2]); (w2) = (((uint32_t)((w1)) >> (8)) | ((uint32_t)((w1)) << (32 - 8))); (reg2) = (w2) ^ (((uint32_t)((w1) ^ (w2)) >> (16)) | ((uint32_t)((w1) ^ (w2)) << (32 - 16))); } while(0); -

558 do { (w1) = (rk_head->u[3]); (w2) = (((uint32_t)((w1)) >> (8)) | ((uint32_t)((w1)) << (32 - 8))); (reg3) = (w2) ^ (((uint32_t)((w1) ^ (w2)) >> (16)) | ((uint32_t)((w1) ^ (w2)) << (32 - 16))); } while(0); -

559 -

560 do { (reg1) ^= (reg2); (reg2) ^= (reg3); (reg0) ^= (reg1); (reg3) ^= (reg1); (reg2) ^= (reg0); (reg1) ^= (reg2); } while(0); -

561 do { (reg1) = (((reg1) << 8) & 0xff00ff00) ^ (((reg1) >> 8) & 0x00ff00ff); (reg2) = (((uint32_t)(reg2) >> (16)) | ((uint32_t)(reg2) << (32 - 16))); (reg3) = (((reg3) << 24) ^ ((reg3) >> 24) ^ (((reg3) & 0x0000ff00) << 8) ^ (((reg3) & 0x00ff0000) >> 8)); } while(0); -

562 do { (reg1) ^= (reg2); (reg2) ^= (reg3); (reg0) ^= (reg1); (reg3) ^= (reg1); (reg2) ^= (reg0); (reg1) ^= (reg2); } while(0); -

563 -

564 rk_tail->u[0] = reg0; -

565 rk_tail->u[1] = reg1; -

566 rk_tail->u[2] = reg2; -

567 rk_tail->u[3] = reg3; -

568 -

569

return

executed 129 times by 1 test: return 0;

Executed by:

libcrypto.so.1.1

executed 129 times by 1 test: return 0;

Executed by:

libcrypto.so.1.1

129

570 } -

Switch to Source code

Preprocessed file

Generated by Squish Coco 4.2.2