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

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