期刊文献+

基于Cppcheck的嵌入式静态代码扫描工具应用和规则扩充

下载PDF
导出
摘要 嵌入式软件开发过程中代码规范非常重要,为加速研发效率,提前发现代码问题,合理使用嵌入式静态代码扫描工具十分重要。首先阐述嵌入式静态代码扫描的相关概念和特点;其次详细介绍了Cppcheck嵌入式静态代码扫描工具的使用和结果分析,并对比其他同类工具;然后详细说明Cppcheck缺陷扫描规则和扩充实践;最后结合Jenkins进行自动化代码扫描和分析。使用Cppcheck并自定义缺陷规则到结合自动化工具,从而使嵌入式代码静态扫描工作能够高效快捷地完成。
作者 陈聪 李晓龙 林卓 CHEN Cong;LI Xiaolong;LIN Zhuo
出处 《信息技术与信息化》 2023年第9期135-138,共4页 Information Technology and Informatization
  • 相关文献

参考文献3

二级参考文献31

  • 1刘莉,金大海,宫云战.提高区间运算的循环处理精度[J].清华大学学报(自然科学版),2011,51(S1):1483-1486. 被引量:1
  • 2高传平,谈利群,宫云战,张威.基于整型区间集的数组越界静态自动测试方法研究[J].小型微型计算机系统,2006,27(12):2222-2227. 被引量:3
  • 3Cppcheck[ EB/OL]. [ 2013-04-22]. http://Cppeheck, souree- forge, net/.
  • 4AMTOF3' T, NIELSON F, NILESON H R. Type and effect sys- tems: behaviours for concurrency [ M]. London: Imperial College Press, 1999.
  • 5KING J C. Symbolic execution and programming testing [ J]. Com- munications of the ACM, 1976, 19(7) : 385 -394.
  • 6COUSOT P, COUSOT R. Abstract interpretation: a unified latticemodel for static analysis of programs by construction or approximation of fixpoints [ C]// Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. New York: ACM Press, 1977:238-252.
  • 7曾勇军,王清贤,奚琪.基于抽象区间域的数组边界检查技术[C]//计算机研究新进展(2010)--河南省计算机学会2010年学术年会论文集.郑州:[出版者不详],2010:100-106.
  • 8COUSOT P, COUSOT R. Static determination of dynamic properties of generalized type unions [ J]. ACM SIGOPS Operating Systems Review, 1977, 11(2): 77-94.
  • 9WANG Y W, GONG Y Z, CHEN J L, et al. An application of in- terval analysis in software static analysis [ C]// Proceedings of the 2008 IEEE/IFIP International Conference on Embedded and Ubiq- uitous Computing. Washington, DC: IEEE Computer Society, 2008:367-372.
  • 10COUSOT P, COUSOT R. Comparing the Galois connection and widening narrowing approaches to abstract interpretation [ C]// PLILP'92: Proceedings of the 4th International Symposium on Pro- gramming Language Implementation and Logic Programming. Ber- lin: Springer-Verlag, 1992:269-295.

共引文献11

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部