Flow-insensitive type qualifier inference on programming languages allowing type casts

ISCAS OpenIR

	Flow-insensitive type qualifier inference on programming languages allowing type casts
	Li, Huisong (1); Li, H.(ihs@ios.ac.cn)
	2014
发表期刊	Computer Modelling and New Technologies
ISSN	14075806
卷号	18 期号:2 页码:120-125
摘要	Type qualifiers are lightweight specifications of atomic properties that refine the standard types. Flow-insensitive type qualifier inference has been used in the CQual framework to improve the quality of C programs. However, type casts will affect the effectiveness of type qualifier inference, as they can lead to either accepting some flawed programs due to discarding some useful qualifier information, or rejecting some safe programs when the analysis is conservative. In this paper, we first present a language, which allows type casts and formalize its flow-insensitive qualifier inference system. We then show some examples to illustrate how qualifiers are lost because of type casts in CQual and give an idea on solving this problem.; Type qualifiers are lightweight specifications of atomic properties that refine the standard types. Flow-insensitive type qualifier inference has been used in the CQual framework to improve the quality of C programs. However, type casts will affect the effectiveness of type qualifier inference, as they can lead to either accepting some flawed programs due to discarding some useful qualifier information, or rejecting some safe programs when the analysis is conservative. In this paper, we first present a language, which allows type casts and formalize its flow-insensitive qualifier inference system. We then show some examples to illustrate how qualifiers are lost because of type casts in CQual and give an idea on solving this problem.
收录类别	EI
部门归属	(1) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, 100190, China; (2) University of Chinese Academy of Sciences, Beijing 100049, China
语种	英语
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/17028
专题	中国科学院软件研究所
通讯作者	Li, H.(ihs@ios.ac.cn)
推荐引用方式 GB/T 7714	Li, Huisong ,Li, H.. Flow-insensitive type qualifier inference on programming languages allowing type casts[J]. Computer Modelling and New Technologies,2014,18(2):120-125.
APA	Li, Huisong ,&Li, H..(2014).Flow-insensitive type qualifier inference on programming languages allowing type casts.Computer Modelling and New Technologies,18(2),120-125.
MLA	Li, Huisong ,et al."Flow-insensitive type qualifier inference on programming languages allowing type casts".Computer Modelling and New Technologies 18.2(2014):120-125.