[cfe-dev] General query : Alpha security checkers and taint analysis

[Ashwin Ganesh via cfe-dev]

Hello,
Is the source code of alpha checkers available ? I see a
GenericTaintChecker.cpp file in the list of checkers of StaticAnalyzer but
not the code of specific checkers.

My main requirement is to write a checker myself , defining a set of taint
sources from specific functions, propagating the taint as well as gathering
all the instructions either at the source or assembly level where the
tainted variables are accessed. All these should be possible with clang
static analyzer I hope?

Regards,
Ashwin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20160401/76d4db50/attachment.html>