Newly introduced findings

List of Findings

Error: COMPILER_WARNING: [#def1]
libsodium-1.0.22/src/libsodium/crypto_kem/mlkem768/kem_mlkem768.c:35:49: warning[-Warray-parameter=]: argument 1 of type 'unsigned char *' declared as a pointer
#   35 | crypto_kem_mlkem768_seed_keypair(unsigned char *pk, unsigned char *sk, const unsigned char *seed)
#      |                                  ~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/crypto_kem/mlkem768/kem_mlkem768.c:1: included_from: Included from here.
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_mlkem768.h:36:58: note: previously declared as an array 'unsigned char[1184]'
#   36 | int crypto_kem_mlkem768_seed_keypair(unsigned char       pk[crypto_kem_mlkem768_PUBLICKEYBYTES],
#      |                                      ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#   33|   
#   34|   int
#   35|-> crypto_kem_mlkem768_seed_keypair(unsigned char *pk, unsigned char *sk, const unsigned char *seed)
#   36|   {
#   37|       return mlkem768_ref_seed_keypair(pk, sk, seed);

Error: COMPILER_WARNING: [#def2]
libsodium-1.0.22/src/libsodium/crypto_kem/mlkem768/kem_mlkem768.c:35:68: warning[-Warray-parameter=]: argument 2 of type 'unsigned char *' declared as a pointer
#   35 | crypto_kem_mlkem768_seed_keypair(unsigned char *pk, unsigned char *sk, const unsigned char *seed)
#      |                                                     ~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_mlkem768.h:37:58: note: previously declared as an array 'unsigned char[2400]'
#   37 |                                      unsigned char       sk[crypto_kem_mlkem768_SECRETKEYBYTES],
#      |                                      ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#   33|   
#   34|   int
#   35|-> crypto_kem_mlkem768_seed_keypair(unsigned char *pk, unsigned char *sk, const unsigned char *seed)
#   36|   {
#   37|       return mlkem768_ref_seed_keypair(pk, sk, seed);

Error: COMPILER_WARNING: [#def3]
libsodium-1.0.22/src/libsodium/crypto_kem/mlkem768/kem_mlkem768.c:35:93: warning[-Warray-parameter=]: argument 3 of type 'const unsigned char *' declared as a pointer
#   35 | crypto_kem_mlkem768_seed_keypair(unsigned char *pk, unsigned char *sk, const unsigned char *seed)
#      |                                                                        ~~~~~~~~~~~~~~~~~~~~~^~~~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_mlkem768.h:38:58: note: previously declared as an array 'const unsigned char[64]'
#   38 |                                      const unsigned char seed[crypto_kem_mlkem768_SEEDBYTES])
#      |                                      ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#   33|   
#   34|   int
#   35|-> crypto_kem_mlkem768_seed_keypair(unsigned char *pk, unsigned char *sk, const unsigned char *seed)
#   36|   {
#   37|       return mlkem768_ref_seed_keypair(pk, sk, seed);

Error: COMPILER_WARNING: [#def4]
libsodium-1.0.22/src/libsodium/crypto_kem/mlkem768/kem_mlkem768.c:41:44: warning[-Warray-parameter=]: argument 1 of type 'unsigned char *' declared as a pointer
#   41 | crypto_kem_mlkem768_keypair(unsigned char *pk, unsigned char *sk)
#      |                             ~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_mlkem768.h:42:47: note: previously declared as an array 'unsigned char[1184]'
#   42 | int crypto_kem_mlkem768_keypair(unsigned char pk[crypto_kem_mlkem768_PUBLICKEYBYTES],
#      |                                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#   39|   
#   40|   int
#   41|-> crypto_kem_mlkem768_keypair(unsigned char *pk, unsigned char *sk)
#   42|   {
#   43|       return mlkem768_ref_keypair(pk, sk);

Error: COMPILER_WARNING: [#def5]
libsodium-1.0.22/src/libsodium/crypto_kem/mlkem768/kem_mlkem768.c:41:63: warning[-Warray-parameter=]: argument 2 of type 'unsigned char *' declared as a pointer
#   41 | crypto_kem_mlkem768_keypair(unsigned char *pk, unsigned char *sk)
#      |                                                ~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_mlkem768.h:43:47: note: previously declared as an array 'unsigned char[2400]'
#   43 |                                 unsigned char sk[crypto_kem_mlkem768_SECRETKEYBYTES])
#      |                                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#   39|   
#   40|   int
#   41|-> crypto_kem_mlkem768_keypair(unsigned char *pk, unsigned char *sk)
#   42|   {
#   43|       return mlkem768_ref_keypair(pk, sk);

Error: COMPILER_WARNING: [#def6]
libsodium-1.0.22/src/libsodium/crypto_kem/mlkem768/kem_mlkem768.c:47:40: warning[-Warray-parameter=]: argument 1 of type 'unsigned char *' declared as a pointer
#   47 | crypto_kem_mlkem768_enc(unsigned char *ct, unsigned char *ss, const unsigned char *pk)
#      |                         ~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_mlkem768.h:47:49: note: previously declared as an array 'unsigned char[1088]'
#   47 | int crypto_kem_mlkem768_enc(unsigned char       ct[crypto_kem_mlkem768_CIPHERTEXTBYTES],
#      |                             ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#   45|   
#   46|   int
#   47|-> crypto_kem_mlkem768_enc(unsigned char *ct, unsigned char *ss, const unsigned char *pk)
#   48|   {
#   49|       return mlkem768_ref_enc(ct, ss, pk);

Error: COMPILER_WARNING: [#def7]
libsodium-1.0.22/src/libsodium/crypto_kem/mlkem768/kem_mlkem768.c:47:59: warning[-Warray-parameter=]: argument 2 of type 'unsigned char *' declared as a pointer
#   47 | crypto_kem_mlkem768_enc(unsigned char *ct, unsigned char *ss, const unsigned char *pk)
#      |                                            ~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_mlkem768.h:48:49: note: previously declared as an array 'unsigned char[32]'
#   48 |                             unsigned char       ss[crypto_kem_mlkem768_SHAREDSECRETBYTES],
#      |                             ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#   45|   
#   46|   int
#   47|-> crypto_kem_mlkem768_enc(unsigned char *ct, unsigned char *ss, const unsigned char *pk)
#   48|   {
#   49|       return mlkem768_ref_enc(ct, ss, pk);

Error: COMPILER_WARNING: [#def8]
libsodium-1.0.22/src/libsodium/crypto_kem/mlkem768/kem_mlkem768.c:47:84: warning[-Warray-parameter=]: argument 3 of type 'const unsigned char *' declared as a pointer
#   47 | crypto_kem_mlkem768_enc(unsigned char *ct, unsigned char *ss, const unsigned char *pk)
#      |                                                               ~~~~~~~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_mlkem768.h:49:49: note: previously declared as an array 'const unsigned char[1184]'
#   49 |                             const unsigned char pk[crypto_kem_mlkem768_PUBLICKEYBYTES])
#      |                             ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#   45|   
#   46|   int
#   47|-> crypto_kem_mlkem768_enc(unsigned char *ct, unsigned char *ss, const unsigned char *pk)
#   48|   {
#   49|       return mlkem768_ref_enc(ct, ss, pk);

Error: COMPILER_WARNING: [#def9]
libsodium-1.0.22/src/libsodium/crypto_kem/mlkem768/kem_mlkem768.c:53:54: warning[-Warray-parameter=]: argument 1 of type 'unsigned char *' declared as a pointer
#   53 | crypto_kem_mlkem768_enc_deterministic(unsigned char *ct, unsigned char *ss, const unsigned char *pk,
#      |                                       ~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_mlkem768.h:54:59: note: previously declared as an array 'unsigned char[1088]'
#   54 | crypto_kem_mlkem768_enc_deterministic(unsigned char       ct[crypto_kem_mlkem768_CIPHERTEXTBYTES],
#      |                                       ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#   51|   
#   52|   int
#   53|-> crypto_kem_mlkem768_enc_deterministic(unsigned char *ct, unsigned char *ss, const unsigned char *pk,
#   54|                                         const unsigned char *seed)
#   55|   {

Error: COMPILER_WARNING: [#def10]
libsodium-1.0.22/src/libsodium/crypto_kem/mlkem768/kem_mlkem768.c:53:73: warning[-Warray-parameter=]: argument 2 of type 'unsigned char *' declared as a pointer
#   53 | crypto_kem_mlkem768_enc_deterministic(unsigned char *ct, unsigned char *ss, const unsigned char *pk,
#      |                                                          ~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_mlkem768.h:55:59: note: previously declared as an array 'unsigned char[32]'
#   55 |                                       unsigned char       ss[crypto_kem_mlkem768_SHAREDSECRETBYTES],
#      |                                       ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#   51|   
#   52|   int
#   53|-> crypto_kem_mlkem768_enc_deterministic(unsigned char *ct, unsigned char *ss, const unsigned char *pk,
#   54|                                         const unsigned char *seed)
#   55|   {

Error: COMPILER_WARNING: [#def11]
libsodium-1.0.22/src/libsodium/crypto_kem/mlkem768/kem_mlkem768.c:53:98: warning[-Warray-parameter=]: argument 3 of type 'const unsigned char *' declared as a pointer
#   53 | crypto_kem_mlkem768_enc_deterministic(unsigned char *ct, unsigned char *ss, const unsigned char *pk,
#      |                                                                             ~~~~~~~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_mlkem768.h:56:59: note: previously declared as an array 'const unsigned char[1184]'
#   56 |                                       const unsigned char pk[crypto_kem_mlkem768_PUBLICKEYBYTES],
#      |                                       ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#   51|   
#   52|   int
#   53|-> crypto_kem_mlkem768_enc_deterministic(unsigned char *ct, unsigned char *ss, const unsigned char *pk,
#   54|                                         const unsigned char *seed)
#   55|   {

Error: COMPILER_WARNING: [#def12]
libsodium-1.0.22/src/libsodium/crypto_kem/mlkem768/kem_mlkem768.c:54:60: warning[-Warray-parameter=]: argument 4 of type 'const unsigned char *' declared as a pointer
#   54 |                                       const unsigned char *seed)
#      |                                       ~~~~~~~~~~~~~~~~~~~~~^~~~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_mlkem768.h:57:59: note: previously declared as an array 'const unsigned char[32]'
#   57 |                                       const unsigned char seed[32])
#      |                                       ~~~~~~~~~~~~~~~~~~~~^~~~~~~~
#   52|   int
#   53|   crypto_kem_mlkem768_enc_deterministic(unsigned char *ct, unsigned char *ss, const unsigned char *pk,
#   54|->                                       const unsigned char *seed)
#   55|   {
#   56|       return mlkem768_ref_enc_deterministic(ct, ss, pk, seed);

Error: COMPILER_WARNING: [#def13]
libsodium-1.0.22/src/libsodium/crypto_kem/mlkem768/kem_mlkem768.c:60:40: warning[-Warray-parameter=]: argument 1 of type 'unsigned char *' declared as a pointer
#   60 | crypto_kem_mlkem768_dec(unsigned char *ss, const unsigned char *ct, const unsigned char *sk)
#      |                         ~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_mlkem768.h:61:49: note: previously declared as an array 'unsigned char[32]'
#   61 | int crypto_kem_mlkem768_dec(unsigned char       ss[crypto_kem_mlkem768_SHAREDSECRETBYTES],
#      |                             ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#   58|   
#   59|   int
#   60|-> crypto_kem_mlkem768_dec(unsigned char *ss, const unsigned char *ct, const unsigned char *sk)
#   61|   {
#   62|       return mlkem768_ref_dec(ss, ct, sk);

Error: COMPILER_WARNING: [#def14]
libsodium-1.0.22/src/libsodium/crypto_kem/mlkem768/kem_mlkem768.c:60:65: warning[-Warray-parameter=]: argument 2 of type 'const unsigned char *' declared as a pointer
#   60 | crypto_kem_mlkem768_dec(unsigned char *ss, const unsigned char *ct, const unsigned char *sk)
#      |                                            ~~~~~~~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_mlkem768.h:62:49: note: previously declared as an array 'const unsigned char[1088]'
#   62 |                             const unsigned char ct[crypto_kem_mlkem768_CIPHERTEXTBYTES],
#      |                             ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#   58|   
#   59|   int
#   60|-> crypto_kem_mlkem768_dec(unsigned char *ss, const unsigned char *ct, const unsigned char *sk)
#   61|   {
#   62|       return mlkem768_ref_dec(ss, ct, sk);

Error: COMPILER_WARNING: [#def15]
libsodium-1.0.22/src/libsodium/crypto_kem/mlkem768/kem_mlkem768.c:60:90: warning[-Warray-parameter=]: argument 3 of type 'const unsigned char *' declared as a pointer
#   60 | crypto_kem_mlkem768_dec(unsigned char *ss, const unsigned char *ct, const unsigned char *sk)
#      |                                                                     ~~~~~~~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_mlkem768.h:63:49: note: previously declared as an array 'const unsigned char[2400]'
#   63 |                             const unsigned char sk[crypto_kem_mlkem768_SECRETKEYBYTES])
#      |                             ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#   58|   
#   59|   int
#   60|-> crypto_kem_mlkem768_dec(unsigned char *ss, const unsigned char *ct, const unsigned char *sk)
#   61|   {
#   62|       return mlkem768_ref_dec(ss, ct, sk);

Error: COMPILER_WARNING: [#def16]
libsodium-1.0.22/src/libsodium/crypto_kem/xwing/kem_xwing.c:87:46: warning[-Warray-parameter=]: argument 1 of type 'unsigned char *' declared as a pointer
#   87 | crypto_kem_xwing_seed_keypair(unsigned char *pk, unsigned char *sk, const unsigned char *seed)
#      |                               ~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/crypto_kem/xwing/kem_xwing.c:6: included_from: Included from here.
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_xwing.h:36:55: note: previously declared as an array 'unsigned char[1216]'
#   36 | int crypto_kem_xwing_seed_keypair(unsigned char       pk[crypto_kem_xwing_PUBLICKEYBYTES],
#      |                                   ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#   85|   
#   86|   int
#   87|-> crypto_kem_xwing_seed_keypair(unsigned char *pk, unsigned char *sk, const unsigned char *seed)
#   88|   {
#   89|       unsigned char pk_mlkem[crypto_kem_mlkem768_PUBLICKEYBYTES];

Error: COMPILER_WARNING: [#def17]
libsodium-1.0.22/src/libsodium/crypto_kem/xwing/kem_xwing.c:87:65: warning[-Warray-parameter=]: argument 2 of type 'unsigned char *' declared as a pointer
#   87 | crypto_kem_xwing_seed_keypair(unsigned char *pk, unsigned char *sk, const unsigned char *seed)
#      |                                                  ~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_xwing.h:37:55: note: previously declared as an array 'unsigned char[32]'
#   37 |                                   unsigned char       sk[crypto_kem_xwing_SECRETKEYBYTES],
#      |                                   ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#   85|   
#   86|   int
#   87|-> crypto_kem_xwing_seed_keypair(unsigned char *pk, unsigned char *sk, const unsigned char *seed)
#   88|   {
#   89|       unsigned char pk_mlkem[crypto_kem_mlkem768_PUBLICKEYBYTES];

Error: COMPILER_WARNING: [#def18]
libsodium-1.0.22/src/libsodium/crypto_kem/xwing/kem_xwing.c:87:90: warning[-Warray-parameter=]: argument 3 of type 'const unsigned char *' declared as a pointer
#   87 | crypto_kem_xwing_seed_keypair(unsigned char *pk, unsigned char *sk, const unsigned char *seed)
#      |                                                                     ~~~~~~~~~~~~~~~~~~~~~^~~~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_xwing.h:38:55: note: previously declared as an array 'const unsigned char[32]'
#   38 |                                   const unsigned char seed[crypto_kem_xwing_SEEDBYTES])
#      |                                   ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#   85|   
#   86|   int
#   87|-> crypto_kem_xwing_seed_keypair(unsigned char *pk, unsigned char *sk, const unsigned char *seed)
#   88|   {
#   89|       unsigned char pk_mlkem[crypto_kem_mlkem768_PUBLICKEYBYTES];

Error: COMPILER_WARNING: [#def19]
libsodium-1.0.22/src/libsodium/crypto_kem/xwing/kem_xwing.c:108:41: warning[-Warray-parameter=]: argument 1 of type 'unsigned char *' declared as a pointer
#  108 | crypto_kem_xwing_keypair(unsigned char *pk, unsigned char *sk)
#      |                          ~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_xwing.h:42:44: note: previously declared as an array 'unsigned char[1216]'
#   42 | int crypto_kem_xwing_keypair(unsigned char pk[crypto_kem_xwing_PUBLICKEYBYTES],
#      |                              ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#  106|   
#  107|   int
#  108|-> crypto_kem_xwing_keypair(unsigned char *pk, unsigned char *sk)
#  109|   {
#  110|       unsigned char seed[crypto_kem_xwing_SEEDBYTES];

Error: COMPILER_WARNING: [#def20]
libsodium-1.0.22/src/libsodium/crypto_kem/xwing/kem_xwing.c:108:60: warning[-Warray-parameter=]: argument 2 of type 'unsigned char *' declared as a pointer
#  108 | crypto_kem_xwing_keypair(unsigned char *pk, unsigned char *sk)
#      |                                             ~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_xwing.h:43:44: note: previously declared as an array 'unsigned char[32]'
#   43 |                              unsigned char sk[crypto_kem_xwing_SECRETKEYBYTES])
#      |                              ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#  106|   
#  107|   int
#  108|-> crypto_kem_xwing_keypair(unsigned char *pk, unsigned char *sk)
#  109|   {
#  110|       unsigned char seed[crypto_kem_xwing_SEEDBYTES];

Error: COMPILER_WARNING: [#def21]
libsodium-1.0.22/src/libsodium/crypto_kem/xwing/kem_xwing.c:121:51: warning[-Warray-parameter=]: argument 1 of type 'unsigned char *' declared as a pointer
#  121 | crypto_kem_xwing_enc_deterministic(unsigned char *ct, unsigned char *ss, const unsigned char *pk,
#      |                                    ~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_xwing.h:53:60: note: previously declared as an array 'unsigned char[1120]'
#   53 | int crypto_kem_xwing_enc_deterministic(unsigned char       ct[crypto_kem_xwing_CIPHERTEXTBYTES],
#      |                                        ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#  119|   
#  120|   int
#  121|-> crypto_kem_xwing_enc_deterministic(unsigned char *ct, unsigned char *ss, const unsigned char *pk,
#  122|                                      const unsigned char *seed)
#  123|   {

Error: COMPILER_WARNING: [#def22]
libsodium-1.0.22/src/libsodium/crypto_kem/xwing/kem_xwing.c:121:70: warning[-Warray-parameter=]: argument 2 of type 'unsigned char *' declared as a pointer
#  121 | crypto_kem_xwing_enc_deterministic(unsigned char *ct, unsigned char *ss, const unsigned char *pk,
#      |                                                       ~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_xwing.h:54:60: note: previously declared as an array 'unsigned char[32]'
#   54 |                                        unsigned char       ss[crypto_kem_xwing_SHAREDSECRETBYTES],
#      |                                        ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#  119|   
#  120|   int
#  121|-> crypto_kem_xwing_enc_deterministic(unsigned char *ct, unsigned char *ss, const unsigned char *pk,
#  122|                                      const unsigned char *seed)
#  123|   {

Error: COMPILER_WARNING: [#def23]
libsodium-1.0.22/src/libsodium/crypto_kem/xwing/kem_xwing.c:121:95: warning[-Warray-parameter=]: argument 3 of type 'const unsigned char *' declared as a pointer
#  121 | crypto_kem_xwing_enc_deterministic(unsigned char *ct, unsigned char *ss, const unsigned char *pk,
#      |                                                                          ~~~~~~~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_xwing.h:55:60: note: previously declared as an array 'const unsigned char[1216]'
#   55 |                                        const unsigned char pk[crypto_kem_xwing_PUBLICKEYBYTES],
#      |                                        ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#  119|   
#  120|   int
#  121|-> crypto_kem_xwing_enc_deterministic(unsigned char *ct, unsigned char *ss, const unsigned char *pk,
#  122|                                      const unsigned char *seed)
#  123|   {

Error: COMPILER_WARNING: [#def24]
libsodium-1.0.22/src/libsodium/crypto_kem/xwing/kem_xwing.c:122:57: warning[-Warray-parameter=]: argument 4 of type 'const unsigned char *' declared as a pointer
#  122 |                                    const unsigned char *seed)
#      |                                    ~~~~~~~~~~~~~~~~~~~~~^~~~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_xwing.h:56:60: note: previously declared as an array 'const unsigned char[64]'
#   56 |                                        const unsigned char seed[64])
#      |                                        ~~~~~~~~~~~~~~~~~~~~^~~~~~~~
#  120|   int
#  121|   crypto_kem_xwing_enc_deterministic(unsigned char *ct, unsigned char *ss, const unsigned char *pk,
#  122|->                                    const unsigned char *seed)
#  123|   {
#  124|       const unsigned char *pk_mlkem  = pk;

Error: COMPILER_WARNING: [#def25]
libsodium-1.0.22/src/libsodium/crypto_kem/xwing/kem_xwing.c:158:37: warning[-Warray-parameter=]: argument 1 of type 'unsigned char *' declared as a pointer
#  158 | crypto_kem_xwing_enc(unsigned char *ct, unsigned char *ss, const unsigned char *pk)
#      |                      ~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_xwing.h:47:46: note: previously declared as an array 'unsigned char[1120]'
#   47 | int crypto_kem_xwing_enc(unsigned char       ct[crypto_kem_xwing_CIPHERTEXTBYTES],
#      |                          ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#  156|   
#  157|   int
#  158|-> crypto_kem_xwing_enc(unsigned char *ct, unsigned char *ss, const unsigned char *pk)
#  159|   {
#  160|       unsigned char seed[64];

Error: COMPILER_WARNING: [#def26]
libsodium-1.0.22/src/libsodium/crypto_kem/xwing/kem_xwing.c:158:56: warning[-Warray-parameter=]: argument 2 of type 'unsigned char *' declared as a pointer
#  158 | crypto_kem_xwing_enc(unsigned char *ct, unsigned char *ss, const unsigned char *pk)
#      |                                         ~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_xwing.h:48:46: note: previously declared as an array 'unsigned char[32]'
#   48 |                          unsigned char       ss[crypto_kem_xwing_SHAREDSECRETBYTES],
#      |                          ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#  156|   
#  157|   int
#  158|-> crypto_kem_xwing_enc(unsigned char *ct, unsigned char *ss, const unsigned char *pk)
#  159|   {
#  160|       unsigned char seed[64];

Error: COMPILER_WARNING: [#def27]
libsodium-1.0.22/src/libsodium/crypto_kem/xwing/kem_xwing.c:158:81: warning[-Warray-parameter=]: argument 3 of type 'const unsigned char *' declared as a pointer
#  158 | crypto_kem_xwing_enc(unsigned char *ct, unsigned char *ss, const unsigned char *pk)
#      |                                                            ~~~~~~~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_xwing.h:49:46: note: previously declared as an array 'const unsigned char[1216]'
#   49 |                          const unsigned char pk[crypto_kem_xwing_PUBLICKEYBYTES])
#      |                          ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#  156|   
#  157|   int
#  158|-> crypto_kem_xwing_enc(unsigned char *ct, unsigned char *ss, const unsigned char *pk)
#  159|   {
#  160|       unsigned char seed[64];

Error: COMPILER_WARNING: [#def28]
libsodium-1.0.22/src/libsodium/crypto_kem/xwing/kem_xwing.c:173:37: warning[-Warray-parameter=]: argument 1 of type 'unsigned char *' declared as a pointer
#  173 | crypto_kem_xwing_dec(unsigned char *ss, const unsigned char *ct, const unsigned char *sk)
#      |                      ~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_xwing.h:60:46: note: previously declared as an array 'unsigned char[32]'
#   60 | int crypto_kem_xwing_dec(unsigned char       ss[crypto_kem_xwing_SHAREDSECRETBYTES],
#      |                          ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#  171|   
#  172|   int
#  173|-> crypto_kem_xwing_dec(unsigned char *ss, const unsigned char *ct, const unsigned char *sk)
#  174|   {
#  175|       unsigned char pk_mlkem[crypto_kem_mlkem768_PUBLICKEYBYTES];

Error: COMPILER_WARNING: [#def29]
libsodium-1.0.22/src/libsodium/crypto_kem/xwing/kem_xwing.c:173:62: warning[-Warray-parameter=]: argument 2 of type 'const unsigned char *' declared as a pointer
#  173 | crypto_kem_xwing_dec(unsigned char *ss, const unsigned char *ct, const unsigned char *sk)
#      |                                         ~~~~~~~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_xwing.h:61:46: note: previously declared as an array 'const unsigned char[1120]'
#   61 |                          const unsigned char ct[crypto_kem_xwing_CIPHERTEXTBYTES],
#      |                          ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#  171|   
#  172|   int
#  173|-> crypto_kem_xwing_dec(unsigned char *ss, const unsigned char *ct, const unsigned char *sk)
#  174|   {
#  175|       unsigned char pk_mlkem[crypto_kem_mlkem768_PUBLICKEYBYTES];

Error: COMPILER_WARNING: [#def30]
libsodium-1.0.22/src/libsodium/crypto_kem/xwing/kem_xwing.c:173:87: warning[-Warray-parameter=]: argument 3 of type 'const unsigned char *' declared as a pointer
#  173 | crypto_kem_xwing_dec(unsigned char *ss, const unsigned char *ct, const unsigned char *sk)
#      |                                                                  ~~~~~~~~~~~~~~~~~~~~~^~
libsodium-1.0.22/src/libsodium/include/sodium/crypto_kem_xwing.h:62:46: note: previously declared as an array 'const unsigned char[32]'
#   62 |                          const unsigned char sk[crypto_kem_xwing_SECRETKEYBYTES])
#      |                          ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
#  171|   
#  172|   int
#  173|-> crypto_kem_xwing_dec(unsigned char *ss, const unsigned char *ct, const unsigned char *sk)
#  174|   {
#  175|       unsigned char pk_mlkem[crypto_kem_mlkem768_PUBLICKEYBYTES];

Error: CPPCHECK_WARNING (CWE-190): [#def31]
libsodium-1.0.22/src/libsodium/sodium/codecs.c:133: error[integerOverflow]: Signed integer overflow for expression ''0'-52'.
#  131|           (GE(c, 'A') & LE(c, 'Z') & (c - 'A')) |
#  132|           (GE(c, 'a') & LE(c, 'z') & (c - ('a' - 26))) |
#  133|->         (GE(c, '0') & LE(c, '9') & (c - ('0' - 52))) | (EQ(c, '+') & 62) |
#  134|           (EQ(c, '/') & 63);
#  135|   

Error: CPPCHECK_WARNING (CWE-190): [#def32]
libsodium-1.0.22/src/libsodium/sodium/codecs.c:155: error[integerOverflow]: Signed integer overflow for expression ''0'-52'.
#  153|           (GE(c, 'A') & LE(c, 'Z') & (c - 'A')) |
#  154|           (GE(c, 'a') & LE(c, 'z') & (c - ('a' - 26))) |
#  155|->         (GE(c, '0') & LE(c, '9') & (c - ('0' - 52))) | (EQ(c, '-') & 62) |
#  156|           (EQ(c, '_') & 63);
#  157|

Scan Properties

analyzer-version-clippy1.97.1
analyzer-version-cppcheck2.21.1
analyzer-version-gcc16.1.1
analyzer-version-gcc-analyzer16.1.1
analyzer-version-shellcheck0.11.0
analyzer-version-unicontrol0.0.2
diffbase-analyzer-version-clippy1.97.1
diffbase-analyzer-version-cppcheck2.21.1
diffbase-analyzer-version-gcc16.1.1
diffbase-analyzer-version-gcc-analyzer16.1.1
diffbase-analyzer-version-shellcheck0.11.0
diffbase-analyzer-version-unicontrol0.0.2
diffbase-enabled-pluginsclippy, cppcheck, gcc, shellcheck, unicontrol
diffbase-exit-code0
diffbase-hostip-172-16-1-50.us-west-2.compute.internal
diffbase-known-false-positives/usr/share/csmock/known-false-positives.js
diffbase-known-false-positives-rpmknown-false-positives-0.0.0.20260524.213755.g3c6d0be.main-1.el9.noarch
diffbase-mock-configfedora-rawhide-x86_64
diffbase-project-namelibsodium-1.0.21-3.fc44
diffbase-store-results-to/tmp/tmplql04c4w/libsodium-1.0.21-3.fc44.tar.xz
diffbase-time-created2026-08-03 17:55:59
diffbase-time-finished2026-08-03 18:03:41
diffbase-toolcsmock
diffbase-tool-args'/usr/bin/csmock' '-r' 'fedora-rawhide-x86_64' '-t' 'gcc,clippy,unicontrol,shellcheck,cppcheck' '-o' '/tmp/tmplql04c4w/libsodium-1.0.21-3.fc44.tar.xz' '--gcc-analyze' '--unicontrol-notests' '--unicontrol-bidi-only' '--install' 'pam' '--gcc-analyzer-bin=/usr/bin/gcc' '/tmp/tmplql04c4w/libsodium-1.0.21-3.fc44.src.rpm'
diffbase-tool-versioncsmock-3.8.7.20260803.142340.gb75b18e-1.el9
enabled-pluginsclippy, cppcheck, gcc, shellcheck, unicontrol
exit-code0
hostip-172-16-1-50.us-west-2.compute.internal
known-false-positives/usr/share/csmock/known-false-positives.js
known-false-positives-rpmknown-false-positives-0.0.0.20260524.213755.g3c6d0be.main-1.el9.noarch
mock-configfedora-rawhide-x86_64
project-namelibsodium-1.0.22-2.fc45
store-results-to/tmp/tmpbw1vq6zr/libsodium-1.0.22-2.fc45.tar.xz
time-created2026-08-03 18:03:53
time-finished2026-08-03 18:11:37
titleNewly introduced findings
toolcsmock
tool-args'/usr/bin/csmock' '-r' 'fedora-rawhide-x86_64' '-t' 'gcc,clippy,unicontrol,shellcheck,cppcheck' '-o' '/tmp/tmpbw1vq6zr/libsodium-1.0.22-2.fc45.tar.xz' '--gcc-analyze' '--unicontrol-notests' '--unicontrol-bidi-only' '--install' 'pam' '--gcc-analyzer-bin=/usr/bin/gcc' '/tmp/tmpbw1vq6zr/libsodium-1.0.22-2.fc45.src.rpm'
tool-versioncsmock-3.8.7.20260803.142340.gb75b18e-1.el9