$tainted char *getenv(const char *name); int printf($untainted const char *fmt, ...); int main(void) { char *s, *t; s = getenv("LD_LIBRARY_PATH"); t = s; printf(t); }
CQual - A tool for adding type qualifiers to C
cqual.html lock.c lock.c-annot.html lock.c-explain.html lock.c-orig.html lock.c.html taint.c taint.c-annot.html taint.c-explain.html taint.c-orig.html taint.c.html taint2.c taint2.c-annot.html taint2.c-explain.html taint2.c-orig.html taint2.c.html tutorial.html