| 机器语言的类型化及代码的安全检查 |
| |
| 引用本文： | 胡荣贵,陈意云,郭帆.机器语言的类型化及代码的安全检查[J].计算机研究与发展,2004,41(6):965-971. |
| |
| 作者姓名： | 胡荣贵 陈意云 郭帆 |
| |
| 作者单位： | 1. 中国人民解放军电子工程学院系统工程教研室,合肥,230037
2. 中国科学技术大学计算机科学与技术系,合肥,230026 |
| |
| 基金项目： | 国家自然科学基金项目 ( 60 173 0 49) |
| |
| 摘 要： | 根据类型系统思想，为Intel／x86体系结构的机器语言重新定义了类型表达式并建立一套类型系统，机器语言代码虽然是一种无类型的二进制编码，但其类型信息被隐含在指令的操作语义中，利用建立在类型系统基础之上的类型推理算法可以静态地推理机器代码的安全性，由于所讨论的机器语言包含了跳转、函数调用和返回等主要指令，因此，这种静态检查方法可广泛应用于其他体系结构的低级语言代码的检查中。
|
| 关 键 词： | 类型系统 类型安全 子定型 |
Typing for Machine Language and Safety Checking for Machine Code |
| |
| HU Rong Gui ,CHEN Yi Yun ,and GUO Fan.Typing for Machine Language and Safety Checking for Machine Code[J].Journal of Computer Research and Development,2004,41(6):965-971. |
| |
| Authors: | HU Rong Gui CHEN Yi Yun and GUO Fan |
| |
| Affiliation: | HU Rong Gui 1,CHEN Yi Yun 2,and GUO Fan 2 1 |
| |
| Abstract: | Based on the idea of type systems, this paper reengineers a new set of type expressions and a type system for machine code of Intel/x86's infrastructure Although machine language program is a binary untyped code, types of its registers and memory exist implicitly in semantics of instructions The type inferring algorithm built on type systems can statically infer safety of the machine code The machine language discussed includes some of important characters, such as jumps, function call, return, and so on, and shows that the approach can be applied to type checking for low level code of other infrastructures |
| |
| Keywords: | type system type safety subtyping |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
