Polyspace静态分析笔记
阅读最新的文章，了解更多关于Polyspace的信息®s manbetx 845产品。
Polyspace的2022a版本®s manbetx 845产品增加了改进，使您能够更快、更准确地分析和更有效地审查结果。
当您编写软件以同时处理多个任务时，您可以使用多线程编程——具有多个入口点、线程交错和异步中断等构造的程序。然而，多线程编程是高度复杂的，并引入了一些微妙的缺陷，例如数据竞争和死锁。当出现这样的缺陷时，可能需要很长时间来重现问题，甚至需要更长的时间来确定根本原因并修复它。
数据竞争是多线程编程中的一个常见问题。当多个任务或线程在没有足够保护的情况下访问共享资源时，就会发生数据竞争，从而导致未定义的或不可预测的行为。
版本2021b提供了Polyspace的新功能和增强功能®s manbetx 845产品，包括Polyspace as You code——一个专门为开发人员设计的新功能。
的Polyspace®产品系列现在提供了专s manbetx 845门为软件开发人员设计的功能:Polyspace as You Code。该特性将Polyspace Bug Finder的代码检查功能引入到集成开发环境(ide)中，使您不必在软件开发周期的后期发现错误。
Polyspace的2021a版本®s manbetx 845Products对许多现有工作流进行了改进。在使用AUTOSAR RTE API的C/ c++代码上运行更快的分析并查看更精确的结果。在包含混合C和c++源文件的项目上运行Polyspace Code Prover™分析。使用新的可定制的Guidelines检查器降低代码的软件复杂性。
版本2020b增加了许多现有Polyspace的改进®产品工作流程。你可以对c++ 17代码进行Polyspace分析，或者使用Polyspace分析来利用编译系统中以JSON编译数据库格式生成的源代码和编译器规范。
许多为嵌入式系统开发软件的公司要么正在研究云平台、计划试点项目，要么正在积极开发云软件。这些公司通常被公共云提供商所吸引，比如亚马逊网络服务(AWS)®)和微软Azure®这是因为云平台提供了具有竞争力的价格和其他优势。
Polyspace的2020a版本®s manbetx 845产品完成了许多现有的工作流程，并引入了一些新功能。Polyspace Bug Finder™现在支持所万博1manbetx有的CERT C规则，Polyspace Access™产品可以分析导入到Simulink中的所有s manbetx 845形式的C/ c++代码。万博1manbetx新的关键特性包括检查器，用于检测c++代码中潜在的性能问题，从用户筛选的已弃用函数列表中标记函数，以及检查初始化代码中的问题。
在过去的20年里，移动、智能设备、物联网和云等技术的进步催生了数百万个新应用程序。为了以高质量和可预测性更快地开发应用程序，公司正在改进他们的软件开发过程。在21世纪初，“轻量级”敏捷软件开发开始流行起来。敏捷是一个迭代的软件开发过程，它重视协作、持续计划和持续测试。
经常会出现一个问题:Polyspace®万博1manbetx支持编译器，我正在使用?有时会有人问类似的问题:为什么像Polyspace这样的静态分析工具需要了解编译器?这并不像工具编译代码，创建二进制文件，并执行二进制文件来检测运行时错误。运行时错误检测根本不涉及执行代码。
Polyspace Access™和Polyspace Code Prover Access™可以轻松查看分析结果并促进团队协作。项目团队中的每个人都可以通过web界面查看、评论和分类结果。下面的工作流程展示了软件开发团队的不同成员如何使用Polyspace Access产品来监控他们项目的软件质量，以及查看和分类代码分析和验证结果。s manbetx 845
作者:Anirban Gangopadhyay
从R2018a开始，Polyspace Code Prover直接支持AUTOSAR(汽车开放系统架构万博1manbetx)方法进行软件开发。无论您在AUTOSAR软件开发工作流中扮演什么角色，您现在都可以使用Polyspace Code Prover作为一个支持AUTOSAR的静态分析工具。
作者:Ram Cherukuri和Anirban Gangopadhyay
缓冲区溢出已经困扰C/ c++开发社区很多年了。虽然C语言允许开发人员通过指针直接访问内存，但它也为溢出问题打开了大门。安全编码实践可以帮助开发人员在某种程度上避免缓冲区溢出(以性能为代价)，但有时缓冲区溢出可能很微妙，很难发现和解决。
拉姆·切鲁库里著
MISRA发布了其最新MISRA C:2012编码指南的修正案，以减轻日益增长的网络安全漏洞风险。2016年初出版，该修正案通过额外的编码准则解决嵌入式安全问题。这14个新的编码指南旨在弥补ISO/IEC 17961:2013中发布的安全指南的差距。下表根据MISRA C 2012规范对这14条规则进行了分类。要了解更多关于MISRA C:2012标准中使用的分类系统，请查看了解MISRA C 2012编码指南的合规性(33:28)．
拉姆·切鲁库里著
Polyspace Code Prover™使用橙色来突出显示在所有情况下不能自动证明无错误的操作。然后，您可以检查可能导致健壮性或可靠性问题的潜在运行时问题。
作者:Ram Cherukuri, Fred Noto, Alexandre Langenieux
CERT C是软件开发人员的一套指南，用于用C语言进行安全编码。它是根据基于社区的开发过程在CERT社区wiki上开发的，第一版发布于2008年，第二版发布于2014年。
拉姆·切鲁库里著
代码生成极大地简化了MISRA遵从过程。除了确保安全性和可靠性之外，编码标准(如MISRA)的主要目标是可读性、可维护性和可移植性。由于模型处于开发过程的核心，并且可以以一致的方式从模型中为不同的平台生成代码，因此它简化了可移植性和可维护性部分。
拉姆·切鲁库里著
在大多数嵌入式软件开发组织中，测试是验证过程的主要部分。研究估计，大约25 - 30%的开发时间花在测试上，在某些情况下，这可能高达50%。
作者:拉姆·切鲁库里，加里·柳
MISRA标准编码规则的最新版本是MISRA C:2012，它继承了MISRA C:2004，后者已被广泛应用于嵌入式系统的各个行业的软件社区。
s manbetx 845产品使用
您也可以从以下列表中选择一个网站: