void f(char *x); void g(const char *y); int main(void) { $tainted char *t; char *a; char *b; f(t); f(a); g(t); g(b); }
CQual - A tool for adding type qualifiers to C
README linux-lock.c linux-lock.i linux-lock2.c linux-lock2.i lock.c lock2.c lock3.c rcs1.c rcs2.c rcs3.c taint-cast.c taint-const-subtyping.c taint-poly.c taint-varargs.c taint0.c taint1.c taint2.c user0.c user1.c y2k1.c y2k2.c y2k3.c y2k4.c