公开(公告)号：CN104461617B

公开(公告)日：2018-01-05

申请号：CN201410681907.9

申请日：2014-11-24

Applicant: 中国航天系统科学与工程研究院

Inventor： 王瑞 ,  刘志成 ,  陆璐 ,  胡泉 ,  李沫 ,  孙凤丽 ,  杜轩 ,  郭栋 ,  杨磊 ,  陈亚伟 ,  郑明慧 ,  李国良 ,  杨桂枝 ,  杨隽 ,  杨昕

IPC: G06F9/445 ,  G06F9/44

Abstract: 本发明公开了一种实时操作系统VxWorks的剪裁方法，包括：一、组件级剪裁，利用操作系统工具，对操作系统不需要的组件进行剪裁；二、文件级剪裁，梳理Makefile文件，将不需要保留的文件及未被编译的文件进行剪裁；三、函数级剪裁，分析每个函数的调用与被调用关系，将未被调用的函数进行剪裁；四、语句级剪裁，通过代码走查和分析，将不需要的代码进行剪裁。本发明能够解决操作系统剪裁不完全，有冗余代码产生的问题，同时还能提高系统的安全性和可靠性。

公开(公告)号：CN106874058A

公开(公告)日：2017-06-20

申请号：CN201611245682.8

申请日：2016-12-29

Applicant: 中国航天系统科学与工程研究院

Inventor： 刘志成 ,  孙凤丽 ,  郑明慧 ,  陈湘陇 ,  杨隽 ,  郭栋 ,  陆璐 ,  董冠涛 ,  杨磊 ,  付志伟

IPC: G06F9/45

CPC classification number: G06F8/31

Abstract: 本发明公开了一种基于源代码的程序自动插桩方法，首先将被插桩C源代码进行宏展开，然后根据插桩需求明确插桩点，为每个插桩点编写插桩语法规则，最后根据插桩语法规则生成插桩程序，运行插桩程序对源代码进行自动插桩，完成源代码的程序自动插桩。本发明在对源代码文件进行完整的词法分析和语法分析的基础上进行自动插桩，保证了对源码插桩的准确度和针对性，同时采用基于语法制导翻译技术，可以在短时间内实现源程序的插桩，不破坏源程序，能够解决人工插桩工作量大，效率低下，插桩不完全的问题。