frama-c 度量输出到文件以按功能度量

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 运算符可用于排序。因此，你的两个命令是等价的。