检查软件程序通常被称为 代码检查工具或 代码审查工具。这些工具可以帮助程序员在编写代码时进行静态代码分析，寻找潜在的bug、代码质量问题或潜在的性能问题。以下是一些常见的代码检查工具：

SonarQube：

SonarQube是一个开源的代码质量管理平台，可以检查多种编程语言的代码，包括Java、C、C/C++、JavaScript等。

台达编程软件检查程序：

这是一种用于检查和验证编程代码的工具，可以帮助程序员在编写代码之前进行语法和逻辑错误的检查，以确保代码的正确性和可靠性。此外，它还可以用于检查和验证编写的PLC程序，确保程序符合规范、无语法错误，并且能够正确运行。

正版软件检测工具：

这种工具可以检测系统中的所有软件，包括各种办公软件、杀毒软件等，并检测各种软件是否为正版，还可以显示详细的检测结果，支持导出检测结果。

这些工具可以帮助开发者在编写和验证代码时提高代码质量，减少错误和缺陷，从而提高软件的整体质量和可靠性。