llvm dev - Apr 2019 - A few questions about static nalysis methods

<div xmlns="http://www.w3.org/1999/xhtml"><div>Good day!
Could you answer a couple of
questions?</div><div> </div><div>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> </div><div>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> </div><div>3) How to find out which
Clang Checkers are used for static analysis only.</div></div><div
xmlns="http://www.w3.org/1999/xhtml"> </div><div
xmlns="http://www.w3.org/1999/xhtml"><span
style="font-family:calibri,sans-serif;font-size:11pt;">Best,</span> </div><div
xmlns="http://www.w3.org/1999/xhtml">vvleon</div><div
xmlns="http://www.w3.org/1999/xhtml"> </div>

Hi,

Clang has separated mailing list:  cfe-dev at lists.llvm.org 
I think this some of your questions can be answer there

Best
Bekket
> On Apr 2, 2019, at 7:46 AM, ООО НеоГрупп via llvm-dev <llvm-dev at
lists.llvm.org> wrote:
> 
> Good day! Could you answer a couple of questions?
>  
> 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.
>  
> 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.
>  
> 3) How to find out which Clang Checkers are used for static analysis only.
>  
> Best, 
> vvleon
>  
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20190402/b1c111dc/attachment.html>