期刊文献+

反编译数据类型恢复技术研究 被引量:1

Recovery of Data Type for Decompilation
在线阅读 下载PDF
导出
摘要 提出了利用数据流分析的方法来恢复基本数据类型,该技术首先利用数据流分析对变量进行重命名,然后使用变量推导规则推导变量的数据类型,得到的数据类型构成一个类型集合,最后根据得到数据类型集合的3种情况,选取合适的类型作为生成C语言程序中变量的数据类型. The cutting of information and optimization lead to difficulty of data type recovery for decompile.This paper proposes a method to recover data type by the use of data flow analysis.Firstly variables are renamed,the research deduces the types of variables that result in a types set,and a type is chosen from types set as the type in the C program finally.
出处 《河南师范大学学报(自然科学版)》 CAS CSCD 北大核心 2012年第1期158-160,177,共4页 Journal of Henan Normal University(Natural Science Edition)
基金 国家863高技术研究发展计划(2006AA01Z408)
关键词 反编译 数据类型恢复 数据流分析 decompilation recovery of data type data flow analysis
  • 相关文献

参考文献7

  • 1Benjamin C. Pierce Types and Programming Languages[M]. Cambridge: The MIT Press,2005:298-302.
  • 2丁志义,宋国新,邵志清.类型系统与程序正确性问题[J].计算机科学,2006,33(1):141-143. 被引量:3
  • 3Alan Mycroft. Type-based deeompilation[C]. Proceedings of the 8th European Symposium on Programming,Springer,1999.
  • 4Mike Van Emmerik, Statie Single Assignment for Deeompilation[D]. Queensland: University of Queensland,2007.
  • 5Intel Corporation. Intel IA-64 Architecture Software Developer's Manual. Volume 1. Itanium Processor Programmer's Guide[EB/OL]. [2010-10-20]. http://www. intel. com/.
  • 6Intel Corporation. Intel IA-64 Architecture Software Developer's Manual. IA-64 System Architecture[EB/OL]. [2010-10-20]. http:// www. intel. com/.
  • 7Davey B A, Priestley H A. Introduction to Lattices and Order[M]. Cambridge :Cambridge University Press,2002:247-266.

二级参考文献8

  • 1Apt K R,Olderog E R.Verification of Sequential and Concurrent Programs Springer-Verlag,1997.
  • 2Csornyei Z.Type Systems,Lecture Notes(2003).http://people.inf.elte.hu/csz(In Hungarian).
  • 3Dunfield J,Pfenning F.Tridirectional Typechecking,In:POPL'04,2004.
  • 4Harper R,Pfenning F.Type Refinements,Project Description,2001,http://www-2.cs.cmu.edu/ltriple/triple.pdf.
  • 5Piercs B C.Types and Programming Languages.The MIT Press,2002.
  • 6Schwartzbach M I.Polymorphic Type Inference BRICS Lecture Series,LS-95-3,1999.
  • 7Sφrensen M H B,Urzyczyn P.Lectures on Curry-Howard Isomorphism.Lecture Notes,University of Copenhagen,University of Warsaw,1999.
  • 8Zoltan C,Type Systems and Program Verification.In:6th International Conference on Applied Informatics,2004,27-31.

共引文献2

同被引文献4

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部