[llvm-dev] A few questions about static nalysis methods

[Bekket McClane via llvm-dev]

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>