C和C++静态分析工具PC-lint Plus v1.3.5发布,更新了AUTOSAR,MISRA C和MISRA C++

原创|产品更新|编辑:郑恭琳|2020-06-29 15:53:48.797|阅读 142 次

概述:1.3.5版本对PC-lint Plus进行了许多改进。包括:更新了AUTOSAR,MISRA C和MISRA C++,新消息和标志选项,对Visual Studio配置生成器GUI的改进等。

# 31款JAVA开发必备控件和工具 # 企业数字化建设合规无风险[专题]

相关链接:

PC-lint Plus是一种静态分析工具,通过分析C和C ++源代码来发现软件中的缺陷。与编译器一样,PC-lint Plus会解析源代码文件,执行语义分析,并构建一个抽象语法树来表示程序。PC-lint Plus采用各种机制,包括数据流分析,数值跟踪,读写分析,强类型检查,功能语义验证和许多其他技术,来提供对单个文件和整个项目强大而全面的分析。

点击免费试用PC-lint Plus最新版


1、改进功能

  • PCLP-964将线程信息添加到内部错误和崩溃消息
  • PCLP-1757使用默认构造函数识别显式初始化并考虑添加标志,使用显式声明的默认构造函数隐式初始化为显式、初始化
  • PCLP-1820支持消息506和改进对消息717的支持
  • PCLP-2298AUTOSAR A5-0-2M5-0-14准则的新支持,改进了MISRA C ++支持规则5-0-135-0-14
  • PCLP-2973支持AUTOSAR规则A12-8-7
  • PCLP-2975支持AUTOSAR规则A13-2-3


2、BUG修复

  • PCLP-2812联合定义的假阳性9045
  • PCLP-2885假阳性550,用于通过lambda中的引用捕获变量
  • PCLP-3093解决了可能在堆栈使用情况报告中显示为不完整条目的问题
  • PCLP-3145改进循环内消息438838的处理
  • PCLP-3176修复消息2427的否定否定
  • PCLP-3179修复内联或报告主声明时丢失的位置,constexpr说明符


3、已知问题

  • PCLP-2135静态变量的假阴性9003
  • PCLP-3196可以在发生递归调用的地方间接递归调用自身的函数在调用链下面,对另一个函数的递归调用可能会被标记为“调用递归”
  • PCLP-3213使用显式强制转换表达式作为时的假肯定隐式转换消息,非类型模板参数的模板参数
  • PCLP-3221假阳性413,用于条件评估推论到的指针取消引用if条件下,逻辑AND表达式的右侧为非null for语句中的语句,在该语句之前指针为空
  • PCLP-3223未实现的未记录+ fil标志


4、AUTOSAR

  • PCLP-3483支持AUTOSAR规则A13-5-1
  • PCLP-3481支持AUTOSAR规则A7-1-3
  • PCLP-3480AUTOSAR17规则A5-5-1的新支持
  • PCLP-3206改进对报告块范围函数声明的支持
  • PCLP-3194的改进,以支持A5-2-2


5、MISRA C 2012

  • PCLP-3450改进对宏的ctype.h函数的选择
  • PCLP-3269改进了对MISRA C 2012规则11.2的支持
  • PCLP-3191改进了对MISRA C 2012规则18.1的支持


6、MISRA C 2004

  • PCLP-3214改进了对MISRA C 2004规则12.8的支持


7、MISRA C ++

  • PCLP-3359考虑到规则5-0-21的目的,将移位运算符视为按位运算符
  • PCLP-3206改进对报告块范围函数声明的支持
  • PCLP-3170改进了const变量免除加入声明
  • PCLP-2298AUTOSAR A5-0-2M5-0-14准则的新支持,改进了MISRA C ++支持规则5-0-135-0-14


更多更新详情请查看后续更新内容详解


标签:

本站文章除注明转载外,均为本站原创或翻译。欢迎任何形式的转载,但请务必注明出处、不得修改原文相关链接,如果存在内容上的异议请邮件反馈至hey@evget.com


为你推荐

  • 推荐视频
  • 推荐活动
  • 推荐产品
  • 推荐文章
  • 慧都慧问
在线咨询
联系我们
TOP
在线客服系统
live chat