Research On Compiler Detection Technology For Domestic Processors

With the rapid development of China's national defense and aerospace fields,high-performance autonomous and controllable software and hardware have become necessary technologies for the development of China's autonomous information industry.For a country,autonomous and controllable information systems are very important.The self-determination of information in the fields of national defense and aerospace must be built on top of safety-critical systems,and domestic Loongson processors will play an important role in the domestic road to informationization.The performance of the system will require the full cooperation of the system's core software.The importance of the compiler,one of the core software of the system,has been elevated to the forefront of the information industry and is the key to ensuring the normal operation of safety-critical systems.Based on the "Aerospace model software C language security subset" published by National Defense Commission for Science and Technology,a test case that complies with the specifications is constructed and the LonGcc compiler is modified and upgraded.Finally,the measured results show that the compiler complied with the "Aerospace model software C language security subset" standard,and did not increase the implementation of the overhead.This article mainly carried out the following work:(1)By comparing the compilers Gcc,CompCert,and Clang to the support level of the "Aerospace model software C language security subset",Gcc4.9.3 was selected as the benchmark compiler.Based on this,the security compiler LonGcc was constructed.Analyze the "Aerospace model software C language security subset" rules and combine the actual needs of LonGcc to implement a security subset level classification strategy.(2)Analyze the main functions and processes involved in lexical analysis and grammar analysis,and analyze the important data structure in Gcc,and analyze the important tree nodes in Gcc.(3)Take the method of transplanting Gcc front end,add safety detection switch fsafe_c.The lexical analysis and grammar and semantic analysis in the extended Gcc front-end realized the security compiler LonGcc based on the "Aerospace model software C language security subset".(4)The LonGcc compiler was tested for security.According to the rules of the "Aerospace model software C language security subset",a large number of test cases were written for each rule to verify its correctness.Compared with Testbed,a commercial test software tool,prove that the LonGcc compiler is reliable and practical.