什么是静态代码分析？

静态代码分析，或静态分析，是一种软件验证的活动，分析了的质量，可靠性和安全性的源代码，而不执行该代码。使用静态分析，可以识别缺陷和安全漏洞会危及你的应用程序的安全性和安全性。静态分析可以衡量和跟踪软件质量度量无需编写测试用例或插装代码的开销成本效益的方法。

为什么运行静态代码分析？

大多数软件开发团队依赖于动态测试技术来检测软件中的错误和运行时错误。动态测试需要工程师编写和执行众多测试用例。由于动态测试并不穷，因此不能依赖它来生产安全和安全的软件。

例如，采取这个非常简单的案例：

这速度功能对线14上的被零除的可能性，并会导致一个零星运行时错误。最终确定，除以零永远不会发生，你需要用变量的所有可能值测试功能输入。

静态代码分析补充了动态测试，提供了几个优点：

• 错误检测。您可以识别与并发性，受污染数据，数据流，安全性和静态和动态内存相关的数百类相关的错误。发现的一些错误几乎不可能使用动态测试来检测。
• 低成本。您可以轻松自动化静态代码分析，并且您不会产生编写测试用例的开销，从而刷新代码或执行程序。
• 符合编码标准。您可以验证你的代码符合编码标准，如MISRA C或JSF ++，具有安全标准，如CWE，CERT C / C ++和ISO / IEC 17961，或网络安全指南。
• 证明没有关键的运行时间错误。静态代码分析工具可以证明软件不会因关键运行时错误而失败。实现这一级别的复杂性使用的工具形式化方法这适用于代码证明的理论科学基础。

谁应该运行静态代码分析，为什么？

• 软件开发人员。最佳实践建议在编写代码后立即检查错误和编码标准。在开发过程中早期检测到的错误更容易调试和修复。
• 软件测试人员。应用程序代码已集成后，建议在集成代码上运行深度静态代码分析以查找缺陷并证明缺少关键运行时错误。
• 项目经理和质量保证提供。静态代码分析工具产生代码质量指标，可用于监控软件质量，项目状态，缺陷数量和质量趋势。

如何选择一个静态代码分析仪

有几个工具可以用来进行静态代码分析，如波尔盖斯^®下载188bet金宝搏产品。选择静态代码分析工具时考虑以下问题：

• 它是否支持你的行金宝app业标准？
  遵守标准对于从软件错误中最大限度地降低财务损失，身体损伤或对财产和环境损害的风险非常重要。不同的行业已经定义了自己的安全标准 - 例如，用于汽车的ISO 26262，用于航空航天的AUTO-178，以及用于医疗设备的IEC 62304。
• 如何可靠和可行的分析结果？
  广泛的技术可用于静态代码分析，这些技术提供不同程度的声音和结果精度。例如，抽象解释是一种正式的方法，被认为是声音，因为它永远不会产生假阴性。
• 该工具是否为修复错误提供了见解和指导？
  往往是不够的工具，只是检测程序错误。开发者需要的详细信息通过代码的结构中导航并发现了错误的根本原因。如呼叫层次，变量值，上下文敏感的帮助和建议的修复信息提高解决复杂问题的能力。
• 该工具是否提供协作评论？
  一些静态代码分析工具软件开发中轻松地共享分析结果和质量指标的团队 - 例如，通过在线平台提供的功能。此功能授权的团队来执行协作审查，分流，化解缺陷。
• 该工具可以与现有的软件开发流程集成吗？
  有效的静态代码分析工具必须具有与不同的软件开发过程集成，包括较新的进程，例如持续集成和持续交付（CI / CD）的DevOps和DevSecOps。该工具应提供丰富的API和插件与软件开发工具整合中，如IDE（例如Eclipse™的微软^®视觉工作室^®代码），CI工具（例如，詹金斯™和竹^®）和错误跟踪工具（例如，jira和redmine）。
• 工具是否会在公共和私有云上工作？
  在公共云和私有云基础设施，如亚马逊的软件开发^®AWS.^®和微软Azure^®迅速越来越受欢迎。云提供开发团队敏捷性，可扩展性，高可用性和全球访问。在评估静态分析工具时，重要的是要确保工具是云准备的 - 也就是说，它们可以部署并与云平台上的软件开发过程集成。了解更多。

为什么选择Polyspace产品？下载188bet金宝搏

波尔盖斯^®静态代码分析产品使用正式方法来证明在所有可下载188bet金宝搏能的控制流程和数据流下都没有关键的运行时误差。PolySpace产品系列包括：

• Polyspace Bug Finder.下载188bet金宝搏产品检查C / C ++源代码进行编码标准违规，查找多种类型的错误，检测安全漏洞，以及代码复杂度指标等计算质量指标。
• PolySpace代码箴言下载188bet金宝搏产品使用正规的方法来证明不存在在C / C ++源码关键运行时错误的，而不执行的代码。
• ADA的PolySp下载188bet金宝搏ace产品证明在阿达源代码的情况下运行时错误的。

Polyspace产下载188bet金宝搏品提供的优势，并在前面的章节中列出的功能，如错误检测，符合编码标准，并证明不存在关键的运行时错误的能力。例如，对于代码段如上所示，Polyspace代码证明者可以分析对所有可能的输入的函数的速度所有代码路径由零来证明分裂不会发生。它这样做是不执行的代码。结果表明，在绿线14师的标志，表明该操作对所有输入安全的，不会导致运行时错误。