Newly introduced defects

List of Defects

Error: CPPCHECK_WARNING (CWE-476): [#def1]
Python-3.12.3/Include/object.h:233: warning[nullPointer]: Possible null pointer dereference: (struct PyVarObject*)(ob)
#  231|       assert(ob->ob_type != &PyLong_Type);
#  232|       assert(ob->ob_type != &PyBool_Type);
#  233|->     return  _PyVarObject_CAST(ob)->ob_size;
#  234|   }
#  235|   #if !defined(Py_LIMITED_API) || Py_LIMITED_API+0 < 0x030b0000

Error: GCC_ANALYZER_WARNING (CWE-476): [#def2]
Python-3.12.3/Modules/_ssl.c: scope_hint: In function ‘newPySSLSocket’
Python-3.12.3/Modules/_ssl.c:847:9: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘inbio’
#  845|            * To prevent a double free in memory_bio_dealloc() we need to take an
#  846|            * extra reference here. */
#  847|->         BIO_up_ref(inbio->bio);
#  848|           BIO_up_ref(outbio->bio);
#  849|           SSL_set_bio(self->ssl, inbio->bio, outbio->bio);

Error: GCC_ANALYZER_WARNING (CWE-476): [#def3]
Python-3.12.3/Objects/memoryobject.c: scope_hint: In function ‘init_flags’
Python-3.12.3/Objects/memoryobject.c:239:19: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘*mv.view.shape’
Python-3.12.3/Objects/memoryobject.c:620:13: note: in expansion of macro ‘MV_CONTIGUOUS_NDIM1’
Python-3.12.3/Objects/memoryobject.c:2553:5: note: in expansion of macro ‘CHECK_RELEASED’
Python-3.12.3/Include/Python.h:44: included_from: Included from here.
Python-3.12.3/Objects/memoryobject.c:13: included_from: Included from here.
Python-3.12.3/Include/internal/pycore_abstract.h:15:37: note: in expansion of macro ‘Py_TYPE’
Python-3.12.3/Objects/memoryobject.c: scope_hint: In function ‘init_flags’
Python-3.12.3/Objects/memoryobject.c:2580:9: note: in expansion of macro ‘CHECK_RESTRICTED’
Python-3.12.3/Objects/memoryobject.c:2580:9: note: in expansion of macro ‘CHECK_RESTRICTED’
Python-3.12.3/Objects/memoryobject.c:620:13: note: in expansion of macro ‘MV_CONTIGUOUS_NDIM1’
Python-3.12.3/Objects/memoryobject.c:620:13: note: in expansion of macro ‘MV_CONTIGUOUS_NDIM1’
#  237|   /* Fast contiguity test. Caller must ensure suboffsets==NULL and ndim==1. */
#  238|   #define MV_CONTIGUOUS_NDIM1(view) \
#  239|->     ((view)->shape[0] == 1 || (view)->strides[0] == (view)->itemsize)
#  240|   
#  241|   /* getbuffer() requests */

Scan Properties