Issue 14951: Daikon/KVasir report: Invalid read of size 4 (original) (raw)

Issue14951

Created on 2012-05-29 12:29 by cassou, last changed 2022-04-11 14:57 by admin. This issue is now closed.

Messages (3)
msg161872 - (view)	Author: Damien Cassou (cassou)	Date: 2012-05-29 12:29
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)
msg161874 - (view)	Author: STINNER Victor (vstinner) *	Date: 2012-05-29 13:00
Did you read Misc/README.valgrind? Did you compile Python using "./configure --with-valgrind"?
msg161876 - (view)	Author: Damien Cassou (cassou)	Date: 2012-05-29 13:13
I didn't read the document before. Sorry about that. The document makes it clear that what I report is not an error. This report should be closed.