analyze is the analyzer. Its input is a list of preprocessed source files with extension .i. Its output is bug report files in XML format. The command format is:

The available options are:

• -o dir: specify the directory containing bug reports.
• -func function-name: analyze a specific function.
• -loop n: specify the maximum times a loop may be executed. Defaults to 2.