如何生成夹板日志
How to generate a splint log
我想在 Linux 下生成一个完整的夹板报告文件，其中还包括日期和拆分工具版本。
我尝试使用“>”将 stdio 拆分输出重定向到一个文件，但在文件中我只找到了拆分消息
为了更好地解释，我 运行 在 main.c 上夹板，在 stdio 上消息是：
**Splint 3.1.2 --- 20 Feb 2018
main.c: (in function main)
main.c:7:8: Variable c declared but not used
A variable is declared but never used. Use /*@unused@*/ in front of
declaration to suppress message. (Use -varuse to inhibit warning)
Finished checking --- 1 code warning**
现在我 运行 再次使用夹板工具：夹板 main.c > report.txt
在 report.txt 文件中我没有找到“Splint 3.1.2 --- 2018 年 2 月 20 日”和“已完成检查 --- 1 个代码警告 " 但只有特定的夹板信息。
如何将整个夹板输出重定向到文件中？
谢谢
由于这些行是通过 stderr 输出的，因此也将其重定向到您的日志文件中。
我想在 Linux 下生成一个完整的夹板报告文件，其中还包括日期和拆分工具版本。 我尝试使用“>”将 stdio 拆分输出重定向到一个文件，但在文件中我只找到了拆分消息 为了更好地解释，我 运行 在 main.c 上夹板，在 stdio 上消息是：
**Splint 3.1.2 --- 20 Feb 2018
main.c: (in function main)
main.c:7:8: Variable c declared but not used
A variable is declared but never used. Use /*@unused@*/ in front of
declaration to suppress message. (Use -varuse to inhibit warning)
Finished checking --- 1 code warning**
现在我 运行 再次使用夹板工具：夹板 main.c > report.txt
在 report.txt 文件中我没有找到“Splint 3.1.2 --- 2018 年 2 月 20 日”和“已完成检查 --- 1 个代码警告 " 但只有特定的夹板信息。 如何将整个夹板输出重定向到文件中？ 谢谢
由于这些行是通过 stderr 输出的，因此也将其重定向到您的日志文件中。