crypto/aes/aes_cfb.c:188: error: BUFFER_OVERRUN_L2
  Offset: [1, 32] Size: 32.
Showing all 5 steps of the trace


crypto/aes/aes_cfb.c:187:10: <Offset trace>
185.   	    memcpy(ivec,ovec+num,AES_BLOCK_SIZE);
186.   	else
187.   	    for(n=0 ; n < AES_BLOCK_SIZE ; ++n)
                ^
188.   		ivec[n] = ovec[n+num]<<rem | ovec[n+num+1]>>(8-rem);
189.   

crypto/aes/aes_cfb.c:187:10: Assignment
185.   	    memcpy(ivec,ovec+num,AES_BLOCK_SIZE);
186.   	else
187.   	    for(n=0 ; n < AES_BLOCK_SIZE ; ++n)
                ^
188.   		ivec[n] = ovec[n+num]<<rem | ovec[n+num+1]>>(8-rem);
189.   

crypto/aes/aes_cfb.c:161:1: <Length trace>
159.   /* This expects a single block of size nbits for both in and out. Note that
160.      it corrupts any extra bits in the last byte of out */
161. > void AES_cfbr_encrypt_block(const unsigned char *in,unsigned char *out,
162.   			    const int nbits,const AES_KEY *key,
163.   			    unsigned char *ivec,const int enc)

crypto/aes/aes_cfb.c:161:1: Array declaration
159.   /* This expects a single block of size nbits for both in and out. Note that
160.      it corrupts any extra bits in the last byte of out */
161. > void AES_cfbr_encrypt_block(const unsigned char *in,unsigned char *out,
162.   			    const int nbits,const AES_KEY *key,
163.   			    unsigned char *ivec,const int enc)

crypto/aes/aes_cfb.c:188:32: Array access: Offset: [1, 32] Size: 32
186.   	else
187.   	    for(n=0 ; n < AES_BLOCK_SIZE ; ++n)
188.   		ivec[n] = ovec[n+num]<<rem | ovec[n+num+1]>>(8-rem);
                                      ^
189.   
190.       /* it is not necessary to cleanse ovec, since the IV is not secret */
