-
公开(公告)号:CN118796200A
公开(公告)日:2024-10-18
申请号:CN202410474545.X
申请日:2024-04-19
Applicant: 北京理工大学
IPC: G06F8/41 , G06F18/213 , G06F18/25 , G06N3/0464 , G06N3/0442 , G06N3/045
Abstract: 本发明公开了一种多维源代码表征学习方法和装置,包括:获取源代码的词法单元Token序列、抽象语法树AST、程序依赖图PDG;根据Token序列获取源代码的属性特征向量,根据AST获取源代码的结构特征向量,根据PDG获取源代码的语义特征向量,实现了将源代码的语义信息表示为稠密低维实值向量,在低维空间中高效计算实体和关系的语义联系。通过对属性特征向量、结构特征向量、语义特征向量进行特征融合处理,获取源代码的多维表征,实现了对代码信息的充分利用,以更加全面准确与智能化的方式提高下游代码任务的准确率。
-
公开(公告)号:CN116010245A
公开(公告)日:2023-04-25
申请号:CN202211571967.6
申请日:2022-12-08
Applicant: 北京理工大学
IPC: G06F11/36
Abstract: 本发明提供一种基于变异的测试用例自动生成系统,先对初始测试用例进行解析,然后根据解析得到的用例子节点数据,获取对应的组成结构和字段类型信息,再根据对应的子节点数据类型,应用针对性的具有正确语义的变异操作生成新的测试用例,因此解决了变异操作损坏用例格式无法生成有效用例的问题;与此同时,本发明使用随机化和基于语义的变异,根据数据类型采用对应语义的变异策略,增强生成的测试用例的针对性和有效性,同时通过随机化的变异策略,增强生成的测试用例的差异性和丰富性,同时,采用多种针对XML和JSON格式特点设计的变异策略,最大程度消除不同来源的XML和JSON格式测试用例生成任务的差异性,增强测试用例生成方法的通用性。
-
公开(公告)号:CN109101422B
公开(公告)日:2022-02-22
申请号:CN201810820845.3
申请日:2018-07-24
Applicant: 北京理工大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于AFL的模糊测试变异方法和装置,在AFL的确定性变异阶段确定测试用例的有效字节;在确定性变异阶段,根据所述有效字节的信息确定变异字节,不变异全无效字节;在破坏性变异阶段,根据所述有效字节的信息指导变异,如果当前随机选择的字节是有效字节,则一定变异;否则给予小概率变异。使用本发明能够提高AFL的效率,而且能够解决现有符号执行和污点分析技术带来的资源消耗增加的问题。
-
公开(公告)号:CN109739755B
公开(公告)日:2020-07-10
申请号:CN201811612236.5
申请日:2018-12-27
Applicant: 北京理工大学
IPC: G06F11/36
Abstract: 本发明提供一种基于程序追踪和混合执行的模糊测试系统,该系统主要包括三个模块,分别是模糊测试模块、数据流追踪模块和混合执行模块;模糊测试模块的输入为目标二进制程序、种子测试用例和由数据流追踪模块提取的种子测试用例中字节序列对应变量的类型信息,输出为触发新路径的测试用例;数据流追踪模块的输入为目标二进制程序和模糊测试模块加载的种子测试用例,输出为种子测试用例中字节序列对应变量的类型信息和目标二进制程序中数据的依赖关系;混合执行模块的输入为数据流追踪模块实时提供的目标二进制程序中数据的依赖关系,输出为由该模块新生成的可能触发新路径的候选测试用例。该系统相比于现有技术,能够提升测试用例生成的有效性。
-
公开(公告)号:CN107368739B
公开(公告)日:2020-02-07
申请号:CN201710619371.1
申请日:2017-07-26
Applicant: 北京理工大学
Abstract: 本发明公开了内核驱动的监视方法和装置,该方法包括:获取迁移到虚拟机中的物理机的操作系统内核中的驱动的基础信息,利用驱动的基础信息对驱动的权限以及操作系统内核中需保护对象的内存权限进行设置;设置虚拟机控制结构VMCS,根据设置的所述目标驱动的权限,设置的所述需保护对象的内存权限以及设置的所述VMCS,当捕获到驱动的行为引起的预设异常时,触发虚拟机退出事件并输出监视信息完成对驱动的监视。本发明实施例的方案基于虚拟机监视器更高权限特性,解决了监视程序容易被恶意驱动绕过,监视效果差的问题。
-
公开(公告)号:CN109062795A
公开(公告)日:2018-12-21
申请号:CN201810819656.4
申请日:2018-07-24
Applicant: 北京理工大学 , 北京计算机技术及应用研究所
IPC: G06F11/36
CPC classification number: G06F11/3676 , G06F11/3688
Abstract: 本发明公开了一种模糊测试用例选择方法和装置,适用于AFL过程中待变异测试用例的选择。该方法在采用AFL方法选择待变异测试用例时,引入测试用例的分支覆盖率、覆盖预测因子和路径频次三个影响因子确定测试用例的分数,根据分数确定特权测试用例;特权测试用例优先被选为待变异的测试用例。使用本发明能够减小时间和空间上的浪费,提高模糊测试效率。
-
公开(公告)号:CN104899147B
公开(公告)日:2017-11-28
申请号:CN201510347630.0
申请日:2015-06-19
Applicant: 北京理工大学
Abstract: 本发明公开了一种面向安全检查的代码静态分析方法,该方法首先生成程序安全检查的中间表示如控制流图和程序调用图等,获得程序的函数依赖关系;若程序调用图中存在递归环,则意味着函数依赖中存在递归。其次得到程序调用图中各依赖的权值;最后根据依赖重要性即权值决定要解除的依赖关系,提高程序漏洞的检测效率的同时,尽量降低解除递归函数依赖造成的检测损失。
-
公开(公告)号:CN107292890A
公开(公告)日:2017-10-24
申请号:CN201710465828.8
申请日:2017-06-19
Applicant: 北京理工大学
CPC classification number: G06T7/11 , G06T7/136 , G06T7/194 , G06T2207/10088 , G06T2207/30101
Abstract: 本发明公开了一种医学图像分割方法和装置,方法包括:步骤S11,获取磁共振血管造影图像;步骤S12,对磁共振血管造影图像,利用Otsu阈值法划分成感兴趣的前景区域和背景区域,并计算前景区域和背景区域的方差函数最大值对应的前景区域的像素点灰度均值和背景区域的像素点灰度均值的差值;步骤S13,根据所述差值确定图像分割模型C-V演化曲线的内部和外部图像灰度均值的差值,根据确定出的演化曲线内部和外部的图像灰度均值的差值对所述磁共振血管造影图像进行分割,得到分割结果。该医学图像分割装置包括图像获取模块,差值确定模块和分割模块,本发明实施例的医学图像分割方法和装置提高了分割效果和处理速度,满足了需求。
-
公开(公告)号:CN106997437A
公开(公告)日:2017-08-01
申请号:CN201710121236.4
申请日:2017-03-02
Applicant: 北京理工大学
IPC: G06F21/57
CPC classification number: G06F21/577
Abstract: 本发明公开了一种系统漏洞防护方法和装置,该方法包括:检测目标系统中的漏洞;获取目标系统的权限分级,并基于权限分级构建目标系统的漏洞之间的关联关系图;根据构建的漏洞之间的关联关系图,计算关联关系图的核度,确定出目标系统的核心漏洞;修复所述核心漏洞,以实现对目标系统的防护。本实施例的系统漏洞防护方案基于目标系统的权限分级建立漏洞之间的关联关系图,并采用核度理论揭示漏洞之间的关联关系,找到对漏洞关联关系图整体影响最高的漏洞,确定系统中的关键漏洞,实现对漏洞的高效率防护,提高系统的安全性。
-
公开(公告)号:CN103812729B
公开(公告)日:2017-02-08
申请号:CN201410056869.8
申请日:2014-02-19
Applicant: 北京理工大学
IPC: H04L12/26
Abstract: 本发明提供了一种网络协议模糊测试方法和装置,能够解决现有的对网络协议进行模糊测试方式中存在的测试用例集不够智能化,以及会产生大量冗余测试用例的缺陷。步骤一、获取待测试的网络协议对应的多个协议域,由所述多个协议域构成协议域序组;步骤二、获取每个协议域的属性和所述属性对应的属性值;步骤三、对于每个协议域,将该协议域中的各属性的属性值进行组合运算,得到变异值,由该变异值构成面向所述协议域的测试数据集合;步骤四、对每个测试数据集合中的每个变异值,分别利用该变异值替换协议域序组中所述测试数据集合对应的协议域,得到替换后的协议域序组实例;步骤五、根据由所有测试数据集合得到的替换后的协议域序组实例,得到所述网络协议的测试用例。
-
-
-
-
-
-
-
-
-