主页 / 安全论文每日读 / Checking Correctness of Code Generator Architecture Specifications
  • 作者
    GoSSIP @ LoCCS.Shanghai Jiao Tong University
  • 简介

    Checking Correctness of Code Generator Architecture Specifications 是一篇发表在CGO'2015会议上的论文。这篇文章的主要贡献就在于提供了一个GCC的RTL的解释器,以及一个有效的架构无关的test case生成策略

    Intro & Abstract

    • 由于现代指令集架构的复杂化,导致编译器需要时常地去维护更新coder generator使用的architecture specifications,但是例如GCC这类的编译器在测试时并不会对编译器中某个单独的部分进行测试,而只是进行end-toend testing

    • 本文目的就是要去检测编译器中coder generator所使用的architecture specifications的正确性。由于现代编译器普遍地利用一个特定语言的前端将源代码转化为中间语言表示,再将这个中间语言表示利用coder generator转化为汇编代码。因此本文检测code generator正确性的方法就是检测IR片段以及它对应生成的汇编代码是否等价。

    • 本文的主要贡献就在于提供了一个GCC的RTL的解释器,以及一个有效的架构无关的test case生成策略。

  • 援引
    https://loccs.sjtu.edu.cn/gossip/blog/2016/04/18/2016-04-18/
  • 提示
    本站仅做资料的整理和索引,转载引用请注明出处
相关推荐
附件下载
  • Checking.Correctness.of.Code.Generator.Architecture.Specifications阅读笔记.pdf
    时间: 大小: 0.14 M 下载: 34
  • Checking.Correctness.of.Code.Generator.Architecture.Specifications.pdf
    时间: 大小: 0.33 M 下载: 13