On iOS there is the Clang Static analyzer. Infer does some things different,
in particular reasoning that spans across multiple files.
But CSA checks for more kinds of issues and is also more mature than
Infer when it comes to iOS: we send big respect to CSA! Infer has only got started there recently.
Really, these tools complement one another and it would even make
sense to use both. Indeed, that's what we do inside FB!
About null dereferences, they are still a problem in ObjC: if you dereference a nil block it will crash, if you access an instance variable directly or try to pass nil to arrays or dictionaries it will crash. We try to find that kind of bugs.
Sorry to hijack your comment but it sounds like you are one of the devs of Infer. I am working on static analysis as part of my PhD and I am going to be an intern at Facebook MPK this summer. Are you located at MPK as well? Any chance we could meet up for some coffee at some point?
About null dereferences, they are still a problem in ObjC: if you dereference a nil block it will crash, if you access an instance variable directly or try to pass nil to arrays or dictionaries it will crash. We try to find that kind of bugs.