无锡先进技术研究院翟彦河获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉无锡先进技术研究院申请的专利一种C语言声明定义安全准则的编译检查方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN115964047B 。
龙图腾网通过国家知识产权局官网在2025-07-11发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202211547599.1,技术领域涉及:G06F8/41;该发明授权一种C语言声明定义安全准则的编译检查方法是由翟彦河;顾轶超;赵爱南;姜军;张海军;陈宏博设计研发完成,并于2022-12-05向国家知识产权局提交的专利申请。
本一种C语言声明定义安全准则的编译检查方法在说明书摘要公布了:本发明公开了一种C语言声明定义安全准则的编译检查方法,包括:读取待检查的源文件;对源文件进行宏安全检查、数据与函数安全检查以及变量布局安全检查,当检查出违背声明定义准则的代码输出报警信息;通过宏定义捕获、宏信息存储、宏信息处理等过程实现针对宏定义相关准则的安全检查;通过单文件或跨文件的处理进行数据与函数安全检查,实现针对变量、结构、联合、枚举、位定义、函数等声明定义相关准则的安全检查;通过以函数体为单位构建完整的函数体结构图进行变量布局安全检查,实现针对声明定义位置相关准则的安全检查;本发明对含有漏洞的代码做出检查,避免因错误的声明定义造成后续代码的语义逻辑混乱和安全问题。
本发明授权一种C语言声明定义安全准则的编译检查方法在权利要求书中公布了:1.一种C语言声明定义安全准则的编译检查方法,其特征在于,包括: 读取待检查的源文件;对源文件进行宏安全检查、数据与函数安全检查以及变量布局安全检查,当检查出违背声明定义准则的代码输出报警信息; 对源文件进行宏安全检查的方法包括: 对源文件进行宏定义捕获得到完整的宏信息,对各项宏信息封装为类,使用容器存储宏信息;所述容器提供基本的信息访问接口,所述信息访问接口供编译器调用; 在编译阶段通过信息访问接口获取宏信息进行安全检查。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人无锡先进技术研究院,其通讯地址为:214122 江苏省无锡市滨湖区绣溪路50号KPARK商务中心2号楼;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。