crypto/x509v3/v3_cpols.c:134: error: BUFFER_OVERRUN_L3
  Offset: [2, +oo] Size: [1, +oo] by call to `OBJ_txt2obj`.
Showing all 15 steps of the trace


crypto/x509v3/v3_cpols.c:112:10: Call
110.   	int i;
111.   	pols = sk_POLICYINFO_new_null();
112.   	vals =  X509V3_parse_list(value);
                ^
113.   	for(i = 0; i < sk_num(vals); i++) {
114.   		cnf = (CONF_VALUE *)sk_value(vals, i);

crypto/x509v3/v3_utl.c:238:12: Call
  236.   			} else if(c == ',') {
  237.   				*p = 0;
  238.   				ntmp = strip_spaces(q);
                    ^
  239.   				q = p + 1;
  240.   #ifdef DEBUG

crypto/x509v3/v3_utl.c:303:1: Parameter `name->strlen`
    301.   
    302.   /* Delete leading and trailing spaces from a string */
    303. > static char *strip_spaces(char *name)
    304.   {
    305.   	char *p, *q;

crypto/x509v3/v3_utl.c:247:5: Call
  245.   					goto err;
  246.   				}
  247.   				X509V3_add_value(ntmp, NULL, &values);
             ^
  248.   			}
  249.   			break ;

