[splint.git] / test / tainted / taintedmerge.c

char *f (/*@tainted@*/ char *s)
{
  char t[50];

  (void) system ("test"); 
  strcpy (t, "test");

  (void) system (t);

  strcat (t, s);
  (void) system (t); /* error */

  strcpy (t, s);
  (void) system (t); /* error */

  return t; /* error - tainted, stack-allocated */
}
Commit	Line	Data
98ed3b22	1	char f (/@tainted@/ char s)
	2	{
	3	char t[50];
	4
	5	(void) system ("test");
	6	strcpy (t, "test");
	7
	8	(void) system (t);
	9
	10	strcat (t, s);
	11	(void) system (t); /* error */
	12
	13	strcpy (t, s);
	14	(void) system (t); /* error */
	15
	16	return t; /* error - tainted, stack-allocated */
	17	}