[issue4416] state_reset not called on 'state' before sre_search invoked
Brian Szuter [EMAIL PROTECTED] added the comment: Examples: /Python-2.5.2/Modules/_sre.c Lines 3289 - 3297 (scanner_search) /Python-2.5.2/Modules/_sre.c Lines 2349 - 2357 (pattern_subx) /Python-2.5.2/Modules/_sre.c Lines 2197 - 2205 (pattern_split) /Python-2.5.2/Modules/_sre.c Lines 2067 - 2075 (pattern_findall) -- versions: +Python 2.5.3 -Python 2.7 ___ Python tracker [EMAIL PROTECTED] http://bugs.python.org/issue4416 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue4416] state_reset not called on 'state' before sre_search invoked
Changes by Brian Szuter [EMAIL PROTECTED]: -- versions: +Python 2.7 -Python 2.5.3 ___ Python tracker [EMAIL PROTECTED] http://bugs.python.org/issue4416 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue4416] state_reset not called on 'state' before sre_search invoked
Brian Szuter [EMAIL PROTECTED] added the comment: This bug was found using a research tool that finds potential neglected condition bugs by examining a code base, deducing rules from the code base, and finding violations of those rules. I have not attempted to demonstrate a problem visible to users from this bug, and so cannot provide a test case demonstrating a problem. ___ Python tracker [EMAIL PROTECTED] http://bugs.python.org/issue4416 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue4460] The parameter of PyInt_AsSsize_t() is not checked to see if it is NULL
New submission from Brian Szuter [EMAIL PROTECTED]: Python-2.5.2/Modules/_sre.c(match_getindex) Line 2766 The parameter of PyInt_AsSsize_t() is not checked to see if it is NULL. -- components: None messages: 76600 nosy: CWRU_Researcher1 severity: normal status: open title: The parameter of PyInt_AsSsize_t() is not checked to see if it is NULL type: resource usage versions: Python 2.5.3 ___ Python tracker [EMAIL PROTECTED] http://bugs.python.org/issue4460 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue4461] parameters of PyLong_FromString() are not checked for NULL
New submission from Brian Szuter [EMAIL PROTECTED]: Python-2.5.2/Python/ast.c(parsenumber) Line 3061 The parameters of PyLong_FromString() are not checked for NULL before the method is called. -- components: None messages: 76602 nosy: CWRU_Researcher1 severity: normal status: open title: parameters of PyLong_FromString() are not checked for NULL type: resource usage versions: Python 2.5.3 ___ Python tracker [EMAIL PROTECTED] http://bugs.python.org/issue4461 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue4462] result of PyList_GetItem() not validated
New submission from Brian Szuter [EMAIL PROTECTED]: Python-2.5.2/Python/import.c(find_module) Lines 1171 PyString_Check() is not called on the result of PyList_GetItem(), nor is the result checked to see if it is NULL. -- components: None messages: 76603 nosy: CWRU_Researcher1 severity: normal status: open title: result of PyList_GetItem() not validated type: resource usage versions: Python 2.5.3 ___ Python tracker [EMAIL PROTECTED] http://bugs.python.org/issue4462 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue4463] Parameters and result of PyList_GetItem() are not validated
New submission from Brian Szuter [EMAIL PROTECTED]: Python-2.5.2/Python/import.c(get_path_importer) Lines 1079 PyString_Check() is not called on the result of PyList_GetItem() and the parameters of PyList_GetItem() are not validated before the method is called. -- components: None messages: 76604 nosy: CWRU_Researcher1 severity: normal status: open title: Parameters and result of PyList_GetItem() are not validated type: performance versions: Python 2.5.3 ___ Python tracker [EMAIL PROTECTED] http://bugs.python.org/issue4463 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue4464] PyList_GetItem() result and parameters not fully validated
New submission from Brian Szuter [EMAIL PROTECTED]: Python-2.5.2/Python/codecs.c(_PyCodec_Lookup) Lines 106, 144 PyString_Check() is not called on the result of PyList_GetItem() and the first parameter of PyList_GetItem() does not have PyList_Check() called on it. (See Python-2.5.2/Python/traceback.c(tb_displayline) for a correct instance of the pattern) -- components: None messages: 76605 nosy: CWRU_Researcher1 severity: normal status: open title: PyList_GetItem() result and parameters not fully validated type: performance versions: Python 2.5.3 ___ Python tracker [EMAIL PROTECTED] http://bugs.python.org/issue4464 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue4465] The result of set_copy() is not checked for NULL
New submission from Brian Szuter [EMAIL PROTECTED]: Python-2.5.2/Objects/setobject.c Line 1204 The result of set_copy() is not checked for NULL. [See Objects/setobject.c(set_difference) for example of correct usage] -- components: None messages: 76606 nosy: CWRU_Researcher1 severity: normal status: open title: The result of set_copy() is not checked for NULL type: performance versions: Python 2.5.3 ___ Python tracker [EMAIL PROTECTED] http://bugs.python.org/issue4465 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue4460] The parameter of PyInt_AsSsize_t() is not checked to see if it is NULL
Brian Szuter [EMAIL PROTECTED] added the comment: abstract.c(PyNumber_AsSsize_t) shows this check of PyInt_AsSsize_t()'s parameter: 980:if (value == NULL) 981:return -1; 982: 983:/* We're done if PyInt_AsSsize_t() returns without error. */ 984:result = PyInt_AsSsize_t(value); Similar checks of this parameter occur in the following places: classobject.c(instance_length) 980 sliceobject.c(PySlice_GetIndices) 1020 sliceobject.c(PySlice_GetIndices) 123 sliceobject.c(PySlice_GetIndices) 115 ceval.c(PyEval_EvalFrameEx) 1179 _sre.c(match_getindex) 2772 ___ Python tracker [EMAIL PROTECTED] http://bugs.python.org/issue4460 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue4466] The return value of PyFile_FromFile is not checked for NULL
New submission from Brian Szuter [EMAIL PROTECTED]: Python-2.5.2/Modules/posixmodule.c(posix_tmpfile) Line 6841 The return value of PyFile_FromFile is not checked for NULL See the following where it is checked: tokenizer.c(fp_setreadl) 429 fileobject.c(PyFile_FromString) 300 posixmodule.c(posix_popen) 5323 -- messages: 76611 nosy: CWRU_Researcher1 severity: normal status: open title: The return value of PyFile_FromFile is not checked for NULL ___ Python tracker [EMAIL PROTECTED] http://bugs.python.org/issue4466 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue4467] return value of PyUnicode_AsEncodedString() is not checked for NULL
New submission from Brian Szuter [EMAIL PROTECTED]: Python-2.5.2/Objects/unicodeobject.c(unicode_str) Line 6816 The return value of PyUnicode_AsEncodedString() is not checked for NULL. According to http://www.python.org/doc/2.5.2/api/builtinCodecs.html#l2h-519 this indicates an exception occurred. See the following for instances of where this value is checked: Parser/tokenizer.c(tok_stdin_decode) 726 Parser/tokenizer.c(dec_utf8) 1555 Objects/object.c(PyObject_GenericSetAttr) 1386 Objects/object.c(PyObject_GenericGetAttr) 1260 Objects/object.c(PyObject_SetAttr) 1161 Objects/object.c(PyObject_Str) 434-437 Objects/stringobject.c(PyString_AsEncodedString) 501 Objects/stringobject.c(PyString_AsDecodedString) 421 Objects/unicodeobject.c(_PyUnicodeUCS2_AsDefaultEncodedString) 735 -- components: None messages: 76614 nosy: CWRU_Researcher1 severity: normal status: open title: return value of PyUnicode_AsEncodedString() is not checked for NULL type: performance versions: Python 2.5.3 ___ Python tracker [EMAIL PROTECTED] http://bugs.python.org/issue4467 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue4412] Failure to test return value of PyUnicode_AsUTF8String() for NULL
New submission from Brian Szuter [EMAIL PROTECTED]: /home/rxc92/project/Python-2.5.2/Parser/tokenizer.c (translate_into_utf8) Line 573 The return value of PyUnicode_AsUTF8String() is never checked if it is NULL. Reference: http://www.python.org/doc/2.5.2/api/builtinCodecs.html#l2h-523 -- components: None messages: 76372 nosy: CWRU_Researcher1 severity: normal status: open title: Failure to test return value of PyUnicode_AsUTF8String() for NULL type: resource usage versions: Python 2.5.3 ___ Python tracker [EMAIL PROTECTED] http://bugs.python.org/issue4412 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue4413] Failure to check PyUnicode_AsUTF8String() return value for NULL
New submission from Brian Szuter [EMAIL PROTECTED]: /home/rxc92/project/Python-2.5.2/Objects/unicodeobject.c(PyUnicodeUCS2_AsEncodedString) Line 699 Failed to check PyUnicode_AsUTF8String() for returning NULL. Referenced: http://www.python.org/doc/2.5.2/api/builtinCodecs.html#l2h-523 -- components: None messages: 76373 nosy: CWRU_Researcher1 severity: normal status: open title: Failure to check PyUnicode_AsUTF8String() return value for NULL type: resource usage versions: Python 2.5.3 ___ Python tracker [EMAIL PROTECTED] http://bugs.python.org/issue4413 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue4414] Failure to check return value of PyBool_FromLong for NULL
New submission from Brian Szuter [EMAIL PROTECTED]: /home/rxc92/project/Python-2.5.2/Objects/unicodeobject.c(unicode_istitle) Line 5953 Failed to check that the return value of PyBool_FromLong is not NULL Referenced: http://www.python.org/doc/2.5.2/api/boolObjects.html#l2h-400 -- components: None messages: 76375 nosy: CWRU_Researcher1 severity: normal status: open title: Failure to check return value of PyBool_FromLong for NULL type: resource usage versions: Python 2.5.3 ___ Python tracker [EMAIL PROTECTED] http://bugs.python.org/issue4414 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue4415] Failure to check return value of PyBool_FromLong for NULL
New submission from Brian Szuter [EMAIL PROTECTED]: /home/rxc92/project/Python-2.5.2/Python/import.c(imp_is_frozen) Line 2740 Failed to check that the return value of PyBool_FromLong is not NULL Referenced: http://www.python.org/doc/2.5.2/api/boolObjects.html#l2h-400 -- components: None messages: 76376 nosy: CWRU_Researcher1 severity: normal status: open title: Failure to check return value of PyBool_FromLong for NULL type: resource usage versions: Python 2.5.3 ___ Python tracker [EMAIL PROTECTED] http://bugs.python.org/issue4415 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue4416] state_reset not called on 'state' before sre_search invoked
New submission from Brian Szuter [EMAIL PROTECTED]: /home/rxc92/project/Python-2.5.2/Modules/_sre.c (pattern_search) Line 2740 Elsewhere in the codebase, state_reset is called on the first parameter of sre_search before sre_search is invoked. The does not occur here. -- components: None messages: 76377 nosy: CWRU_Researcher1 severity: normal status: open title: state_reset not called on 'state' before sre_search invoked type: performance versions: Python 2.5.3 ___ Python tracker [EMAIL PROTECTED] http://bugs.python.org/issue4416 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue4417] PySequence_List is not checked for NULL return value
New submission from Brian Szuter [EMAIL PROTECTED]: Python-2.5.2/Objects/abstract.c(PySequence_Fast) Line 1611 PySequence_List is not checked for NULL return value -- messages: 76379 nosy: CWRU_Researcher1 severity: normal status: open title: PySequence_List is not checked for NULL return value type: resource usage versions: Python 2.5.3 ___ Python tracker [EMAIL PROTECTED] http://bugs.python.org/issue4417 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue4418] PyObject_CallObject is not checked for NULL return value
New submission from Brian Szuter [EMAIL PROTECTED]: Python-2.5.2/Modules/_sre.c(PySequence_Fast) Line 1963 PyObject_CallObject is not checked for NULL return value -- messages: 76380 nosy: CWRU_Researcher1 severity: normal status: open title: PyObject_CallObject is not checked for NULL return value type: resource usage versions: Python 2.5.3 ___ Python tracker [EMAIL PROTECTED] http://bugs.python.org/issue4418 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue4418] PyObject_CallObject is not checked for NULL return value
Brian Szuter [EMAIL PROTECTED] added the comment: Python-2.5.2/Modules/_sre.c(join_list) Line 2023 PyObject_CallObject is not checked for NULL return value ___ Python tracker [EMAIL PROTECTED] http://bugs.python.org/issue4418 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue4419] PyUnicode_DecodeUTF8 is not checked for NULL return value
New submission from Brian Szuter [EMAIL PROTECTED]: Python-2.5.2/Objects/unicodeobject.c Line 587 PyUnicode_DecodeUTF8 is not checked for NULL return value -- components: None messages: 76382 nosy: CWRU_Researcher1 severity: normal status: open title: PyUnicode_DecodeUTF8 is not checked for NULL return value type: resource usage versions: Python 2.5.3 ___ Python tracker [EMAIL PROTECTED] http://bugs.python.org/issue4419 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue4420] PyUnicode_Decode is not checked for NULL return value
New submission from Brian Szuter [EMAIL PROTECTED]: Python-2.5.2/Objects/unicodeobject.c(PyUnicodeUCS2_FromEncodedObject) Line 567 PyUnicode_Decode is not checked for NULL return value -- components: None messages: 76383 nosy: CWRU_Researcher1 severity: normal status: open title: PyUnicode_Decode is not checked for NULL return value type: resource usage versions: Python 2.5.3 ___ Python tracker [EMAIL PROTECTED] http://bugs.python.org/issue4420 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue4421] Failed to check 3rd Param of PyArena_AddPyObject() to ensure it isn't NULL
New submission from Brian Szuter [EMAIL PROTECTED]: Python-2.5.2/Python/ast.c(new_identifier) Line 52 Failed to check 3rd Param of PyArena_AddPyObject() to ensure it isn't NULL -- components: None messages: 76384 nosy: CWRU_Researcher1 severity: normal status: open title: Failed to check 3rd Param of PyArena_AddPyObject() to ensure it isn't NULL type: resource usage versions: Python 2.5.3 ___ Python tracker [EMAIL PROTECTED] http://bugs.python.org/issue4421 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue4422] Failed to check 3rd Param of PyArena_AddPyObject() to ensure it isn't NULL
New submission from Brian Szuter [EMAIL PROTECTED]: Python-2.5.2/Python/ast.c(alias_for_import_name) Line 2282, 2288 Failed to check 3rd Param of PyArena_AddPyObject() to ensure it isn't NULL -- components: None messages: 76385 nosy: CWRU_Researcher1 severity: normal status: open title: Failed to check 3rd Param of PyArena_AddPyObject() to ensure it isn't NULL type: resource usage versions: Python 2.5.3 ___ Python tracker [EMAIL PROTECTED] http://bugs.python.org/issue4422 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com