blob: b58a0f20a09f9968f7b42ddf298ce26074e37d33 [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 Calderone8fb53182013-12-30 08:35:49 -0500178 def assertIsInstance(self, instance, classOrTuple, message=None):
179 """
180 Fail if C{instance} is not an instance of the given class or of
181 one of the given classes.
182
183 @param instance: the object to test the type (first argument of the
184 C{isinstance} call).
185 @type instance: any.
186 @param classOrTuple: the class or classes to test against (second
187 argument of the C{isinstance} call).
188 @type classOrTuple: class, type, or tuple.
189
190 @param message: Custom text to include in the exception text if the
191 assertion fails.
192 """
193 if not isinstance(instance, classOrTuple):
194 if message is None:
195 suffix = ""
196 else:
197 suffix = ": " + message
198 self.fail("%r is not an instance of %s%s" % (
199 instance, classOrTuple, suffix))
200
Jean-Paul Calderoneabfbab62013-02-09 21:25:02 -0800201
Jean-Paul Calderone060a57e2011-05-04 18:02:49 -0400202 def failUnlessIn(self, containee, container, msg=None):
203 """
Jonathan Ballet648875f2011-07-16 14:14:58 +0900204 Fail the test if :py:data:`containee` is not found in :py:data:`container`.
Jean-Paul Calderone060a57e2011-05-04 18:02:49 -0400205
Jonathan Ballet648875f2011-07-16 14:14:58 +0900206 :param containee: the value that should be in :py:class:`container`
Jonathan Ballet78b92a22011-07-16 08:07:26 +0900207 :param container: a sequence type, or in the case of a mapping type,
Jean-Paul Calderone060a57e2011-05-04 18:02:49 -0400208 will follow semantics of 'if key in dict.keys()'
Jonathan Ballet78b92a22011-07-16 08:07:26 +0900209 :param msg: if msg is None, then the failure message will be
Jean-Paul Calderone060a57e2011-05-04 18:02:49 -0400210 '%r not in %r' % (first, second)
211 """
212 if containee not in container:
213 raise self.failureException(msg or "%r not in %r"
214 % (containee, container))
215 return containee
216 assertIn = failUnlessIn
217
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400218 def failUnlessIdentical(self, first, second, msg=None):
219 """
Jonathan Ballet648875f2011-07-16 14:14:58 +0900220 Fail the test if :py:data:`first` is not :py:data:`second`. This is an
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400221 obect-identity-equality test, not an object equality
Jonathan Ballet648875f2011-07-16 14:14:58 +0900222 (i.e. :py:func:`__eq__`) test.
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400223
Jonathan Ballet78b92a22011-07-16 08:07:26 +0900224 :param msg: if msg is None, then the failure message will be
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400225 '%r is not %r' % (first, second)
226 """
227 if first is not second:
228 raise self.failureException(msg or '%r is not %r' % (first, second))
229 return first
230 assertIdentical = failUnlessIdentical
231
232
233 def failIfIdentical(self, first, second, msg=None):
234 """
Jonathan Ballet648875f2011-07-16 14:14:58 +0900235 Fail the test if :py:data:`first` is :py:data:`second`. This is an
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400236 obect-identity-equality test, not an object equality
Jonathan Ballet648875f2011-07-16 14:14:58 +0900237 (i.e. :py:func:`__eq__`) test.
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400238
Jonathan Ballet78b92a22011-07-16 08:07:26 +0900239 :param msg: if msg is None, then the failure message will be
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400240 '%r is %r' % (first, second)
241 """
242 if first is second:
243 raise self.failureException(msg or '%r is %r' % (first, second))
244 return first
245 assertNotIdentical = failIfIdentical
246
247
248 def failUnlessRaises(self, exception, f, *args, **kwargs):
249 """
Jonathan Ballet648875f2011-07-16 14:14:58 +0900250 Fail the test unless calling the function :py:data:`f` with the given
251 :py:data:`args` and :py:data:`kwargs` raises :py:data:`exception`. The
252 failure will report the traceback and call stack of the unexpected
253 exception.
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400254
Jonathan Ballet78b92a22011-07-16 08:07:26 +0900255 :param exception: exception type that is to be expected
256 :param f: the function to call
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400257
Jonathan Ballet78b92a22011-07-16 08:07:26 +0900258 :return: The raised exception instance, if it is of the given type.
259 :raise self.failureException: Raised if the function call does
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400260 not raise an exception or if it raises an exception of a
261 different type.
262 """
263 try:
264 result = f(*args, **kwargs)
Jean-Paul Calderone24b64592010-08-12 10:43:09 -0400265 except exception:
266 inst = sys.exc_info()[1]
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400267 return inst
268 except:
Rick Dean47262da2009-07-08 16:17:17 -0500269 raise self.failureException('%s raised instead of %s'
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400270 % (sys.exc_info()[0],
271 exception.__name__,
Rick Dean47262da2009-07-08 16:17:17 -0500272 ))
Jean-Paul Calderone0ef63ed2009-07-05 13:05:45 -0400273 else:
274 raise self.failureException('%s not raised (%r returned)'
275 % (exception.__name__, result))
276 assertRaises = failUnlessRaises
277
278
279 _temporaryFiles = None
280 def mktemp(self):
281 """
282 Pathetic substitute for twisted.trial.unittest.TestCase.mktemp.
283 """
284 if self._temporaryFiles is None:
285 self._temporaryFiles = []
286 temp = mktemp(dir=".")
287 self._temporaryFiles.append(temp)
288 return temp
289
290
291 # Python 2.3 compatibility.
292 def assertTrue(self, *a, **kw):
293 return self.failUnless(*a, **kw)
294
295
296 def assertFalse(self, *a, **kw):
297 return self.failIf(*a, **kw)
Jean-Paul Calderone68649052009-07-17 21:14:27 -0400298
299
300 # Other stuff
301 def assertConsistentType(self, theType, name, *constructionArgs):
302 """
Jonathan Ballet648875f2011-07-16 14:14:58 +0900303 Perform various assertions about :py:data:`theType` to ensure that it is a
Jean-Paul Calderone68649052009-07-17 21:14:27 -0400304 well-defined type. This is useful for extension types, where it's
305 pretty easy to do something wacky. If something about the type is
306 unusual, an exception will be raised.
307
Jonathan Ballet78b92a22011-07-16 08:07:26 +0900308 :param theType: The type object about which to make assertions.
309 :param name: A string giving the name of the type.
Jonathan Ballet648875f2011-07-16 14:14:58 +0900310 :param constructionArgs: Positional arguments to use with :py:data:`theType` to
Jean-Paul Calderone68649052009-07-17 21:14:27 -0400311 create an instance of it.
312 """
313 self.assertEqual(theType.__name__, name)
314 self.assertTrue(isinstance(theType, type))
315 instance = theType(*constructionArgs)
316 self.assertIdentical(type(instance), theType)