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 运算符进行排序。因此，您的两个命令是等效的。