Parameter and return-value analysis of binary executables

Proceedings - International Computer Software and Applications Conference

Volumn 1, Issue , 2007, Pages 501-508

  Zhang, Jingbo ^a   Zhao, Rongeai ^a   Pang, Jianmin ^a  

^a NATIONAL DIGITAL SWITCHING SYSTEM ENGINEERING AND TECHNOLOGICAL RESEARCH CENTER   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE MAINTENANCE; DATA FLOW ANALYSIS; OPTIMIZATION; PARAMETER ESTIMATION; REVERSE ENGINEERING; SOFTWARE ARCHITECTURE;

BINARY TRANSLATION; DATA DEPENDENCE ANALYSIS; RETURN-VALUE ANALYSIS;

BINARY CODES;

EID: 37349005790     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2007.163     Document Type: Conference Paper

References (19)

1. Boomerang, http://boomerang.sourceforge.net.
2. G. Balakrishnan and T. Reps. Analyzing memory accesses in x86 executables. In Proc. of Compiler Construction (LNCS 2985) pages 5-23. Springer-Verlag April 2004.
3. D. Brushi, L. Martignoni and Mattia Monga. Using code normalization for fighting self-mutating malware. In Proc. of International Symposium on Secure Software Engineering (ISSSE'06). Arlington, VA, U.S.A. 2006.
4. C. Cifuentes and A. Fraboulet. Interprocedural data flow recovery of high-level language code from assembly. Technical Report 421, Department of Computer Science and Electrical Engineering, The University of Queensland, Dec 1997.
5. C. Cifuentes and M. Van Emmerik. Recovery of jump table case statements from binary code. Science of Computer Programming, 40:171-188. 2001.
6. C. Cifuentes and S. Sendall. Specifying the semantics of machine instructions. In Proc. of the International Workshop on Program Comprehension, pages 126-133. Ischia, Italy, 24-26 June 1998.
7. C. Cifuentes. Reverse compilation techniques. PhD thesis, Queensland University of Technology. July 1994.
8. C. Cifuentes and M. V. Emmerik. UQBT: Adaptable binary translation at low cost. Computer, pages 60-66. IEEE CS Press. Mar. 2000.
9. R. Cytron, J. Ferrante, and et al.. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451-490. Oct. 1991.
10. S. Debray, R. Muth and M. Weippert. Alias analysis of executable code. In Proc. of 25th ACM SIGPLANSI-GACT Symposium on Principles of Programming Languages(POPL 98), pages 12-24. Orlando, Florida. 1998.
11. I. Guilfanov. A simple type system for program reengineering. In Proc. of the Working Conference on Reverse Engineering, pages 357-361. Stuttgart Germany. IEEE CS Press. 2001.
12. S. Horwitz, T. Reps and D. Binkley. Interprocedural slicing using dependence graphs. In Proc. of the SIGPLAN' 88 Conference on Programming Language Design and Implementation, pages 35-46. Atlanta, Georgia. USA. Jun. 1988.
13. Á. Kiss, J. Jász, G. Lehotai and T. Gyimóthy. Interprocedural static slicing of binary executables. In Proc. of Third IEEE International Workshop on Source Code Analysis and Manipulation, pages 118-127. Amsterdam, Netherlands. Sept. 2003.
14. S.S. Muchnick. Advanced compiler design implementation. Pages 119-126. Academic Press. 1997.
15. N. Snavely, S. Debray and G. Andrews. Unpredication, unscheduling, unspeculation: reverse engineering itanium executables. IEEE Transactions on Software Engineering, pages 99-115. IEEE Press. 2005
16. D. L. Weaver and T. Germond. The SPARC architecture manual. version 9, pages 85-88. Prentice Hall, Englewood Cliffs, New Jersey, USA. 1994.
17. M. Weiser. Program slicing. Proc. of the 5th International Conference on Software Engineering, pages 439-449. IEEE CS Press. March 1981.
18. R. D. Weldon, S. S. Chang and et al.. Quantitative evaluation of the register stack engine and optimization for future itanium processor. In Proc. of the 6th Annual Workshop on Interaction between Compilers and Computer Architectures, pages 57-67. Boston, Massachusetts, USA. 2002.
19. X. Zhang, R. Zhao and J. Pang. Mapping the semantics of IA-64 SIMD instructions in binary reverse engineering. In Proc. of the 7th Internation Conference on Computer-Aided Industrial Design & Conceptual Design, Hangzhou, China. 2006