[llvm-dev] A few questions about static nalysis methods
Bekket McClane via llvm-dev
llvm-dev at lists.llvm.org
Tue Apr 2 14:08:45 PDT 2019
Clang has separated mailing list: cfe-dev at lists.llvm.org
I think this some of your questions can be answer there
> 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.
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev