论文部分内容阅读
类型分析是反编译整个流程中的重要模块,其分析效果会对反编译所输出的高级语言的可读性与准确性产生极大的影响。文章所讨论的是一种基于数据流分析的类型分析方法,通过将多种数据类型构造为类型格的层次结构,构建包含类型信息的数据流方程,在推算数据流方程的过程中对指令中的操作数类型进行推导。
一种基于数据流分析的数据类型推导方法
【摘 要】
：
类型分析是反编译整个流程中的重要模块,其分析效果会对反编译所输出的高级语言的可读性与准确性产生极大的影响。文章所讨论的是一种基于数据流分析的类型分析方法,通过将多
【机 构】
：
信息工程大学信息工程学院
【出 处】
：
信息工程大学学报
【发表日期】
：
2010年4期
【基金项目】
：
国家863计划资助项目（2007AA01Z483）
其他文献
多项式相位信号（PPS）的参数估计是雷达信号处理的一个重要内容，最大似然估计法、时频分析以及高阶模糊函数法因为自身的缺点而很难进一步提高参数的估计精度。文章提出了基于高
目的检测新乡市冬季PM_（2.5）组分及其对人Ⅱ型肺泡上皮细胞的炎性作用。方法用大流量空气采样器收集新乡市冬季大气中细颗粒物PM_（2.5）。使用离子色谱仪和电感耦合等离子体质谱仪
针对实数信号提出了一种基于DCT-IV的余弦调制信道化技术。采用余弦调制滤波器组完成多相滤波，结合DCT-IV的快速算法实现信道化。与相关文献相比避免了复数运算，提高了计算效率