带类型注解的汇编器TAAS的设计与实现.pdf

第 24卷 第 11期 小 型 微 型 计 算 机 系 统 Vo1．24 No．11 2003年 11月 M IN I—M ICR0 SYSTEM S NOv．2003 带类型注解 的汇编器 TAAS的设计与实现 郭 帆，陈意云 ，胡荣贵 ，张 昱 (中国科学技术大学 计算机科学与技术系．安徽 合肥 230026) 摘 要 ：给 出了一种带类 型注解 的汇编器 TAAS的设计与 实现 ．TAAS分析带有类 型注解 的汇编代码 ．把类 型注解 映 射进 目标文件和可执行 文件 中，产生带有类型注解 的二进制代码 ．同时不影响代码 的执行语义．TAAS分析 ATT语 法 的汇编程序 ，产生 ELF格式的x86机器代码 ，并且与 GNUas汇编器完全兼容． 关 键 词 ：TAAS；类型安全 ；类型注解 中图分类号 ：TP301；TP313 文献标识码 ：A 文 章 编 号 ：1000—1220(2003)11-l893—05 DesignandImplementation OfTAAS (A Type—AnnotatedAssembler) GUO Fan，CHEN Yi—yun，HU Rong—gui．ZHANG Yu (DeparmentofComputerScicenceandTechnology，UniversityofScienceandTechonologyojChina．Hefei230026．China) Abstract：Thispaperpresentsthedesignandimplem entaionofanassemblerTAAS．TAAS isatype—annotatedassem— bier，whichanalysisassemblercodewithtype—annotationandmapstype—annonationintoobjectfileandexecutablefile． TAASgeneratesbinarycodewithtype—annotation．whichcanbelinkedintoexecutablefilewithoutinterferingwiththe executionsemanticsofbinarycode．TheassemblerformatobeyesATT syntax，ELFformatx86machinecodeisthe targetcodeofTAAS，andTAAS iStotaliYcompatiblewithGNU asassembler． Keywords TAAS；typesafety；type—annotation 1 概 述 略模块依据代码中的注解和证 书，检查代码 的语义是否符合 本地 的类型安全策略．如果符合 ，则通过 了低级策略模块 的检 随着 Internet的不断发展 ，网络 中每 台机器都面临着两 查 ．进入中级模块的检查过程 ；否则代码被认为是不安全的， 方面的威胁．一方面要保证本机提供的服务代码是安全无漏 本机将拒绝执行该代码． 洞的 ，另一方面要保证从网上下载 的plug—in或者可执行程序 从图 1中可以看出，在代码产生方必须首先保证产生的 不会对本机造成损害．Necula和 Lee提 出采用携带证 明的代 代码是符合安全策 略的，这需要对源程序进行特殊的编译过 码 (Proof—CarryingCode)来保证代码的安全性．PCC“ 使用 程 ，来保证产生的可执行代码符合安全策略．我们使用认证编 基于类型的安全策略 ，在代码发送方产生满足安全策略的可 译器，带类型注解的汇编器 TAAS，GNU连接器 Id把普