10.3321/j.issn:1002-8331.2005.11.026
C程序类型隐式转换漏洞的静态检测
C语言由于其灵活性及支持环境,经常被用于嵌入式和实时开发环境中,所以它已成为一种非常流行的语言.但凡事都有两面性,C语言在提供了很大灵活性的同时也存在不少安全隐患.该文主要讨论C源程序中类型隐式转换导致程序错误的常见表现形式,分析其特征及产生机理,从而提出一种以语法制导翻译的方式形式化描述漏洞,并且给出了其实现方法.
类型转换、安全漏洞、安全模式、静态检测
41
TP314(计算技术、计算机技术)
国家部委预研基金
2005-05-26(万方平台首次上网日期,不代表论文的发表时间)
共3页
80-82