Document
拖动滑块完成拼图
个人中心

预订订单
商城订单
发布专利 发布成果 人才入驻 发布商标 发布需求

请提出您的宝贵建议,有机会获取IP积分或其他奖励

投诉建议

在线咨询

联系我们

龙图腾公众号
专利交易 商标交易 积分商城 国际服务 IP管家助手 科技果 科技人才 会员权益 需求市场 关于龙图腾 更多
 /  免费注册
到顶部 到底部
清空 搜索
当前位置 : 首页 > 专利喜报 > 山石网科通信技术股份有限公司王正涵获国家专利权

山石网科通信技术股份有限公司王正涵获国家专利权

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

龙图腾网获悉山石网科通信技术股份有限公司申请的专利规约的生成方法、装置、计算机程序产品以及电子设备获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119621564B

龙图腾网通过国家知识产权局官网在2026-03-17发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202411708497.2,技术领域涉及:G06F11/3668;该发明授权规约的生成方法、装置、计算机程序产品以及电子设备是由王正涵;何伊圣;吴疆;刘洋;徐俊设计研发完成,并于2024-11-26向国家知识产权局提交的专利申请。

规约的生成方法、装置、计算机程序产品以及电子设备在说明书摘要公布了:本申请公开了一种规约的生成方法、装置、计算机程序产品以及电子设备。涉及软件测试领域或其他相关领域,该方法包括:从操作系统的内核源码中获取用于系统调用的第一类函数以及用于文件操作处理的第二类函数,并确定第一类函数中的参数,得到调用参数;对调用参数进行污点传播分析,得到宏定义标志位,并对第二类函数中的参数进行污点传播分析,得到系统调用前缀;确定调用参数的规约参数类型,根据系统调用前缀、规约参数类型以及宏定义标志位生成系统调用规约,其中,系统调用规约用于对操作系统进行模糊测试。通过本申请,解决了相关技术中生成系统调用规约时存在生成效率低、准确率低的问题。

本发明授权规约的生成方法、装置、计算机程序产品以及电子设备在权利要求书中公布了:1.一种规约的生成方法,其特征在于,包括: 从操作系统的内核源码中获取用于系统调用的第一类函数以及用于文件操作处理的第二类函数,并确定所述第一类函数中的参数,得到调用参数; 对所述调用参数进行污点传播分析,得到宏定义标志位,并对所述第二类函数中的参数进行污点传播分析,得到系统调用前缀; 确定所述调用参数的规约参数类型,根据所述系统调用前缀、所述规约参数类型以及所述宏定义标志位生成系统调用规约,其中,所述系统调用规约用于对所述操作系统进行模糊测试; 从操作系统的内核源码中获取用于系统调用的第一类函数以及用于文件操作处理的第二类函数,包括:获取所述内核源码的文件指针数据结构,并确定所述文件指针数据结构关联的设备文件;获取预设函数名,根据所述预设函数名从所述文件指针数据结构中提取得到所述第一类函数;根据所述设备文件确定函数结构体,并根据所述函数结构体从所述内核源码中提取得到所述第二类函数; 对所述调用参数进行污点传播分析,得到宏定义标志位包括:利用显式流分析算法对所述调用参数进行处理,得到显式污染变量,其中,所述显式污染变量是指所述操作系统中由所述调用参数直接影响数值的函数变量;利用隐式流分析算法对所述调用参数进行处理,得到隐式污染变量,其中,所述隐式污染变量是指在预设概率下所述操作系统中由所述调用参数影响数值的函数变量;基于所述显式污染变量和所述隐式污染变量生成所述宏定义标志位。

如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人山石网科通信技术股份有限公司,其通讯地址为:215163 江苏省苏州市高新区景润路181号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。