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 w...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 pro- grams 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.展开更多
The necessity of adding safetyinformation which is in minority languagesinto standards is discussed.The requirementsof the WTO-TBT agreement and IECare analyzed.The relevant laws and foundationtechnology for minority ...The necessity of adding safetyinformation which is in minority languagesinto standards is discussed.The requirementsof the WTO-TBT agreement and IECare analyzed.The relevant laws and foundationtechnology for minority languages inChina are discussed.The precedents ofstandards or technical regulations are enumerated.The conclusion is put forward thatsafety information in minority languagesshould be added into standards as soon aspossible.展开更多
基金Project (No. 2003AA1Z1060) supported by the National Hi-Tech Research and Development Program (863) of China
文摘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 pro- grams 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.
文摘The necessity of adding safetyinformation which is in minority languagesinto standards is discussed.The requirementsof the WTO-TBT agreement and IECare analyzed.The relevant laws and foundationtechnology for minority languages inChina are discussed.The precedents ofstandards or technical regulations are enumerated.The conclusion is put forward thatsafety information in minority languagesshould be added into standards as soon aspossible.