crypto/x509v3/v3_utl.c:74:2: Assignment
    72.   {
    73.   	CONF_VALUE *vtmp = NULL;
    74.   	char *tname = NULL, *tvalue = NULL;
           ^
    75.   	if(name && !(tname = BUF_strdup(name))) goto err;
    76.   	if(value && !(tvalue = BUF_strdup(value))) goto err;;

crypto/x509v3/v3_utl.c:80:2: Assignment
    78.   	if(!*extlist && !(*extlist = sk_new(NULL))) goto err;
    79.   	vtmp->section = NULL;
    80.   	vtmp->name = tname;
           ^
    81.   	vtmp->value = tvalue;
    82.   	if(!sk_push(*extlist, (char *)vtmp)) goto err;

crypto/x509v3/v3_cpols.c:134:16: Call
132.   			if(!pol) goto err;
133.   		} else {
134.   			if(!(pobj = OBJ_txt2obj(cnf->name, 0))) {
                      ^
135.   				X509V3err(X509V3_F_R2I_CERTPOL,X509V3_R_INVALID_OBJECT_IDENTIFIER);
136.   				X509V3_conf_err(cnf);

crypto/objects/obj_dat.c:391:1: Parameter `*s`
  389.    */
  390.   
  391. > ASN1_OBJECT *OBJ_txt2obj(const char *s, int no_name)
  392.   	{
  393.   	int nid = NID_undef;

crypto/objects/obj_dat.c:405:4: Call
  403.   
  404.   	/* Work out size of content octets */
  405.   	i=a2d_ASN1_OBJECT(NULL,0,s,-1);
            ^
  406.   	if (i <= 0) {
  407.   		/* Clear the error */

crypto/asn1/a_object.c:88:1: <Length trace>
86.   	}
87.   
88. > int a2d_ASN1_OBJECT(unsigned char *out, int olen, const char *buf, int num)
89.   	{
90.   	int i,first,len=0,c;

crypto/asn1/a_object.c:88:1: Parameter `*buf`
    86.   	}
    87.   
    88. > int a2d_ASN1_OBJECT(unsigned char *out, int olen, const char *buf, int num)
    89.   	{
    90.   	int i,first,len=0,c;

crypto/asn1/a_object.c:100:2: Assignment
    98.   		num=strlen(buf);
    99.   
    100.   	p=buf;
            ^
    101.   	c= *(p++);
    102.   	num--;

crypto/asn1/a_object.c:101:7: Assignment
    99.   
    100.   	p=buf;
    101.   	c= *(p++);
                 ^
    102.   	num--;
    103.   	if ((c >= '0') && (c <= '2'))

crypto/asn1/a_object.c:118:7: Assignment
    116.   		goto err;
    117.   		}
    118.   	c= *(p++);
                 ^
    119.   	num--;
    120.   	for (;;)

crypto/asn1/a_object.c:133:7: Array access: Offset: [2, +oo] Size: [1, +oo] by call to `OBJ_txt2obj` 
    131.   			if (num <= 0) break;
    132.   			num--;
    133.   			c= *(p++);
                 ^
    134.   			if ((c == ' ') || (c == '.'))
    135.   				break;

int a2d_ASN1_OBJECT(unsigned char *out, int olen, const char *buf, int num)
	{
	int i,first,len=0,c;
	char tmp[24];
	const char *p;
	unsigned long l;
	if (num == 0)
		return(0);
	else if (num == -1)
		num=strlen(buf);
	p=buf;
	c= *(p++);
	num--;
	if ((c >= '0') && (c <= '2'))
		{
		first=(c-'0')*40;
		}
	else
		{
		ASN1err(ASN1_F_A2D_ASN1_OBJECT,ASN1_R_FIRST_NUM_TOO_LARGE);
		goto err;
		}
	if (num <= 0)
		{
		ASN1err(ASN1_F_A2D_ASN1_OBJECT,ASN1_R_MISSING_SECOND_NUMBER);
		goto err;
		}
	c= *(p++);
	num--;
	for (;;)
		{
		if (num <= 0) break;
		if ((c != '.') && (c != ' '))
			{
			ASN1err(ASN1_F_A2D_ASN1_OBJECT,ASN1_R_INVALID_SEPARATOR);
			goto err;
			}
		l=0;
		for (;;)
			{
			if (num <= 0) break;
			num--;
			c= *(p++);
			if ((c == ' ') || (c == '.'))
				break;
			if ((c < '0') || (c > '9'))
				{
				ASN1err(ASN1_F_A2D_ASN1_OBJECT,ASN1_R_INVALID_DIGIT);
				goto err;
				}
			l=l*10L+(long)(c-'0');
			}
		if (len == 0)
			{
			if ((first < 2) && (l >= 40))
				{
				ASN1err(ASN1_F_A2D_ASN1_OBJECT,ASN1_R_SECOND_NUMBER_TOO_LARGE);
				goto err;
				}
			l+=(long)first;
			}
		i=0;
		for (;;)
			{
			tmp[i++]=(unsigned char)l&0x7f;
			l>>=7L;
			if (l == 0L) break;
			}
		if (out != NULL)
			{
			if (len+i > olen)
				{
				ASN1err(ASN1_F_A2D_ASN1_OBJECT,ASN1_R_BUFFER_TOO_SMALL);
				goto err;
				}
			while (--i > 0)
				out[len++]=tmp[i]|0x80;
			out[len++]=tmp[0];
			}
		else
			len+=i;
		}
	return(len);
err:
	return(0);
	}
["static STACK_OF(POLICYINFO) *r2i_certpol(X509V3_EXT_METHOD *method,\n\t\tX509V3_CTX *ctx, char *value)\n{\n\tSTACK_OF(POLICYINFO) *pols = NULL;\n\tchar *pstr;\n\tPOLICYINFO *pol;\n\tASN1_OBJECT *pobj;\n\tSTACK *vals;\n\tCONF_VALUE *cnf;\n\tint i;\n\tpols = sk_POLICYINFO_new_null();\n\tvals =  X509V3_parse_list(value);\n\tfor(i = 0; i < sk_num(vals); i++) {\n\t\tcnf = (CONF_VALUE *)sk_value(vals, i);\n\t\tif(cnf->value || !cnf->name ) {\n\t\t\tX509V3err(X509V3_F_R2I_CERTPOL,X509V3_R_INVALID_POLICY_IDENTIFIER);\n\t\t\tX509V3_conf_err(cnf);\n\t\t\tgoto err;\n\t\t}\n\t\tpstr = cnf->name;\n\t\tif(*pstr == '@') {\n\t\t\tSTACK *polsect;\n\t\t\tpolsect = X509V3_get_section(ctx, pstr + 1);\n\t\t\tif(!polsect) {\n\t\t\t\tX509V3err(X509V3_F_R2I_CERTPOL,X509V3_R_INVALID_SECTION);\n\t\t\t\tX509V3_conf_err(cnf);\n\t\t\t\tgoto err;\n\t\t\t}\n\t\t\tpol = policy_section(ctx, polsect);\n\t\t\tX509V3_section_free(ctx, polsect);\n\t\t\tif(!pol) goto err;\n\t\t} else {\n\t\t\tif(!(pobj = OBJ_txt2obj(cnf->name, 0))) {\n\t\t\t\tX509V3err(X509V3_F_R2I_CERTPOL,X509V3_R_INVALID_OBJECT_IDENTIFIER);\n\t\t\t\tX509V3_conf_err(cnf);\n\t\t\t\tgoto err;\n\t\t\t}\n\t\t\tpol = POLICYINFO_new();\n\t\t\tpol->policyid = pobj;\n\t\t}\n\t\tsk_POLICYINFO_push(pols, pol);\n\t}\n\tsk_pop_free(vals, X509V3_conf_free);\n\treturn pols;\n\terr:\n\tsk_POLICYINFO_pop_free(pols, POLICYINFO_free);\n\treturn NULL;\n}", 'STACK *X509V3_parse_list(char *line)\n{\n\tchar *p, *q, c;\n\tchar *ntmp, *vtmp;\n\tSTACK *values = NULL;\n\tchar *linebuf;\n\tint state;\n\tlinebuf = BUF_strdup(line);\n\tstate = HDR_NAME;\n\tntmp = NULL;\n\tfor(p = linebuf, q = linebuf; (c = *p) && (c!=\'\\r\') && (c!=\'\\n\'); p++) {\n\t\tswitch(state) {\n\t\t\tcase HDR_NAME:\n\t\t\tif(c == \':\') {\n\t\t\t\tstate = HDR_VALUE;\n\t\t\t\t*p = 0;\n\t\t\t\tntmp = strip_spaces(q);\n\t\t\t\tif(!ntmp) {\n\t\t\t\t\tX509V3err(X509V3_F_X509V3_PARSE_LIST, X509V3_R_INVALID_NULL_NAME);\n\t\t\t\t\tgoto err;\n\t\t\t\t}\n\t\t\t\tq = p + 1;\n\t\t\t} else if(c == \',\') {\n\t\t\t\t*p = 0;\n\t\t\t\tntmp = strip_spaces(q);\n\t\t\t\tq = p + 1;\n#ifdef DEBUG\n\t\t\t\tprintf("%s\\n", ntmp);\n#endif\n\t\t\t\tif(!ntmp) {\n\t\t\t\t\tX509V3err(X509V3_F_X509V3_PARSE_LIST, X509V3_R_INVALID_NULL_NAME);\n\t\t\t\t\tgoto err;\n\t\t\t\t}\n\t\t\t\tX509V3_add_value(ntmp, NULL, &values);\n\t\t\t}\n\t\t\tbreak ;\n\t\t\tcase HDR_VALUE:\n\t\t\tif(c == \',\') {\n\t\t\t\tstate = HDR_NAME;\n\t\t\t\t*p = 0;\n\t\t\t\tvtmp = strip_spaces(q);\n#ifdef DEBUG\n\t\t\t\tprintf("%s\\n", ntmp);\n#endif\n\t\t\t\tif(!vtmp) {\n\t\t\t\t\tX509V3err(X509V3_F_X509V3_PARSE_LIST, X509V3_R_INVALID_NULL_VALUE);\n\t\t\t\t\tgoto err;\n\t\t\t\t}\n\t\t\t\tX509V3_add_value(ntmp, vtmp, &values);\n\t\t\t\tntmp = NULL;\n\t\t\t\tq = p + 1;\n\t\t\t}\n\t\t}\n\t}\n\tif(state == HDR_VALUE) {\n\t\tvtmp = strip_spaces(q);\n#ifdef DEBUG\n\t\tprintf("%s=%s\\n", ntmp, vtmp);\n#endif\n\t\tif(!vtmp) {\n\t\t\tX509V3err(X509V3_F_X509V3_PARSE_LIST, X509V3_R_INVALID_NULL_VALUE);\n\t\t\tgoto err;\n\t\t}\n\t\tX509V3_add_value(ntmp, vtmp, &values);\n\t} else {\n\t\tntmp = strip_spaces(q);\n#ifdef DEBUG\n\t\tprintf("%s\\n", ntmp);\n#endif\n\t\tif(!ntmp) {\n\t\t\tX509V3err(X509V3_F_X509V3_PARSE_LIST, X509V3_R_INVALID_NULL_NAME);\n\t\t\tgoto err;\n\t\t}\n\t\tX509V3_add_value(ntmp, NULL, &values);\n\t}\nFree(linebuf);\nreturn values;\nerr:\nFree(linebuf);\nsk_pop_free(values, X509V3_conf_free);\nreturn NULL;\n}', 'static char *strip_spaces(char *name)\n{\n\tchar *p, *q;\n\tp = name;\n\twhile(*p && isspace(*p)) p++;\n\tif(!*p) return NULL;\n\tq = p + strlen(p) - 1;\n\twhile((q != p) && isspace(*q)) q--;\n\tif(p != q) q[1] = 0;\n\tif(!*p) return NULL;\n\treturn p;\n}', 'int X509V3_add_value(const char *name, const char *value, STACK **extlist)\n{\n\tCONF_VALUE *vtmp = NULL;\n\tchar *tname = NULL, *tvalue = NULL;\n\tif(name && !(tname = BUF_strdup(name))) goto err;\n\tif(value && !(tvalue = BUF_strdup(value))) goto err;;\n\tif(!(vtmp = (CONF_VALUE *)Malloc(sizeof(CONF_VALUE)))) goto err;\n\tif(!*extlist && !(*extlist = sk_new(NULL))) goto err;\n\tvtmp->section = NULL;\n\tvtmp->name = tname;\n\tvtmp->value = tvalue;\n\tif(!sk_push(*extlist, (char *)vtmp)) goto err;\n\treturn 1;\n\terr:\n\tX509V3err(X509V3_F_X509V3_ADD_VALUE,ERR_R_MALLOC_FAILURE);\n\tif(vtmp) Free(vtmp);\n\tif(tname) Free(tname);\n\tif(tvalue) Free(tvalue);\n\treturn 0;\n}', 'ASN1_OBJECT *OBJ_txt2obj(const char *s, int no_name)\n\t{\n\tint nid = NID_undef;\n\tASN1_OBJECT *op=NULL;\n\tunsigned char *buf,*p;\n\tint i, j;\n\tif(!no_name) {\n\t\tif( ((nid = OBJ_sn2nid(s)) != NID_undef) ||\n\t\t\t((nid = OBJ_ln2nid(s)) != NID_undef) )\n\t\t\t\t\treturn OBJ_nid2obj(nid);\n\t}\n\ti=a2d_ASN1_OBJECT(NULL,0,s,-1);\n\tif (i <= 0) {\n\t\tERR_get_error();\n\t\treturn NULL;\n\t}\n\tj = ASN1_object_size(0,i,V_ASN1_OBJECT);\n\tif((buf=(unsigned char *)Malloc(j)) == NULL) return NULL;\n\tp = buf;\n\tASN1_put_object(&p,0,i,V_ASN1_OBJECT,V_ASN1_UNIVERSAL);\n\ta2d_ASN1_OBJECT(p,i,s,-1);\n\tp=buf;\n\top=d2i_ASN1_OBJECT(NULL,&p,i);\n\tFree(buf);\n\treturn op;\n\t}', "int a2d_ASN1_OBJECT(unsigned char *out, int olen, const char *buf, int num)\n\t{\n\tint i,first,len=0,c;\n\tchar tmp[24];\n\tconst char *p;\n\tunsigned long l;\n\tif (num == 0)\n\t\treturn(0);\n\telse if (num == -1)\n\t\tnum=strlen(buf);\n\tp=buf;\n\tc= *(p++);\n\tnum--;\n\tif ((c >= '0') && (c <= '2'))\n\t\t{\n\t\tfirst=(c-'0')*40;\n\t\t}\n\telse\n\t\t{\n\t\tASN1err(ASN1_F_A2D_ASN1_OBJECT,ASN1_R_FIRST_NUM_TOO_LARGE);\n\t\tgoto err;\n\t\t}\n\tif (num <= 0)\n\t\t{\n\t\tASN1err(ASN1_F_A2D_ASN1_OBJECT,ASN1_R_MISSING_SECOND_NUMBER);\n\t\tgoto err;\n\t\t}\n\tc= *(p++);\n\tnum--;\n\tfor (;;)\n\t\t{\n\t\tif (num <= 0) break;\n\t\tif ((c != '.') && (c != ' '))\n\t\t\t{\n\t\t\tASN1err(ASN1_F_A2D_ASN1_OBJECT,ASN1_R_INVALID_SEPARATOR);\n\t\t\tgoto err;\n\t\t\t}\n\t\tl=0;\n\t\tfor (;;)\n\t\t\t{\n\t\t\tif (num <= 0) break;\n\t\t\tnum--;\n\t\t\tc= *(p++);\n\t\t\tif ((c == ' ') || (c == '.'))\n\t\t\t\tbreak;\n\t\t\tif ((c < '0') || (c > '9'))\n\t\t\t\t{\n\t\t\t\tASN1err(ASN1_F_A2D_ASN1_OBJECT,ASN1_R_INVALID_DIGIT);\n\t\t\t\tgoto err;\n\t\t\t\t}\n\t\t\tl=l*10L+(long)(c-'0');\n\t\t\t}\n\t\tif (len == 0)\n\t\t\t{\n\t\t\tif ((first < 2) && (l >= 40))\n\t\t\t\t{\n\t\t\t\tASN1err(ASN1_F_A2D_ASN1_OBJECT,ASN1_R_SECOND_NUMBER_TOO_LARGE);\n\t\t\t\tgoto err;\n\t\t\t\t}\n\t\t\tl+=(long)first;\n\t\t\t}\n\t\ti=0;\n\t\tfor (;;)\n\t\t\t{\n\t\t\ttmp[i++]=(unsigned char)l&0x7f;\n\t\t\tl>>=7L;\n\t\t\tif (l == 0L) break;\n\t\t\t}\n\t\tif (out != NULL)\n\t\t\t{\n\t\t\tif (len+i > olen)\n\t\t\t\t{\n\t\t\t\tASN1err(ASN1_F_A2D_ASN1_OBJECT,ASN1_R_BUFFER_TOO_SMALL);\n\t\t\t\tgoto err;\n\t\t\t\t}\n\t\t\twhile (--i > 0)\n\t\t\t\tout[len++]=tmp[i]|0x80;\n\t\t\tout[len++]=tmp[0];\n\t\t\t}\n\t\telse\n\t\t\tlen+=i;\n\t\t}\n\treturn(len);\nerr:\n\treturn(0);\n\t}"]