Available Checkers

The analyzer performs checks that are categorized into families or "checkers". The default set of checkers covers a variety of checks targeted at finding security and API usage bugs, dead code, and other logic errors. See the Default Checkers list below. In addition to these, the analyzer contains a number of Experimental (Alpha) Checkers.

Writeups with examples of some of the bugs that the analyzer finds

Default Checkers

Core Checkers

Name, Description
Example

C++ Checkers

Name, Description
Example

Dead Code Checkers

Name, Description
Example

OS X Checkers

Name, Description
Example
@interface Test : UIViewController
@end
@implementation test
- (void)viewDidLoad {} // warn
@end

Security Checkers

Name, Description
Example

Unix Checkers

Name, Description
Example
int test() {
  return strlen(0); // warn
}