代码审查是检验软件的源代码，以发现问题和改进的过程有条不紊软件质量。它是在关键的发展的一项重要任务嵌入式系统，特别是那些需要认证。

代码审查团队通常由一个主持人，质量工程师或管理人员，软件开发人员，以及其他同行。该团队经常使用清单，以系统地审查软件的所有相关方面。例如，团队可以评估代码的复杂性，并检查是否符合编码标准，如MISRA-C / C ++或JSF ++。

有效代码审查是一个集中在设计方面，如满足设计要求，识别遗漏的需求，设计架构，接口等。代码评审的设计集中于扫描缺陷的代码是因为检测细微高度无效运行时错误甚至简单编码缺陷可能是极具挑战性。例如，它很容易错过溢出或下溢，由于涉及编程控制复杂的数学运算。静态分析工具，如Polyspace帮助实现自动化，提前代码审查过程简化这些活动。

此类工具最简单的用例是检查代码是否符合编码标准，如MISRA、JSF或您自己自定义的编码规则。编码规则有助于保持编码风格的一致性，提高代码的可读性和可维护性。

此外，Polyspace工具不仅可以检测缺陷同时也证明不存在源代码，避免需要花费大量的时间扫描代码的安全部件的错误。更重要的是，可以识别和/或修复一些缺陷，你花时间审查代码前。这不仅节省时间，而且有助于审查团队专注于重要的方面，如软件设计和要求。

自动分析根本无法揭开这些算法的功能性问题，这种高层次的分析，需要一个人的大脑。然而，自动分析非常在扫描所述代码，以便识别诸如编程错误或编码缺陷或运行时间错误等缺陷的成本效益

此外，Polyspace工具还提供有关的详细信息。控制和数据流通过您的代码中可能的变量范围的形式，和函数调用图表和数据字典，以显示如何以及在何处变量写入和读取。这些信息可以在代码审查非常宝贵的地方可能了解软件的运行时行为是很重要的。

这个过程是非常可扩展的，你可以从一个几百行代码的任何分析超过十万行代码。从分析生成的报告可以作为代码评审过程中的神器，以确定哪些部分代码已被证明是安全的，哪些部分是在失败的风险。