输入和插桩

指定全局变量和函数的范围

要针对外部来源中某些变量的范围指定约束，或隐藏某些文件中的缺陷和编码违规，请使用输入和插桩选项。

Polyspace 选项

全部展开

约束设置 (-data-range-specifications)对插桩函数的全局变量、函数输入和返回值进行约束
要插桩的函数 (-functions-to-stub)在分析期间指定要插桩的函数
使用的库 (-library)Specify libraries that you use in your program (自 R2021a 起)
为源生成结果 (-generate-results-for)指定要进行分析的文件。
不生成结果 (-do-not-generate-results-for)指定不希望进行分析的文件
-classificationControl precisely which files to include in Polyspace analysis and how to analyze them (自 R2023a 起)

主题