[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
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?
> cfe-dev mailing list
> cfe-dev at lists.llvm.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the cfe-dev