A few questions about static nalysis methods

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

Hi,

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

Best
Bekket