semi-static detection of runtime type errors in component-based java programs

ISCAS OpenIR

	semi-static detection of runtime type errors in component-based java programs
	Zhou Xiaowei; Zhang Wenbo; Zhang Jianhua
	2012
会议名称	19th Asia-Pacific Software Engineering Conference, APSEC 2012
会议录名称	Proceedings - Asia-Pacific Software Engineering Conference, APSEC
页码	223-231
会议日期	December 4, 2012 - December 7, 2012
会议地点	Hong Kong, China
收录类别	EI
ISSN	1530-1362
ISBN	9780769549224
部门归属	(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
摘要	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.
关键词	Computer Software Errors Loaders Static Analysis
主办者	IEEE Hong Kong Section Computer Society Chapter; ACM Hong Kong Chapter
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/15950
专题	中国科学院软件研究所
推荐引用方式 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.