【摘 要】
：
The C programming language is expressive and flexible, but not safe; as its expressive power and flexibility are obtained through unsafe language features, and
【机 构】
：
School of Computer Science,Interdisciplinary Research Center on System on the Chip
论文部分内容阅读
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.
其他文献
The black nickel formation process in leaching solution containing ammonia and chloride was investigated in terms of cyclic voltammetric and galvanostatic reduc
The effects of aging on mechanical properties,intergranular corrosion and exfoliation corrosion behaviors of a 2197 type A1-Li alloy were investigated,and the m
Rapidly solidified(RS)AZ31 magnesium alloy ribbons were made using melt spinning technique.The results show that its microhardness increases with the wheel spee
The influence of compression and decompression rates of carbon dioxide on the physiology of Absidi coerulea and Saccharomyces cerevisiae was investigated. Besid
To study hollow waveguides for CO2 laser transmission,a liquid-phase deposition technique is applied to form a silver film inside silica capillary based on the
Multi-objective robust state-feedback controller synthesis problems for linear discrete-time uncertain systems are addressed. Based on parameter-dependent Lyapu
The wettability and bonding in Ni/Ti(C, N) systems with multiple carbide additions were studied by sessile drop technique and vacuum brazing technique, respecti
The Levenberg-Marquardt method, the best algorithm to obtain the least-square solution of nonlinear equations, is applied to calculate the stable phase equilibr
The porous scaffold of the sol-gel derived bioactive glass (BG) in the system CaO-P2 O5- SiO2 was treated with the type I collagen solution. The pore walls of t
The effects of Mg content and cooling rate on the solidification behaviour of Al-7 % Si-Mg(mass fraction)casting alloys have been investigated using differentia