| Title: | semi-static detection of runtime type errors in component-based java programs |
| Author: | Zhou Xiaowei
; Zhang Wenbo
; Zhang Jianhua
|
| Source: | Proceedings - Asia-Pacific Software Engineering Conference, APSEC
|
| Conference Name: | 19th Asia-Pacific Software Engineering Conference, APSEC 2012
|
| Conference Date: | December 4, 2012 - December 7, 2012
|
| Issued Date: | 2012
|
| Conference Place: | Hong Kong, China
|
| Keyword: | Computer software
; Errors
; Loaders
; Static analysis
|
| 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
|
| Sponsorship: | IEEE Hong Kong Section Computer Society Chapter; ACM Hong Kong Chapter
|
| 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. |
| 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. |
| Language: | 英语
|
| Content Type: | 会议论文
|
| URI: | http://ir.iscas.ac.cn/handle/311060/15950
|
| Appears in Collections: | 软件所图书馆_会议论文
|
|
There are no files associated with this item.
|
| Recommended Citation: | |
Zhou Xiaowei,Zhang Wenbo,Zhang Jianhua. semi-static detection of runtime type errors in component-based java programs[C]. 见:19th Asia-Pacific Software Engineering Conference, APSEC 2012. Hong Kong, China. December 4, 2012 - December 7, 2012.
|
|
|
