[cfe-dev] Using Alpha taint checker in Clang static analyzer

Ashwin Ganesh via cfe-dev cfe-dev at lists.llvm.org
Thu Apr 7 11:33:48 PDT 2016

Hey Artem, the mail thread where you had answered my queries regarding
taint propagation , GenericTaintChecker,etc seem to have disappeared from
my mails, have absolutely no idea how it happened. It would be great if you
can forward that conversation to me again as you had given me many valuable
points there. I think it was dated April 5 or 6.


On Fri, Apr 1, 2016 at 7:11 PM, Artem Dergachev via cfe-dev <
cfe-dev at lists.llvm.org> wrote:

> Hello,
> The checker reports nothing on taint-tester.c because there are truly no
> errors in this file. The taint-tester.c test contains tests based on the
> internal debugging facility - the debug.TaintTest checker. The tests for
> alpha.security.taint.TaintPropagation checker are mostly in the
> taint-generic.c file. You can grep through the test run-lines by the
> checker name to find more tests that rely on this checker. The code you
> provide in the stack-overflow question doesn't have any security issues
> either, so the checker is intentionally silent.
> Best regards,
> Artem.
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20160408/d08eb6e0/attachment.html>

More information about the cfe-dev mailing list