| 上下文敏感的横向传播方法 |
| |
| 引用本文： | 邓朝日,刘鹏辉,顾梦园. 上下文敏感的横向传播方法[J]. 计算机与数字工程, 2021, 49(6): 1063-1067. DOI: 10.3969/j.issn.1672-9722.2021.06.006 |
| |
| 作者姓名： | 邓朝日 刘鹏辉 顾梦园 |
| |
| 作者单位： | 中国电子科技集团公司第三十二研究所 上海 201808 |
| |
| 摘 要： | 为了有效提高基于调用图的上下文敏感指针分析能力及其上的环消除算法的时间分析效率问题,提出一个新的上下文敏感的横向传播算法.该算法使用当前最优秀的基于包含的指针分析在线改进技术.首先对新约束图的定义进行说明,将其初始化;为了证明上下文敏感的横向传播算法能精确有效地对源程序进行上下文敏感的指针分析,引入实例进行论述;最后用...
|
| 关 键 词： | 在线改进 横向传播 调用图 上下文敏感指针分析 环消除 约束图 |
Method of Context-Sensitive Wave Propagation |
| |
| DENG Zhaori,LIU Penghui,GU Mengyuan. Method of Context-Sensitive Wave Propagation[J]. Computer and Digital Engineering, 2021, 49(6): 1063-1067. DOI: 10.3969/j.issn.1672-9722.2021.06.006 |
| |
| Authors: | DENG Zhaori LIU Penghui GU Mengyuan |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
