JOURNAL BROWSE
Search
Advanced SearchSearch Tips
A Method of Detecting Pointer Access Error based on Disassembled Codes
facebook(new window)  Pirnt(new window) E-mail(new window) Excel Download
 Title & Authors
A Method of Detecting Pointer Access Error based on Disassembled Codes
Kim, Hyunsoo; Kim, Byeong Man; Huh, Nam Chul; Shin, Yoon Sik;
  PDF(new window)
 Abstract
This thesis proposes a method for effectively detecting memory errors with low occurrence frequency that may occur depending on runtime situation by analyzing assembly codes obtained by disassembling an executable file. When applying the proposed method to various programs having no compilation error, a total of about 750 potential errors taken about 90 seconds are detected among 1 million lines of assembly codes corresponding to a total of about 10 thousand functions.
 Keywords
Disassembly;Invalid Function Pointer Access Error;Memory Access Error;Static Analysis;
 Language
Korean
 Cited by
 References
1.
Yungbum Jung, Jaehwang Kim, Jaeho Shin and Kwangkeun Yi, "Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis", SAS'05: International Static Analysis Symposium, London, 2005.

2.
SureSoftTech, "TEST Monitor", http://suresofttech.com, 2007.

3.
J. Seward and N. Nethercote, "Valgrind", http://www.valgrind.org, 2000

4.
Jason D. Hiser, Clark L. Coleman, Michele Co, and Jack W. Davison, "MEDS: The Memory Error Detection System", Engineering Secure Software and Systems, LNCS 5429, pp 164-179, 2009.

5.
HyunSoo Kim, Byeong Man Kim, HyunSeop Bae and In Sang Chung, "Detection of Potential Memory Access Errors based on Assembly Codes", The KIPS Transactions:PartD, Vol 18D, Issue 1, pp. 35-44, 2011. crossref(new window)

6.
Gye-Tak Yang, "A Study on the Reliability of S/W during the Developing Stage", Journal of the Korea Society Industrial Information System, Vol. 14, No. 5, 2009.

7.
Jeong Hyang An and Sang Chul Yoon, "Estimation of Reliability for a Parallel System with Dependent Exponential Components", Journal of the Korea Society Industrial Information System, Vol. 8, No. 4, 2003.

8.
Yong-Kyong Kim, "A Study on the Characteristics of the Small and Medium System Integration Companies in Performing IT Projects", Journal of the Korea Society Industrial Information System, Vol. 15, No. 5, 2010.

9.
Patrick Cousot and Radhia Cousot, "Abstract interpretation: a united lattice model for static analysis of programs by construction or approximation of xpoints", Proceedings of ACM Symposium on Principles of Programming Languages, pp 238-252, 1977.

10.
Apache Web Server "http://httpd.apache.org", 1995, using source from 2007.

11.
PHP Scripting Language "http://www.php.net", 1995, using source from 2007.