| Tools to make C programs safe： a deeper study |
| |
| 引用本文： | 王继民,平玲娣,潘雪增,沈海斌,严晓浪.Tools to make C programs safe： a deeper study[J].浙江大学学报(A卷英文版),2005,6(1):63-70. |
| |
| 作者姓名： | 王继民 平玲娣 潘雪增 沈海斌 严晓浪 |
| |
| 作者单位： | School of Computer Science，Zhejiang University，Hangzhou 310027，China，School of Computer Science，Zhejiang University，Hangzhou 310027，China，School of Computer Science，Zhejiang University，Hangzhou 310027，China，Interdisciplinary Research Center on System on the Chip，Zhengjiang University，Hangzhou 310027，China，Interdisciplinary Research Center on System on the Chip，Zhengjiang University，Hangzhou 310027，China |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | The C programming language is expressive and flexible, but not safe; as its expressive power and flexibility are obtained through unsafe language features, and improper use of these features can lead to program bugs whose causes are hard to identify. Since C is widely used, and it is impractical to rewrite all existing C programs in safe languages, so ways must be found to make C programs safe. This paper deals with the unsafe features of C and presents a survey on existing solutions to m…
|
| 关 键 词： | C语言 程序设计语言 信息安全 编译工具 |
Tools to make C programs safe: a deeper study |
| |
| Wang Ji-min,Ping Ling-di,Pan Xue-zeng,Shen Hai-bin,Yan Xiao-lang.Tools to make C programs safe: a deeper study[J].Journal of Zhejiang University Science,2005,6(1):63-70. |
| |
| Authors: | Wang Ji-min Ping Ling-di Pan Xue-zeng Shen Hai-bin Yan Xiao-lang |
| |
| Institution: | (1) School of Computer Science, Zhejiang University, 310027 Hangzhou, China;(2) Interdisciplinary Research Center on System on the Chip, Zhengjiang University, 310027 Hangzhou, China |
| |
| Abstract: | The C programming language is expressive and flexible, but not safe; as its expressive power and flexibility are obtained through unsafe language features, and improper use of these features can lead to program bugs whose causes are hard to identify. Since C is widely used, and it is impractical to rewrite all existing C programs in safe languages, so ways must be found to make C programs safe. This paper deals with the unsafe features of C and presents a survey on existing solutions to make C programs safe. We have studied binary-level instrumentation tools, source checkers, source-level instrumentation tools and safe dialects of C, and present a comparison of different solutions, summarized the strengths and weaknesses of different classes of solutions, and show measures that could possibly improve the accuracy or alleviate the overhead of existing solutions. |
| |
| Keywords: | Unsafe feature C language Instrumentation tools Safe dialect |
| 本文献已被 CNKI 维普 万方数据 SpringerLink 等数据库收录！ |
|
