源代码分析(也称为静态代码分析)允许您分析源代码的质量、可靠性和安全性。您可以识别可能危及应用程序安全性的缺陷和安全漏洞。基于正式方法的深度语义静态代码分析还使您能够诊断运行时错误，如溢出、除以0和非法解引用指针。静态分析是衡量和跟踪软件质量度量的一种经济有效的方法，无需编写测试用例或测试代码。因为这种分析是自动化的，所以您可以在不执行程序或开发测试用例的情况下分析代码。
基本的源分析技术包括:
- 生成代码质量度量，例如计算代码行数、确定注释密度和评估代码复杂度
- 验证符合代码标准，例如MISRA - C®/ c++或JSF + +(联合攻击战斗机空中车辆c++)
复杂的技术将源代码分析与应用计算机科学理论基础的形式方法结合起来，以解决诸如证明软件不会因运行时错误而失败等问题。
源代码分析和形式方法的组合使您能够:
- 检测软件缺陷和安全漏洞
- 遵守MISRA、CWE、CERT C、ISO/IEC 17961等标准和网络安全准则
- 证明没有某些运行时错误
这种全面的方法可以确保代码中的每个故障点都被标识为已证实会失败、已证实不会失败、可能永远不会执行(死代码)或未被证实。这对于安全性尤其重要，因为一个遗漏的缺陷可能危及系统，导致悲剧性的后果。对网络安全的日益关注带来了类似的挑战，因为只需一个软件漏洞就可以利用您的应用程序。
有关使用正式方法的源代码分析工具的详细信息，请参见Polyspace®s manbetx 845产品:Polyspace错误发现者™，Polyspace代码验证™,多空间产品的Adas manbetx 845．
