[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