[PATCH] D33645: [analyzer] Add missing documentation for static analyzer checkers

Dominik Szabó via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Jun 15 03:17:09 PDT 2017


szdominik marked 3 inline comments as done.
szdominik added inline comments.


================
Comment at: www/analyzer/alpha_checks.html:91
+(C, C++)</span><div class="descr">
+Check for logical errors for function calls and Objective-C message 
+expressions (e.g., uninitialized arguments, null function pointers, 
----------------
zaks.anna wrote:
> for function calls -> in function calls?
> After briefly looking into this, the checker only reports the use of uninitialized arguments in calls, not the other issues (like null function pointers). Could you double check this?
As I see here
https://github.com/llvm-mirror/clang/blob/master/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp#L341 
there are checks for null pointers too. 


https://reviews.llvm.org/D33645





More information about the cfe-commits mailing list