blob: 2fdff0b9df748215a0ac0aca4f09688693c2a475 [file] [log] [blame]
Alex Gaynorf312a5c2013-08-10 15:23:38 -04001# Licensed under the Apache License, Version 2.0 (the "License");
2# you may not use this file except in compliance with the License.
3# You may obtain a copy of the License at
4#
5# http://www.apache.org/licenses/LICENSE-2.0
6#
7# Unless required by applicable law or agreed to in writing, software
8# distributed under the License is distributed on an "AS IS" BASIS,
9# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
10# implied.
11# See the License for the specific language governing permissions and
12# limitations under the License.
13
Alex Gaynorc37feed2014-03-08 08:32:56 -080014from __future__ import absolute_import, division, print_function
15
Alex Gaynor36e651c2014-01-27 10:08:35 -080016import collections
Alex Gaynor2b3f9422013-12-24 21:55:24 -080017import os
18
Alex Stapleton58f27ac2014-02-02 19:30:03 +000019import six
Alex Gaynor2b3f9422013-12-24 21:55:24 -080020import pytest
21
22
Alex Gaynor36e651c2014-01-27 10:08:35 -080023HashVector = collections.namedtuple("HashVector", ["message", "digest"])
24KeyedHashVector = collections.namedtuple(
25 "KeyedHashVector", ["message", "digest", "key"]
26)
27
28
Paul Kehrerc421e632014-01-18 09:22:21 -060029def select_backends(names, backend_list):
30 if names is None:
31 return backend_list
32 split_names = [x.strip() for x in names.split(',')]
33 # this must be duplicated and then removed to preserve the metadata
34 # pytest associates. Appending backends to a new list doesn't seem to work
Paul Kehreraed9e172014-01-19 12:09:27 -060035 selected_backends = []
36 for backend in backend_list:
37 if backend.name in split_names:
38 selected_backends.append(backend)
Paul Kehrerc421e632014-01-18 09:22:21 -060039
Paul Kehreraed9e172014-01-19 12:09:27 -060040 if len(selected_backends) > 0:
41 return selected_backends
Paul Kehrerc421e632014-01-18 09:22:21 -060042 else:
43 raise ValueError(
44 "No backend selected. Tried to select: {0}".format(split_names)
45 )
Paul Kehrer34c075e2014-01-13 21:52:08 -050046
47
Alex Gaynor2b3f9422013-12-24 21:55:24 -080048def check_for_iface(name, iface, item):
49 if name in item.keywords and "backend" in item.funcargs:
50 if not isinstance(item.funcargs["backend"], iface):
51 pytest.skip("{0} backend does not support {1}".format(
52 item.funcargs["backend"], name
53 ))
Donald Stufft9e1a48b2013-08-09 00:32:30 -040054
55
Paul Kehrer60fc8da2013-12-26 20:19:34 -060056def check_backend_support(item):
Paul Kehrer5a8fdf82013-12-26 20:13:45 -060057 supported = item.keywords.get("supported")
58 if supported and "backend" in item.funcargs:
59 if not supported.kwargs["only_if"](item.funcargs["backend"]):
Paul Kehrerf03334e2014-01-02 23:16:14 -060060 pytest.skip("{0} ({1})".format(
61 supported.kwargs["skip_message"], item.funcargs["backend"]
62 ))
Paul Kehrer5a8fdf82013-12-26 20:13:45 -060063 elif supported:
Paul Kehrerec495502013-12-27 15:51:40 -060064 raise ValueError("This mark is only available on methods that take a "
65 "backend")
Paul Kehrer5a8fdf82013-12-26 20:13:45 -060066
67
Paul Kehrerf7f6a9f2013-11-11 20:43:52 -060068def load_vectors_from_file(filename, loader):
69 base = os.path.join(
70 os.path.dirname(__file__), "hazmat", "primitives", "vectors",
71 )
72 with open(os.path.join(base, filename), "r") as vector_file:
73 return loader(vector_file)
74
75
Alex Gaynord3ce7032013-11-11 14:46:20 -080076def load_nist_vectors(vector_data):
Paul Kehrer749ac5b2013-11-18 18:12:41 -060077 test_data = None
78 data = []
Donald Stufft9e1a48b2013-08-09 00:32:30 -040079
80 for line in vector_data:
81 line = line.strip()
82
Paul Kehrer749ac5b2013-11-18 18:12:41 -060083 # Blank lines, comments, and section headers are ignored
84 if not line or line.startswith("#") or (line.startswith("[")
85 and line.endswith("]")):
Alex Gaynor521c42d2013-11-11 14:25:59 -080086 continue
87
Paul Kehrera43b6692013-11-12 15:35:49 -060088 if line.strip() == "FAIL":
Paul Kehrer749ac5b2013-11-18 18:12:41 -060089 test_data["fail"] = True
Paul Kehrera43b6692013-11-12 15:35:49 -060090 continue
91
Donald Stufft9e1a48b2013-08-09 00:32:30 -040092 # Build our data using a simple Key = Value format
Paul Kehrera43b6692013-11-12 15:35:49 -060093 name, value = [c.strip() for c in line.split("=")]
Donald Stufft9e1a48b2013-08-09 00:32:30 -040094
Paul Kehrer1050ddf2014-01-27 21:04:03 -060095 # Some tests (PBKDF2) contain \0, which should be interpreted as a
96 # null character rather than literal.
97 value = value.replace("\\0", "\0")
98
Donald Stufft9e1a48b2013-08-09 00:32:30 -040099 # COUNT is a special token that indicates a new block of data
100 if name.upper() == "COUNT":
Paul Kehrer749ac5b2013-11-18 18:12:41 -0600101 test_data = {}
102 data.append(test_data)
103 continue
Donald Stufft9e1a48b2013-08-09 00:32:30 -0400104 # For all other tokens we simply want the name, value stored in
105 # the dictionary
106 else:
Paul Kehrer749ac5b2013-11-18 18:12:41 -0600107 test_data[name.lower()] = value.encode("ascii")
Donald Stufft9e1a48b2013-08-09 00:32:30 -0400108
Paul Kehrer749ac5b2013-11-18 18:12:41 -0600109 return data
Donald Stufft9e1a48b2013-08-09 00:32:30 -0400110
111
Paul Kehrer1951bf62013-09-15 12:05:43 -0500112def load_cryptrec_vectors(vector_data):
Paul Kehrere5805982013-09-27 11:26:01 -0500113 cryptrec_list = []
Paul Kehrer1951bf62013-09-15 12:05:43 -0500114
115 for line in vector_data:
116 line = line.strip()
117
118 # Blank lines and comments are ignored
119 if not line or line.startswith("#"):
120 continue
121
122 if line.startswith("K"):
Paul Kehrere5805982013-09-27 11:26:01 -0500123 key = line.split(" : ")[1].replace(" ", "").encode("ascii")
Paul Kehrer1951bf62013-09-15 12:05:43 -0500124 elif line.startswith("P"):
Paul Kehrere5805982013-09-27 11:26:01 -0500125 pt = line.split(" : ")[1].replace(" ", "").encode("ascii")
Paul Kehrer1951bf62013-09-15 12:05:43 -0500126 elif line.startswith("C"):
Paul Kehrere5805982013-09-27 11:26:01 -0500127 ct = line.split(" : ")[1].replace(" ", "").encode("ascii")
128 # after a C is found the K+P+C tuple is complete
129 # there are many P+C pairs for each K
Alex Gaynor1fe70b12013-10-16 11:59:17 -0700130 cryptrec_list.append({
131 "key": key,
132 "plaintext": pt,
133 "ciphertext": ct
134 })
Donald Stufft3359d7e2013-10-19 19:33:06 -0400135 else:
136 raise ValueError("Invalid line in file '{}'".format(line))
Paul Kehrer1951bf62013-09-15 12:05:43 -0500137 return cryptrec_list
138
139
Paul Kehrer69e06522013-10-18 17:28:39 -0500140def load_hash_vectors(vector_data):
141 vectors = []
Paul Kehrer1bb8b712013-10-27 17:00:14 -0500142 key = None
143 msg = None
144 md = None
Paul Kehrer69e06522013-10-18 17:28:39 -0500145
146 for line in vector_data:
147 line = line.strip()
148
Paul Kehrer87cd0db2013-10-18 18:01:26 -0500149 if not line or line.startswith("#") or line.startswith("["):
Paul Kehrer69e06522013-10-18 17:28:39 -0500150 continue
151
152 if line.startswith("Len"):
153 length = int(line.split(" = ")[1])
Paul Kehrer0317b042013-10-28 17:34:27 -0500154 elif line.startswith("Key"):
Alex Gaynor36e651c2014-01-27 10:08:35 -0800155 # HMAC vectors contain a key attribute. Hash vectors do not.
Paul Kehrer0317b042013-10-28 17:34:27 -0500156 key = line.split(" = ")[1].encode("ascii")
Paul Kehrer69e06522013-10-18 17:28:39 -0500157 elif line.startswith("Msg"):
Alex Gaynor36e651c2014-01-27 10:08:35 -0800158 # In the NIST vectors they have chosen to represent an empty
159 # string as hex 00, which is of course not actually an empty
160 # string. So we parse the provided length and catch this edge case.
Paul Kehrer69e06522013-10-18 17:28:39 -0500161 msg = line.split(" = ")[1].encode("ascii") if length > 0 else b""
162 elif line.startswith("MD"):
163 md = line.split(" = ")[1]
Paul Kehrer0317b042013-10-28 17:34:27 -0500164 # after MD is found the Msg+MD (+ potential key) tuple is complete
Paul Kehrer00dd5092013-10-23 09:41:49 -0500165 if key is not None:
Alex Gaynor36e651c2014-01-27 10:08:35 -0800166 vectors.append(KeyedHashVector(msg, md, key))
Paul Kehrer1bb8b712013-10-27 17:00:14 -0500167 key = None
168 msg = None
169 md = None
Paul Kehrer00dd5092013-10-23 09:41:49 -0500170 else:
Alex Gaynor36e651c2014-01-27 10:08:35 -0800171 vectors.append(HashVector(msg, md))
Paul Kehrer1bb8b712013-10-27 17:00:14 -0500172 msg = None
173 md = None
Paul Kehrer69e06522013-10-18 17:28:39 -0500174 else:
175 raise ValueError("Unknown line in hash vector")
176 return vectors
Alex Stapleton58f27ac2014-02-02 19:30:03 +0000177
178
179def load_pkcs1_vectors(vector_data):
180 """
181 Loads data out of RSA PKCS #1 vector files.
Alex Stapleton58f27ac2014-02-02 19:30:03 +0000182 """
183 private_key_vector = None
184 public_key_vector = None
185 attr = None
186 key = None
Paul Kehrerefca2802014-02-17 20:55:13 -0600187 example_vector = None
188 examples = []
Alex Stapleton58f27ac2014-02-02 19:30:03 +0000189 vectors = []
190 for line in vector_data:
Paul Kehrer7774a032014-02-17 22:56:55 -0600191 if (
192 line.startswith("# PSS Example") or
193 line.startswith("# PKCS#1 v1.5 Signature")
194 ):
Paul Kehrerefca2802014-02-17 20:55:13 -0600195 if example_vector:
196 for key, value in six.iteritems(example_vector):
Paul Kehrer26811802014-02-19 16:32:11 -0600197 hex_str = "".join(value).replace(" ", "").encode("ascii")
Paul Kehrerefca2802014-02-17 20:55:13 -0600198 example_vector[key] = hex_str
199 examples.append(example_vector)
200
201 attr = None
202 example_vector = collections.defaultdict(list)
203
204 if line.startswith("# Message to be signed"):
Paul Kehrer7d9c3062014-02-18 08:27:39 -0600205 attr = "message"
Paul Kehrerefca2802014-02-17 20:55:13 -0600206 continue
207 elif line.startswith("# Salt"):
208 attr = "salt"
209 continue
210 elif line.startswith("# Signature"):
211 attr = "signature"
212 continue
213 elif (
214 example_vector and
215 line.startswith("# =============================================")
216 ):
217 for key, value in six.iteritems(example_vector):
Paul Kehrer26811802014-02-19 16:32:11 -0600218 hex_str = "".join(value).replace(" ", "").encode("ascii")
Paul Kehrerefca2802014-02-17 20:55:13 -0600219 example_vector[key] = hex_str
220 examples.append(example_vector)
221 example_vector = None
222 attr = None
223 elif example_vector and line.startswith("#"):
224 continue
225 else:
226 if attr is not None and example_vector is not None:
227 example_vector[attr].append(line.strip())
228 continue
229
Alex Stapleton58f27ac2014-02-02 19:30:03 +0000230 if (
231 line.startswith("# Example") or
232 line.startswith("# =============================================")
233 ):
234 if key:
235 assert private_key_vector
236 assert public_key_vector
237
238 for key, value in six.iteritems(public_key_vector):
239 hex_str = "".join(value).replace(" ", "")
240 public_key_vector[key] = int(hex_str, 16)
241
242 for key, value in six.iteritems(private_key_vector):
243 hex_str = "".join(value).replace(" ", "")
244 private_key_vector[key] = int(hex_str, 16)
245
Paul Kehrerefca2802014-02-17 20:55:13 -0600246 private_key_vector["examples"] = examples
247 examples = []
248
Alex Stapleton58f27ac2014-02-02 19:30:03 +0000249 assert (
250 private_key_vector['public_exponent'] ==
251 public_key_vector['public_exponent']
252 )
253
254 assert (
255 private_key_vector['modulus'] ==
256 public_key_vector['modulus']
257 )
258
259 vectors.append(
260 (private_key_vector, public_key_vector)
261 )
262
263 public_key_vector = collections.defaultdict(list)
264 private_key_vector = collections.defaultdict(list)
265 key = None
266 attr = None
267
268 if private_key_vector is None or public_key_vector is None:
269 continue
270
271 if line.startswith("# Private key"):
272 key = private_key_vector
273 elif line.startswith("# Public key"):
274 key = public_key_vector
275 elif line.startswith("# Modulus:"):
276 attr = "modulus"
277 elif line.startswith("# Public exponent:"):
278 attr = "public_exponent"
279 elif line.startswith("# Exponent:"):
280 if key is public_key_vector:
281 attr = "public_exponent"
282 else:
283 assert key is private_key_vector
284 attr = "private_exponent"
285 elif line.startswith("# Prime 1:"):
286 attr = "p"
287 elif line.startswith("# Prime 2:"):
288 attr = "q"
Paul Kehrer09328bb2014-02-12 23:57:27 -0600289 elif line.startswith("# Prime exponent 1:"):
290 attr = "dmp1"
291 elif line.startswith("# Prime exponent 2:"):
292 attr = "dmq1"
293 elif line.startswith("# Coefficient:"):
294 attr = "iqmp"
Alex Stapleton58f27ac2014-02-02 19:30:03 +0000295 elif line.startswith("#"):
296 attr = None
297 else:
298 if key is not None and attr is not None:
299 key[attr].append(line.strip())
300 return vectors
Paul Kehrer2f2a2062014-03-10 23:30:28 -0400301
302
303def load_rsa_nist_vectors(vector_data):
304 test_data = None
Paul Kehrer62707f12014-03-18 07:19:14 -0400305 p = None
Paul Kehrerafc25182014-03-18 07:51:56 -0400306 salt_length = None
Paul Kehrer2f2a2062014-03-10 23:30:28 -0400307 data = []
308
309 for line in vector_data:
310 line = line.strip()
311
312 # Blank lines and section headers are ignored
313 if not line or line.startswith("["):
314 continue
315
316 if line.startswith("# Salt len:"):
317 salt_length = int(line.split(":")[1].strip())
318 continue
319 elif line.startswith("#"):
320 continue
321
322 # Build our data using a simple Key = Value format
323 name, value = [c.strip() for c in line.split("=")]
324
325 if name == "n":
326 n = int(value, 16)
Paul Kehrer62707f12014-03-18 07:19:14 -0400327 elif name == "e" and p is None:
Paul Kehrer2f2a2062014-03-10 23:30:28 -0400328 e = int(value, 16)
Paul Kehrer62707f12014-03-18 07:19:14 -0400329 elif name == "p":
330 p = int(value, 16)
331 elif name == "q":
332 q = int(value, 16)
Paul Kehrer2f2a2062014-03-10 23:30:28 -0400333 elif name == "SHAAlg":
Paul Kehrer62707f12014-03-18 07:19:14 -0400334 if p is None:
335 test_data = {
336 "modulus": n,
337 "public_exponent": e,
338 "salt_length": salt_length,
339 "algorithm": value.encode("ascii"),
340 "fail": False
341 }
342 else:
343 test_data = {
344 "modulus": n,
345 "p": p,
346 "q": q,
347 "algorithm": value.encode("ascii")
348 }
Paul Kehrerafc25182014-03-18 07:51:56 -0400349 if salt_length is not None:
350 test_data["salt_length"] = salt_length
Paul Kehrer2f2a2062014-03-10 23:30:28 -0400351 data.append(test_data)
Paul Kehrer62707f12014-03-18 07:19:14 -0400352 elif name == "e" and p is not None:
353 test_data["public_exponent"] = int(value, 16)
354 elif name == "d":
355 test_data["private_exponent"] = int(value, 16)
356 elif name == "Result":
357 test_data["fail"] = value.startswith("F")
Paul Kehrer2f2a2062014-03-10 23:30:28 -0400358 # For all other tokens we simply want the name, value stored in
359 # the dictionary
360 else:
361 test_data[name.lower()] = value.encode("ascii")
362
363 return data
Mohammed Attia987cc702014-03-12 16:07:21 +0200364
365
366def load_fips_dsa_key_pair_vectors(vector_data):
367 """
368 Loads data out of the FIPS DSA KeyPair vector files.
369 """
370 vectors = []
Mohammed Attia49b92592014-03-12 20:07:05 +0200371 # When reading_key_data is set to True it tells the loader to continue
372 # constructing dictionaries. We set reading_key_data to False during the
373 # blocks of the vectors of N=224 because we don't support it.
374 reading_key_data = True
Mohammed Attia987cc702014-03-12 16:07:21 +0200375 for line in vector_data:
376 line = line.strip()
377
378 if not line or line.startswith("#"):
379 continue
Mohammed Attia49b92592014-03-12 20:07:05 +0200380 elif line.startswith("[mod = L=1024"):
Mohammed Attia987cc702014-03-12 16:07:21 +0200381 continue
Mohammed Attia49b92592014-03-12 20:07:05 +0200382 elif line.startswith("[mod = L=2048, N=224"):
383 reading_key_data = False
Mohammed Attia987cc702014-03-12 16:07:21 +0200384 continue
Mohammed Attia49b92592014-03-12 20:07:05 +0200385 elif line.startswith("[mod = L=2048, N=256"):
386 reading_key_data = True
Mohammed Attia987cc702014-03-12 16:07:21 +0200387 continue
Mohammed Attia49b92592014-03-12 20:07:05 +0200388 elif line.startswith("[mod = L=3072"):
Mohammed Attia987cc702014-03-12 16:07:21 +0200389 continue
390
Mohammed Attia49b92592014-03-12 20:07:05 +0200391 if not reading_key_data:
Mohammed Attia987cc702014-03-12 16:07:21 +0200392 continue
393
Mohammed Attia49b92592014-03-12 20:07:05 +0200394 elif reading_key_data:
Mohammed Attia987cc702014-03-12 16:07:21 +0200395 if line.startswith("P"):
396 vectors.append({'p': int(line.split("=")[1], 16)})
Mohammed Attia22ccb872014-03-12 18:27:59 +0200397 elif line.startswith("Q"):
Mohammed Attia987cc702014-03-12 16:07:21 +0200398 vectors[-1]['q'] = int(line.split("=")[1], 16)
Mohammed Attia22ccb872014-03-12 18:27:59 +0200399 elif line.startswith("G"):
Mohammed Attia987cc702014-03-12 16:07:21 +0200400 vectors[-1]['g'] = int(line.split("=")[1], 16)
Mohammed Attia22ccb872014-03-12 18:27:59 +0200401 elif line.startswith("X") and 'x' not in vectors[-1]:
Mohammed Attia987cc702014-03-12 16:07:21 +0200402 vectors[-1]['x'] = int(line.split("=")[1], 16)
Mohammed Attia22ccb872014-03-12 18:27:59 +0200403 elif line.startswith("X") and 'x' in vectors[-1]:
Mohammed Attia987cc702014-03-12 16:07:21 +0200404 vectors.append({'p': vectors[-1]['p'],
405 'q': vectors[-1]['q'],
406 'g': vectors[-1]['g'],
407 'x': int(line.split("=")[1], 16)
408 })
Mohammed Attia22ccb872014-03-12 18:27:59 +0200409 elif line.startswith("Y"):
Mohammed Attia987cc702014-03-12 16:07:21 +0200410 vectors[-1]['y'] = int(line.split("=")[1], 16)
Mohammed Attia987cc702014-03-12 16:07:21 +0200411
412 return vectors