[splint.git] / test / mergestate / taintednm.c

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

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

  (void) system (t);

  t = strcat3 (t, t2, t2);
  (void) system (t); /* okay */

  t = strcat3 (t, t2, s);
  (void) system (t); /* error */

  t = strcat3 (t, t2, t2);
  (void) system (t); /* error */

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

  return t; /* error - tainted, stack-allocated */
}
Commit	Line	Data
68de3f33	1	char f (/@tainted@/ char s)
	2	{
	3	char t[50];
	4	char t2[20];
	5
	6	(void) system ("test");
	7	strcpy (t, "test");
	8	strcpy (t2, "okay");
	9
	10	(void) system (t);
	11
	12	t = strcat3 (t, t2, t2);
	13	(void) system (t); /* okay */
	14
	15	t = strcat3 (t, t2, s);
	16	(void) system (t); /* error */
	17
	18	t = strcat3 (t, t2, t2);
	19	(void) system (t); /* error */
	20
	21	t = strcpy (t, s);
	22	(void) system (t); /* error */
	23
	24	return t; /* error - tainted, stack-allocated */
	25	}