f. Consider a static taint flow analysis as we have discussed in class. Con- sider the following code snippet: 1 int printf(untainted char *fmt, ...); 2 void read (int, tainted char *input, int); 3 4 char name (10): 5 6 read (0, name, sizeof (name)); 7 char *x = name; 8 printf(x): Let us assume we are interested in an analysis that identifies no tainted data flows (where untainted