Mac OS X 下的 UNIX 开发工具

1. 静态代码分析工具

UNIX 在提供高质量开发工具方面一直表现出色，像 lint 这样的静态代码分析工具也不例外。静态代码分析是指在程序运行前应用的技术和方法，用于突出源代码中潜在的问题、异常或错误。虽然编译器警告标志能提供一定保护，但许多程序员还是会使用 lint 对源代码进行静态分析。

lint 最初由 Stephen C. Johnson 在 1978 年编写，其诞生是因为早期 C 编译器的设计者将静态分析和编译明确分开。早期编译器开发者设计的编译器力求小巧快速，将静态分析工作留给了另一个名为 lint 的程序。如今，编译器供应商和开发者正在编译器中实现更严格的语义检查。

Mac OS X 默认加载和开发工具安装提供了一些静态分析支持，如 gcc/g++ 和 Perl Lint（B::Lint）。通过启用某些 gcc/g++ 选项，可让编译器在处理源代码时执行更严格的语义检查。

开源社区有一些在 Mac OS X 下运行良好的工具，用于检测代码中的潜在语义错误。其中最好的工具之一是 Splint（前身为 LCLint），可从 http://www.splint.org 获取。Splint 能静态检查 C 源代码中的潜在编码错误和可能的安全违规。其设计目标之一是检测尽可能多的编程错误，同时限制虚假消息的数量，这是其他 lint 版本可能存在的问题。Splint 还支持注释概念，允许在源代码中添加基于注释的指令，为 Splint 提供更多信息，从而使其能检测更多错误并跳过误报。

在 Mac OS X 下构建 Splint 可能需要一些额外步骤：
1. 解压发行版：