一种基于数据流分析的数据类型推导方法

• 作者: 刘铁铭 周丽娜 尹青 殷文建 蒋烈辉
• 来源期刊: 信息工程大学学报
• 学科: 工学
• 关键词: 类型分析 反编译 类型约束 格 类型推导
• 年，卷（期）: 2010,（4）
• 页码范围: 493-497
• 分类号: TP313
• 字数: 4134字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-0673.2010.04.024

摘要

类型分析是反编译整个流程中的重要模块,其分析效果会对反编译所输出的高级语言的可读性与准确性产生极大的影响.文章所讨论的是一种基于数据流分析的类型分析方法,通过将多种数据类型构造为类型格的层次结构,构建包含类型信息的数据流方程,在推算数据流方程的过程中对指令中的操作数类型进行推导.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	尹青	信息工程大学信息工程学院	22	90	5.0	9.0
2	蒋烈辉	信息工程大学信息工程学院	44	158	7.0	10.0
3	刘铁铭	信息工程大学信息工程学院	11	71	4.0	8.0
4	周丽娜	信息工程大学信息工程学院	1	2	1.0	1.0
5	殷文建	信息工程大学信息工程学院	1	2	1.0	1.0