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

void test (/*@tainted@*/ char *s)
{
  char *t = malloc (sizeof (char) * strlen (s));
  assert (t != NULL);
  strcpy (t, s);
  /* t is tainted too */
  (void) system (t); /* error */
}
Commit	Line	Data
98ed3b22	1	void test (/@tainted@/ char *s)
	2	{
	3	char t = malloc (sizeof (char) strlen (s));
	4	assert (t != NULL);
	5	strcpy (t, s);
	6	/* t is tainted too */
	7	(void) system (t); /* error */
	8	}