“祝世豪”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果2个，建议您升级VIP下载更多相关专利

[发明专利]兼容控制流变化的基于偏序关系的通用并发缺陷检测方法及系统-CN202310379726.X在审
发明人： 祝世豪;蔡彦 -专利权人：中国科学院软件研究所
申请日： 2023-04-11 - 公布日： 2023-07-04 - 主分类号： G06F11/36 文献下载
摘要：本发明提出一种兼容控制流变化的基于偏序关系的通用并发缺陷检测方法及系统，包括：提出独创概念不动点事件、等价序列和后缀边界；对待测目标程序进行插桩并收集原始执行序列；根据执行序列中记录的静态信息和目标程序计算不动点事件和后缀边界信息；根据变量在多线程间的共享情况移除部分事件得到精简执行序列；根据目标缺陷类型寻找可疑事件对并构造可疑序列；为可疑序列构建等价序列；最终通过偏序闭包算法对待测序列进行验证，并执行环路检查确认可疑事件对是否构成并发缺陷。本发明兼容控制流变化，覆盖数据竞争、死锁、原子性违背、释放后重用、空指针解引用、指针多次释放等并发缺陷，能够在多项式时间内得到检测结果，且不会产生误报。
兼容控制流变基于关系通用并发缺陷检测方法系统

[发明专利]基于元数据的内存漏洞检测方法、系统、设备及存储介质-CN202211188782.7在审
发明人：蔡彦;祝世豪 -专利权人：北京元鸟科技有限公司
申请日： 2022-09-28 - 公布日： 2023-01-13 - 主分类号： G06F21/57 文献下载
摘要：本申请提供了一种基于元数据的内存漏洞检测方法、系统、电子设备及计算机可读存储介质。该基于元数据的内存漏洞检测方法，包括：将程序虚拟地址分割为从高位到低位依次排列的Unusable项、ID项和偏移项；在目标程序运行过程中，维护元数据，并针对涉及内存访问操作的指令，根据目标地址中包含的ID值加载对应元数据；依据元数据与目标地址中的偏移值和ID对应的时间戳，进行内存漏洞的检测。根据本申请实施例，能够全面的、跨平台的、高可扩展性的进行内存漏洞的检测。
基于数据内存漏洞检测方法系统设备存储介质