检测未调用的函数 (`-uncalled-function-checks`)

检测未直接或间接被 main 或另一个入口函数调用的函数

描述

此选项仅影响 Code Prover 分析。

检测在运行时期间未直接或间接被 main 或另一个入口函数调用的函数。

函数未被调用的原因可能有多种，包括：

使用以下方法之一设置选项：

Polyspace 平台用户界面（仅限桌面端产品）：在您的工程配置中，在静态分析选项卡上，选择运行时错误 > 检查行为节点，然后选择此选项。
命令行和选项文件：请使用 -uncalled-function-checks 选项。请参阅命令行信息。

通常，验证后，Polyspace 用户界面中的仪表板窗格会显示验证期间未被调用并且因此未被分析的函数。但是，您在分析结果或报告中看不到这些函数。您无法对其添加注释或进行申述。

如果您希望在分析结果和报告中看到这些未被调用的函数，请使用此选项。

默认值：无

无

Code Prover 分析排除对未调用函数的检查。

never-called

Code Prover 分析检查已定义但未调用的函数。

called-from-unreachable

Code Prover 分析检查已定义且从代码的不可达部分调用的函数。

all

Code Prover 分析检查符合以下条件的函数：

参数：-uncalled-function-checks

值：none | never-called | called-from-unreachable | all

默认值：none

示例 (Code Prover)：polyspace-code-prover -sources file_name -uncalled-function-checks all

示例 (Code Prover Server)：polyspace-code-prover-server -sources file_name -uncalled-function-checks all