blob: 5fa7e7e0b2d20e15baa3b58278f04d7a0f5a4e21 [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 Gaynor7a489db2014-03-22 15:09:34 -070017from contextlib import contextmanager
Paul Kehrer90450f32014-03-19 12:37:17 -040018
Alex Stapletona39a3192014-03-14 20:03:12 +000019import pytest
20
Paul Kehrerafc1ccd2014-03-19 11:49:32 -040021import six
Alex Gaynor2b3f9422013-12-24 21:55:24 -080022
Alex Gaynor7a489db2014-03-22 15:09:34 -070023from cryptography.exceptions import UnsupportedAlgorithm
Alex Gaynor07c4dcc2014-04-05 11:22:07 -070024
Alex Stapletona39a3192014-03-14 20:03:12 +000025import cryptography_vectors
Matthew Iversen68e77c72014-03-13 08:54:43 +110026
Alex Gaynor2b3f9422013-12-24 21:55:24 -080027
Alex Gaynor36e651c2014-01-27 10:08:35 -080028HashVector = collections.namedtuple("HashVector", ["message", "digest"])
29KeyedHashVector = collections.namedtuple(
30 "KeyedHashVector", ["message", "digest", "key"]
31)
32
33
Paul Kehrerc421e632014-01-18 09:22:21 -060034def select_backends(names, backend_list):
35 if names is None:
36 return backend_list
37 split_names = [x.strip() for x in names.split(',')]
38 # this must be duplicated and then removed to preserve the metadata
39 # pytest associates. Appending backends to a new list doesn't seem to work
Paul Kehreraed9e172014-01-19 12:09:27 -060040 selected_backends = []
41 for backend in backend_list:
42 if backend.name in split_names:
43 selected_backends.append(backend)
Paul Kehrerc421e632014-01-18 09:22:21 -060044
Paul Kehreraed9e172014-01-19 12:09:27 -060045 if len(selected_backends) > 0:
46 return selected_backends
Paul Kehrerc421e632014-01-18 09:22:21 -060047 else:
48 raise ValueError(
49 "No backend selected. Tried to select: {0}".format(split_names)
50 )
Paul Kehrer34c075e2014-01-13 21:52:08 -050051
52
Alex Gaynor2b3f9422013-12-24 21:55:24 -080053def check_for_iface(name, iface, item):
54 if name in item.keywords and "backend" in item.funcargs:
55 if not isinstance(item.funcargs["backend"], iface):
56 pytest.skip("{0} backend does not support {1}".format(
57 item.funcargs["backend"], name
58 ))
Donald Stufft9e1a48b2013-08-09 00:32:30 -040059
60
Paul Kehrer60fc8da2013-12-26 20:19:34 -060061def check_backend_support(item):
Paul Kehrer5a8fdf82013-12-26 20:13:45 -060062 supported = item.keywords.get("supported")
63 if supported and "backend" in item.funcargs:
64 if not supported.kwargs["only_if"](item.funcargs["backend"]):
Paul Kehrerf03334e2014-01-02 23:16:14 -060065 pytest.skip("{0} ({1})".format(
66 supported.kwargs["skip_message"], item.funcargs["backend"]
67 ))
Paul Kehrer5a8fdf82013-12-26 20:13:45 -060068 elif supported:
Paul Kehrerec495502013-12-27 15:51:40 -060069 raise ValueError("This mark is only available on methods that take a "
70 "backend")
Paul Kehrer5a8fdf82013-12-26 20:13:45 -060071
72
Alex Gaynor7a489db2014-03-22 15:09:34 -070073@contextmanager
Alex Stapleton5e4c8c32014-03-27 16:38:00 +000074def raises_unsupported_algorithm(reason):
Alex Gaynor7a489db2014-03-22 15:09:34 -070075 with pytest.raises(UnsupportedAlgorithm) as exc_info:
Alex Stapleton112963e2014-03-26 17:39:29 +000076 yield exc_info
Alex Stapleton5e4c8c32014-03-27 16:38:00 +000077
Alex Stapleton85a791f2014-03-27 16:55:41 +000078 assert exc_info.value._reason is reason
Alex Gaynor7a489db2014-03-22 15:09:34 -070079
80
Paul Kehrerf7f6a9f2013-11-11 20:43:52 -060081def load_vectors_from_file(filename, loader):
Alex Stapletona39a3192014-03-14 20:03:12 +000082 with cryptography_vectors.open_vector_file(filename) as vector_file:
83 return loader(vector_file)
Paul Kehrerf7f6a9f2013-11-11 20:43:52 -060084
85
Alex Gaynord3ce7032013-11-11 14:46:20 -080086def load_nist_vectors(vector_data):
Paul Kehrer749ac5b2013-11-18 18:12:41 -060087 test_data = None
88 data = []
Donald Stufft9e1a48b2013-08-09 00:32:30 -040089
90 for line in vector_data:
91 line = line.strip()
92
Paul Kehrer749ac5b2013-11-18 18:12:41 -060093 # Blank lines, comments, and section headers are ignored
94 if not line or line.startswith("#") or (line.startswith("[")
95 and line.endswith("]")):
Alex Gaynor521c42d2013-11-11 14:25:59 -080096 continue
97
Paul Kehrera43b6692013-11-12 15:35:49 -060098 if line.strip() == "FAIL":
Paul Kehrer749ac5b2013-11-18 18:12:41 -060099 test_data["fail"] = True
Paul Kehrera43b6692013-11-12 15:35:49 -0600100 continue
101
Donald Stufft9e1a48b2013-08-09 00:32:30 -0400102 # Build our data using a simple Key = Value format
Paul Kehrera43b6692013-11-12 15:35:49 -0600103 name, value = [c.strip() for c in line.split("=")]
Donald Stufft9e1a48b2013-08-09 00:32:30 -0400104
Paul Kehrer1050ddf2014-01-27 21:04:03 -0600105 # Some tests (PBKDF2) contain \0, which should be interpreted as a
106 # null character rather than literal.
107 value = value.replace("\\0", "\0")
108
Donald Stufft9e1a48b2013-08-09 00:32:30 -0400109 # COUNT is a special token that indicates a new block of data
110 if name.upper() == "COUNT":
Paul Kehrer749ac5b2013-11-18 18:12:41 -0600111 test_data = {}
112 data.append(test_data)
113 continue
Donald Stufft9e1a48b2013-08-09 00:32:30 -0400114 # For all other tokens we simply want the name, value stored in
115 # the dictionary
116 else:
Paul Kehrer749ac5b2013-11-18 18:12:41 -0600117 test_data[name.lower()] = value.encode("ascii")
Donald Stufft9e1a48b2013-08-09 00:32:30 -0400118
Paul Kehrer749ac5b2013-11-18 18:12:41 -0600119 return data
Donald Stufft9e1a48b2013-08-09 00:32:30 -0400120
121
Paul Kehrer1951bf62013-09-15 12:05:43 -0500122def load_cryptrec_vectors(vector_data):
Paul Kehrere5805982013-09-27 11:26:01 -0500123 cryptrec_list = []
Paul Kehrer1951bf62013-09-15 12:05:43 -0500124
125 for line in vector_data:
126 line = line.strip()
127
128 # Blank lines and comments are ignored
129 if not line or line.startswith("#"):
130 continue
131
132 if line.startswith("K"):
Paul Kehrere5805982013-09-27 11:26:01 -0500133 key = line.split(" : ")[1].replace(" ", "").encode("ascii")
Paul Kehrer1951bf62013-09-15 12:05:43 -0500134 elif line.startswith("P"):
Paul Kehrere5805982013-09-27 11:26:01 -0500135 pt = line.split(" : ")[1].replace(" ", "").encode("ascii")
Paul Kehrer1951bf62013-09-15 12:05:43 -0500136 elif line.startswith("C"):
Paul Kehrere5805982013-09-27 11:26:01 -0500137 ct = line.split(" : ")[1].replace(" ", "").encode("ascii")
138 # after a C is found the K+P+C tuple is complete
139 # there are many P+C pairs for each K
Alex Gaynor1fe70b12013-10-16 11:59:17 -0700140 cryptrec_list.append({
141 "key": key,
142 "plaintext": pt,
143 "ciphertext": ct
144 })
Donald Stufft3359d7e2013-10-19 19:33:06 -0400145 else:
146 raise ValueError("Invalid line in file '{}'".format(line))
Paul Kehrer1951bf62013-09-15 12:05:43 -0500147 return cryptrec_list
148
149
Paul Kehrer69e06522013-10-18 17:28:39 -0500150def load_hash_vectors(vector_data):
151 vectors = []
Paul Kehrer1bb8b712013-10-27 17:00:14 -0500152 key = None
153 msg = None
154 md = None
Paul Kehrer69e06522013-10-18 17:28:39 -0500155
156 for line in vector_data:
157 line = line.strip()
158
Paul Kehrer87cd0db2013-10-18 18:01:26 -0500159 if not line or line.startswith("#") or line.startswith("["):
Paul Kehrer69e06522013-10-18 17:28:39 -0500160 continue
161
162 if line.startswith("Len"):
163 length = int(line.split(" = ")[1])
Paul Kehrer0317b042013-10-28 17:34:27 -0500164 elif line.startswith("Key"):
Alex Gaynor36e651c2014-01-27 10:08:35 -0800165 # HMAC vectors contain a key attribute. Hash vectors do not.
Paul Kehrer0317b042013-10-28 17:34:27 -0500166 key = line.split(" = ")[1].encode("ascii")
Paul Kehrer69e06522013-10-18 17:28:39 -0500167 elif line.startswith("Msg"):
Alex Gaynor36e651c2014-01-27 10:08:35 -0800168 # In the NIST vectors they have chosen to represent an empty
169 # string as hex 00, which is of course not actually an empty
170 # string. So we parse the provided length and catch this edge case.
Paul Kehrer69e06522013-10-18 17:28:39 -0500171 msg = line.split(" = ")[1].encode("ascii") if length > 0 else b""
172 elif line.startswith("MD"):
173 md = line.split(" = ")[1]
Paul Kehrer0317b042013-10-28 17:34:27 -0500174 # after MD is found the Msg+MD (+ potential key) tuple is complete
Paul Kehrer00dd5092013-10-23 09:41:49 -0500175 if key is not None:
Alex Gaynor36e651c2014-01-27 10:08:35 -0800176 vectors.append(KeyedHashVector(msg, md, key))
Paul Kehrer1bb8b712013-10-27 17:00:14 -0500177 key = None
178 msg = None
179 md = None
Paul Kehrer00dd5092013-10-23 09:41:49 -0500180 else:
Alex Gaynor36e651c2014-01-27 10:08:35 -0800181 vectors.append(HashVector(msg, md))
Paul Kehrer1bb8b712013-10-27 17:00:14 -0500182 msg = None
183 md = None
Paul Kehrer69e06522013-10-18 17:28:39 -0500184 else:
185 raise ValueError("Unknown line in hash vector")
186 return vectors
Alex Stapleton58f27ac2014-02-02 19:30:03 +0000187
188
189def load_pkcs1_vectors(vector_data):
190 """
191 Loads data out of RSA PKCS #1 vector files.
Alex Stapleton58f27ac2014-02-02 19:30:03 +0000192 """
193 private_key_vector = None
194 public_key_vector = None
195 attr = None
196 key = None
Paul Kehrerefca2802014-02-17 20:55:13 -0600197 example_vector = None
198 examples = []
Alex Stapleton58f27ac2014-02-02 19:30:03 +0000199 vectors = []
200 for line in vector_data:
Paul Kehrer7774a032014-02-17 22:56:55 -0600201 if (
202 line.startswith("# PSS Example") or
Paul Kehrer3fe91502014-03-29 12:08:39 -0500203 line.startswith("# OAEP Example") or
204 line.startswith("# PKCS#1 v1.5")
Paul Kehrer7774a032014-02-17 22:56:55 -0600205 ):
Paul Kehrerefca2802014-02-17 20:55:13 -0600206 if example_vector:
207 for key, value in six.iteritems(example_vector):
Paul Kehrer26811802014-02-19 16:32:11 -0600208 hex_str = "".join(value).replace(" ", "").encode("ascii")
Paul Kehrerefca2802014-02-17 20:55:13 -0600209 example_vector[key] = hex_str
210 examples.append(example_vector)
211
212 attr = None
213 example_vector = collections.defaultdict(list)
214
Paul Kehrer3fe91502014-03-29 12:08:39 -0500215 if line.startswith("# Message"):
Paul Kehrer7d9c3062014-02-18 08:27:39 -0600216 attr = "message"
Paul Kehrerefca2802014-02-17 20:55:13 -0600217 continue
218 elif line.startswith("# Salt"):
219 attr = "salt"
220 continue
Paul Kehrer3fe91502014-03-29 12:08:39 -0500221 elif line.startswith("# Seed"):
222 attr = "seed"
223 continue
Paul Kehrerefca2802014-02-17 20:55:13 -0600224 elif line.startswith("# Signature"):
225 attr = "signature"
226 continue
Paul Kehrer3fe91502014-03-29 12:08:39 -0500227 elif line.startswith("# Encryption"):
228 attr = "encryption"
229 continue
Paul Kehrerefca2802014-02-17 20:55:13 -0600230 elif (
231 example_vector and
232 line.startswith("# =============================================")
233 ):
234 for key, value in six.iteritems(example_vector):
Paul Kehrer26811802014-02-19 16:32:11 -0600235 hex_str = "".join(value).replace(" ", "").encode("ascii")
Paul Kehrerefca2802014-02-17 20:55:13 -0600236 example_vector[key] = hex_str
237 examples.append(example_vector)
238 example_vector = None
239 attr = None
240 elif example_vector and line.startswith("#"):
241 continue
242 else:
243 if attr is not None and example_vector is not None:
244 example_vector[attr].append(line.strip())
245 continue
246
Alex Stapleton58f27ac2014-02-02 19:30:03 +0000247 if (
248 line.startswith("# Example") or
249 line.startswith("# =============================================")
250 ):
251 if key:
252 assert private_key_vector
253 assert public_key_vector
254
255 for key, value in six.iteritems(public_key_vector):
256 hex_str = "".join(value).replace(" ", "")
257 public_key_vector[key] = int(hex_str, 16)
258
259 for key, value in six.iteritems(private_key_vector):
260 hex_str = "".join(value).replace(" ", "")
261 private_key_vector[key] = int(hex_str, 16)
262
Paul Kehrerefca2802014-02-17 20:55:13 -0600263 private_key_vector["examples"] = examples
264 examples = []
265
Alex Stapleton58f27ac2014-02-02 19:30:03 +0000266 assert (
267 private_key_vector['public_exponent'] ==
268 public_key_vector['public_exponent']
269 )
270
271 assert (
272 private_key_vector['modulus'] ==
273 public_key_vector['modulus']
274 )
275
276 vectors.append(
277 (private_key_vector, public_key_vector)
278 )
279
280 public_key_vector = collections.defaultdict(list)
281 private_key_vector = collections.defaultdict(list)
282 key = None
283 attr = None
284
285 if private_key_vector is None or public_key_vector is None:
286 continue
287
288 if line.startswith("# Private key"):
289 key = private_key_vector
290 elif line.startswith("# Public key"):
291 key = public_key_vector
292 elif line.startswith("# Modulus:"):
293 attr = "modulus"
294 elif line.startswith("# Public exponent:"):
295 attr = "public_exponent"
296 elif line.startswith("# Exponent:"):
297 if key is public_key_vector:
298 attr = "public_exponent"
299 else:
300 assert key is private_key_vector
301 attr = "private_exponent"
302 elif line.startswith("# Prime 1:"):
303 attr = "p"
304 elif line.startswith("# Prime 2:"):
305 attr = "q"
Paul Kehrer09328bb2014-02-12 23:57:27 -0600306 elif line.startswith("# Prime exponent 1:"):
307 attr = "dmp1"
308 elif line.startswith("# Prime exponent 2:"):
309 attr = "dmq1"
310 elif line.startswith("# Coefficient:"):
311 attr = "iqmp"
Alex Stapleton58f27ac2014-02-02 19:30:03 +0000312 elif line.startswith("#"):
313 attr = None
314 else:
315 if key is not None and attr is not None:
316 key[attr].append(line.strip())
317 return vectors
Paul Kehrer2f2a2062014-03-10 23:30:28 -0400318
319
320def load_rsa_nist_vectors(vector_data):
321 test_data = None
Paul Kehrer62707f12014-03-18 07:19:14 -0400322 p = None
Paul Kehrerafc25182014-03-18 07:51:56 -0400323 salt_length = None
Paul Kehrer2f2a2062014-03-10 23:30:28 -0400324 data = []
325
326 for line in vector_data:
327 line = line.strip()
328
329 # Blank lines and section headers are ignored
330 if not line or line.startswith("["):
331 continue
332
333 if line.startswith("# Salt len:"):
334 salt_length = int(line.split(":")[1].strip())
335 continue
336 elif line.startswith("#"):
337 continue
338
339 # Build our data using a simple Key = Value format
340 name, value = [c.strip() for c in line.split("=")]
341
342 if name == "n":
343 n = int(value, 16)
Paul Kehrer62707f12014-03-18 07:19:14 -0400344 elif name == "e" and p is None:
Paul Kehrer2f2a2062014-03-10 23:30:28 -0400345 e = int(value, 16)
Paul Kehrer62707f12014-03-18 07:19:14 -0400346 elif name == "p":
347 p = int(value, 16)
348 elif name == "q":
349 q = int(value, 16)
Paul Kehrer2f2a2062014-03-10 23:30:28 -0400350 elif name == "SHAAlg":
Paul Kehrer62707f12014-03-18 07:19:14 -0400351 if p is None:
352 test_data = {
353 "modulus": n,
354 "public_exponent": e,
355 "salt_length": salt_length,
Paul Kehrere66f69a2014-03-18 07:57:26 -0400356 "algorithm": value,
Paul Kehrer62707f12014-03-18 07:19:14 -0400357 "fail": False
358 }
359 else:
360 test_data = {
361 "modulus": n,
362 "p": p,
363 "q": q,
Paul Kehrere66f69a2014-03-18 07:57:26 -0400364 "algorithm": value
Paul Kehrer62707f12014-03-18 07:19:14 -0400365 }
Paul Kehrerafc25182014-03-18 07:51:56 -0400366 if salt_length is not None:
367 test_data["salt_length"] = salt_length
Paul Kehrer2f2a2062014-03-10 23:30:28 -0400368 data.append(test_data)
Paul Kehrer62707f12014-03-18 07:19:14 -0400369 elif name == "e" and p is not None:
370 test_data["public_exponent"] = int(value, 16)
371 elif name == "d":
372 test_data["private_exponent"] = int(value, 16)
373 elif name == "Result":
374 test_data["fail"] = value.startswith("F")
Paul Kehrer2f2a2062014-03-10 23:30:28 -0400375 # For all other tokens we simply want the name, value stored in
376 # the dictionary
377 else:
378 test_data[name.lower()] = value.encode("ascii")
379
380 return data
Mohammed Attia987cc702014-03-12 16:07:21 +0200381
382
383def load_fips_dsa_key_pair_vectors(vector_data):
384 """
385 Loads data out of the FIPS DSA KeyPair vector files.
386 """
387 vectors = []
Mohammed Attia49b92592014-03-12 20:07:05 +0200388 # When reading_key_data is set to True it tells the loader to continue
389 # constructing dictionaries. We set reading_key_data to False during the
390 # blocks of the vectors of N=224 because we don't support it.
391 reading_key_data = True
Mohammed Attia987cc702014-03-12 16:07:21 +0200392 for line in vector_data:
393 line = line.strip()
394
395 if not line or line.startswith("#"):
396 continue
Mohammed Attia49b92592014-03-12 20:07:05 +0200397 elif line.startswith("[mod = L=1024"):
Mohammed Attia987cc702014-03-12 16:07:21 +0200398 continue
Mohammed Attia49b92592014-03-12 20:07:05 +0200399 elif line.startswith("[mod = L=2048, N=224"):
400 reading_key_data = False
Mohammed Attia987cc702014-03-12 16:07:21 +0200401 continue
Mohammed Attia49b92592014-03-12 20:07:05 +0200402 elif line.startswith("[mod = L=2048, N=256"):
403 reading_key_data = True
Mohammed Attia987cc702014-03-12 16:07:21 +0200404 continue
Mohammed Attia49b92592014-03-12 20:07:05 +0200405 elif line.startswith("[mod = L=3072"):
Mohammed Attia987cc702014-03-12 16:07:21 +0200406 continue
407
Mohammed Attia49b92592014-03-12 20:07:05 +0200408 if not reading_key_data:
Mohammed Attia987cc702014-03-12 16:07:21 +0200409 continue
410
Mohammed Attia49b92592014-03-12 20:07:05 +0200411 elif reading_key_data:
Mohammed Attia987cc702014-03-12 16:07:21 +0200412 if line.startswith("P"):
413 vectors.append({'p': int(line.split("=")[1], 16)})
Mohammed Attia22ccb872014-03-12 18:27:59 +0200414 elif line.startswith("Q"):
Mohammed Attia987cc702014-03-12 16:07:21 +0200415 vectors[-1]['q'] = int(line.split("=")[1], 16)
Mohammed Attia22ccb872014-03-12 18:27:59 +0200416 elif line.startswith("G"):
Mohammed Attia987cc702014-03-12 16:07:21 +0200417 vectors[-1]['g'] = int(line.split("=")[1], 16)
Mohammed Attia22ccb872014-03-12 18:27:59 +0200418 elif line.startswith("X") and 'x' not in vectors[-1]:
Mohammed Attia987cc702014-03-12 16:07:21 +0200419 vectors[-1]['x'] = int(line.split("=")[1], 16)
Mohammed Attia22ccb872014-03-12 18:27:59 +0200420 elif line.startswith("X") and 'x' in vectors[-1]:
Mohammed Attia987cc702014-03-12 16:07:21 +0200421 vectors.append({'p': vectors[-1]['p'],
422 'q': vectors[-1]['q'],
423 'g': vectors[-1]['g'],
424 'x': int(line.split("=")[1], 16)
425 })
Mohammed Attia22ccb872014-03-12 18:27:59 +0200426 elif line.startswith("Y"):
Mohammed Attia987cc702014-03-12 16:07:21 +0200427 vectors[-1]['y'] = int(line.split("=")[1], 16)
Mohammed Attia987cc702014-03-12 16:07:21 +0200428
429 return vectors
Alex Stapletoncf048602014-04-12 12:48:59 +0100430
431
432def load_fips_ecdsa_key_pair_vectors(vector_data):
433 """
434 Loads data out of the FIPS ECDSA KeyPair vector files.
435 """
436 vectors = []
437 key_data = None
438
439 nist_name_map = {
440 "[P-192]": "secp192r1",
441 "[P-224]": "secp224r1",
442 "[P-256]": "secp192r1",
443 "[P-384]": "secp384r1",
444 "[P-521]": "secp521r1",
445 "[K-163]": "sect163k1",
446 "[K-233]": "sect233k1",
447 "[K-283]": "sect233k1",
448 "[K-409]": "sect409k1",
449 "[K-571]": "sect571k1",
450 "[B-163]": "sect163r2",
451 "[B-233]": "sect233r1",
452 "[B-283]": "sect283r1",
453 "[B-409]": "sect409r1",
454 "[B-571]": "sect571r1",
455 }
456
457 for line in vector_data:
458 line = line.strip()
459
460 if not line or line.startswith("#"):
461 continue
462
463 if line in nist_name_map:
464 curve_name = nist_name_map[line]
465
466 elif line.startswith("d = "):
467 if key_data is not None:
468 vectors.append(key_data)
469
470 key_data = {
471 "curve": curve_name,
472 "d": int(line.split("=")[1], 16)
473 }
474
475 elif key_data is not None:
476 if line.startswith("Qx = "):
477 key_data["x"] = int(line.split("=")[1], 16)
478 elif line.startswith("Qy = "):
479 key_data["y"] = int(line.split("=")[1], 16)
480
481 if key_data is not None:
482 vectors.append(key_data)
483
484 return vectors