https://clang.llvm.org/docs/analyzer/checkers.html has a handy list of checkers that the Clang Static Analyzer implements. There are various useful tests implemented there that we don't yet implement. Filing this as a tracker bug for RFEs to track implementing more of them.
Confirming as a useful meta-bug; I'd like to see some of the ObjC/osx ones myself