Study Of Optimization Analysis And Security Verification Technology In GCC

This paper is in order to study a safe and reliable C Compiler which supports multi-platform, it can run under Windows and can compile and decompile executable program which will run under Intel 80486 real mode and without OS. The compiler will do excellent optimization and its target code will be small and efficient.The research of this paper is concentrated on the optimization methods andtechnologies, which are based on open-source compiler--GCC. After that, wefurther analysis the possibility of security issue introduced by optimization module and the position of embed malicious code. According to the special requirements of embedded software, we proposed a security verification program of compiler, includes four key steps, and four role of people would involved in the whole verification process.Finally, in order to investigate the feasibility and validity of the program, we give an example to describe the detail operation of this program. The test report shows that we can find the malicious code inserted by compiler.