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

Ashwin Ganesh via cfe-dev cfe-dev at lists.llvm.org
Fri Apr 1 08:54:15 PDT 2016

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?

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

More information about the cfe-dev mailing list