-
公开(公告)号：CN118656125B
公开(公告)日：2024-11-15
申请号：CN202411146900.7
申请日：2024-08-21
Applicant: 南开大学 , 先进计算与关键软件(信创)海河实验室 , 天开宏图(天津)科技有限公司
Abstract: 本发明提供了一种云边端协同检测克隆代码的方法、装置和存储介质，涉及软件工程技术领域，包括：对两个待比较的可执行文件进行解析筛选出疑似克隆代码对；进行符号执行，获取路径约束特征，进行符号执行期间遵循如下策略：当符号执行运行在某个节点的时间超过第一阈值后，舍弃此分支；当符号执行运行在某个分支时，检测到占用内存空间资源超过第二阈值，舍弃此分支；当符号执行遇到循环结构或者递归调用结构时，只运行一次循环和递归调用的内部代码，再跳出循环和递归；使用特解判断疑似克隆代码对的约束表达式是否等价。本发明通过符号执行技术获取二进制代码新的代码特征，路径约束，从而实现代码语义克隆检测，提升了代码克隆检测准确度。
-
公开(公告)号：CN118656059B
公开(公告)日：2024-10-25
申请号：CN202411131546.0
申请日：2024-08-19
Applicant: 南开大学 , 先进计算与关键软件(信创)海河实验室 , 天开宏图(天津)科技有限公司
Abstract: 本发明提供了一种边端设备误触管控检测方法、装置和存储介质，涉及软件工程技术领域，包括：基于页面遍历算法检测各个页面的可访问性；根据页面相似度判定每一个新页面是否需要测试；对当前页面中的控件进行筛选，以确定待检测控件；对待检测控件的中心点进行模拟点击，生成中心点击结果；在距待检测控件的中心点一定距离的控件边缘处进行模拟点击，生成边缘点击结果；将边缘点击结果与中心点击结果进行比较，以确定待检测控件是否存在可访问性问题。本发明结合了静态检测，动态检测，通过模拟用户操作后的资源变化和页面变化来判断待检测控件是否存在可访问性问题。以便为开发人员提供更可靠的可访问性评估和改进建议。
-
公开(公告)号：CN118656059A
公开(公告)日：2024-09-17
申请号：CN202411131546.0
申请日：2024-08-19
Applicant: 南开大学 , 先进计算与关键软件(信创)海河实验室 , 天开宏图(天津)科技有限公司
Abstract: 本发明提供了一种边端设备误触管控检测方法、装置和存储介质，涉及软件工程技术领域，包括：基于页面遍历算法检测各个页面的可访问性；根据页面相似度判定每一个新页面是否需要测试；对当前页面中的控件进行筛选，以确定待检测控件；对待检测控件的中心点进行模拟点击，生成中心点击结果；在距待检测控件的中心点一定距离的控件边缘处进行模拟点击，生成边缘点击结果；将边缘点击结果与中心点击结果进行比较，以确定待检测控件是否存在可访问性问题。本发明结合了静态检测，动态检测，通过模拟用户操作后的资源变化和页面变化来判断待检测控件是否存在可访问性问题。以便为开发人员提供更可靠的可访问性评估和改进建议。
-
公开(公告)号：CN118656125A
公开(公告)日：2024-09-17
申请号：CN202411146900.7
申请日：2024-08-21
Applicant: 南开大学 , 先进计算与关键软件(信创)海河实验室 , 天开宏图(天津)科技有限公司
Abstract: 本发明提供了一种云边端协同检测克隆代码的方法、装置和存储介质，涉及软件工程技术领域，包括：对两个待比较的可执行文件进行解析筛选出疑似克隆代码对；进行符号执行，获取路径约束特征，进行符号执行期间遵循如下策略：当符号执行运行在某个节点的时间超过第一阈值后，舍弃此分支；当符号执行运行在某个分支时，检测到占用内存空间资源超过第二阈值，舍弃此分支；当符号执行遇到循环结构或者递归调用结构时，只运行一次循环和递归调用的内部代码，再跳出循环和递归；使用特解判断疑似克隆代码对的约束表达式是否等价。本发明通过符号执行技术获取二进制代码新的代码特征，路径约束，从而实现代码语义克隆检测，提升了代码克隆检测准确度。
-
-
-
Search Results
4
records
(took 0.081 seconds)
