探讨IR技术在程序分析与优化中的应用研究方向
发布时间
阅读量：
阅读量
作者 | 李彬
整理 | 编程语言 Lab
李彬是一位在编程语言Lab领域具有专长的应用程序分析专家，并在南京大学计算机系获得了博士学位。他的研究方向集中在程序分析与验证方面。
本文采用了专业文章的形式来回顾李老师在 SIG-程序分析 技术沙龙上的分享。此外，回看视频已在B站发布。我们诚挚邀请各位同学前来观看。
SIG 专业组织 SIG 举办程序分析技术研讨会回顾
_SIG-程序分析技术交流会回顾｜在程序分析中的逆符号查询（IR）讨论
# Intermediate Representation
基于 Wiki [1] 的介绍, 中间表示法（Intermediate Representation, 简称 IR）是编译器/虚拟机内部用于表示源代码的数据结构, 并被用作后续处理的一部分。例如，在下图中, 编译器 Front End 接收源代码生成中间表示; Middle End 将中间表示转换为性能更优的等效中间表示; Back End 则将中间表示转化为-native码。
全部评论 (0)
还没有任何评论哟~