Browse > Article
http://dx.doi.org/10.9723/jksiis.2015.20.5.013

A Method of Detecting Pointer Access Error based on Disassembled Codes  

Kim, Hyunsoo (디투이모션(주))
Kim, Byeong Man (금오공과대학교 컴퓨터소프트웨어공학과)
Huh, Nam Chul (대구미래대학교 부사관과)
Shin, Yoon Sik (금오공과대학교 컴퓨터소프트웨어공학과)
Publication Information
Journal of Korea Society of Industrial Information Systems / v.20, no.5, 2015 , pp. 13-23 More about this Journal
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;
Citations & Related Records
Times Cited By KSCI : 3  (Citation Analysis)
연도 인용수 순위
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.   DOI
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.