分析选项Polyspace错误发现者

• 目标和编译器
  目标处理器类型，编译器行为
  
• 宏
  预处理器规范和定义
  
• 环境设置
  预处理脚本，包括文件
  
• 输入和存根
  为全局变量和函数指定范围
  
• 多任务处理
  多任务选项，入口点，关键部分，独家任务
  
• 编码标准和编码度量
  MISRA, AUTOSAR, CERT，和JSF编码规则集，自定义编码规则，代码度量
  
• Bug仪分析
  用于发现缺陷的分析选项
  
• 主发电机
  主要代;初始化、步骤和终止函数;参数和输入变量
  
• 检查行为
  修改运行时检查的默认行为
  
• 报告
  缺陷报告、摘要报告、报告模板
  
• 运行设置
  远程分析，结果存储库
  
• 高级设置
  后分析命令，脚本，非官方选项
  
• 只命令行选项
  命令行选项，高级选项