<div dir="ltr"><div><div>Hi meritozh!<br><br>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?<br></div><br></div>Thanks, Alexey K<br></div><div class="gmail_extra"><br><div class="gmail_quote">2017-12-12 9:33 GMT+03:00 gao ge via cfe-dev <span dir="ltr"><<a href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">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?<div><br></div><div>Thanks,</div><div>meritozh</div></div>
<br>______________________________<wbr>_________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@lists.llvm.org">cfe-dev@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/cfe-dev</a><br>
<br></blockquote></div><br><br clear="all"><br>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><a href="https://www.linkedin.com/profile/view?id=AAMAABn6oKQBDhBteiQnWsYm-S9yxT7wQkfWhSw" target="_blank">linkedin.com/profile</a><br><br><a href="http://github.com/alexeyknyshev" target="_blank">github.com/alexeyknyshev</a><span></span><a href="http:///" target="_blank"></a><span></span><br><a href="https://bitbucket.org/alexeyknyshev/" target="_blank">bitbucket.org/alexeyknyshev</a><br></div></div>
</div>