[New-bugs-announce] [issue34504] PySequence_Check: argument is dereferenced and then checked for NULL
Alexey Izbyshev
report at bugs.python.org
Sat Aug 25 17:05:49 EDT 2018
New submission from Alexey Izbyshev <izbyshev at ispras.ru>:
The argument of PySequence_Check() is dereferenced at https://github.com/python/cpython/blob/5f79b50763d687aeeed8edcb4efcc7ac9f8fa186/Objects/abstract.c#L1511 and then checked for NULL.
Reported by Svace static analyzer.
Since other PySomething_Check() functions seem to expect a non-NULL argument, I suggest to remove the NULL check instead of moving it.
----------
components: Interpreter Core
messages: 324101
nosy: benjamin.peterson, berker.peksag, izbyshev, serhiy.storchaka
priority: normal
severity: normal
status: open
title: PySequence_Check: argument is dereferenced and then checked for NULL
type: behavior
versions: Python 3.6, Python 3.7, Python 3.8
_______________________________________
Python tracker <report at bugs.python.org>
<https://bugs.python.org/issue34504>
_______________________________________
More information about the New-bugs-announce
mailing list