Interprocedural exception analysis for Java
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Chang B.-M. | - |
dc.contributor.author | Jo J.-W. | - |
dc.contributor.author | Yi K. | - |
dc.contributor.author | Choe K.-M. | - |
dc.date.available | 2021-02-22T16:46:31Z | - |
dc.date.issued | 2001-03 | - |
dc.identifier.issn | 0000-0000 | - |
dc.identifier.uri | https://scholarworks.sookmyung.ac.kr/handle/2020.sw.sookmyung/16703 | - |
dc.description.abstract | Current JDK Java compiler relies too mnch on programmer's specification for checking against nncanght exceptions of the inpnt program. It is not elaborate enongh to remove programmer's nnnecessary handlers (when programmer's specifications are too many) nor suggest to programmers for specialized handlings (when programmer's specifications are too general). We propose a static analysis of Java programs that estimates their exception flows independently of the programmer's specifications. This analysis is designed and implemented based on set-constraint 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 exception analysis can effectively detect uncaught exceptions for realistic Java programs. © 2001 ACM. | - |
dc.format.extent | 6 | - |
dc.language | 영어 | - |
dc.language.iso | ENG | - |
dc.publisher | Association for Computing Machinery | - |
dc.title | Interprocedural exception analysis for Java | - |
dc.type | Article | - |
dc.identifier.doi | 10.1145/372202.372786 | - |
dc.identifier.scopusid | 2-s2.0-84964901644 | - |
dc.identifier.bibliographicCitation | Proceedings of the ACM Symposium on Applied Computing, pp 620 - 625 | - |
dc.citation.title | Proceedings of the ACM Symposium on Applied Computing | - |
dc.citation.startPage | 620 | - |
dc.citation.endPage | 625 | - |
dc.type.docType | Conference Paper | - |
dc.description.isOpenAccess | N | - |
dc.description.journalRegisteredClass | scopus | - |
dc.subject.keywordPlus | Cost effectiveness | - |
dc.subject.keywordPlus | Program compilers | - |
dc.subject.keywordPlus | Specifications | - |
dc.subject.keywordPlus | Static analysis | - |
dc.subject.keywordPlus | Class analysis | - |
dc.subject.keywordPlus | Exception analysis | - |
dc.subject.keywordPlus | Inter-procedural | - |
dc.subject.keywordPlus | Java | - |
dc.subject.keywordPlus | Java compilers | - |
dc.subject.keywordPlus | Set constraints | - |
dc.subject.keywordPlus | Set-based analysis | - |
dc.subject.keywordPlus | Uncaught exceptions | - |
dc.subject.keywordPlus | Java programming language | - |
dc.subject.keywordAuthor | Class analysis | - |
dc.subject.keywordAuthor | Java | - |
dc.subject.keywordAuthor | Set-based analysis | - |
dc.subject.keywordAuthor | Uncaught exception analysis | - |
dc.identifier.url | https://dl.acm.org/doi/10.1145/372202.372786 | - |
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.