一种基于FlowDroid工具的实时漏洞检测系统、方法与存储介质

    公开(公告)号:CN115391793B

    公开(公告)日:2023-02-17

    申请号:CN202211314916.5

    申请日:2022-10-26

    Applicant: 清华大学

    Inventor: 李池 周旻

    Abstract: 本申请提供一种基于FlowDroid工具的实时漏洞检测系统、方法与存储介质,属于计算机漏洞检测技术领域。所述系统包括:实时监控模块,用于在检测到目标Web应用的内容发生变化时,向所述中央服务器发送所述目标Web应用变化的上下文信息;中央服务器,用于在接收到所述目标Web应用变化的上下文信息后,确定所述目标Web应用的最新版本,并将所述目标Web应用变化后的最新版本的URL地址和当前检测的安全规则放入消息队列中;漏洞检测模块,根据所述消息队列中的URL地址,下载所述目标Web应用的目标项目,并基于所述当前检测的安全规则,通过改进的FlowDroid工具生成变化后的目标Web应用的漏洞检测结果。本申请旨在增强Web应用程序的安全性。

    一种基于FlowDroid工具的实时漏洞检测系统、方法与存储介质

    公开(公告)号:CN115391793A

    公开(公告)日:2022-11-25

    申请号:CN202211314916.5

    申请日:2022-10-26

    Applicant: 清华大学

    Inventor: 李池 周旻

    Abstract: 本申请提供一种基于FlowDroid工具的实时漏洞检测系统、方法与存储介质,属于计算机漏洞检测技术领域。所述系统包括:实时监控模块,用于在检测到目标Web应用的内容发生变化时,向所述中央服务器发送所述目标Web应用变化的上下文信息;中央服务器,用于在接收到所述目标Web应用变化的上下文信息后,确定所述目标Web应用的最新版本,并将所述目标Web应用变化后的最新版本的URL地址和当前检测的安全规则放入消息队列中;漏洞检测模块,根据所述消息队列中的URL地址,下载所述目标Web应用的目标项目,并基于所述当前检测的安全规则,通过改进的FlowDroid工具生成变化后的目标Web应用的漏洞检测结果。本申请旨在增强Web应用程序的安全性。

    基于多模型的C语言程序代码规范构造方法

    公开(公告)号:CN107943481B

    公开(公告)日:2021-01-26

    申请号:CN201710367175.X

    申请日:2017-05-23

    Abstract: 本发明首先针对源代码进行了五种代码特征定义模型的抽象化封装,并且通过程序元素间的属性关联实现了这五种代码特征定义模型的融合,为用户提供了一种融合的多维代码查询特征定义模型。使用文本式的查询语言PRDL,在解析PRDL的语义和执行其语法动作的同时,实现了对于目标程序源代码的对应分析和检查。通过使用本发明,用户能高效快捷的对编码规范规则进行形式化定义,并对代码进行自主检查,从而达到提高代码整合质量、提高编程效率的技术效果。

    基于指令伪装的程序编译抓取系统及方法

    公开(公告)号:CN109343855B

    公开(公告)日:2020-12-29

    申请号:CN201811150584.5

    申请日:2018-09-29

    Applicant: 清华大学

    Abstract: 本发明公开了一种基于指令伪装的程序编译抓取系统及方法,其中,该系统包括:指令伪装模块用于获取抓取对象的当前使用指令,以将伪装指令替代当前使用指令,并指示编译抓取方法执行伪装指令;指令参数处理模块用于根据伪装指令的关键信息识别指令执行类型,并得到当前使用指令的源头文件和目标文件;依赖文件抓取模块用于根据指令执行类型获取执行伪装指令过程中所有中间文件、链接库、依赖文件和/或编译结果文件,获取并存储抓取的结果文件。该系统可以在无人工的参与下,直接提供给静态分析技术或其他处理进行程序的相关检验,避免了编译过程中文件删除导致的编译抓取时文件丢失等情况,并且支持多平台编译,使得没有额外第三方的资源依赖。

    融合深度子树交互的代码克隆检测方法、装置及电子设备

    公开(公告)号:CN118051257A

    公开(公告)日:2024-05-17

    申请号:CN202311825583.7

    申请日:2023-12-27

    Applicant: 清华大学

    Abstract: 本发明提供一种融合深度子树交互的代码克隆检测方法、装置及电子设备,其中的方法包括:获取基准代码块对应的第一抽象语法树,以及待检测代码块对应的第二抽象语法树;将第一抽象语法树划分为多棵第一子树,并将第二抽象语法树划分为多棵第二子树;计算第一子树与第二子树的子树相似度,以及第一抽象语法树与第二抽象语法树的语法树相似度;根据子树相似度和语法树相似度,获取待检测代码块的代码克隆检测结果。该方法通过以代码块为检测粒度,在比较抽象语法树级别的相似度的基础上,将子树级别的相似度也纳入代码克隆检测范畴,极大地提升了代码克隆检测的精确度和召回度,具有广泛的应用价值。

    一种遥感图像分层分割方法、装置、终端及存储介质

    公开(公告)号:CN112164066A

    公开(公告)日:2021-01-01

    申请号:CN202011079185.1

    申请日:2020-10-10

    Applicant: 清华大学

    Inventor: 周旻 张冉

    Abstract: 本发明实施例公开一种遥感图像分层分割方法、装置、终端及存储介质。该方法包括:读取待处理遥感图像,并获取尺寸信息;检测待处理遥感图像的波段数量和波段信息;计算图像金字塔所包括的缩略图层数、每层对应的缩略图尺寸和图像块数;根据图像金字塔中每层对应的缩略图尺寸和图像块数,计算图像金字塔每层中每个图像块的坐标信息;针对图像金字塔每层的每个图像块,计算该图像块对应在待处理遥感图像中待切割图片的坐标信息和尺寸;针对图像金字塔每层,选取目标波段在待处理遥感图像中进行切割,生成该层对应的缩略图;合并各缩略图,生成待处理遥感图像对应的通道合成图像。应用本发明实施例提供的方案,能够保证处理后图像的大小和质量。

    一种基于PRDL规则描述语言的C程序代码规范检查装置

    公开(公告)号:CN106970819B

    公开(公告)日:2020-07-10

    申请号:CN201710191241.2

    申请日:2017-03-28

    Applicant: 清华大学

    Inventor: 周旻 顾明 孙家广

    Abstract: 本发明提供一种基于PRDL规则描述语言的C语言代码规范检查装置及其检查方法,代码规范检查装置包括五个功能模块:规则解析器,程序解析器,规则检查引擎,缺陷报告器,用户交互接口。其中,规则解析器由语义解析器和查询优化器两个子功能模块组成,负责解析PRDL规则语义生成初始逻辑查询计划,再对该计划进行重写优化。程序解析器由代码行解析器、标记流解析器、语法树解析器三个子功能模块所组成,负责对源代码进行文本特征抽取和结构特征抽取,将抽取得到的三个层次(代码行、标记、语法树)的模型融合成C程序模型。本发明对用户选择或定义的PRDL规则进行语义解析,从而获取违背规则的缺陷代码相关信息,将检查结果报告给用户进行审核与评估。

Patent Agency Ranking