Institutional Repository
| semi-static detection of runtime type errors in component-based java programs | |
| Zhou Xiaowei; Zhang Wenbo; Zhang Jianhua | |
| 2012 | |
| Conference Name | 19th Asia-Pacific Software Engineering Conference, APSEC 2012 |
| Source | Proceedings - Asia-Pacific Software Engineering Conference, APSEC |
| Pages | 223-231 |
| Conference Date | December 4, 2012 - December 7, 2012 |
| Conference Place | Hong Kong, China |
| Indexed Type | EI |
| ISSN | 1530-1362 |
| ISBN | 9780769549224 |
| Department | (1) Technology Center of Software Engineering Institute of Software Chinese Academy of Sciences Beijing 100190 China; (2) Graduate University Chinese Academy of Sciences Beijing 100190 China |
| English Abstract | The using of multiple custom class loaders in component-based Java programs may lead to more runtime type errors. These errors can happen at various program statements and may be wrapped in different types of exceptions by JVM' therefore posing difficulties for dealing with them. Traditional static analysis approaches only consider static types and thus cannot detect many of them. We propose a semi-static approach based on points-to analysis and dynamically gathered behavior information of Java class loaders to detect runtime type errors in component-based Java programs without running them. We also implement a prototype tool for OSGi-based programs' where OSGi is a typical Java component framework. © 2012 IEEE.; The using of multiple custom class loaders in component-based Java programs may lead to more runtime type errors. These errors can happen at various program statements and may be wrapped in different types of exceptions by JVM' therefore posing difficulties for dealing with them. Traditional static analysis approaches only consider static types and thus cannot detect many of them. We propose a semi-static approach based on points-to analysis and dynamically gathered behavior information of Java class loaders to detect runtime type errors in component-based Java programs without running them. We also implement a prototype tool for OSGi-based programs' where OSGi is a typical Java component framework. © 2012 IEEE. |
| Keyword | Computer Software Errors Loaders Static Analysis |
| Sponsorship | IEEE Hong Kong Section Computer Society Chapter; ACM Hong Kong Chapter |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/15950 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Zhou Xiaowei,Zhang Wenbo,Zhang Jianhua. semi-static detection of runtime type errors in component-based java programs[C],2012:223-231. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment