Newly introduced findings

List of Findings

Error: GCC_ANALYZER_WARNING (CWE-465): [#def1]
libgcrypt-1.11.0-build/libgcrypt-1.11.0/mpi/mpi-mul.c: scope_hint: In function '_gcry_mpi_mod_sec'
libgcrypt-1.11.0-build/libgcrypt-1.11.0/mpi/mpi-internal.h:179:36: warning[-Wanalyzer-deref-before-check]: check of 'a' for NULL after already dereferencing it
libgcrypt-1.11.0-build/libgcrypt-1.11.0/mpi/mpi-mul.c:359:26: note: in expansion of macro 'mpi_alloc_limb_space'
libgcrypt-1.11.0-build/libgcrypt-1.11.0/mpi/mpi-mul.c:359:26: note: in expansion of macro 'mpi_alloc_limb_space'
#  177|   
#  178|   /*-- mpiutil.c --*/
#  179|-> #define mpi_alloc_limb_space(n,f)  _gcry_mpi_alloc_limb_space((n),(f))
#  180|   mpi_ptr_t _gcry_mpi_alloc_limb_space( unsigned nlimbs, int sec );
#  181|   void _gcry_mpi_free_limb_space( mpi_ptr_t a, unsigned int nlimbs );

Error: GCC_ANALYZER_WARNING (CWE-465): [#def2]
libgcrypt-1.11.0-build/libgcrypt-1.11.0/mpi/mpi-mul.c:257:6: warning[-Wanalyzer-deref-before-check]: check of 'w' for NULL after already dereferencing it
libgcrypt-1.11.0-build/libgcrypt-1.11.0/mpi/mpi-mul.c:233:17: note: in expansion of macro 'mpi_is_secure'
libgcrypt-1.11.0-build/libgcrypt-1.11.0/mpi/mpi-mul.c:233:17: note: in expansion of macro 'mpi_is_secure'
libgcrypt-1.11.0-build/libgcrypt-1.11.0/mpi/mpi-mul.c:237:17: note: in expansion of macro 'mpi_is_secure'
libgcrypt-1.11.0-build/libgcrypt-1.11.0/mpi/mpi-mul.c:237:17: note: in expansion of macro 'mpi_is_secure'
#  255|     /* Ensure W has space enough to store the result.  */
#  256|     wsize = usize + vsize;
#  257|->   if (!mpi_is_secure (w) && (mpi_is_secure (u) || mpi_is_secure (v)))
#  258|       {
#  259|         /* w is not allocated in secure space but u or v is.  To make sure

Scan Properties