[cfe-dev] Static taint analysis

[Mads Ravn via cfe-dev]

Hi Muhui,

It looks like clang has some kind of taint analysis already. I don't know
if it fits your purpose. But have a look at DivZeroChecker.cpp and
GenericTaintChecker.cpp in clang. There are also other files.

If these do not fit your purpose, I think you should be able to construct
your own. If you have any questions about how to do this, please also
elaborate on your experience with clang. It's much easier to guide you in
the right direction, if we know your current level.

Best regards,
Mads Ravn

On Fri, Dec 30, 2016 at 9:46 PM Muhui Jiang via cfe-dev <
cfe-dev at lists.llvm.org> wrote:

> Hi
>
> I am trying to use clang analyzer to conduct static taint analysis on the
> Linux kernel.  I am wondering whether clang has a static taint analysis
> framework or do I have to write a new one. If so, any suggestions or hints
> to write the static taint analysis tool. Many thanks
>
> Regards
> Muhui
> _______________________________________________
> 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/20161230/363f34fd/attachment.html>