PC-lint and FlexeLint
PC-lint and FlexeLint会检查你的C/C++源代码并找出漏洞,故障,不一致,不高效的代码结构,冗余的代码,等等。它能跨模块进行代码检查,而这个功能恰是你的程序编译器所不具备的。
平台支持:
- PC-lint for C/C++:
Windows XP / NT / 2000 / 98 / 95 / ME
DOS (内置DOS扩展)
- FlexeLint for C/C++:
Unix和类似Unix的平台(AIX, HP-UX, Sun OS, Solaris, Linux, Tru64 Unix, MAC, 等)
VAX VMS
IBM的VM, MVS
OS-9
几乎任何支持C语言的平台
兼容性:
- 支持K&R C, ANSI C, ANSI/ISO C++
- 直接支持Microsoft, GNU等其它各种主流编译器和库
- 支持几乎所有主流的嵌入式系统编译器,包括位定址
- 众多选项支持rogue编译器
- 可以定制标量大小用于跨模块编译
消息抑制:
- 通过数字
- 通过数字和符号
- 在线抑制
- 通过宏
- 用于库标题,通过数字
- 用于特定的功能,通过数字
- 用于表达式
灵活性:
- 间接文件 (不论嵌套深度) 可以包含文件名,选项,环境变量
- format of lint错误信息的格式可以被定制,用于支持与各种编辑器和IDE集成
- 所有选项都能嵌入到用户模式中
|