Institutional Repository
| Flow-insensitive type qualifier inference on programming languages allowing type casts | |
| Li, Huisong (1); Li, H.(ihs@ios.ac.cn) | |
| 2014 | |
| Source | Computer Modelling and New Technologies
 |
| ISSN | 14075806 |
| Volume | 18Issue:2Pages:120-125 |
| English Abstract | 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. |
| Indexed Type | EI |
| Department | (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 |
| Language | 英语 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/17028 |
| Collection | 中国科学院软件研究所 |
| Corresponding Author | Li, H.(ihs@ios.ac.cn) |
| Recommended Citation 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. |
| 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