frama-c metrics按功能逐个输出到文件

Question

我正在尝试将指标结果输出到文件中。 我知道我可以调用-metrics-output，并将全局指标分析输出到文件中，但我也试图获取每个函数的结果。

通话：

frama-c -metrics -metrics-output test.txt -metrics-by-function example.c

或：

frama-c -metrics -metrics-by-function -metrics-output test.txt example.c

只需生成包含全局指标的文件。

Answer 1

我已经查看了插件的代码，似乎每个功能输出仅适用于控制台和.html输出，而不适用于.txt输出。所以你可以

1. 完全删除-metrics-output test.txt，并将Frama-C的输出传递给文件。每个函数都有不同的子部分

2. 使用-metrics-output test.html。每个功能的信息以html数组的形式提供。

另外，Frama-C中的选项顺序并不重要。如果需要，-then运算符可用于排序。因此，您的两个命令是等效的。