Objective C 的代码检查

使用Objective C进行代码检查是一种常见的方法，可以帮助开发人员发现和纠正潜在的问题和错误。Objective C是一种面向对象的编程语言，主要用于iOS和Mac应用程序的开发。在本文中，我们将介绍如何使用Objective C进行代码检查，并提供一些案例代码来帮助读者更好地理解。

objective-c
#import 
int main(int argc, const char * argv[]) {
    @autoreleasepool {
        NSString *str = nil;
        NSString *uppercaseStr = [str uppercaseString];
        NSLog(@"%@", uppercaseStr);
    }
    return 0;
}

objective-c
#import 
@interface Person : NSObject
@property (nonatomic, strong) NSString *name;
- (void)sayHello;
@end
@implementation Person
- (void)sayHello {
    NSLog(@"Hello, %@!", self.name);
}
@end
int main(int argc, const char * argv[]) {
    @autoreleasepool {
        Person *person = [[Person alloc] init];
        [person sayHello];
    }
    return 0;
}

$ infer run -- xcodebuild -workspace YourWorkspace.xcworkspace -scheme YourScheme