初始化函数 (-functions-called-before-main)

指定您希望生成的 main 在其他函数之前调用的函数

描述

此选项仅影响 Code Prover 分析。

此选项不适用于从 MATLAB® 代码或 Simulink® 模型生成的代码。

指定您希望生成的 main 在其他函数之前调用的函数。

设置选项

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

  • Polyspace 平台用户界面（仅限桌面端产品）：在您的工程配置中，在静态分析选项卡上，选择运行时错误节点，然后为此选项输入值。有关您必须先启用的其他选项，请参阅依赖关系。

  • 命令行和选项文件：请使用 -functions-called-before-main 选项。请参阅命令行信息。

为何使用此选项

如果您正在验证模块或库，若不存在 main 函数，则 Code Prover 将生成该函数。如果存在 main，则分析将使用现有的 main。

将此选项与要调用的函数 (-main-generator-calls) 选项一起使用，以指定生成的 main 必须调用哪些函数。除非某个函数直接或间接被 main 调用，否则软件不会分析该函数。

设置

无默认值

输入函数名称或从列表中进行选择。

  • 点击“添加空行”按钮 并输入函数名称，以添加单个函数。

  • 点击“从预定义列表中添加函数”按钮 ，以从列表中选择函数。

  • 点击“添加/编辑多行”按钮 ，并在添加/编辑多行对话框中输入函数（每行一个），以添加或更新多个函数。前导空格和尾随空格将被剪除，空行将被忽略。

如果函数或方法没有重载，指定函数名称即可。否则，须指定包含参量的函数原型。例如，在下面的代码中，您必须指定原型 func(int) 和 func(double)。

int func(int x) { 
 return(x * 2);
}
double func(double x) { 
 return(x * 2);
}
对于 C++，如果函数：

  • 是类方法：生成的 main 在调用此函数前，会先调用类构造函数。

  • 不是类方法：生成的 main 在调用类方法前，会先调用此函数。

如果您使用作用域解析运算符指定特定命名空间中的函数，请输入完全限定名称，例如 myClass::init(int)。如果该函数没有参数，请使用空括号，例如 myClass::init()。

依赖关系

仅当选中验证模块或库 (-main-generator) 选项时，您才能使用此选项。

如果您的代码包含 main 函数，则此选项将被忽略。

提示

尽管这些函数会在其他函数之前调用，但是它们可以按任意顺序进行调用。如果您希望按特定顺序调用初始化函数，请手动编写 main 函数来调用它们。

命令行信息

参数：-functions-called-before-main
值：function1[,function2[,...]]
无默认值
示例 1 (Code Prover)：polyspace-code-prover -sources file_name -main-generator -functions-called-before-main myfunc
示例 2 (Code Prover)：polyspace-code-prover -sources file_name -main-generator -functions-called-before-main myClass::init(int)
示例 1 (Code Prover Server)：polyspace-code-prover-server -sources file_name -main-generator -functions-called-before-main myfunc
示例 2 (Code Prover Server)：polyspace-code-prover-server -sources file_name -main-generator -functions-called-before-main myClass::init(int)

另请参阅

| | | |

主题