[splint.git] / test / tainted / taintedimplicit.c~

char *taintme (char *s)
     /*@ensures result:taintedness = s:taintedness@*/
{
  char *res = (char *) malloc (sizeof (*res) * strlen (s));

  strcpy (res, s);
  return s;
}
Commit	Line	Data
98ed3b22	1	char taintme (char s)
	2	/@ensures result:taintedness = s:taintedness@/
	3	{
	4	char res = (char ) malloc (sizeof (res) strlen (s));
	5
	6	strcpy (res, s);
	7	return s;
	8	}