Segmentation fault in PyVex

[badnack]

Segmentation fault(), the information I was able to gather (as far now) are below listed:
python: malloc.c:4108: _int_free: Assertion `p->bk_nextsize->fd_nextsize == p' failed.

Program received signal SIGABRT, Aborted.
0x00007ffff68e0425 in raise () from /lib/x86_64-linux-gnu/libc.so.6
(gdb) bt
#0 0x00007ffff68e0425 in raise () from /lib/x86_64-linux-gnu/libc.so.6
#1 0x00007ffff68e3b8b in abort () from /lib/x86_64-linux-gnu/libc.so.6
#2 0x00007ffff692815d in ?? () from /lib/x86_64-linux-gnu/libc.so.6
#3 0x00007ffff6929ef3 in ?? () from /lib/x86_64-linux-gnu/libc.so.6
#4 0x000000000054875d in ?? ()
#5 0x0000000000458d13 in ?? ()
#6 0x0000000000548ba7 in ?? ()
#7 0x000000000054878d in ?? ()
#8 0x0000000000458d13 in ?? ()
#9 0x0000000000548ba7 in ?? ()
#10 0x000000000054878d in ?? ()
#11 0x0000000000458d13 in ?? ()
#12 0x0000000000548ba7 in ?? ()
#13 0x000000000054878d in ?? ()
#14 0x0000000000458d13 in ?? ()
#15 0x0000000000548ba7 in ?? ()
#16 0x000000000054878d in ?? ()
#17 0x0000000000458d13 in ?? ()
#18 0x0000000000548ba7 in ?? ()
#19 0x000000000054878d in ?? ()
#20 0x0000000000458d13 in ?? ()
#21 0x0000000000548ba7 in ?? ()
#22 0x000000000054878d in ?? ()
#23 0x0000000000458d13 in ?? ()
#24 0x000000000054845c in ?? ()
#25 0x000000000054878d in ?? ()
#26 0x0000000000458d13 in ?? ()
#27 0x0000000000548212 in ?? ()
#28 0x000000000054b336 in ?? ()
#29 0x000000000054b39c in ?? ()
#30 0x0000000000555d65 in ?? ()
#31 0x00000000004bef09 in PyDict_SetItem ()
#32 0x00000000004fdecf in PySys_SetObject ()
#33 0x000000000048a64e in PyEval_EvalFrameEx ()
#34 0x0000000000486e02 in PyEval_EvalFrameEx ()
#35 0x000000000048d930 in PyEval_EvalCodeEx ()
#36 0x0000000000486bb8 in PyEval_EvalFrameEx ()
#37 0x0000000000486e02 in PyEval_EvalFrameEx ()
#38 0x000000000048d930 in PyEval_EvalCodeEx ()
#39 0x00000000004246a1 in PyRun_FileExFlags ()
#40 0x000000000042492e in PyRun_SimpleFileExFlags ()
#41 0x0000000000425cb6 in Py_Main ()
#42 0x00007ffff68cb76d in __libc_start_main () from /lib/x86_64-linux-gnu/libc.so.6
#43 0x000000000041bb31 in _start ()

According a brief search in Internet it seems that there is a writing attempt outside the space of the program.