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

Design and Implementation Of TAAS (A Type-Annotated Assembler)

作　　者：郭帆[1] 陈意云[1] 胡荣贵[1] 张昱[1] 

机构地区：[1]中国科学技术大学计算机科学与技术系,安徽合肥230026

出　　处：《小型微型计算机系统》2003年第11期1893-1897,共5页Journal of Chinese Computer Systems

基　　金：国家自然科学基金 ( 60 173 0 49)资助

摘　　要：给出了一种带类型注解的汇编器 TAAS的设计与实现 .TAAS分析带有类型注解的汇编代码 ,把类型注解映射进目标文件和可执行文件中 ,产生带有类型注解的二进制代码 ,同时不影响代码的执行语义 .TAAS分析 AT&T语法的汇编程序 ,产生 EL F格式的 x86机器代码 ,并且与 GNUThis paper presents the design and implementaion of an assembler TAAS. TAAS is a type annotated assembler, which analysis assembler code with type annotation and maps type annonation into object file and executable file. TAAS generates binary code with type annotation, which can be linked into executable file without interfering with the execution semantics of binary code. The assembler format obeyes AT&T syntax, ELF format x86 machine code is the target code of TAAS, and TAAS is totally compatible with GNU as assembler.

关 键 词：TAAS 类型安全 类型注解 

分 类 号：TP301[自动化与计算机技术—计算机系统结构] TP313[自动化与计算机技术—计算机科学与技术]