论文部分内容阅读
C语言由于其灵活性及支持环境，经常被用于嵌入式和实时开发环境中，所以它已成为一种非常流行的语言。但凡事都有两面性，C语言在提供了很大灵活性的同时也存在不少安全隐患。该文主要讨论C源程序中类型隐式转换导致程序错误的常见表现形式，分析其特征及产生机理，从而提出一种以语法制导翻译的方式形式化描述漏洞，并且给出了其实现方法。