test/metastate/tainted.c

   1 /*@untainted@*/ char *f (/*@tainted@*/ char *s, /*@untainted@*/ char *us)
   2 {
   3   char *x = f (us, s); /* Error: tainted as untainted */
   4   return f (x, us);
   5 }
   6
   7 void test (/*@tainted@*/ char *s)
   8 {
   9   (void) system (s);
  10 }