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, DescriptionExample
co

C++ Checkers

Name, DescriptionExample

Dead Code Checkers

Name, DescriptionExample

Nullability Checkers

Name, DescriptionExample

Optin Checkers

Name, DescriptionExample

OS X Checkers

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

Security Checkers

Name, DescriptionExample

Unix Checkers

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