Jean-Paul Calderone | fd59312 | 2013-03-03 10:21:53 -0800 | [diff] [blame] | 1 | import sys |
Jean-Paul Calderone | 68a6f8f | 2013-03-01 17:56:22 -0800 | [diff] [blame] | 2 | |
| 3 | import traceback |
| 4 | |
| 5 | from cffi import api as _api |
Alex Gaynor | c3fac9d | 2016-01-16 12:15:09 -0500 | [diff] [blame] | 6 | |
| 7 | |
Alex Gaynor | c3fac9d | 2016-01-16 12:15:09 -0500 | [diff] [blame] | 8 | sys.modules['ssl'] = None |
| 9 | sys.modules['_hashlib'] = None |
| 10 | |
| 11 | |
Jean-Paul Calderone | 68a6f8f | 2013-03-01 17:56:22 -0800 | [diff] [blame] | 12 | _ffi = _api.FFI() |
| 13 | _ffi.cdef( |
| 14 | """ |
| 15 | void *malloc(size_t size); |
| 16 | void free(void *ptr); |
| 17 | void *realloc(void *ptr, size_t size); |
| 18 | |
| 19 | int CRYPTO_set_mem_functions(void *(*m)(size_t),void *(*r)(void *,size_t), void (*f)(void *)); |
| 20 | |
| 21 | int backtrace(void **buffer, int size); |
| 22 | char **backtrace_symbols(void *const *buffer, int size); |
| 23 | void backtrace_symbols_fd(void *const *buffer, int size, int fd); |
Hynek Schlawack | 7b3aa90 | 2015-10-16 21:06:20 +0200 | [diff] [blame] | 24 | """) # noqa |
Jean-Paul Calderone | 68a6f8f | 2013-03-01 17:56:22 -0800 | [diff] [blame] | 25 | _api = _ffi.verify( |
| 26 | """ |
| 27 | #include <openssl/crypto.h> |
| 28 | #include <stdlib.h> |
| 29 | #include <execinfo.h> |
| 30 | """, libraries=["crypto"]) |
| 31 | C = _ffi.dlopen(None) |
| 32 | |
Jean-Paul Calderone | fd59312 | 2013-03-03 10:21:53 -0800 | [diff] [blame] | 33 | verbose = False |
| 34 | |
Hynek Schlawack | 7b3aa90 | 2015-10-16 21:06:20 +0200 | [diff] [blame] | 35 | |
Jean-Paul Calderone | fd59312 | 2013-03-03 10:21:53 -0800 | [diff] [blame] | 36 | def log(s): |
| 37 | if verbose: |
Jean-Paul Calderone | 558b78a | 2014-01-10 14:08:50 -0500 | [diff] [blame] | 38 | print(s) |
Jean-Paul Calderone | 68a6f8f | 2013-03-01 17:56:22 -0800 | [diff] [blame] | 39 | |
Hynek Schlawack | 7b3aa90 | 2015-10-16 21:06:20 +0200 | [diff] [blame] | 40 | |
Jean-Paul Calderone | 68a6f8f | 2013-03-01 17:56:22 -0800 | [diff] [blame] | 41 | def _backtrace(): |
| 42 | buf = _ffi.new("void*[]", 64) |
| 43 | result = _api.backtrace(buf, len(buf)) |
| 44 | strings = _api.backtrace_symbols(buf, result) |
| 45 | stack = [_ffi.string(strings[i]) for i in range(result)] |
| 46 | C.free(strings) |
| 47 | return stack |
| 48 | |
| 49 | |
Jean-Paul Calderone | fd59312 | 2013-03-03 10:21:53 -0800 | [diff] [blame] | 50 | @_ffi.callback("void*(*)(size_t)") |
Jean-Paul Calderone | ede8b71 | 2014-01-01 12:36:46 -0500 | [diff] [blame] | 51 | def malloc(n): |
Jean-Paul Calderone | 68a6f8f | 2013-03-01 17:56:22 -0800 | [diff] [blame] | 52 | memory = C.malloc(n) |
| 53 | python_stack = traceback.extract_stack(limit=3) |
| 54 | c_stack = _backtrace() |
Jean-Paul Calderone | c2e8b41 | 2013-03-02 16:27:55 -0800 | [diff] [blame] | 55 | heap[memory] = [(n, python_stack, c_stack)] |
Jean-Paul Calderone | fd59312 | 2013-03-03 10:21:53 -0800 | [diff] [blame] | 56 | log("malloc(%d) -> %s" % (n, memory)) |
Jean-Paul Calderone | 68a6f8f | 2013-03-01 17:56:22 -0800 | [diff] [blame] | 57 | return memory |
Jean-Paul Calderone | 68a6f8f | 2013-03-01 17:56:22 -0800 | [diff] [blame] | 58 | |
| 59 | |
| 60 | @_ffi.callback("void*(*)(void*, size_t)") |
Jean-Paul Calderone | ede8b71 | 2014-01-01 12:36:46 -0500 | [diff] [blame] | 61 | def realloc(p, n): |
Jean-Paul Calderone | 68a6f8f | 2013-03-01 17:56:22 -0800 | [diff] [blame] | 62 | memory = C.realloc(p, n) |
| 63 | old = heap.pop(p) |
| 64 | |
| 65 | python_stack = traceback.extract_stack(limit=3) |
| 66 | c_stack = _backtrace() |
| 67 | |
Jean-Paul Calderone | c2e8b41 | 2013-03-02 16:27:55 -0800 | [diff] [blame] | 68 | old.append((n, python_stack, c_stack)) |
Jean-Paul Calderone | 68a6f8f | 2013-03-01 17:56:22 -0800 | [diff] [blame] | 69 | heap[memory] = old |
Jean-Paul Calderone | fd59312 | 2013-03-03 10:21:53 -0800 | [diff] [blame] | 70 | log("realloc(0x%x, %d) -> %s" % (int(_ffi.cast("int", p)), n, memory)) |
Jean-Paul Calderone | 68a6f8f | 2013-03-01 17:56:22 -0800 | [diff] [blame] | 71 | return memory |
| 72 | |
| 73 | |
| 74 | @_ffi.callback("void(*)(void*)") |
Jean-Paul Calderone | ede8b71 | 2014-01-01 12:36:46 -0500 | [diff] [blame] | 75 | def free(p): |
Jean-Paul Calderone | 68a6f8f | 2013-03-01 17:56:22 -0800 | [diff] [blame] | 76 | if p != _ffi.NULL: |
| 77 | C.free(p) |
| 78 | del heap[p] |
Jean-Paul Calderone | fd59312 | 2013-03-03 10:21:53 -0800 | [diff] [blame] | 79 | log("free(0x%x)" % (int(_ffi.cast("int", p)),)) |
Jean-Paul Calderone | 68a6f8f | 2013-03-01 17:56:22 -0800 | [diff] [blame] | 80 | |
| 81 | |
Jean-Paul Calderone | ede8b71 | 2014-01-01 12:36:46 -0500 | [diff] [blame] | 82 | if _api.CRYPTO_set_mem_functions(malloc, realloc, free): |
Jean-Paul Calderone | 558b78a | 2014-01-10 14:08:50 -0500 | [diff] [blame] | 83 | log('Enabled memory debugging') |
Jean-Paul Calderone | 8e4a663 | 2013-03-03 17:30:27 -0800 | [diff] [blame] | 84 | heap = {} |
Jean-Paul Calderone | 68a6f8f | 2013-03-01 17:56:22 -0800 | [diff] [blame] | 85 | else: |
Jean-Paul Calderone | 558b78a | 2014-01-10 14:08:50 -0500 | [diff] [blame] | 86 | log('Failed to enable memory debugging') |
Jean-Paul Calderone | 8e4a663 | 2013-03-03 17:30:27 -0800 | [diff] [blame] | 87 | heap = None |