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

extern char *mtainted (char *s); 

/*@untainted@*/ char *f (/*@tainted@*/ char *s, /*@untainted@*/ char *us)
{
  char *x = f (us, s); /* Error: tainted as untainted */
  return f (x, us);
}

void test (/*@tainted@*/ char *s)
{
  char *t = malloc (sizeof (char) * strlen (s));
  (void) system (s); /* error */

  assert (t != NULL);
  strcpy (t, s);
  /* t is tainted too */
  (void) system (t); /* error */

  t = mtainted (s); /* default return is tainted! */
  (void) system (t); /* error */
}
Commit	Line	Data
98ed3b22	1	extern char mtainted (char s);
	2
	3	/@untainted@/ char f (/@tainted@/ char s, /@untainted@/ char *us)
	4	{
	5	char x = f (us, s); / Error: tainted as untainted */
	6	return f (x, us);
	7	}
	8
	9	void test (/@tainted@/ char *s)
	10	{
	11	char t = malloc (sizeof (char) strlen (s));
	12	(void) system (s); /* error */
	13
	14	assert (t != NULL);
	15	strcpy (t, s);
	16	/* t is tainted too */
	17	(void) system (t); /* error */
	18
	19	t = mtainted (s); /* default return is tainted! */
	20	(void) system (t); /* error */
	21	}