DC Field | Value | Language |
---|---|---|
dc.contributor.author | Seo, Sunae | ko |
dc.contributor.author | Kim, Youil | ko |
dc.contributor.author | Kang, Hyun-Goo | ko |
dc.contributor.author | Han, Taisook | ko |
dc.date.accessioned | 2010-02-03T03:07:18Z | - |
dc.date.available | 2010-02-03T03:07:18Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2007-10 | - |
dc.identifier.citation | IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E90D, no.10, pp.1663 - 1671 | - |
dc.identifier.issn | 0916-8532 | - |
dc.identifier.uri | http://hdl.handle.net/10203/16444 | - |
dc.description.abstract | Correctness of Java programs is important because they are executed in distributed computing environments. The object initialization scheme in the Java programming language is complicated, and this complexity may lead to undesirable semantic bugs. Various tools have been developed for detecting program patterns that might cause errors during program execution. However, current tools cannot identify code patterns in which an uninitialized field is accessed when an object is initialized. We refer to such erroneous patterns as uninitialized field references. In this paper, we propose a static pattern detection algorithm for identifying uninitialized field references. We design a sound analysis for this problem and implement an analyzer using the Soot framework. In addition, we apply our algorithm to some real Java applications. From the experiments, we identify 12 suspicious field references in the applications, and among those we find two suspected errors by manual inspection. | - |
dc.description.sponsorship | This research was supported by the MIC (Ministry of Information and Communication), Korea, under the ITRC (Information Technology Research Center) support program supervised by the IITA. (Institute of Information Technology Assessment) (IITA-2005-C1090-0502-0031) | en |
dc.language | English | - |
dc.language.iso | en_US | en |
dc.publisher | IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG | - |
dc.title | A static bug detector for uninitialized field references in Java programs | - |
dc.type | Article | - |
dc.identifier.wosid | 000250094800022 | - |
dc.identifier.scopusid | 2-s2.0-68249150991 | - |
dc.type.rims | ART | - |
dc.citation.volume | E90D | - |
dc.citation.issue | 10 | - |
dc.citation.beginningpage | 1663 | - |
dc.citation.endingpage | 1671 | - |
dc.citation.publicationname | IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS | - |
dc.identifier.doi | 10.1093/ietisy/e90-d.10.1663 | - |
dc.embargo.liftdate | 9999-12-31 | - |
dc.embargo.terms | 9999-12-31 | - |
dc.contributor.localauthor | Han, Taisook | - |
dc.contributor.nonIdAuthor | Seo, Sunae | - |
dc.contributor.nonIdAuthor | Kim, Youil | - |
dc.contributor.nonIdAuthor | Kang, Hyun-Goo | - |
dc.type.journalArticle | Article | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.