基于语义的编译器测试

如何快速获取编程语言的最新技术信息？请通过关注微信公众号'编程语言Lab'。如果您对 编程语言类型系统 的相关内容感兴趣，请加入 编程语言社区 SIG-程序分析 小组。如有任何疑问或需要帮助，请联系文章底部的小助手。

视频回顾：

[SIG-程序分析技术沙龙回顾｜Semantic-based Compiler Testing

https://www.bilibili.com/video/BV1zY411b7uG?](https://www.bilibili.com/video/BV1zY411b7uG? "SIG-程序分析技术复盘｜语义基编译器测试")

# 研究背景及意义

今天的题目是编译器的测试，我先解释一下为什么这个题目本身有意义。

第一点为核心问题之前的学习中提到了许多程序上的缺陷然而这些仅限于单个程序本身如果编译器存在漏洞那么理论上所有的程序都有可能受到影响因为所有的程序最终都是在编译器上运行的换句话说为了对所有程序进行正确性分析必须首先确保编译器本身的可靠性

第二点，在过去几年里新型编程语言层出不穷不断涌