blob: a1a0cd928c1abc616571a9843dcfe9d8bcc64f3c [file] [log] [blame]
Jean-Paul Calderone8671c852011-03-02 19:26:20 -05001# Copyright (C) Jean-Paul Calderone
2# Copyright (C) Twisted Matrix Laboratories.
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -04003# See LICENSE for details.
4
5"""
6Helpers for the OpenSSL test suite, largely copied from
7U{Twisted<http://twistedmatrix.com/>}.
8"""
9
10import shutil
Jean-Paul Calderone68a6f8f2013-03-01 17:56:22 -080011import traceback
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -040012import os, os.path
13from tempfile import mktemp
14from unittest import TestCase
Rick Dean47262da2009-07-08 16:17:17 -050015import sys
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -040016
Jean-Paul Calderonec86bb7d2013-12-29 10:25:59 -050017from OpenSSL._util import exception_from_error_queue
18from OpenSSL.crypto import Error
Jean-Paul Calderone88f38b22009-07-16 16:25:19 -040019
Jean-Paul Calderone68a6f8f2013-03-01 17:56:22 -080020import memdbg
21
Jean-Paul Calderoneea9c8a32011-04-01 18:26:37 -040022if sys.version_info < (3, 0):
Jean-Paul Calderone9e4eeae2010-08-22 21:32:52 -040023 def b(s):
24 return s
25 bytes = str
26else:
27 def b(s):
Jean-Paul Calderone77769602011-04-06 18:20:10 -040028 return s.encode("charmap")
Jean-Paul Calderoneea9c8a32011-04-01 18:26:37 -040029 bytes = bytes
Jean-Paul Calderone9e4eeae2010-08-22 21:32:52 -040030
Jean-Paul Calderonef6745b32013-03-01 15:08:46 -080031from tls.c import api
Jean-Paul Calderone9e4eeae2010-08-22 21:32:52 -040032
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -040033class TestCase(TestCase):
34 """
Jonathan Ballet648875f2011-07-16 14:14:58 +090035 :py:class:`TestCase` adds useful testing functionality beyond what is available
36 from the standard library :py:class:`unittest.TestCase`.
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -040037 """
Jean-Paul Calderone855331d2013-03-03 10:21:43 -080038 def run(self, result):
Jean-Paul Calderone68703ed2013-03-04 12:23:44 -080039 run = super(TestCase, self).run
40 if memdbg.heap is None:
41 return run(result)
42
Jean-Paul Calderone855331d2013-03-03 10:21:43 -080043 # Run the test as usual
44 before = set(memdbg.heap)
Jean-Paul Calderone68703ed2013-03-04 12:23:44 -080045 run(result)
Jean-Paul Calderone855331d2013-03-03 10:21:43 -080046
47 # Clean up some long-lived allocations so they won't be reported as
48 # memory leaks.
49 api.CRYPTO_cleanup_all_ex_data()
50 api.ERR_remove_thread_state(api.NULL)
51 after = set(memdbg.heap)
52
53 if not after - before:
54 # No leaks, fast succeed
55 return
56
57 if result.wasSuccessful():
58 # If it passed, run it again with memory debugging
59 before = set(memdbg.heap)
Jean-Paul Calderone68703ed2013-03-04 12:23:44 -080060 run(result)
Jean-Paul Calderone855331d2013-03-03 10:21:43 -080061
62 # Clean up some long-lived allocations so they won't be reported as
63 # memory leaks.
64 api.CRYPTO_cleanup_all_ex_data()
65 api.ERR_remove_thread_state(api.NULL)
66
67 after = set(memdbg.heap)
68
69 self._reportLeaks(after - before, result)
Jean-Paul Calderonef6745b32013-03-01 15:08:46 -080070
Jean-Paul Calderone40732ff2013-03-01 20:53:50 -080071
Jean-Paul Calderone855331d2013-03-03 10:21:43 -080072 def _reportLeaks(self, leaks, result):
Jean-Paul Calderone68a6f8f2013-03-01 17:56:22 -080073 def format_leak(p):
74 stacks = memdbg.heap[p]
75 # Eventually look at multiple stacks for the realloc() case. For
76 # now just look at the original allocation location.
Jean-Paul Calderonec2e8b412013-03-02 16:27:55 -080077 (size, python_stack, c_stack) = stacks[0]
Jean-Paul Calderonef6745b32013-03-01 15:08:46 -080078
Jean-Paul Calderone68a6f8f2013-03-01 17:56:22 -080079 stack = traceback.format_list(python_stack)[:-1]
Jean-Paul Calderonef6745b32013-03-01 15:08:46 -080080
Jean-Paul Calderone68a6f8f2013-03-01 17:56:22 -080081 # c_stack looks something like this (interesting parts indicated
82 # with inserted arrows not part of the data):
83 #
84 # /home/exarkun/Projects/pyOpenSSL/branches/use-opentls/__pycache__/_cffi__x89095113xb9185b9b.so(+0x12cf) [0x7fe2e20582cf]
85 # /home/exarkun/Projects/cpython/2.7/python(PyCFunction_Call+0x8b) [0x56265a]
86 # /home/exarkun/Projects/cpython/2.7/python() [0x4d5f52]
87 # /home/exarkun/Projects/cpython/2.7/python(PyEval_EvalFrameEx+0x753b) [0x4d0e1e]
88 # /home/exarkun/Projects/cpython/2.7/python() [0x4d6419]
89 # /home/exarkun/Projects/cpython/2.7/python() [0x4d6129]
90 # /home/exarkun/Projects/cpython/2.7/python(PyEval_EvalFrameEx+0x753b) [0x4d0e1e]
91 # /home/exarkun/Projects/cpython/2.7/python(PyEval_EvalCodeEx+0x1043) [0x4d3726]
92 # /home/exarkun/Projects/cpython/2.7/python() [0x55fd51]
93 # /home/exarkun/Projects/cpython/2.7/python(PyObject_Call+0x7e) [0x420ee6]
94 # /home/exarkun/Projects/cpython/2.7/python(PyEval_CallObjectWithKeywords+0x158) [0x4d56ec]
95 # /home/exarkun/.local/lib/python2.7/site-packages/cffi-0.5-py2.7-linux-x86_64.egg/_cffi_backend.so(+0xe96e) [0x7fe2e38be96e]
96 # /usr/lib/x86_64-linux-gnu/libffi.so.6(ffi_closure_unix64_inner+0x1b9) [0x7fe2e36ad819]
97 # /usr/lib/x86_64-linux-gnu/libffi.so.6(ffi_closure_unix64+0x46) [0x7fe2e36adb7c]
98 # /lib/x86_64-linux-gnu/libcrypto.so.1.0.0(CRYPTO_malloc+0x64) [0x7fe2e1cef784] <------ end interesting
99 # /lib/x86_64-linux-gnu/libcrypto.so.1.0.0(lh_insert+0x16b) [0x7fe2e1d6a24b] .
100 # /lib/x86_64-linux-gnu/libcrypto.so.1.0.0(+0x61c18) [0x7fe2e1cf0c18] .
101 # /lib/x86_64-linux-gnu/libcrypto.so.1.0.0(+0x625ec) [0x7fe2e1cf15ec] .
102 # /lib/x86_64-linux-gnu/libcrypto.so.1.0.0(DSA_new_method+0xe6) [0x7fe2e1d524d6] .
103 # /lib/x86_64-linux-gnu/libcrypto.so.1.0.0(DSA_generate_parameters+0x3a) [0x7fe2e1d5364a] <------ begin interesting
104 # /home/exarkun/Projects/opentls/trunk/tls/c/__pycache__/_cffi__x305d4698xb539baaa.so(+0x1f397) [0x7fe2df84d397]
105 # /home/exarkun/Projects/cpython/2.7/python(PyCFunction_Call+0x8b) [0x56265a]
106 # /home/exarkun/Projects/cpython/2.7/python() [0x4d5f52]
107 # /home/exarkun/Projects/cpython/2.7/python(PyEval_EvalFrameEx+0x753b) [0x4d0e1e]
108 # /home/exarkun/Projects/cpython/2.7/python() [0x4d6419]
109 # ...
110 #
111 # Notice the stack is upside down compared to a Python traceback.
112 # Identify the start and end of interesting bits and stuff it into the stack we report.
Jean-Paul Calderonef6745b32013-03-01 15:08:46 -0800113
Jean-Paul Calderonec2e8b412013-03-02 16:27:55 -0800114 saved = list(c_stack)
115
Jean-Paul Calderone68a6f8f2013-03-01 17:56:22 -0800116 # Figure the first interesting frame will be after a the cffi-compiled module
Jean-Paul Calderonec2e8b412013-03-02 16:27:55 -0800117 while c_stack and '/__pycache__/_cffi__' not in c_stack[-1]:
Jean-Paul Calderone68a6f8f2013-03-01 17:56:22 -0800118 c_stack.pop()
Jean-Paul Calderonef6745b32013-03-01 15:08:46 -0800119
Jean-Paul Calderone68a6f8f2013-03-01 17:56:22 -0800120 # Figure the last interesting frame will always be CRYPTO_malloc,
121 # since that's where we hooked in to things.
Jean-Paul Calderonec2e8b412013-03-02 16:27:55 -0800122 while c_stack and 'CRYPTO_malloc' not in c_stack[0] and 'CRYPTO_realloc' not in c_stack[0]:
Jean-Paul Calderone68a6f8f2013-03-01 17:56:22 -0800123 c_stack.pop(0)
124
Jean-Paul Calderonec2e8b412013-03-02 16:27:55 -0800125 if c_stack:
126 c_stack.reverse()
127 else:
128 c_stack = saved[::-1]
Jean-Paul Calderone68a6f8f2013-03-01 17:56:22 -0800129 stack.extend([frame + "\n" for frame in c_stack])
130
Jean-Paul Calderone2beac532013-03-03 17:30:36 -0800131 stack.insert(0, "Leaked (%s) at:\n")
Jean-Paul Calderone68a6f8f2013-03-01 17:56:22 -0800132 return "".join(stack)
133
Jean-Paul Calderone855331d2013-03-03 10:21:43 -0800134 if leaks:
Jean-Paul Calderone2beac532013-03-03 17:30:36 -0800135 unique_leaks = {}
Jean-Paul Calderone855331d2013-03-03 10:21:43 -0800136 for p in leaks:
Jean-Paul Calderone2beac532013-03-03 17:30:36 -0800137 size = memdbg.heap[p][-1][0]
138 new_leak = format_leak(p)
139 if new_leak not in unique_leaks:
140 unique_leaks[new_leak] = [(size, p)]
141 else:
142 unique_leaks[new_leak].append((size, p))
143 memdbg.free(p)
144
145 for (stack, allocs) in unique_leaks.iteritems():
146 allocs_accum = []
147 for (size, pointer) in allocs:
148
149 addr = int(api.ffi.cast('uintptr_t', pointer))
150 allocs_accum.append("%d@0x%x" % (size, addr))
151 allocs_report = ", ".join(sorted(allocs_accum))
152
Jean-Paul Calderone855331d2013-03-03 10:21:43 -0800153 result.addError(
154 self,
Jean-Paul Calderone2beac532013-03-03 17:30:36 -0800155 (None, Exception(stack % (allocs_report,)), None))
Jean-Paul Calderonef6745b32013-03-01 15:08:46 -0800156
Jean-Paul Calderone855331d2013-03-03 10:21:43 -0800157
158 def tearDown(self):
159 """
160 Clean up any files or directories created using :py:meth:`TestCase.mktemp`.
161 Subclasses must invoke this method if they override it or the
162 cleanup will not occur.
163 """
Jean-Paul Calderonebf37f0f2010-07-31 14:56:20 -0400164 if False and self._temporaryFiles is not None:
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400165 for temp in self._temporaryFiles:
166 if os.path.isdir(temp):
167 shutil.rmtree(temp)
168 elif os.path.exists(temp):
169 os.unlink(temp)
Jean-Paul Calderone1206daf2009-07-16 16:07:42 -0400170 try:
Jean-Paul Calderonec86bb7d2013-12-29 10:25:59 -0500171 exception_from_error_queue(Error)
Jean-Paul Calderone24b64592010-08-12 10:43:09 -0400172 except Error:
173 e = sys.exc_info()[1]
Jean-Paul Calderone1206daf2009-07-16 16:07:42 -0400174 if e.args != ([],):
175 self.fail("Left over errors in OpenSSL error queue: " + repr(e))
176
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400177
Jean-Paul Calderoneabfbab62013-02-09 21:25:02 -0800178
Jean-Paul Calderone060a57e2011-05-04 18:02:49 -0400179 def failUnlessIn(self, containee, container, msg=None):
180 """
Jonathan Ballet648875f2011-07-16 14:14:58 +0900181 Fail the test if :py:data:`containee` is not found in :py:data:`container`.
Jean-Paul Calderone060a57e2011-05-04 18:02:49 -0400182
Jonathan Ballet648875f2011-07-16 14:14:58 +0900183 :param containee: the value that should be in :py:class:`container`
Jonathan Ballet78b92a22011-07-16 08:07:26 +0900184 :param container: a sequence type, or in the case of a mapping type,
Jean-Paul Calderone060a57e2011-05-04 18:02:49 -0400185 will follow semantics of 'if key in dict.keys()'
Jonathan Ballet78b92a22011-07-16 08:07:26 +0900186 :param msg: if msg is None, then the failure message will be
Jean-Paul Calderone060a57e2011-05-04 18:02:49 -0400187 '%r not in %r' % (first, second)
188 """
189 if containee not in container:
190 raise self.failureException(msg or "%r not in %r"
191 % (containee, container))
192 return containee
193 assertIn = failUnlessIn
194
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400195 def failUnlessIdentical(self, first, second, msg=None):
196 """
Jonathan Ballet648875f2011-07-16 14:14:58 +0900197 Fail the test if :py:data:`first` is not :py:data:`second`. This is an
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400198 obect-identity-equality test, not an object equality
Jonathan Ballet648875f2011-07-16 14:14:58 +0900199 (i.e. :py:func:`__eq__`) test.
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400200
Jonathan Ballet78b92a22011-07-16 08:07:26 +0900201 :param msg: if msg is None, then the failure message will be
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400202 '%r is not %r' % (first, second)
203 """
204 if first is not second:
205 raise self.failureException(msg or '%r is not %r' % (first, second))
206 return first
207 assertIdentical = failUnlessIdentical
208
209
210 def failIfIdentical(self, first, second, msg=None):
211 """
Jonathan Ballet648875f2011-07-16 14:14:58 +0900212 Fail the test if :py:data:`first` is :py:data:`second`. This is an
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400213 obect-identity-equality test, not an object equality
Jonathan Ballet648875f2011-07-16 14:14:58 +0900214 (i.e. :py:func:`__eq__`) test.
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400215
Jonathan Ballet78b92a22011-07-16 08:07:26 +0900216 :param msg: if msg is None, then the failure message will be
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400217 '%r is %r' % (first, second)
218 """
219 if first is second:
220 raise self.failureException(msg or '%r is %r' % (first, second))
221 return first
222 assertNotIdentical = failIfIdentical
223
224
225 def failUnlessRaises(self, exception, f, *args, **kwargs):
226 """
Jonathan Ballet648875f2011-07-16 14:14:58 +0900227 Fail the test unless calling the function :py:data:`f` with the given
228 :py:data:`args` and :py:data:`kwargs` raises :py:data:`exception`. The
229 failure will report the traceback and call stack of the unexpected
230 exception.
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400231
Jonathan Ballet78b92a22011-07-16 08:07:26 +0900232 :param exception: exception type that is to be expected
233 :param f: the function to call
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400234
Jonathan Ballet78b92a22011-07-16 08:07:26 +0900235 :return: The raised exception instance, if it is of the given type.
236 :raise self.failureException: Raised if the function call does
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400237 not raise an exception or if it raises an exception of a
238 different type.
239 """
240 try:
241 result = f(*args, **kwargs)
Jean-Paul Calderone24b64592010-08-12 10:43:09 -0400242 except exception:
243 inst = sys.exc_info()[1]
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400244 return inst
245 except:
Rick Dean47262da2009-07-08 16:17:17 -0500246 raise self.failureException('%s raised instead of %s'
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400247 % (sys.exc_info()[0],
248 exception.__name__,
Rick Dean47262da2009-07-08 16:17:17 -0500249 ))
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400250 else:
251 raise self.failureException('%s not raised (%r returned)'
252 % (exception.__name__, result))
253 assertRaises = failUnlessRaises
254
255
256 _temporaryFiles = None
257 def mktemp(self):
258 """
259 Pathetic substitute for twisted.trial.unittest.TestCase.mktemp.
260 """
261 if self._temporaryFiles is None:
262 self._temporaryFiles = []
263 temp = mktemp(dir=".")
264 self._temporaryFiles.append(temp)
265 return temp
266
267
268 # Python 2.3 compatibility.
269 def assertTrue(self, *a, **kw):
270 return self.failUnless(*a, **kw)
271
272
273 def assertFalse(self, *a, **kw):
274 return self.failIf(*a, **kw)
Jean-Paul Calderone68649052009-07-17 21:14:27 -0400275
276
277 # Other stuff
278 def assertConsistentType(self, theType, name, *constructionArgs):
279 """
Jonathan Ballet648875f2011-07-16 14:14:58 +0900280 Perform various assertions about :py:data:`theType` to ensure that it is a
Jean-Paul Calderone68649052009-07-17 21:14:27 -0400281 well-defined type. This is useful for extension types, where it's
282 pretty easy to do something wacky. If something about the type is
283 unusual, an exception will be raised.
284
Jonathan Ballet78b92a22011-07-16 08:07:26 +0900285 :param theType: The type object about which to make assertions.
286 :param name: A string giving the name of the type.
Jonathan Ballet648875f2011-07-16 14:14:58 +0900287 :param constructionArgs: Positional arguments to use with :py:data:`theType` to
Jean-Paul Calderone68649052009-07-17 21:14:27 -0400288 create an instance of it.
289 """
290 self.assertEqual(theType.__name__, name)
291 self.assertTrue(isinstance(theType, type))
292 instance = theType(*constructionArgs)
293 self.assertIdentical(type(instance), theType)