为来源生成结果和 (-generate-results-for)
指定要进行分析的文件。
描述
此选项仅影响 Bug Finder 分析。
指定要进行分析的文件。
默认情况下,结果会显示在与源文件位于同一文件夹中的源文件和头文件中。您可以使用此选项查看其他头文件中的结果。如果您使用选项不生成结果 (-do-not-generate-results-for) 来抑制整个文件夹,则可以使用此选项来取消抑制这些文件夹中的某些子文件夹或文件。
设置选项
使用以下方法之一设置选项:
- Polyspace® 用户界面(仅限桌面端产品):在工程配置中,选择输入和插桩节点,然后为该选项选择一个值。 
- Polyspace 平台用户界面(仅限桌面端产品):在工程配置中,在静态分析选项卡上,选择缺陷和编码标准节点,然后为该选项选择一个值。 
为何使用此选项
使用此选项可查看与您最相关的头文件中的结果。
例如,默认情况下,结果生成在与源文件位于同一文件夹中的头文件中。通常,其他头文件属于第三方库。虽然这些头文件对于精确分析是必需的,但您并不需要审查这些头文件中的检查结果。因此,默认情况下,不会为这些标题生成结果。如果您对第三方库中的某些头文件感兴趣,请更改此选项的默认值。
请注意,在 Polyspace as You Code 中,您无法通过源文件在 #include-d 及以下的标题中看到任何结果。默认行为是将源文件(或子文件夹)所在文件夹中的头文件视为分析对象,但抑制在头文件中找到的结果。您只能使用此选项来扩展分析期间考虑的头文件的范围。另请参阅Analysis Scope of Polyspace as You Code (Polyspace Access)。
设置
默认:source-headers
- source-headers
- 结果显示在与源文件位于同一文件夹中的源文件和头文件中,或在源文件文件夹的子文件夹中。 - 源文件是您添加到 Polyspace 工程的源文件夹中的文件(或在命令行中使用参量 - -sources)。
- all-headers
- 结果显示在源文件和所有头文件中。头文件可以与源文件位于同一文件夹中,也可以位于源文件文件夹的子文件夹中,或位于包含头文件的文件夹中。 - 源文件是您添加到 Polyspace 工程的源文件夹中的文件(或在命令行中使用参量 - -sources)。- 包含文件夹是指您添加到 Polyspace 工程的包含文件夹中的文件夹(或在命令行中使用参量 - -I)。
- custom
- 结果将显示在源文件以及您指定的文件中。如果您输入文件夹名称,搜索结果将显示在该文件夹(及其子文件夹)中的头文件中。 - 点击  添加一个字段。输入文件或文件夹名称。 添加一个字段。输入文件或文件夹名称。
提示
- 将此选项与选项 - 不生成结果 (-do-not-generate-results-for)的适当值结合使用。- 如果您选择自定义,且两个选项的值冲突,则更具体的值决定结果的显示。例如,在下面的示例中,选项为源代码和以下项生成结果的值更具体。 - 为源代码和以下项生成结果 - 不为以下项生成结果 - 最终结果 - 自定义: - C:\Includes\Custom_Library\- 自定义: - C:\Includes- 结果显示在 - C:\Includes\Custom_Library\及其子文件夹中的头文件中,但未生成其他头文件在- C:\Includes中的结果。- 自定义: - C:\Includes\my_header.h- 自定义: - C:\Includes\- 仅在 - C:\Includes\目录下的头文件- my_header.h中显示结果,但不会为- C:\Includes\及其子文件夹中的其他头文件中生成结果。- 同时使用这两个选项,您可以抑制某个文件夹中所有文件的结果,但取消抑制这些文件夹中的选定文件。 
- 您还可以使用选项 - -classification显示或隐藏一组文件的结果。此选项允许您定义文件集并为这些文件集附加行为。如果对文件集中的所有文件指定以下行为,则与在文件上使用选项- -generate-results-for效果相同:选项- <show-results value="true"/> - -classification支持指定通配符字符,例如- ?和- *,以指定文件和文件夹模式。有关详细信息,请参阅:
命令行信息
| 参数: -generate-results-for | 
| 值: source-headers|all-headers|custom=|custom= | 
| 示例 (Bug Finder): polyspace-bug-finder -lang c -sources  | 
| 示例 (Code Prover): polyspace-code-prover -lang c -sources  | 
| 示例 (Bug Finder Server): polyspace-bug-finder-server -lang c -sources  | 
| 示例 (Code Prover Server): polyspace-code-prover-server -lang c -sources  | 
版本历史记录
在 R2016a 中推出