crypto/modes/ocb128.c:552: error: BUFFER_OVERRUN_S2
  Offset added: [max(1, `len`), min(16, `len`)] Size: [0, +oo].
Showing all 5 steps of the trace


crypto/modes/ocb128.c:542:1: <Offset trace>
540.    * Retrieve the calculated tag
541.    */
542. > int CRYPTO_ocb128_tag(OCB128_CONTEXT *ctx, unsigned char *tag, size_t len)
543.   {
544.       if (len > 16 || len < 1) {

crypto/modes/ocb128.c:542:1: Parameter `len`
540.    * Retrieve the calculated tag
541.    */
542. > int CRYPTO_ocb128_tag(OCB128_CONTEXT *ctx, unsigned char *tag, size_t len)
543.   {
544.       if (len > 16 || len < 1) {

crypto/modes/ocb128.c:542:1: <Length trace>
540.    * Retrieve the calculated tag
541.    */
542. > int CRYPTO_ocb128_tag(OCB128_CONTEXT *ctx, unsigned char *tag, size_t len)
543.   {
544.       if (len > 16 || len < 1) {

crypto/modes/ocb128.c:542:1: Parameter `ctx->tag.c[*]`
540.    * Retrieve the calculated tag
541.    */
542. > int CRYPTO_ocb128_tag(OCB128_CONTEXT *ctx, unsigned char *tag, size_t len)
543.   {
544.       if (len > 16 || len < 1) {

crypto/modes/ocb128.c:552:5: Array access: Offset added: [max(1, len), min(16, len)] Size: [0, +oo]
550.   
551.       /* Copy the tag into the supplied buffer */
552.       memcpy(tag, ctx->tag.c, len);
           ^
553.   
554.       return 1;
