Design of a C-to-Cyclone Code Translator

• Main Authors: Chia-Lung Chen, 陳家隆
• Other Authors: Cheng-Zen Yang
• Format: Others
• Language: zh-TW
• Published: 2006
• Online Access: http://ndltd.ncl.edu.tw/handle/66830299408417376751

碩士 === 元智大學 === 資訊工程學系 === 94 === Currently, the Internet has been widely used by computer users. However, the leaks of the software result in the network attacks to network users. Generally, the network attacks always cause great damage to people’s digital property. Therefore, the way to strengthen software security becomes a urgent issue in recent years. C lanuage is often used in software development. Compared to other programming languages, C is very efficient in software implementation. However, C is also vulnerable. In order to improve the unsafety feature in C, many improvements have been proposed. Cyclone is one of them. It is a programming language based on C to guarantee safety by inserting checks to programs. From previous studies, Cyclone not only strengthens the software security, but also is very efficient. However, the process of porting legacy C code is time-consuming. In order to help programmers to port C code efficiently, a code translator is in a great demand.. In this thesis, we present the design of a C-to-Cyclone code translator. Programmers can use the code transaltor to conveniently port the C programs to Cyclone. According to the experimental results, the code translator can achieve three tasks. First, C programs can be correctly translated to Cyclone. Second, security problem concealed in the programs can be discovered and fixed. Last, the performace of the translated Cyclone code is comparable to the performance of the hand-written Cyclone code. Therefore, we believe that the code translator can help programmers port C programs to Cyclone effectively and efficiently.