期刊文献+

C语言的安全性分析 被引量:1

Security Analysis of C Language
在线阅读 下载PDF
导出
摘要 从语法和语义两方面对C语言的陷阱做了分析,并给出了防范相应陷阱的解决方案,为编写安全性要求高的代码提供参考。 C language traps are analyzed from the two aspects of the grammar and semantics,and the solutions of preventing corresponding traps are given,which provide references for writing the code of high safety requirements.
出处 《计算机时代》 2009年第11期72-74,共3页 Computer Era
关键词 C语言 语法陷阱 语义陷阱 指针 C language grammar trap semantic trap pointer
  • 相关文献

参考文献2

二级参考文献9

  • 1Havard Julsrud Harge. A Survey of Software Safety[R].Norwegian University of Science and Technology,2001-11.
  • 2David Evans,David Larochelle. Improving Security Using Extensible Lightweight Static Analysis[J].IEEE Software,2002.
  • 3David Evans.Splint Manual[EB/OL].http://www.splint.org/manual,2003.
  • 4Nurit Dor,Michael Rodeh,Mooly Sagiv. Cleanness Checking of String Manipulations in C Programs via Integer Analysis[C].In :Proceeding of the 8th Symposium on Static Analysis,2001-07.
  • 5Alfred V Aho,Ravi Sethi,Jeffrey D Ullman. Compilers:Principles,Techniques, and Tools[M].Reading, MA: Addison-Weslsy Publishing Company, 1986.
  • 6GCC Home Page[EB/OL].http://gcc.gnu.org/onlinedocs/gcc-3.0.4/gcc.html, 2002-12.
  • 7Gasta Instroduction[EB/OL].http://gasta.sourceforge.net/gastaDocs/gastaDocs.html.
  • 8STROUSTRUP B.C++程序设计语言[M].特别版.北京.机械工业出版社,2004.
  • 9MICHELL R.Design by Contract by Example[M].北京:人民邮电出版社,2004.

共引文献6

同被引文献4

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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