金融界2024年11月27日消息,国家知识产权局信息显示,北京轩宇信息技术有限公司申请一项名为“一种中断驱动型程序多变量原子性违反检测方法”的专利,公开号 CN 119025409 A,申请日期为2024年7月。
专利摘要显示,本发明提供了一种中断驱动型程序多变量原子性违反检测方法,包括:以真实航天嵌入式软件为数据库,筛选配有详细文档和带有注释源代码的软件,作为关联变量对识别模型的训练数据集;以共享变量对为对象,通过静态分析对训练数据集中的软件中的共享变量对进行特征提取,构建考虑关联变量对的关联性特征的训练数据集样本;构建学习模型并使用训练数据集样本进行训练,得到一个能够自动识别关联变量对的分类器模型;对待分析源程序进行分析,构建变量对样本作为测试样本;将测试样本输入所述的分类器模型进行关联变量对识别;根据识别的关联变量对得到原子区,分析中断的抢占是否可能破坏原子区,完成多变量原子性违反检测。
本文源自:金融界
作者:情报员
特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.