<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Hi,<div class=""><br class=""></div><div class="">Clang has separated mailing list: <a href="mailto:cfe-dev@lists.llvm.org" class="">cfe-dev@lists.llvm.org</a> </div><div class="">I think this some of your questions can be answer there</div><div class=""><br class=""></div><div class="">Best</div><div class="">Bekket<br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Apr 2, 2019, at 7:46 AM, ООО НеоГрупп via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" class="">llvm-dev@lists.llvm.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div xmlns="http://www.w3.org/1999/xhtml" class=""><div class="">Good day! Could you answer a couple of questions?</div><div class=""> </div><div class="">1) Please help me find a code (and launch parameters) to demonstrate the detection of an error (defect) using the method of interprocedural context-sensitive static analysis.</div><div class=""> </div><div class="">2) Please help me find a code (and launch parameters) to demonstrate the detection of an error (defect) using the method of interprocedural path sensitive static analysis.</div><div class=""> </div><div class="">3) How to find out which Clang Checkers are used for static analysis only.</div></div><div xmlns="http://www.w3.org/1999/xhtml" class=""> </div><div xmlns="http://www.w3.org/1999/xhtml" class=""><span style="font-family:calibri,sans-serif;font-size:11pt;" class="">Best,</span> </div><div xmlns="http://www.w3.org/1999/xhtml" class="">vvleon</div><div xmlns="http://www.w3.org/1999/xhtml" class=""> </div>
_______________________________________________<br class="">LLVM Developers mailing list<br class=""><a href="mailto:llvm-dev@lists.llvm.org" class="">llvm-dev@lists.llvm.org</a><br class="">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev<br class=""></div></blockquote></div><br class=""></div></body></html>