机器语言的类型化及代码的安全检查

摘要

根据类型系统思想,为Intel/x86体系结构的机器语言重新定义了类型表达式并建立一套类型系统.机器语言代码虽然是一种无类型的二进制编码,但其类型信息被隐含在指令的操作语义中,利用建立在类型系统基础之上的类型推理算法可以静态地推理机器代码的安全性.由于所讨论的机器语言包含了跳转、函数调用和返回等主要指令,因此,这种静态检查方法可广泛应用于其他体系结构的低级语言代码的检查中.