crypto/pem/pem_lib.c:154: error: BUFFER_OVERRUN_L2
  Offset: [min(8, `str[*].strlen`), max(9, `str[*].strlen`)] Size: 9.
Showing all 5 steps of the trace


crypto/pem/pem_lib.c:140:1: <Offset trace>
138.   }
139.   
140. > void PEM_proc_type(char *buf, int type)
141.   	{
142.   	const char *str;

crypto/pem/pem_lib.c:140:1: Parameter `str[*].strlen`
138.   }
139.   
140. > void PEM_proc_type(char *buf, int type)
141.   	{
142.   	const char *str;

crypto/pem/pem_lib.c:145:3: <Length trace>
143.   
144.   	if (type == PEM_TYPE_ENCRYPTED)
145.   		str="ENCRYPTED";
         ^
146.   	else if (type == PEM_TYPE_MIC_CLEAR)
147.   		str="MIC-CLEAR";

crypto/pem/pem_lib.c:145:3: Array declaration
143.   
144.   	if (type == PEM_TYPE_ENCRYPTED)
145.   		str="ENCRYPTED";
         ^
146.   	else if (type == PEM_TYPE_MIC_CLEAR)
147.   		str="MIC-CLEAR";

crypto/pem/pem_lib.c:154:2: Array access: Offset: [min(8, str[*].strlen), max(9, str[*].strlen)] Size: 9
152.   		
153.   	strcat(buf,"Proc-Type: 4,");
154.   	strcat(buf,str);
        ^
155.   	strcat(buf,"\n");
156.   	}
