-
公开(公告)号:CN113468525A
公开(公告)日:2021-10-01
申请号:CN202110564173.6
申请日:2021-05-24
Applicant: 中国科学院信息工程研究所
Abstract: 本发明公开了一种针对二进制程序的相似漏洞检测方法及装置,根据已知漏洞函数以及对应的二进制文件、已知漏洞点,对待检测二进制文件中每一待检测函数进行粗粒度的相似漏洞函数筛选和细粒度的相似漏洞函数识别,得到与已知漏洞相似的相似漏洞函数。本发明通过引入已知漏洞点,结合使用函数与漏洞两方面的信息,不仅能够通过轻量级特征距离对待测函数集合进行粗粒度筛选,还能在轻量级特征的提取中不依赖于特定的指令集,同时特征受编译选项以及代码定制化重用影响较小,且能准确捕捉二进制代码的执行语义,从而有效地提高了检测的效率与准确度。
-
公开(公告)号:CN110147310B
公开(公告)日:2021-05-18
申请号:CN201910261097.4
申请日:2019-04-02
Applicant: 中国科学院信息工程研究所
IPC: G06F11/36
Abstract: 本发明公开了一种基于变异策略的并行模糊测试调度方法及装置。本方法为:1)对模糊测试器中用于生成测试用例数据的变异策略进行静态分配,为并行的不同测试实例分配不同的变异策略;2)各测试实例根据分配的变异策略生成测试样本对设定目标程序进行模糊测试过程中,收集不同变异策略对该目标程序作用时产生的异常数目和测试覆盖率信息;3)根据各变异策略对应的异常数目和测试覆盖率信息,计算各变异策略对该目标程序的优势权重;4)根据变异策略的优势权重建立并行调度模型,动态优化并行模糊测试调度方案。本发明利用优势变异策略来优化不同目标程序的并行模糊测试执行效果,具有普遍适用性。
-
公开(公告)号:CN112631901A
公开(公告)日:2021-04-09
申请号:CN202011486603.9
申请日:2020-12-16
Applicant: 中国科学院信息工程研究所
IPC: G06F11/36
Abstract: 本发明公开了一种基于妨碍特征的模糊测试工具测试方法及电子装置,包括:获取输入数据长度与漏洞相关字节数,生成条件分支语句与噪声路径,得到若干包含漏洞触发条件妨碍特征的配置文件;利用条件分支语句组成程序执行路径,将漏洞函数插入到程序执行路径中生成结构文件,并将优化辅助妨碍特征添加到结构文件中;根据配置文件生成源代码片段来定义程序变量,根据结构文件生成相应的漏洞触发路径源码片段,并植入到模板文件中,生成若干目标程序;依据各目标程序对待测模糊测试工具的测试结果,推断待测模糊测试工具的能力。本发明可标注目标程序包含的妨碍特征,获取各妨碍特征对被测工具的影响程度,提高模糊测试工具测评的可解释性。
-
公开(公告)号:CN109117364A
公开(公告)日:2019-01-01
申请号:CN201810713776.6
申请日:2018-07-03
Applicant: 中国科学院信息工程研究所
IPC: G06F11/36
Abstract: 本发明提供一种面向目标的测试用例生成方法,步骤包括:计算目标程序的CFG上每个结点到目标的距离,该目标为CFG上的一个结点或一条边;根据该距离进行导向模糊测试,如果该输入覆盖目标,则生成面向目标的测试用例,否则调用导向符号执行;将导向符号执行产生的输入同步到导向模糊测试的队列中以优先变异,如果该输入覆盖目标,则生成面向目标的测试用例。本发明将导向模糊测试和导向符号执行相结合,既解决模糊测试无法变异满足复杂约束的局限性,又能弥补符号执行的扩展性问题;同时设计了更加高效的导向策略以及两者结合时的交互策略,提高面向目标的测试用例生成效率。
-
公开(公告)号:CN109002354A
公开(公告)日:2018-12-14
申请号:CN201710421155.6
申请日:2017-06-07
Applicant: 中国科学院信息工程研究所
CPC classification number: G06F9/5083 , G06F9/45558 , G06F2009/4557 , H04L67/10
Abstract: 本发明提供一种基于OpenStack的计算资源容量弹性伸缩方法及系统,该方法包括扩容和缩容;1)扩容:1-1)制作计算节点镜像模板和交换机网络配置模板;1-2)确定要扩容的主机台数和网段,并确定主机的管理IP和主机名,根据计算节点镜像模板将这些主机批量还原成不同管理IP和主机名的计算节点操作系统,并自动修改配置文件;1-3)将交换机网络配置模板上传到被还原的计算节点的交换机上并进行加载,以使这些计算节点网络连通,从而加入到OpenStack计算资源;2)缩容:2-1)确定待移除的计算节点,将这些计算节点上的虚拟机进行迁移或释放,清除其对应交换机端口的配置信息;2-2)将经步骤2-1)处理后的计算节点的基本信息和计算相关服务从OpenStack云平台中清除。
-
公开(公告)号:CN109002342A
公开(公告)日:2018-12-14
申请号:CN201710420946.7
申请日:2017-06-07
Applicant: 中国科学院信息工程研究所
CPC classification number: G06F9/45533 , G06F2009/4557 , G06F2009/45587 , G06F2009/45595 , H04L67/1002 , H04L67/1012 , H04L67/1029
Abstract: 本发明提供一种基于OpenStack的计算资源定向调度方法,步骤包括:1)根据虚拟机的相关参数将OpenStack计算资源划分为多个计算区域,并进行标识;2)将所有计算节点划分到指定的计算区域,并录入数据库;3)用户通过标识选择计算区域,并从数据库中读取该计算区域的全部计算节点信息;4)针对步骤3)读取的全部计算节点,过滤掉不符合的计算节点,将剩下的计算节点进行排序,调度出排序靠前的计算节点来生成虚拟机。本发明还提供一种基于OpenStack的计算资源定向调度系统。
-
公开(公告)号:CN104298716A
公开(公告)日:2015-01-21
申请号:CN201410478932.7
申请日:2014-09-18
Applicant: 中国科学院信息工程研究所
CPC classification number: G06F17/30864
Abstract: 本发明涉及一种支持人工会话嫁接的网络爬虫系统和实现方法。首先分析要爬取的目标网站,将登录页面设为初始页面;用户模拟模块与目标网站建立网络连接,为人工操作提供信息输入接口;人工智力参与模块输入所需要的信息并传递给用户模拟模块;用户模拟模块定位登录页面中的输入框和登录按钮,输入相关信息并通过网络访问模块外发到目标网站进行登录;登录完成后用户模拟模块打开爬虫要爬取的页面,并将页面的回应信息传递给爬虫模块;爬虫模块获得执行权限后,沿用人工在用户模拟模块中创建的网络会话,访问目标网站,爬取网站内容。本发明将人工智力参与所建立的网络会话用于爬虫模块,能够让网络爬虫获得与真人上网完全相同的网络访问能力。
-
公开(公告)号:CN113468525B
公开(公告)日:2023-06-27
申请号:CN202110564173.6
申请日:2021-05-24
Applicant: 中国科学院信息工程研究所
Abstract: 本发明公开了一种针对二进制程序的相似漏洞检测方法及装置,根据已知漏洞函数以及对应的二进制文件、已知漏洞点,对待检测二进制文件中每一待检测函数进行粗粒度的相似漏洞函数筛选和细粒度的相似漏洞函数识别,得到与已知漏洞相似的相似漏洞函数。本发明通过引入已知漏洞点,结合使用函数与漏洞两方面的信息,不仅能够通过轻量级特征距离对待测函数集合进行粗粒度筛选,还能在轻量级特征的提取中不依赖于特定的指令集,同时特征受编译选项以及代码定制化重用影响较小,且能准确捕捉二进制代码的执行语义,从而有效地提高了检测的效率与准确度。
-
公开(公告)号:CN109002342B
公开(公告)日:2022-09-23
申请号:CN201710420946.7
申请日:2017-06-07
Applicant: 中国科学院信息工程研究所
IPC: G06F9/455 , H04L67/1001 , H04L67/1012 , H04L67/1029
Abstract: 本发明提供一种基于OpenStack的计算资源定向调度方法,步骤包括:1)根据虚拟机的相关参数将OpenStack计算资源划分为多个计算区域,并进行标识;2)将所有计算节点划分到指定的计算区域,并录入数据库;3)用户通过标识选择计算区域,并从数据库中读取该计算区域的全部计算节点信息;4)针对步骤3)读取的全部计算节点,过滤掉不符合的计算节点,将剩下的计算节点进行排序,调度出排序靠前的计算节点来生成虚拟机。本发明还提供一种基于OpenStack的计算资源定向调度系统。
-
公开(公告)号:CN109002354B
公开(公告)日:2022-05-03
申请号:CN201710421155.6
申请日:2017-06-07
Applicant: 中国科学院信息工程研究所
Abstract: 本发明提供一种基于OpenStack的计算资源容量弹性伸缩方法及系统,该方法包括扩容和缩容;1)扩容:1‑1)制作计算节点镜像模板和交换机网络配置模板;1‑2)确定要扩容的主机台数和网段,并确定主机的管理IP和主机名,根据计算节点镜像模板将这些主机批量还原成不同管理IP和主机名的计算节点操作系统,并自动修改配置文件;1‑3)将交换机网络配置模板上传到被还原的计算节点的交换机上并进行加载,以使这些计算节点网络连通,从而加入到OpenStack计算资源;2)缩容:2‑1)确定待移除的计算节点,将这些计算节点上的虚拟机进行迁移或释放,清除其对应交换机端口的配置信息;2‑2)将经步骤2‑1)处理后的计算节点的基本信息和计算相关服务从OpenStack云平台中清除。
-
-
-
-
-
-
-
-
-