crypto/pem/pem_lib.c:135: 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:121:1: <Offset trace>
119.   	}
120.   
121. > void PEM_proc_type(char *buf, int type)
122.   	{
123.   	const char *str;

crypto/pem/pem_lib.c:121:1: Parameter `str[*].strlen`
119.   	}
120.   
121. > void PEM_proc_type(char *buf, int type)
122.   	{
123.   	const char *str;

crypto/pem/pem_lib.c:126:3: <Length trace>
124.   
125.   	if (type == PEM_TYPE_ENCRYPTED)
126.   		str="ENCRYPTED";
         ^
127.   	else if (type == PEM_TYPE_MIC_CLEAR)
128.   		str="MIC-CLEAR";

crypto/pem/pem_lib.c:126:3: Array declaration
124.   
125.   	if (type == PEM_TYPE_ENCRYPTED)
126.   		str="ENCRYPTED";
         ^
127.   	else if (type == PEM_TYPE_MIC_CLEAR)
128.   		str="MIC-CLEAR";

crypto/pem/pem_lib.c:135:2: Array access: Offset: [min(8, str[*].strlen), max(9, str[*].strlen)] Size: 9
133.   		
134.   	strcat(buf,"Proc-Type: 4,");
135.   	strcat(buf,str);
        ^
136.   	strcat(buf,"\n");
137.   	}
