Hi,
I've just executed a dynamic program analyzer (kvasir frontend for daikon) on the python runtime with an hello world python input. I got a lot of errors (796 errors from 61 contexts), potentially showing bugs in cpython. The following presents one such errors. I can report more if the following is useful to anyone.
Invalid read of size 4
at 0x459897: PyObject_Free (obmalloc.c:969)
by 0x5133E5: PyGrammar_RemoveAccelerators (acceler.c:47)
by 0x4DCD92: Py_Finalize (pythonrun.c:539)
by 0x417946: Py_Main (main.c:664)
by 0x416703: main (python.c:23)
Address 0x6108020 is 256 bytes inside a block of size 676 free'd
at 0x4C24242: free (vg_replace_malloc.c:366)
by 0x459F3F: PyObject_Free (obmalloc.c:1166)
by 0x51379F: fixstate (acceler.c:124)
by 0x51344F: fixdfa (acceler.c:60)
by 0x513369: PyGrammar_AddAccelerators (acceler.c:30)
by 0x513C84: PyParser_New (parser.c:77)
by 0x417D73: parsetok (parsetok.c:136)
by 0x417D1B: PyParser_ParseFileFlagsEx (parsetok.c:106)
by 0x4DF284: PyParser_ASTFromFile (pythonrun.c:1476)
by 0x4CD570: parse_source_module (import.c:829)
by 0x4CDB2A: load_source_module (import.c:1006)
by 0x4CF05B: load_module (import.c:1822)
|