<div dir="ltr"><div><div><div><div><div><div><div><br></div>Hi all!<br><br></div>Are there any other or newer possibilities to suppress a specific analyzer warning?<br></div>I checked the FAQ and there are two possibilities right now<br>
</div>- analyzer annotations<br></div>- __clang_<span style class="">analzyer</span>__ macro<br><br></div>I'm interested in C++ code analysis. I found some annotations at the clang analyzer <span style class="">webpage</span> but if I understand it right for C++ I can only use the attribute <span style class="">nonnull</span> or <span style class="">anlyzer</span>_<span style class="">noreturn</span>. Are there other source code annotation I could use?<br>
</div><div>Is it possible to create some annotation which will suppress only warnings for a given check?<br></div><div>Using the scan-build which checkers are enabled by default?<br></div><div><div><br></div><div>My last question is in connection with the path sensitive analysis. Could you give me some details how the exploded graph exploration is made or where can i find some information about it? The traversal is made parallel for each path?<br>
<br></div><div>Thanks in advance!<br><br></div><div>Best regards,<br></div><div>George<br></div><div><br> <br> </div></div></div>