每个编写的软件都有错误。 从微不足道的到影响重大的，尽管开发者付出了巨大的努力，但错误仍然存在。 但得益于一个新的 Debian 项目，许多以前未被发现的错误可能最终会被修复。

多才多艺的 Debian 开发者 Raphael Geissert 最近介绍了 Debian 的新自动化代码分析项目。 Geissert 将 DACA 描述为，

自动化代码分析有助于检测和修复源代码中的错误和其他问题。 该项目旨在让用户轻松访问各种工具，以提高 Debian 分发的软件质量，同时为工具的开发者提供测试平台、更高的可见性和更多的反馈。 这是通过在整个 Debian 存档上运行这些工具来实现的。

对于许多等待经常延迟发布的局外人来说，Debian 的主要目标似乎是稳定性和消除错误，这种印象并非不准确。 Debian 努力赢得了作为最稳定的 Linux 发行版之一的声誉。 尽管如此，仍然有很多错误出现； 比一些开发者可以接受的要多得多。 DACA 将包含一系列工具，用于运行 Debian 软件包的源代码测试，然后向开发者提供错误报告。

该项目才刚刚开始，所以工具箱中只有两个工具，但计划增加更多。 其中一个工具是 cppcheck。 cppcheck 审计 C/C++ 代码以查找实际的功能错误，而不是语法错误。 这些错误通常在编译过程中没有错误地通过，导致开发者认为一切正常。 虽然该工具远未完成，并且计划在未来几个月和几年内进行新的和更广泛的操作，但它确实进行了一些检查。 一些包括越界检查、自动变量和内存泄漏。

另一个可用的工具是 checkbashisms。 顾名思义，它检查 Bashisms，即不完全符合 POSIX 标准的 bash 扩展。 第一轮报告已在线提供。

虽然目前列表很短，但预计工具数量将增加到 20 多个。 Geissert 说，主要的限制是，“大多数工具都受 CPU 限制，这大大限制了工具的数量以及检查整个 Debian 存档所需的时间。” 他呼吁进行错误检查、报告误报、工具评估和硬件捐赠。 有关更多信息，请参见他的完整帖子。