Customizing static analysis

Use an analysis options file and code comments to customize static analysis.