基于seq2seq代码表示学习的细粒度漏洞检测方法

    公开(公告)号:CN114969763A

    公开(公告)日:2022-08-30

    申请号:CN202210700763.1

    申请日:2022-06-20

    Abstract: 本发明公开了一种基于seq2seq代码表示学习的细粒度漏洞检测方法,首先,提取漏洞候选关键节点作为切片准则,再使用程序切片技术提取程序中的切片代码段。然后,使用基于seq2seq深度学习模型,对切片代码段进行表示学习,生成包含语句间长依赖关系的语句向量表示序列,将序列中每条语句的向量表示送入检测器中,检测其是否为漏洞语句。该方法能够充分利用代码中的全局和局部语义信息,学习语句内和语句间的漏洞相关的特征,避免传统的基于深度学习分类模型对代码表示学习时难以捕获漏洞语句及其上下文之间的长依赖信息的问题,利用seq2seq模型对代码进行表示学习生成的语句向量表示序列,更适合语句级的细粒度漏洞检测。

    一种基于深度学习模型GPT-2的脓毒症早期预警方法

    公开(公告)号:CN111951975B

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

    申请号:CN202010839209.2

    申请日:2020-08-19

    Abstract: 本发明公开了一种基于深度学习模型GPT‑2的脓毒症早期预警方法,在选定的时间跨度内提取ICU内病患的特征变量,组成一个高维度、随时间变化的序列,并将该序列经过数据预处理后输入到基于改进的GPT‑2模型中以结合病患的近期临床表现提取到与ICU病患目前病情最接近的一种有效表示,将得到的该表示输入到一个全连接前馈网络层预测患者在接下来的时间内患有脓毒症的概率。本发明可以最大程度利用ICU内的病患常规指标,并可以根据时间的变化来预测病患面临的风险,类似于重症监护医生每日查房期间反复分析和更新重症监护病房的患者管理,该方法结合病患前几天的临床表现,根据大量可用数据做出预测结果,具有时效性,准确度更高。

    一种基于程序不变量的软件故障定位方法及装置

    公开(公告)号:CN109144882B

    公开(公告)日:2021-07-06

    申请号:CN201811096080.X

    申请日:2018-09-19

    Abstract: 本发明公开了一种程序不变量的软件故障定位方法及装置。该方法包括:针对目标软件源代码进行语句、值和逻辑表达式级的插桩,采用预设的测试用例集合执行插桩后的源代码,获得执行信息;对预设失败测试用例集合进行聚类,并对每个聚类,选择有助于区分缺陷语句的成功测试用例集合;学习优选成功测试用例集合的执行信息,获得程序不变量集合,包括集合型、真值表型和浮点型范围不变量;根据失败测试用例集合的执行信息和程序不变量集合检测不变量违背,获得可疑语句集合。采用依赖分析过滤掉因故障传播导致的不变量违背误检,统计分析各语句处的不变量违背,计算语句可疑度。本发明提高了软件故障定位的准确性,克服了逻辑表达式缺陷定位漏检问题。

    一种使用收缩执行依赖图识别库函数的方法

    公开(公告)号:CN103577728B

    公开(公告)日:2016-03-30

    申请号:CN201310572174.0

    申请日:2013-11-16

    Abstract: 一种使用收缩执行依赖图识别库函数的方法,属于软件逆向工程领域。所述方法为:1)对目标函数和库函数建立执行依赖图(EDG);2)对EDG的局部EDG序列化,得到特征值序列和有序邻接矩阵;3)参照库函数EDG将目标函数和库函数EDG中有唯一点序列且不包含库函数EDG首尾的局部EDG收缩成点;4)判断库函数收缩EDG是否是目标函数收缩EDG的同构子图;5)验证识别结果是否有效。本方法不但能准确识别完整库函数,还能识别传统方法不能识别的多态及非连续字节的内联库函数,并有效缩短识别时间。

    一种使用收缩执行依赖图识别库函数的方法

    公开(公告)号:CN103577728A

    公开(公告)日:2014-02-12

    申请号:CN201310572174.0

    申请日:2013-11-16

    CPC classification number: G06F21/14

    Abstract: 一种使用收缩执行依赖图识别库函数的方法,属于软件逆向工程领域。所述方法为:1)对目标函数和库函数建立执行依赖图(EDG);2)对EDG的局部EDG序列化,得到特征值序列和有序邻接矩阵;3)参照库函数EDG将目标函数和库函数EDG中有唯一点序列且不包含库函数EDG首尾的局部EDG收缩成点;4)判断库函数收缩EDG是否是目标函数收缩EDG的同构子图;5)验证识别结果是否有效。本方法不但能准确识别完整库函数,还能识别传统方法不能识别的多态及非连续字节的内联库函数,并有效缩短识别时间。

    一种新的使用逆向扩展控制流图的静态函数识别方法

    公开(公告)号:CN103440122A

    公开(公告)日:2013-12-11

    申请号:CN201310291941.0

    申请日:2013-07-12

    Abstract: 一种新的使用逆向扩展控制流图的静态函数识别方法,属于软件逆向工程领域。所述方法包括如下步骤:步骤1:建立区域逆向扩展控制流图的集合;步骤2:对逆向扩展控制流图去噪,删除构建过程中搜索出的非编译器能生成的节点;步骤3:删除和合并逆向扩展控制流图;步骤4:在逆向扩展控制流图中识别函数入口;步骤5:得到指定区域中多个函数的识别结果。与传统方法不同,本发明以函数的返回指令作为识别特征,以函数返回指令节点作为逆向搜索起点构建逆向扩展控制流图,能够在指定二进制代码区域中识别多个函数,并且能够有效识别传统静态识别方法无法识别的无特定头字节特征及无交叉引用的函数。

    一种安卓框架演变场景下的权限与API表示方法

    公开(公告)号:CN119166205A

    公开(公告)日:2024-12-20

    申请号:CN202411308447.5

    申请日:2024-09-19

    Abstract: 本发明公开了一种安卓框架演变场景下的权限与API表示方法,所述方法如下:收集各版本安卓权限描述和各版本安卓框架代码库;从各版本安卓权限描述中获取所有被弃用的权限及相应的替换权限;为被弃用的权限各自构造一个集合,每个集合包含一个被弃用的权限及其相应的替换权限,把具有公共元素的集合进行合并,得到安卓框架演变场景下权限的表示形式;从各版本安卓框架代码库中获取所有被弃用的API及相应的替换API;为被弃用的API各自构造一个集合,每个集合包含一个被弃用的API及其相应的替换API,把具有公共元素的集合进行合并,得到安卓框架演变场景下API的表示形式。本发明可以提高对安卓程序功能性建模的准确性。

Patent Agency Ranking