[cfe-dev] Can I write a standalone static analyzer?

Alexey Knyshev via cfe-dev cfe-dev at lists.llvm.org
Mon Dec 11 23:27:01 PST 2017

Hi meritozh!

CSA supports and encourage you to write custom opt-in checkers. Please
explain what does mean "general purpose" statement and in which context you
have to implement a new tool?

Thanks, Alexey K

2017-12-12 9:33 GMT+03:00 gao ge via cfe-dev <cfe-dev at lists.llvm.org>:

> Clang static analyzer is a great tool, but its checkers are only for
> general purpose. I want write some customized checkers. As I know, static
> analyzer is a port of clang, clang-tidy maybe a good choice, but it does
> not support path sensitive checker. It seems that I must modify clang
> source code? Can I write a standalone static analyzer which built on static
> analyzer module, but also support path sensitive checking?
> Thanks,
> meritozh
> _______________________________________________
> 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/20171212/a3754e6f/attachment.html>

More information about the cfe-dev mailing list