当前时区为 UTC + 8 小时



发表新帖 回复这个主题  [ 4 篇帖子 ] 
作者 内容
1 楼 
 文章标题 : 那款类似于pclint的工具叫啥?
帖子发表于 : 2007-06-06 15:34 

注册: 2005-07-03 15:30
帖子: 193
地址: 广州
送出感谢: 1
接收感谢: 0 次
我记得以前有一款工具,跟PC-LINT一样是检查程序潜在错误的,但是只能检查C语言的,免费的。
有谁记得这个工具叫啥?


_________________
  再把Xwindow叫成X windows的,一律不予理睬。
  三个以上感叹号连打或有事没事都打感叹号的,也不予理睬。


页首
 用户资料  
 
2 楼 
 文章标题 :
帖子发表于 : 2007-06-08 1:07 
头像

注册: 2007-04-03 9:52
帖子: 353
送出感谢: 0 次
接收感谢: 0 次
Splint


_________________
TODO LIST:
1.valgrind:
2.gcov:
3.cppuint:未在Linux中使用
4.PostgreSQL:unixODBC
5.Doxygen:UTF8 中文问题,生成LaTex文档问题
6.LaTex:明确安装问题,UTF8 中文字体问题


页首
 用户资料  
 
3 楼 
 文章标题 :
帖子发表于 : 2007-06-08 8:23 

注册: 2005-07-03 15:30
帖子: 193
地址: 广州
送出感谢: 1
接收感谢: 0 次
antonym55 写道:
Splint


谢谢谢谢。
不加多几个谢字不能表达我的感激之情啊。嘿嘿。
在CSDN上肯定送分。


_________________
  再把Xwindow叫成X windows的,一律不予理睬。
  三个以上感叹号连打或有事没事都打感叹号的,也不予理睬。


页首
 用户资料  
 
4 楼 
 文章标题 :
帖子发表于 : 2007-06-09 5:59 
头像

注册: 2007-04-03 9:52
帖子: 353
送出感谢: 0 次
接收感谢: 0 次
呵呵,不用客气!

不过不用太依赖这个工具,与pc-lint / FlexeLint 相比,还有很大的差距。我主要是用c++
也用不上。

例如下面这个程序a[2]己经越界,splint 就检测不出来,gcc 加上 -Wall 也不会有警告

代码:
#include<stdio.h>

int main(int argc, char** argv)
{
    int i;
    int a[2];
    for (i = 0; i <= 2; i++)
    {
        a[i] = 0;
    }
    return 0;
}


实际运行时 i 的地址和 a[2] 的地址会相同,(不知道gcc 为什么这样做)
因此这个程序程序会产生一个死循环


_________________
TODO LIST:
1.valgrind:
2.gcov:
3.cppuint:未在Linux中使用
4.PostgreSQL:unixODBC
5.Doxygen:UTF8 中文问题,生成LaTex文档问题
6.LaTex:明确安装问题,UTF8 中文字体问题


页首
 用户资料  
 
显示帖子 :  排序  
发表新帖 回复这个主题  [ 4 篇帖子 ] 

当前时区为 UTC + 8 小时


在线用户

正在浏览此版面的用户:没有注册用户 和 3 位游客


不能 在这个版面发表主题
不能 在这个版面回复主题
不能 在这个版面编辑帖子
不能 在这个版面删除帖子
不能 在这个版面提交附件

前往 :  
本站点为公益性站点,用于推广开源自由软件,由 DiaHosting VPSBudgetVM VPS 提供服务。
我们认为:软件应可免费取得,软件工具在各种语言环境下皆可使用,且不会有任何功能上的差异;
人们应有定制和修改软件的自由,且方式不受限制,只要他们自认为合适。

Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
简体中文语系由 王笑宇 翻译