航天c程序安全规则检查技术分析-technical analysis of aerospace c program safety rules inspection.docx

摘要航天嵌入式软件要求具有很高的可信性，这类软件中有大量用C语言编写的程序，C语言虽然灵活，但也存在很多容易导致安全问题的使用方式，进而影响到航天嵌入式软件的可信性。因此，国内航天界制定了《航天器软件C语言编程规范》，它是基于C89国际标准、MISRA-C2004和《GJBC语言编程规则》制定的航天C语言安全规则集，已经成为国内航天领域的C语言编程标准。虽然已经有一些工具可以支持《航天器软件C语言编程规范》的检查，但还不够充分，还存在漏洞，部分规则没有检查出来。因此，研究航天C程序的安全规则检查技术具有重要的现实意义。本文完成的工作主要有：首先，对国内外C程序安全规则集及检查工具进行了分析比较；分析了GCC编译器的编译流程及其前端词法分析、语法语义分析的主要数据结构和工作过程。其次，在上述工作的基础上，采用对GCC编译器前端进行扩展的思路，提出了对《航天器软件C语言编程规范》中的部分编程规则进行检查的方法，通过对GCC的C语言前端的预处理程序、词法分析程序、语法语义分析程序进行修改和扩充，实现了C语言编程规范检查工具SC-RuleChecker。最后，对SC-RuleChecker进行了系统测试和实际应用，结果表明，SC-RuleChecker实现了规则检查的功能，与现有的商业工具相比，本工具可以发现其它工具不能检测出来的部分规则违反情况，有助于降低航天软件中的潜在风险、提高软件可信性。主题词：编程规则静态分析编译器航天器软件C语言编程规范ABSTRACTTheembeddedsoftwaresofspaceflightneedtobehighlyreliable.Inthesesoftwares,therearealargenumberofprogramswrittenbyClanguage.TheusingofClanguageisveryflexible,butmanymannersinusingClanguagecanleadtosecureproblemswhichmayimpactonthereliabilityoftheembeddedsoftwaresofspaceflight.Therefore,theorganizationsrelatedtospaceflighthavepresentedaClanguageprogrammingspecificationforspacecraftsoftware,whichisbasedonC89standard,MISRA-C2004andGJBClanguageprogrammingrules.IthasbecomethedefactoClanguageprogrammingstandardfordevelopingspacecraftsoftwareinourcountry.TherearesometoolstosupporttheClanguageprogrammingspecificationforspacecraftsoftware,butitisnotenough.Thereareloopholesexist.Andsomerulescannotbechecked.Soit’sverysignificanttostudythetechniqueofcheckingsafetyrulesofaeroCprograms.Themainworkofthepapercanbeconcludedasfollows:Firstly,theCprogramssafetyrulesandcorrespondingcheckingtoolsareanalyzedandsummarized.ThestructureofGCCcompilerisdescribed.Theprincipalprocessphrases,especiallythesyntaxanalysisphraseareillustrated.Secondly,basedontheabovework,anapproachbyextendingGCCfront-endtosupportcheckingsomeprogrammingrulesintheClanguageprogrammingspecificationforspacecraftsoftwareispresented.AcheckingtoolSC-RuleCheckerforClanguageprogrammingspecificationisimplemented,bymodifyandextendthepretreatmenthandlingroutine,lexicalroutineandsyntaxroutineofGCC.Finally,