Polyspace释放2020®下载188bet金宝搏产品完成许多现有的工作流和介绍一些新的功能。Polyspace错误发现者™现在支持所有CERT 金宝appC规则,和Polyspace产品可以分析各种形式的C / c++代码导入仿真软件。下载188bet金宝搏金宝app新的关键特性包括检查,检测潜在的性能问题在c++代码中,国旗从user-curated弃用功能列表功能,在初始化代码和检查问题。
完全支持CERT 金宝appC规则
R2020a, Polyspace错误查找器支持所有证书C规则(如上所金宝app述在SEI CERT C编码标准wiki 10月30日,2019年)。你现在可以检查硬编码的敏感数据和常见的线程安全问题除了之前的检查。
自定义代码仿真软件的支持金宝app金宝app
您可以执行检查所有形式的手写的C / c++代码导入仿真软件直接从模型编辑器。金宝appR2020a,自定义代码直接支持包括孤立的脚本金宝app编写新的C函数块除了从C库函数调用调用者块和Stateflow®图表。
教程在分析自定义代码,请参阅Polyspace分析仿真软件金宝app。
性能检查
R2020a引入了一个新的类别的检查检测c++代码中潜在的性能瓶颈。检查检测等问题潜在的昂贵,但不必要的复制操作或c++标准库函数,更有效的选择。
看到性能缺陷获取详细信息。
跳棋的弃用功能
R2020a,您可以定制Polyspace错误发现者跳棋。例如,您可以创建一个列表,禁止功能和使用检查清理遗留代码,可以使用这些函数。在c++中,你甚至可以禁止特定的函数重载,别管其他人。
更多细节,请参阅:
在初始化代码检查问题
Polyspace代码验证™可以检查non-initialized全局变量。R2020a之前,检查初始化全局变量发生只有当你阅读。使用R2020a,您可以标记一段代码初始化代码并检查是否显式初始化所有的全局变量。你也可以检查其他运行时错误只在初始化代码和检测并修复它们在继续之前剩下的分析。
改善Polyspace访问产品下载188bet金宝搏
R2020a,可以执行以下任务Polyspace访问产品来改善你的审查等工作流程:下载188bet金宝搏
- 看到结果的历史回顾和跟踪以前的状态变化或评论。
- 导航的部分生成的代码中相应的块仿真软件模型。金宝app
- 定制的标准/阈值用于评估Polyspace结果对软件质量目标(SQOs)。
- 查看分析选项与一个特定的结果集。
- 出口只有那些电子邮件通知结果,无法满足一个预定义的标准,或user-customized SQO。
- 看到一个函数调用序列的图形视图导致当前的结果。
- 导航从违反AUTOSAR标准的可读版本ARXML格式的规范。
- 创建Redmine门票Polyspace结果如果你使用Redmine问题跟踪工具来跟踪bug。
- 看到Polyspace链接访问*和Polyspace代码验证访问™在生成PDF、HTML或文字报告。
其他功能
除了这些主要特性,R2020a提供了其他改进,如:
- 芯片编译器支持金宝app
- AUTOSAR c++ 14增加支持金宝app
- 示例值为系统输入,导致数值的缺陷
更多细节,请参阅:
* R2022a, Polyspace访问和Polyspace代码验证访问已经合并成一个单一的产品:Polyspace访问。