Bug Finder 分析
用于查找缺陷的分析选项
要启用或禁用缺陷检查项，请使用 Bug Finder 分析选项。
Polyspace 选项
查找缺陷 (-checkers -disable-checkers) | 启用或禁用缺陷检查项 |
运行更严格的检查并考虑所有的系统输入值 (-checks-using-system-input-values) | Enable stricter checks and provide examples of values that lead to detected defect |
考虑这些函数的输入 (-system-inputs-from) | Specify functions for which the analysis considers all possible input values |
主题
- 指定 Polyspace 分析选项
在 Polyspace® 用户界面、其他 IDE 或脚本中指定 Polyspace 分析选项。
- 选择特定的 Bug Finder 缺陷检查项
在 Bug Finder 中检查特定缺陷，而不是使用默认检查项。
- Prepare Checkers Configuration for Polyspace Bug Finder Analysis
Deploy common checkers configuration to enforce uniform standards, mix defect and coding rule checkers.
- Modify Default Behavior of Bug Finder Checkers
Extend or constrain the default behavior of defect or coding standard checkers using Polyspace analysis options.
- Modify Bug Finder Checkers Through Code Behavior Specifications
- Flag Deprecated or Unsafe Functions, Keywords, or Macros Using Bug Finder Checkers
- Extend Bug Finder Checkers for Standard Library Functions to Custom Libraries
- Extend Bug Finder Checkers to Find Defects from Specific System Input Values
- Extend Concurrency Defect Checkers to Unsupported Multithreading Environments
- Extend Checkers for Initialization to Check Function Arguments Passed by Pointers
- Extend Data Race Checkers to Atomic Operations
- 默认启用的 Polyspace Bug Finder 缺陷检查项
查找默认启用的 Bug Finder 检查项列表。
- CWE Coding Standard Coverage Using Polyspace
Group CWE results by category and view list of
all-exact-checkers.
