A static analyzer is a standalone tool that finds bugs in C and Objective-C programs.