test/dsa_no_digest_size_test.c:215: error: BUFFER_OVERRUN_L3
  Offset added: [32, +oo] (⇐ [0, +oo] + 32) Size: [1, +oo] by call to `sign_and_verify`.
Showing all 6 steps of the trace


test/dsa_no_digest_size_test.c:215:40: Call
213.        */
214.   
215.       return sign_and_verify(224 / 8) && sign_and_verify(256 / 8);
                                              ^
216.   }
217.   

test/dsa_no_digest_size_test.c:120:1: <Offset trace>
118.   }
119.   
120. > static int sign_and_verify(int len)
121.   {
122.       /*

test/dsa_no_digest_size_test.c:120:1: Parameter `len`
  118.   }
  119.   
  120. > static int sign_and_verify(int len)
  121.   {
  122.       /*

test/dsa_no_digest_size_test.c:120:1: <Length trace>
118.   }
119.   
120. > static int sign_and_verify(int len)
121.   {
122.       /*

test/dsa_no_digest_size_test.c:120:1: Parameter `len`
  118.   }
  119.   
  120. > static int sign_and_verify(int len)
  121.   {
  122.       /*

test/dsa_no_digest_size_test.c:146:9: Array access: Offset added: [32, +oo] (⇐ [0, +oo] + 32) Size: [1, +oo] by call to `sign_and_verify` 
  144.           memcpy(paddedData, dataToSign, digestlen);
  145.       else
  146.           memcpy(paddedData + digestlen - len, dataToSign, len);
                 ^
  147.   
  148.       if (!TEST_ptr(pkey = EVP_PKEY_new()))
