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

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

[发明专利]一种用于代码溯源的程序水印嵌入和提取方法及系统-CN202310718912.1在审
发明人：张迎周;潘世文;白瑶瑶;薛渝川;谢金言;李涵 -专利权人：南京邮电大学
申请日： 2023-06-16 - 公布日： 2023-10-10 - 主分类号： G06F21/16 文献下载
摘要：本发明公开了一种用于代码溯源的程序水印嵌入和提取方法及系统，包括：由源代码构建函数调用图；按照逆拓扑排序遍历函数调用图，将存在调用关系的函数划分为一个代码块并对每一个代码块进行信息流分析得到代码块中的信息流关系；构建源程序的代码属性图；根据代码块中的信息流关系和代码属性图形成程序联合属性图；对程序联合属性图中变量节点的关系边数进行计算并选取关键节点；根据关键节点和用户身份信息嵌入水印；将关键节点作为依据进行双向程序切片，并根据水印提取规则提取水印。本发明不仅可减小水印损失的风险，还可加强水印与源代码间的依赖并提高隐蔽性，降低在静态分析中被发现的风险，无需依赖源代码也能提取到水印信息。
一种用于代码溯源程序水印嵌入提取方法系统

[发明专利]一种基于高阶函数的数据竞争检测方法-CN202310094558.X有效
发明人：张迎周;薛渝川;白瑶瑶;潘世文;谢金言;杨嘉毅 -专利权人：南京邮电大学
申请日： 2023-02-10 - 公布日： 2023-07-04 - 主分类号： G06F11/34 文献下载
摘要：本发明公开了一种基于高阶函数的数据竞争检测方法，包括：对程序进行预处理，构建跨线程函数调用图和各函数的控制流图，按照逆拓扑排序的顺序遍历函数调用图，确定每个函数的分析顺序；按序选取一个待分析的函数，遍历函数的控制流图，获取各个函数的高阶函数摘要和由于函数调用和参数传递产生的过程间访问事件集；基于向量时钟和高阶函数摘要对访问事件进行发生序分析；通过数据竞争发生的条件排除不满足的访问事件对，获取所有可能发生数据竞争的结果。本发明可方便在调用点处按实参和形参对应的关系完成函数摘要中高阶函数参数的代入，有效提高了过程间数据竞争信息收集的效率，再通过向量时钟与函数摘要的结合，可进行高效的发生序分析。
一种基于函数数据竞争检测方法

[发明专利]一种基于循环不变式的间接跳转目标地址识别方法及装置-CN202210686923.1在审
发明人：张迎周;谢金言;薛渝川;白瑶瑶;潘世文;李涵;许碧欢 -专利权人：南京邮电大学
申请日： 2022-06-17 - 公布日： 2022-09-30 - 主分类号： G06F8/41 文献下载
摘要：本发明提供了一种基于循环不变式的间接跳转目标地址识别方法及装置。方法包括：将二进制程序解码成中间表示BRIL；根据BRIL语义和控制流结构计算循环不变式，并将其保存到分析树的结点中；深度优先遍历分析树，将循环不变式不断约简合并，生成约束表达式集；对约束表达式集求解，得到间接跳转目标地址；将目标地址处的语句作为分析入口，目标地址作为初始值，重新进行分析树的构建、约束表达式集的生成和求解，直到间接跳转目标地址不再发生变化（不动点）。本发明相比于传统数据流分析的方法，利用循环不变式来增加对地址数据的分析深度，并能够减少对循环结构的分析次数，从而提高间接跳转目标地址识别的准确度和效率。
一种基于循环不变间接跳转目标地址识别方法装置