<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>