blob: 35461821f9a1fd6420780501484ccb464c0c29e3 [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 Stapletona39a3192014-03-14 20:03:12 +000024import cryptography_vectors
Matthew Iversen68e77c72014-03-13 08:54:43 +110025
Alex Gaynor2b3f9422013-12-24 21:55:24 -080026
Alex Gaynor36e651c2014-01-27 10:08:35 -080027HashVector = collections.namedtuple("HashVector", ["message", "digest"])
28KeyedHashVector = collections.namedtuple(
29 "KeyedHashVector", ["message", "digest", "key"]
30)
31
32
Paul Kehrerc421e632014-01-18 09:22:21 -060033def select_backends(names, backend_list):
34 if names is None:
35 return backend_list
36 split_names = [x.strip() for x in names.split(',')]
37 # this must be duplicated and then removed to preserve the metadata
38 # pytest associates. Appending backends to a new list doesn't seem to work
Paul Kehreraed9e172014-01-19 12:09:27 -060039 selected_backends = []
40 for backend in backend_list:
41 if backend.name in split_names:
42 selected_backends.append(backend)
Paul Kehrerc421e632014-01-18 09:22:21 -060043
Paul Kehreraed9e172014-01-19 12:09:27 -060044 if len(selected_backends) > 0:
45 return selected_backends
Paul Kehrerc421e632014-01-18 09:22:21 -060046 else:
47 raise ValueError(
48 "No backend selected. Tried to select: {0}".format(split_names)
49 )
Paul Kehrer34c075e2014-01-13 21:52:08 -050050
51
Alex Gaynor2b3f9422013-12-24 21:55:24 -080052def check_for_iface(name, iface, item):
53 if name in item.keywords and "backend" in item.funcargs:
54 if not isinstance(item.funcargs["backend"], iface):
55 pytest.skip("{0} backend does not support {1}".format(
56 item.funcargs["backend"], name
57 ))
Donald Stufft9e1a48b2013-08-09 00:32:30 -040058
59
Paul Kehrer60fc8da2013-12-26 20:19:34 -060060def check_backend_support(item):
Paul Kehrer5a8fdf82013-12-26 20:13:45 -060061 supported = item.keywords.get("supported")
62 if supported and "backend" in item.funcargs:
63 if not supported.kwargs["only_if"](item.funcargs["backend"]):
Paul Kehrerf03334e2014-01-02 23:16:14 -060064 pytest.skip("{0} ({1})".format(
65 supported.kwargs["skip_message"], item.funcargs["backend"]
66 ))
Paul Kehrer5a8fdf82013-12-26 20:13:45 -060067 elif supported:
Paul Kehrerec495502013-12-27 15:51:40 -060068 raise ValueError("This mark is only available on methods that take a "
69 "backend")
Paul Kehrer5a8fdf82013-12-26 20:13:45 -060070
71
Alex Gaynor7a489db2014-03-22 15:09:34 -070072@contextmanager
Alex Stapleton5e4c8c32014-03-27 16:38:00 +000073def raises_unsupported_algorithm(reason):
Alex Gaynor7a489db2014-03-22 15:09:34 -070074 with pytest.raises(UnsupportedAlgorithm) as exc_info:
Alex Stapleton112963e2014-03-26 17:39:29 +000075 yield exc_info
Alex Stapleton5e4c8c32014-03-27 16:38:00 +000076
Alex Stapleton85a791f2014-03-27 16:55:41 +000077 assert exc_info.value._reason is reason
Alex Gaynor7a489db2014-03-22 15:09:34 -070078
79
Paul Kehrerf7f6a9f2013-11-11 20:43:52 -060080def load_vectors_from_file(filename, loader):
Alex Stapletona39a3192014-03-14 20:03:12 +000081 with cryptography_vectors.open_vector_file(filename) as vector_file:
82 return loader(vector_file)
Paul Kehrerf7f6a9f2013-11-11 20:43:52 -060083
84
Alex Gaynord3ce7032013-11-11 14:46:20 -080085def load_nist_vectors(vector_data):
Paul Kehrer749ac5b2013-11-18 18:12:41 -060086 test_data = None
87 data = []
Donald Stufft9e1a48b2013-08-09 00:32:30 -040088
89 for line in vector_data:
90 line = line.strip()
91
Paul Kehrer749ac5b2013-11-18 18:12:41 -060092 # Blank lines, comments, and section headers are ignored
93 if not line or line.startswith("#") or (line.startswith("[")
94 and line.endswith("]")):
Alex Gaynor521c42d2013-11-11 14:25:59 -080095 continue
96
Paul Kehrera43b6692013-11-12 15:35:49 -060097 if line.strip() == "FAIL":
Paul Kehrer749ac5b2013-11-18 18:12:41 -060098 test_data["fail"] = True
Paul Kehrera43b6692013-11-12 15:35:49 -060099 continue
100
Donald Stufft9e1a48b2013-08-09 00:32:30 -0400101 # Build our data using a simple Key = Value format
Paul Kehrera43b6692013-11-12 15:35:49 -0600102 name, value = [c.strip() for c in line.split("=")]
Donald Stufft9e1a48b2013-08-09 00:32:30 -0400103
Paul Kehrer1050ddf2014-01-27 21:04:03 -0600104 # Some tests (PBKDF2) contain \0, which should be interpreted as a
105 # null character rather than literal.
106 value = value.replace("\\0", "\0")
107
Donald Stufft9e1a48b2013-08-09 00:32:30 -0400108 # COUNT is a special token that indicates a new block of data
109 if name.upper() == "COUNT":
Paul Kehrer749ac5b2013-11-18 18:12:41 -0600110 test_data = {}
111 data.append(test_data)
112 continue
Donald Stufft9e1a48b2013-08-09 00:32:30 -0400113 # For all other tokens we simply want the name, value stored in
114 # the dictionary
115 else:
Paul Kehrer749ac5b2013-11-18 18:12:41 -0600116 test_data[name.lower()] = value.encode("ascii")
Donald Stufft9e1a48b2013-08-09 00:32:30 -0400117
Paul Kehrer749ac5b2013-11-18 18:12:41 -0600118 return data
Donald Stufft9e1a48b2013-08-09 00:32:30 -0400119
120
Paul Kehrer1951bf62013-09-15 12:05:43 -0500121def load_cryptrec_vectors(vector_data):
Paul Kehrere5805982013-09-27 11:26:01 -0500122 cryptrec_list = []
Paul Kehrer1951bf62013-09-15 12:05:43 -0500123
124 for line in vector_data:
125 line = line.strip()
126
127 # Blank lines and comments are ignored
128 if not line or line.startswith("#"):
129 continue
130
131 if line.startswith("K"):
Paul Kehrere5805982013-09-27 11:26:01 -0500132 key = line.split(" : ")[1].replace(" ", "").encode("ascii")
Paul Kehrer1951bf62013-09-15 12:05:43 -0500133 elif line.startswith("P"):
Paul Kehrere5805982013-09-27 11:26:01 -0500134 pt = line.split(" : ")[1].replace(" ", "").encode("ascii")
Paul Kehrer1951bf62013-09-15 12:05:43 -0500135 elif line.startswith("C"):
Paul Kehrere5805982013-09-27 11:26:01 -0500136 ct = line.split(" : ")[1].replace(" ", "").encode("ascii")
137 # after a C is found the K+P+C tuple is complete
138 # there are many P+C pairs for each K
Alex Gaynor1fe70b12013-10-16 11:59:17 -0700139 cryptrec_list.append({
140 "key": key,
141 "plaintext": pt,
142 "ciphertext": ct
143 })
Donald Stufft3359d7e2013-10-19 19:33:06 -0400144 else:
145 raise ValueError("Invalid line in file '{}'".format(line))
Paul Kehrer1951bf62013-09-15 12:05:43 -0500146 return cryptrec_list
147
148
Paul Kehrer69e06522013-10-18 17:28:39 -0500149def load_hash_vectors(vector_data):
150 vectors = []
Paul Kehrer1bb8b712013-10-27 17:00:14 -0500151 key = None
152 msg = None
153 md = None
Paul Kehrer69e06522013-10-18 17:28:39 -0500154
155 for line in vector_data:
156 line = line.strip()
157
Paul Kehrer87cd0db2013-10-18 18:01:26 -0500158 if not line or line.startswith("#") or line.startswith("["):
Paul Kehrer69e06522013-10-18 17:28:39 -0500159 continue
160
161 if line.startswith("Len"):
162 length = int(line.split(" = ")[1])
Paul Kehrer0317b042013-10-28 17:34:27 -0500163 elif line.startswith("Key"):
Alex Gaynor36e651c2014-01-27 10:08:35 -0800164 # HMAC vectors contain a key attribute. Hash vectors do not.
Paul Kehrer0317b042013-10-28 17:34:27 -0500165 key = line.split(" = ")[1].encode("ascii")
Paul Kehrer69e06522013-10-18 17:28:39 -0500166 elif line.startswith("Msg"):
Alex Gaynor36e651c2014-01-27 10:08:35 -0800167 # In the NIST vectors they have chosen to represent an empty
168 # string as hex 00, which is of course not actually an empty
169 # string. So we parse the provided length and catch this edge case.
Paul Kehrer69e06522013-10-18 17:28:39 -0500170 msg = line.split(" = ")[1].encode("ascii") if length > 0 else b""
171 elif line.startswith("MD"):
172 md = line.split(" = ")[1]
Paul Kehrer0317b042013-10-28 17:34:27 -0500173 # after MD is found the Msg+MD (+ potential key) tuple is complete
Paul Kehrer00dd5092013-10-23 09:41:49 -0500174 if key is not None:
Alex Gaynor36e651c2014-01-27 10:08:35 -0800175 vectors.append(KeyedHashVector(msg, md, key))
Paul Kehrer1bb8b712013-10-27 17:00:14 -0500176 key = None
177 msg = None
178 md = None
Paul Kehrer00dd5092013-10-23 09:41:49 -0500179 else:
Alex Gaynor36e651c2014-01-27 10:08:35 -0800180 vectors.append(HashVector(msg, md))
Paul Kehrer1bb8b712013-10-27 17:00:14 -0500181 msg = None
182 md = None
Paul Kehrer69e06522013-10-18 17:28:39 -0500183 else:
184 raise ValueError("Unknown line in hash vector")
185 return vectors
Alex Stapleton58f27ac2014-02-02 19:30:03 +0000186
187
188def load_pkcs1_vectors(vector_data):
189 """
190 Loads data out of RSA PKCS #1 vector files.
Alex Stapleton58f27ac2014-02-02 19:30:03 +0000191 """
192 private_key_vector = None
193 public_key_vector = None
194 attr = None
195 key = None
Paul Kehrerefca2802014-02-17 20:55:13 -0600196 example_vector = None
197 examples = []
Alex Stapleton58f27ac2014-02-02 19:30:03 +0000198 vectors = []
199 for line in vector_data:
Paul Kehrer7774a032014-02-17 22:56:55 -0600200 if (
201 line.startswith("# PSS Example") or
Paul Kehrer3fe91502014-03-29 12:08:39 -0500202 line.startswith("# OAEP Example") or
203 line.startswith("# PKCS#1 v1.5")
Paul Kehrer7774a032014-02-17 22:56:55 -0600204 ):
Paul Kehrerefca2802014-02-17 20:55:13 -0600205 if example_vector:
206 for key, value in six.iteritems(example_vector):
Paul Kehrer26811802014-02-19 16:32:11 -0600207 hex_str = "".join(value).replace(" ", "").encode("ascii")
Paul Kehrerefca2802014-02-17 20:55:13 -0600208 example_vector[key] = hex_str
209 examples.append(example_vector)
210
211 attr = None
212 example_vector = collections.defaultdict(list)
213
Paul Kehrer3fe91502014-03-29 12:08:39 -0500214 if line.startswith("# Message"):
Paul Kehrer7d9c3062014-02-18 08:27:39 -0600215 attr = "message"
Paul Kehrerefca2802014-02-17 20:55:13 -0600216 continue
217 elif line.startswith("# Salt"):
218 attr = "salt"
219 continue
Paul Kehrer3fe91502014-03-29 12:08:39 -0500220 elif line.startswith("# Seed"):
221 attr = "seed"
222 continue
Paul Kehrerefca2802014-02-17 20:55:13 -0600223 elif line.startswith("# Signature"):
224 attr = "signature"
225 continue
Paul Kehrer3fe91502014-03-29 12:08:39 -0500226 elif line.startswith("# Encryption"):
227 attr = "encryption"
228 continue
Paul Kehrerefca2802014-02-17 20:55:13 -0600229 elif (
230 example_vector and
231 line.startswith("# =============================================")
232 ):
233 for key, value in six.iteritems(example_vector):
Paul Kehrer26811802014-02-19 16:32:11 -0600234 hex_str = "".join(value).replace(" ", "").encode("ascii")
Paul Kehrerefca2802014-02-17 20:55:13 -0600235 example_vector[key] = hex_str
236 examples.append(example_vector)
237 example_vector = None
238 attr = None
239 elif example_vector and line.startswith("#"):
240 continue
241 else:
242 if attr is not None and example_vector is not None:
243 example_vector[attr].append(line.strip())
244 continue
245
Alex Stapleton58f27ac2014-02-02 19:30:03 +0000246 if (
247 line.startswith("# Example") or
248 line.startswith("# =============================================")
249 ):
250 if key:
251 assert private_key_vector
252 assert public_key_vector
253
254 for key, value in six.iteritems(public_key_vector):
255 hex_str = "".join(value).replace(" ", "")
256 public_key_vector[key] = int(hex_str, 16)
257
258 for key, value in six.iteritems(private_key_vector):
259 hex_str = "".join(value).replace(" ", "")
260 private_key_vector[key] = int(hex_str, 16)
261
Paul Kehrerefca2802014-02-17 20:55:13 -0600262 private_key_vector["examples"] = examples
263 examples = []
264
Alex Stapleton58f27ac2014-02-02 19:30:03 +0000265 assert (
266 private_key_vector['public_exponent'] ==
267 public_key_vector['public_exponent']
268 )
269
270 assert (
271 private_key_vector['modulus'] ==
272 public_key_vector['modulus']
273 )
274
275 vectors.append(
276 (private_key_vector, public_key_vector)
277 )
278
279 public_key_vector = collections.defaultdict(list)
280 private_key_vector = collections.defaultdict(list)
281 key = None
282 attr = None
283
284 if private_key_vector is None or public_key_vector is None:
285 continue
286
287 if line.startswith("# Private key"):
288 key = private_key_vector
289 elif line.startswith("# Public key"):
290 key = public_key_vector
291 elif line.startswith("# Modulus:"):
292 attr = "modulus"
293 elif line.startswith("# Public exponent:"):
294 attr = "public_exponent"
295 elif line.startswith("# Exponent:"):
296 if key is public_key_vector:
297 attr = "public_exponent"
298 else:
299 assert key is private_key_vector
300 attr = "private_exponent"
301 elif line.startswith("# Prime 1:"):
302 attr = "p"
303 elif line.startswith("# Prime 2:"):
304 attr = "q"
Paul Kehrer09328bb2014-02-12 23:57:27 -0600305 elif line.startswith("# Prime exponent 1:"):
306 attr = "dmp1"
307 elif line.startswith("# Prime exponent 2:"):
308 attr = "dmq1"
309 elif line.startswith("# Coefficient:"):
310 attr = "iqmp"
Alex Stapleton58f27ac2014-02-02 19:30:03 +0000311 elif line.startswith("#"):
312 attr = None
313 else:
314 if key is not None and attr is not None:
315 key[attr].append(line.strip())
316 return vectors
Paul Kehrer2f2a2062014-03-10 23:30:28 -0400317
318
319def load_rsa_nist_vectors(vector_data):
320 test_data = None
Paul Kehrer62707f12014-03-18 07:19:14 -0400321 p = None
Paul Kehrerafc25182014-03-18 07:51:56 -0400322 salt_length = None
Paul Kehrer2f2a2062014-03-10 23:30:28 -0400323 data = []
324
325 for line in vector_data:
326 line = line.strip()
327
328 # Blank lines and section headers are ignored
329 if not line or line.startswith("["):
330 continue
331
332 if line.startswith("# Salt len:"):
333 salt_length = int(line.split(":")[1].strip())
334 continue
335 elif line.startswith("#"):
336 continue
337
338 # Build our data using a simple Key = Value format
339 name, value = [c.strip() for c in line.split("=")]
340
341 if name == "n":
342 n = int(value, 16)
Paul Kehrer62707f12014-03-18 07:19:14 -0400343 elif name == "e" and p is None:
Paul Kehrer2f2a2062014-03-10 23:30:28 -0400344 e = int(value, 16)
Paul Kehrer62707f12014-03-18 07:19:14 -0400345 elif name == "p":
346 p = int(value, 16)
347 elif name == "q":
348 q = int(value, 16)
Paul Kehrer2f2a2062014-03-10 23:30:28 -0400349 elif name == "SHAAlg":
Paul Kehrer62707f12014-03-18 07:19:14 -0400350 if p is None:
351 test_data = {
352 "modulus": n,
353 "public_exponent": e,
354 "salt_length": salt_length,
Paul Kehrere66f69a2014-03-18 07:57:26 -0400355 "algorithm": value,
Paul Kehrer62707f12014-03-18 07:19:14 -0400356 "fail": False
357 }
358 else:
359 test_data = {
360 "modulus": n,
361 "p": p,
362 "q": q,
Paul Kehrere66f69a2014-03-18 07:57:26 -0400363 "algorithm": value
Paul Kehrer62707f12014-03-18 07:19:14 -0400364 }
Paul Kehrerafc25182014-03-18 07:51:56 -0400365 if salt_length is not None:
366 test_data["salt_length"] = salt_length
Paul Kehrer2f2a2062014-03-10 23:30:28 -0400367 data.append(test_data)
Paul Kehrer62707f12014-03-18 07:19:14 -0400368 elif name == "e" and p is not None:
369 test_data["public_exponent"] = int(value, 16)
370 elif name == "d":
371 test_data["private_exponent"] = int(value, 16)
372 elif name == "Result":
373 test_data["fail"] = value.startswith("F")
Paul Kehrer2f2a2062014-03-10 23:30:28 -0400374 # For all other tokens we simply want the name, value stored in
375 # the dictionary
376 else:
377 test_data[name.lower()] = value.encode("ascii")
378
379 return data
Mohammed Attia987cc702014-03-12 16:07:21 +0200380
381
382def load_fips_dsa_key_pair_vectors(vector_data):
383 """
384 Loads data out of the FIPS DSA KeyPair vector files.
385 """
386 vectors = []
Mohammed Attia49b92592014-03-12 20:07:05 +0200387 # When reading_key_data is set to True it tells the loader to continue
388 # constructing dictionaries. We set reading_key_data to False during the
389 # blocks of the vectors of N=224 because we don't support it.
390 reading_key_data = True
Mohammed Attia987cc702014-03-12 16:07:21 +0200391 for line in vector_data:
392 line = line.strip()
393
394 if not line or line.startswith("#"):
395 continue
Mohammed Attia49b92592014-03-12 20:07:05 +0200396 elif line.startswith("[mod = L=1024"):
Mohammed Attia987cc702014-03-12 16:07:21 +0200397 continue
Mohammed Attia49b92592014-03-12 20:07:05 +0200398 elif line.startswith("[mod = L=2048, N=224"):
399 reading_key_data = False
Mohammed Attia987cc702014-03-12 16:07:21 +0200400 continue
Mohammed Attia49b92592014-03-12 20:07:05 +0200401 elif line.startswith("[mod = L=2048, N=256"):
402 reading_key_data = True
Mohammed Attia987cc702014-03-12 16:07:21 +0200403 continue
Mohammed Attia49b92592014-03-12 20:07:05 +0200404 elif line.startswith("[mod = L=3072"):
Mohammed Attia987cc702014-03-12 16:07:21 +0200405 continue
406
Mohammed Attia49b92592014-03-12 20:07:05 +0200407 if not reading_key_data:
Mohammed Attia987cc702014-03-12 16:07:21 +0200408 continue
409
Mohammed Attia49b92592014-03-12 20:07:05 +0200410 elif reading_key_data:
Mohammed Attia987cc702014-03-12 16:07:21 +0200411 if line.startswith("P"):
412 vectors.append({'p': int(line.split("=")[1], 16)})
Mohammed Attia22ccb872014-03-12 18:27:59 +0200413 elif line.startswith("Q"):
Mohammed Attia987cc702014-03-12 16:07:21 +0200414 vectors[-1]['q'] = int(line.split("=")[1], 16)
Mohammed Attia22ccb872014-03-12 18:27:59 +0200415 elif line.startswith("G"):
Mohammed Attia987cc702014-03-12 16:07:21 +0200416 vectors[-1]['g'] = int(line.split("=")[1], 16)
Mohammed Attia22ccb872014-03-12 18:27:59 +0200417 elif line.startswith("X") and 'x' not in vectors[-1]:
Mohammed Attia987cc702014-03-12 16:07:21 +0200418 vectors[-1]['x'] = int(line.split("=")[1], 16)
Mohammed Attia22ccb872014-03-12 18:27:59 +0200419 elif line.startswith("X") and 'x' in vectors[-1]:
Mohammed Attia987cc702014-03-12 16:07:21 +0200420 vectors.append({'p': vectors[-1]['p'],
421 'q': vectors[-1]['q'],
422 'g': vectors[-1]['g'],
423 'x': int(line.split("=")[1], 16)
424 })
Mohammed Attia22ccb872014-03-12 18:27:59 +0200425 elif line.startswith("Y"):
Mohammed Attia987cc702014-03-12 16:07:21 +0200426 vectors[-1]['y'] = int(line.split("=")[1], 16)
Mohammed Attia987cc702014-03-12 16:07:21 +0200427
428 return vectors