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

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

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

投诉建议

在线咨询

联系我们

龙图腾公众号
专利交易 商标交易 积分商城 国际服务 IP管家助手 科技果 科技人才 会员权益 需求市场 关于龙图腾 更多
 /  免费注册
到顶部 到底部
清空 搜索
当前位置 : 首页 > 专利喜报 > 北京奕斯伟计算技术有限公司陈硕获国家专利权

北京奕斯伟计算技术有限公司陈硕获国家专利权

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

龙图腾网获悉北京奕斯伟计算技术有限公司申请的专利基于程序运行进程的断点设置方法、电子设备和存储介质获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN114780409B

龙图腾网通过国家知识产权局官网在2026-03-27发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202210441917.X,技术领域涉及:G06F11/362;该发明授权基于程序运行进程的断点设置方法、电子设备和存储介质是由陈硕;徐旭明设计研发完成,并于2022-04-25向国家知识产权局提交的专利申请。

基于程序运行进程的断点设置方法、电子设备和存储介质在说明书摘要公布了:本公开提供了一种基于程序运行进程的断点设置方法、电子设备和存储介质,其中,该断点设置方法包括:扫描待运行程序的反汇编文件,识别所有分支节点类型,根据指令集体系架构设置相关分支节点指令信息,获得记录有所有分支节点信息的初始跳转表;对初始的跳转表进行解析,并执行预设指令设置断点表;在程序被调度到运行状态时,根据前述断点表按照固定断点间隔粒度对预设指令进行顺序设置断点地址,和或在某一分支节点检测无故障时,通过指令修改断点间隔粒度,调整该分支节点的断点地址并更新前述的断点表。由此可实现软件验证过程中的全自动分析,且只需要针对指令集架构进行一次配置即可,能有效提高程序的操作运行效率。

本发明授权基于程序运行进程的断点设置方法、电子设备和存储介质在权利要求书中公布了:1.一种基于程序运行进程的断点设置方法,其特征在于,包括: 扫描待运行程序的反汇编文件,识别所有分支节点类型,根据指令集体系架构设置相关分支节点指令信息,获得记录有所有分支节点信息的初始跳转表,所述分支节点类型包括无条件分支节点、有条件分支节点、Trap返回分支节点和异常分支节点; 对初始的所述跳转表进行解析,并执行预设指令设置断点表; 在所述程序被调度到运行状态时,根据所述断点表按照固定断点间隔粒度对所述预设指令进行顺序设置断点地址,和或在某一分支节点检测无故障时,通过指令修改断点间隔粒度,调整该分支节点的断点地址并更新所述断点表, 其中,所述对初始的所述跳转表进行解析,并执行预设指令设置断点表的步骤中包括: 分析所述跳转表中有条件分支节点信息,判断是否需要调整循环断点间隔粒度; 确定是,则查找并标记所述跳转表中反向有条件跳转的分支节点,将所述反向有条件跳转的分支节点在所述断点表中所对应的目标点从所述断点表中移除,或者指令修改其寄存器地址为条件断点; 确定否,分析所述跳转表中异常分支节点信息,判断是否调整异常断点; 确定是,则根据所述程序源代码和反汇编文件查找与故障对应的handler入口地址,设置新断点,并将所述新断点替换该入口地址对应的异常断点; 确定否,结束该程序运行进程中的断点设置。

如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人北京奕斯伟计算技术有限公司,其通讯地址为:100176 北京市大兴区北京经济技术开发区科创十街18号院3号楼1层101室;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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

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