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

[Alexey Knyshev via cfe-dev]

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
>
>


-- 
linkedin.com/profile
<https://www.linkedin.com/profile/view?id=AAMAABn6oKQBDhBteiQnWsYm-S9yxT7wQkfWhSw>

github.com/alexeyknyshev
bitbucket.org/alexeyknyshev
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20171212/a3754e6f/attachment.html>