mca*_*dre 19 c debugging lint static-code-analysis
有谁知道如何获得Mac,Windows和Linux的lint?sudo port install lint找不到它.
来自夹板常见问题解答:
Splint 支持大多数(但不是全部)对 ANSI C 的 C99 扩展。
这意味着夹板与棉绒不同。我有过在这样的代码片段上运行夹板的个人经验:
for (int i; i < 100; i++)
/* Run code */
Run Code Online (Sandbox Code Playgroud)
由于在 C99 之前不允许在 for 循环标头内声明变量,就像本例一样,splint 会抱怨这一点。因此,我仍在为 Ubuntu 寻找夹板的良好替代品。
| 归档时间: |
|
| 查看次数: |
23743 次 |
| 最近记录: |