An uncaught exception analysis for Java
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Jo, JW | - |
dc.contributor.author | Chang, BM | - |
dc.contributor.author | Yi, KK | - |
dc.contributor.author | Choe, KM | - |
dc.date.available | 2021-02-22T16:02:39Z | - |
dc.date.issued | 2004-06 | - |
dc.identifier.issn | 0164-1212 | - |
dc.identifier.issn | 1873-1228 | - |
dc.identifier.uri | https://scholarworks.sookmyung.ac.kr/handle/2020.sw.sookmyung/15874 | - |
dc.description.abstract | Current JDK Java compiler relies on programmer's declarations (by throws clauses) for checking against uncaught exceptions of the input program. It is not elaborate enough to remove programmer's unnecessary handlers nor suggest to programmers for specialized handlings (when programmer's declarations are too broad). We propose a static analysis of Java programs that estimates their uncaught exceptions independently of the programmer's declarations. This analysis is designed and implemented based on set-based framework. Its cost-effectiveness is suggested by sparsely analyzing the program at method level (hence reducing the number of unknowns in the flow equations). We have shown that our interprocedural exception analysis is more precise than JDK-style intraprocedural analysis, and also that our analysis can effectively detect uncaught exceptions for realistic Java programs. (C) 2003 Elsevier Inc. All rights reserved. | - |
dc.format.extent | 11 | - |
dc.language | 영어 | - |
dc.language.iso | ENG | - |
dc.publisher | ELSEVIER SCIENCE INC | - |
dc.title | An uncaught exception analysis for Java | - |
dc.type | Article | - |
dc.publisher.location | 미국 | - |
dc.identifier.doi | 10.1016/S0164-1212(03)00057-8 | - |
dc.identifier.scopusid | 2-s2.0-1842477862 | - |
dc.identifier.wosid | 000221078000005 | - |
dc.identifier.bibliographicCitation | JOURNAL OF SYSTEMS AND SOFTWARE, v.72, no.1, pp 59 - 69 | - |
dc.citation.title | JOURNAL OF SYSTEMS AND SOFTWARE | - |
dc.citation.volume | 72 | - |
dc.citation.number | 1 | - |
dc.citation.startPage | 59 | - |
dc.citation.endPage | 69 | - |
dc.type.docType | Article; Proceedings Paper | - |
dc.description.isOpenAccess | N | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.relation.journalResearchArea | Computer Science | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Software Engineering | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Theory & Methods | - |
dc.subject.keywordAuthor | Java | - |
dc.subject.keywordAuthor | uncaught exception analysis | - |
dc.subject.keywordAuthor | class analysis | - |
dc.subject.keywordAuthor | static analysis | - |
dc.subject.keywordAuthor | set-based analysis | - |
dc.identifier.url | http://www.sciencedirect.com/science/article/pii/S0164121203000578 | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
Sookmyung Women's University. Cheongpa-ro 47-gil 100 (Cheongpa-dong 2ga), Yongsan-gu, Seoul, 04310, Korea02-710-9127
Copyright©Sookmyung Women's University. All Rights Reserved.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.