问题标签 [splint]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
82 问题
0
投票
1
回答
17
浏览
c - 如何生成夹板日志
我想在 Linux 下生成一个完整的夹板报告文件，其中还包括日期和拆分工具版本。我尝试使用“>”将 stdio 拆分输出重定向到一个文件，但在文件中我只找到了拆分消息为了更好地解释，我在 main.c 和 stdio 上运行夹板消息是：
现在我再次运行夹板工具：夹板 main.c > report.txt
在 report.txt 文件中，我没有找到“ Splint 3.1.2 --- 2018 年 2 月 20 日”和“已完成检查 --- 1 个代码警告”，但只有特定的夹板消息。如何将整个夹板输出重定向到文件中？谢谢
0
投票
1
回答
37
浏览
c - 如何使用夹板检测缓冲区溢出
我正在尝试使用夹板来检测我的代码中的一些错误。更关键的一点是缓冲区溢出检测，似乎夹板无法做到这一点。我试过一个简单的 C 代码
此代码生成核心转储，但 Splint 日志为空 我使用默认标志运行 splint 关于检测此问题的任何建议？谢谢