欢迎您!“一八软件网”是上海趋唯事软件有限公司的在线软件销售和服务网站
PC-lint for C/C++
一款C/C++软件代码静态分析工具
  • 产品编号:2013-675
  • 产品类型:开发工具
  • 当前版本:9.00
  • 产品厂商:Gimpel Software
概述:PC-lint是一款支持Windows和DOS的静态代码测试工具,它能够帮助你检查你的C/C++源代码,根据行业代码标准找出缺陷,故障,非一致性,非可移植结构,冗余代码等。它看起来跨多个模块,因此,你可以看作它是一种更加严格的编译器。

我们知道大量的底层开发或者嵌入式系统开发都会用C/C++代码去编写,因为我们需要高性能。但是这些产品又需要高可用性,严格到开发出的产品和模块不能发生任何崩溃或宕机显现,比如在航天电子,汽车电子和医疗电子设备中,必须要保证编写的代码没有缺陷。

这时我们仅通过通用的编译器和程序员的人工审查已经不能保证代码的质量了,我们需要借助外部工具来帮助我们检查。PC-lint for C/C++就是这样一款工具,在我们编译代码之前,先帮我们检查编写的源代码是否符合规范,可以提前发现程序隐藏错误,从而提高代码质量,同时也提高了工作效率。

PC-lint for C/C++兼容性

  • 支持K&R C, ANSI C, ANSI/ISO C++规范;
  • 完全支持Microsoft, GCC 和其它主要的编译器以及库;
  • 支持最主要的嵌入式系统编译器包括位寻址;
  • 众多的选项以支持各种编译器;
  • 交叉编译可以指定标量尺寸;
特殊的检查机制
  • 自动的值跟踪和静态变量(即使全局),检查细微的初始化和值误用问题;
  • inter-function值跟踪 - 功能强大的语句间值跟踪函数跨越边界。用特定值作为初始化参数调用函数。
  • Multi-Pass -- 为充分利用inter-function跟踪和静态变量跟踪, 引人multi-pass操作。用户能够控制途径的数量;
  • 利用值跟踪作为一种技术,我们支持“semantics”检查近100中库函数,这类检查能够扩展到用户自己的函数;
  • 可选的强类型检查(基于typedef)支持丰富的选项检测标称类型差异;
  • 用户定义的符号检查函数参数和返回值;
  • 找出未用的宏,typedef,类,成员,声明等(可以设置整个项目检查);
  • 检查可能未初始化变量
  • 完全支持MISRA C 和MISRA C++ (TM) (Motor Industry Software Reliability Association)子集;
  • 等等...

速度

  • 用预编译头高速处理多个模块;
消息禁止和启用
  • by message number
  • by message number and symbol name (including wild cards)
  • by message number and symbol type
  • by message number and message parameter
  • one-line suppression
  • by macro name
  • for library headers, by message number (a header is library depending on how it is included; this can be overridden via user options)
  • for specified functions, by message number
  • for expressions
灵活性
  • 间接文件(嵌套到任意深度)可以包含文件名,选项,环境变量;
  • 可定制的lint错误消息格式支持各种编辑器和IDE集成;
  • 所有选项都可以嵌入在用户代码;
性能
  • 快速单路操作,多路选项支持inter-function值跟踪;
  • 健壮 - 处理大型应用时扩展表格;
PC-lint for C/C++支持的操作系统
  • Windows 8 / Windows 7 / Vista / XP / NT / 2000 / ME / 98 / 95
  • MS-DOS (built-in DOS extender)
  • OS/2

  • 历史悠久的静态代码测试工具,开始于1985年
  • 支持MISRA C/C++检查
  • 支持编译器广泛
  • 支持K&R C, ANSI C, ANSI/ISO C++
  • 高性能,检查速度快
  • PGRelief

    富士通开发的静态代码测试工具,功能强大,浮动许可证

  • 分享到:
  • 上海趋唯事软件有限公司
    销售:021 - 3211 0920
    技术:021 - 3211 0930
    邮件:sales(#)commuch.com
联系我们: 021 - 3211 0920 , 3211 0930