CN109002721B - 一种信息安全漏洞的挖掘分析方法 - Google Patents
一种信息安全漏洞的挖掘分析方法 Download PDFInfo
- Publication number
- CN109002721B CN109002721B CN201810763298.XA CN201810763298A CN109002721B CN 109002721 B CN109002721 B CN 109002721B CN 201810763298 A CN201810763298 A CN 201810763298A CN 109002721 B CN109002721 B CN 109002721B
- Authority
- CN
- China
- Prior art keywords
- taint
- data
- target program
- analysis
- information
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
- G06F21/57—Certifying or maintaining trusted computer platforms, e.g. secure boots or power-downs, version controls, system software checks, secure updates or assessing vulnerabilities
- G06F21/577—Assessing vulnerabilities and evaluating computer system security
Abstract
本发明公开了一种信息安全漏洞的挖掘分析方法,所述方法步骤包括,为目标程序建立配置文件,配置文件中描述了一系列污点分析策略;通过动态二进制插桩框架Pin启动目标程序,并初始化动态插桩分析工具PinTool;通过PinTool分析目标程序的条件转移指令,为目标程序生成控制流图与控制依赖信息数据;插桩后的目标程序访问PinTool与用户自定义库文件,完成污点信息流的标记、传播和漏洞攻击检测,本发明从数据流和控制流两方面实现污点标记的传播,能检测并阻止外部不可信数据用于非安全数据操作,不需要对目标程序的源代码进行分析,运算量低,适用于不开源的商业软件,能通过提取特征码的方式防御基于相同漏洞的二次攻击,漏报和误报率相对于现有漏洞检测技术更低。
Description
技术领域
本发明涉及信息安全领域,尤其涉及一种信息安全漏洞的挖掘分析方法。
背景技术
随着互联网行业的快速发展,软件系统的规模和复杂度也在不断的提升,但与此同时也不可避免地导致了越来越多安全漏洞的出现,其中较具有代表性的有缓冲区溢出漏洞、格式化字符串漏洞、SQL注入漏洞以及跨站脚本漏洞等,攻击者可以利用这些漏洞改变程序原先的执行流程,执行攻击者自己的恶意代码,破坏用户程序或偷取用户敏感信息。虽然国内外在漏洞攻击检测方面已经进行较为深入的研究,然而这些技术目前仍存在诸多不足之处,例如基于程序编译时期动态跟踪污点信息的检测技术,无法检测针对用非类型安全语言编写的应用程序;基于源代码分析的检测技术,不能检测针对第三方库的漏洞攻击,且缺少运行时信息的支持,误报漏报率较高。
发明内容
鉴以此,本发明的目的在于提供一种信息安全漏洞的挖掘分析方法,以至少解决以上问题。
一种信息安全漏洞的挖掘分析方法,包括以下步骤:
S1、为目标程序建立一个配置文件,配置文件中描述了一系列污点分析策略;
S2、通过动态二进制插桩框架Pin启动目标程序,并初始化动态插桩分析工具PinTool;
S3、通过PinTool分析目标程序的条件转移指令,为目标程序生成控制流图以及控制依赖信息数据;
S4、插桩后的目标程序访问PinTool与用户自定义库文件,完成污点信息流的标记、传播和漏洞攻击检测。
进一步的,S1中,配置文件为XML格式,配置文件所描述的污点分析策略包括污点标记策略、污点传播策略以及污点检测策略。
进一步的,S4中,对污点信息流的标记具体为,根据配置文件的污点标记策略,建立外部不可信数据与污点标记的一一对应的映射关系,以用于污点标记的传播。
进一步的,S4中,污点标记的传播采用数据流分析与控制流分析两种方式。
进一步的,所述数据流分析具体为,根据汇编指令语义对条件转移指令进行建模,以进行指令级的细粒度污点数据跟踪以及污点标记传播。
进一步的,所述控制流分析具体为,生成目标程序的控制流图,根据控制流图构建控制依赖信息树,并通过控制流分析算法实现污点数据跟踪和污点标记传播。
进一步的,所述漏洞攻击检测具体为,根据事先设定的污点检测策略,对目标程序的关键指令、数据以及函数调用进行安全检查,对违反安全策略的行为发出警报。
进一步的,所述关键指令、数据以及函数调用包括指令返回地址、函数指针、函数参数、返回值、格式化字符串、函数局部变量、函数参数、类静态字段、类实例字段和数组。
进一步的,在检测到漏洞攻击后,通过提取特征码的方式对基于相同漏洞进行攻击的入侵行为进行防御,具体包括以下步骤:
S1、将当前系统环境保存为快照,所述快照包括当前各寄存器的值、当前进程信息、相关内存的镜像以及近一段时间的网络数据流;
S2、通过LCS最长公共子序列法以及CREST算法对系统环境快照进行处理,产生对应的特征码;
S3、将多次检测到的攻击产生的特征码通过LCS最长公共子序列法进行进一步提取,除去特征码中目标网络IP部分内容,产生通用检测规则提交给IPS入侵防御系统或IDS入侵检测系统以检测并防御基于安全漏洞的入侵行为。
与现有技术相比,本发明的有益效果是:
本发明所公开的一种信息安全漏洞的挖掘分析方法,从数据流和控制流两方面分别实现污点标记的传播,能检测并阻止外部不可信数据用于非安全的数据操作,且不需要对目标程序的源代码进行分析,降低运算量,能够适用于不开源的商业软件,并能通过提取特征码的方式防御基于相同漏洞的二次攻击,漏报和误报率相对于现有漏洞检测技术更低。
附图说明
为了更清楚地说明本发明实施例中的技术方案,下面将对实施例描述中所需要使用的附图作简单地介绍,显而易见地,下面描述中的附图仅仅是本发明的优选实施例,对于本领域普通技术人员来讲,在不付出创造性劳动的前提下,还可以根据这些附图获得其他的附图。
图1是本发明的一个实施例的漏洞挖掘分析方法流程示意图。
图2是本发明的一个实施例的特征码提取流程示意图。
具体实施方式
以下结合附图对本发明的原理和特征进行描述,所列举实施例只用于解释本发明,并非用于限定本发明的范围。
一般漏洞的攻击过程通常为:攻击者一旦发现软件系统中存在的安全漏洞,便找准机会将作为溢出程序和蠕虫病毒核心的shellcode代码以及恶意攻击字符串通过网络发送到运行该软件系统的主机,而软件系统会将接收到的外部数据放入内存缓冲区,这些外部数据将导致内存缓冲区溢出,进而覆盖正常函数的返回地址或函数指针,导致软件系统流程发生转变,进而运行攻击者事先设置的shellcode代码对用户的主机进行攻击。通过以上攻击流程可以发现,攻击的发起需要外部数据源,其次是外部数据再内存中的往返传递,造成缓冲区溢出覆盖正常返回地址或函数指针导致程序正常流程改变。
因此当软件系统与外部数据进行交互时,必须要质疑外部数据源的安全性,即使大部分数据正常,同时还需要跟踪外部数据在内存中的去向。对于外部不可信数据一律统称为污点数据,对于污点数据需要进行污点标记、污点传播、污点检测的分析过程,即对外部不可信数据进行实时监控,弄清其传播路径,监测其动态,并检测其是否被非法利用,以实现对信息安全漏洞的挖掘与分析,提高软件系统安全性。
基于此,本发明公开了一种信息安全漏洞的挖掘分析方法,参照图1,所述方法包括以下步骤:
S1、为目标程序建立一个配置文件,配置文件中描述了一系列污点分析策略;
S2、通过动态二进制插桩框架Pin启动目标程序,并初始化动态插桩分析工具PinTool;
S3、通过PinTool分析目标程序的条件转移指令,为目标程序生成控制流图以及控制依赖信息数据;
S4、插桩后的目标程序访问PinTool与用户自定义库文件,完成污点信息流的标记、传播和漏洞攻击检测。
S1中,所述配置文件采用XML格式,因为许多使用较为广泛的开源库都提供了丰富的API接口用于对XML文件进行解析,同时XML格式文件易于修改和维护,该配置文件中由开发人员进行设置,提供污点标记、污点传播和污点检测策略的信息文件。
具体的,污点标记是指对来自网络等不可信渠道的数据标记为污点数据,污点标记策略应包括对哪些外部不可信数据进行污点标记以及对不同类型的数据采用何种污点标记。在污点标记后,污点数据所进行的各种运算得出的结果自然也是不可信的,因此同样对其标记为“被污染的”属性,这个过程便是污点传播,对于污点传播需要对污点蔓延的操作及运算给出精确定义,明确哪些操作或运算视为污点传播,哪些操作或运算去除了污点标记,即污点传播策略;污点检测指在软件系统运行的某个状态,通过对内存变量或寄存器进行检查,判断它们是否被污染,以及它们的污染源是哪些数据,这些具体的判断标准即污点检测策略。
配置文件中通过sources、propagation和sink三种标签定义污点分析策略。Sources标签用于定义污点标记策略,表示外部输入数据来源类别;propagation标签用于定于污点传播策略;sink标签用于定于污点检测策略,用于制定目标程序的哪个位置、何种函数、何种指令应该执行污点检测以及其后的警报处理操作。
S2中,采用了动态二进制插桩框架Pin对目标程序进行污点分析,Pin是由Intel公司开发的一款性能稳定,功能强大的插桩工具,支持Windows和Linux两大操作系统的可执行文件的代码分析,可用于程序的行为分析以及目标程序的漏洞挖掘等。Pin由进程级别的虚拟机和提供给用户的插桩检测API组成,Pin虚拟机包括JIT编译器、模拟执行单元和代码调度三个部分,当Pin启动目标程序并获得控制权后,在调度器的协调下,JIT编译器负责对二进制文件中的指令进行插桩,动态编译后的代码包含开发人员定义的插桩代码。
目标程序运行时,Pin会拦截可执行代码的第一条指令,并为后续指令序列生成新的代码,新代码的生成即按照开发人员定义的插桩规则在目标程序原始指令的前后加入用户插桩代码,通过这些代码可以抛出运行时的程序信息和其他有用信息,然后将控制权移交给新的指令序列,并在虚拟机中运行,当进入新的程序分支时Pin会重新取得控制权,然后为新分支的指令序列生成新的代码。Pin框架的代码缓存组件负责保存即时生成的指令,使插桩运行的方式与原生运行方式相比不会损失过多的性能。
具体的,对二进制文件的插桩包括决定在什么位置插入用户代码和在选定位置要执行的代码,即插桩代码和分析代码,这两个部分共同组成了PinTool。PinTool采用向Pin注册插桩回调函数的方式,Pin对每个被插桩的代码段调用相应粒度的插桩回调函数,所述函数观察需要产生的代码并检查其静态属性,决定是否需要注入以及在何处注入分析函数,分析函数会得到插桩函数传入的寄存器状态、内存读写地址、指令对象、指令类型等参数。由于Pin使用动态二进制插桩,不需要目标程序的源代码以及重编译,使得其可以应用于未开源的商业软件。
S3中,通过PinTool分析目标程序的条件转移指令,为目标程序生成控制流图以及控制依赖信息数据,此步骤用于生成对目标程序进行控制流分析所需的控制流图以及控制依赖信息数据。
S4中,插桩后的目标程序访问PinTool与用户自定义库文件,完成污点信息流的标记、传播和漏洞攻击检测。依照配置文件中由开发人员编写的污点分析策略,PinTool负责提供污点标记和污点传播功能,用户自定义库文件负责提供污点检测和污点标记映射功能。
具体的,首先根据配置文件的污点标记策略,建立外部不可信数据与污点标记的一一映射关系,以用于后面对污点标记的传播。需要进行污点标记操作的外部数据包括指定函数的特定参数、指定内存地址、网络I/O数据以及文件I/O数据,开发人员也可根据实际情况对其他类型的外部不可信数据进行污点标记操作。随后PinTool根据污点传播策略,分别采用数据流分析以及控制流分析两种方式跟踪污点数据的传播轨迹。
数据流分析主要跟踪污点数据再内存中的使用轨迹,并根据污点传播策略传播污点标记。首先汇编代码块会由PinTool进行处理,对每个可能的污点内存都在程序执行过程中进行标记,在函数调用前对可能的污点输入,例如参数、全局变量和外部输入进行检查,根据污点传播策略识别每条汇编指令的类型,例如赋值、栈操作、算数运算操作等,将操作数据从每条指令中抽取出来进行污点标记。
控制流分析用于根据目标程序的控制流图和控制依赖信息数据实现污点标记的隐式传播。其原理是,目标程序中的每条指令与其控制流图中的每个节点一一对应,程序的一次运行相当于从控制流图的开始节点到结束节点的一条路径,而由于条件分支节点的存在,程序的运行肯定会存在分支路径,根据控制依赖的概念,处于分支路径的节点将控制依赖于其条件分支节点,那么此处一定存在污点数据的传播,即分支路径里的变量受到了条件分支节点中污点数据的影响,因此处于分支路径的所有变量都应进行污点标记。
通过数据流分析和控制流分析可以更为精确地定义和描述污点分析,以提高其精确度。
在软件系统运行过程中,按照污点检测策略对内存变量或寄存器进行检查,以检测针对漏洞的攻击,其具体实现方式为,首先Pin获取目标程序的一条指令,判断该指令是否为jump类指令,如果是则根据污点检测策略判断目标地址数据是否为污点,是则发出警报,不是则继续检查下一条指令;如果该指令为函数调用指令,则获得该函数的调用信息,判断其是否为污点检测策略所指定要检测的函数,如果是则按照不同函数类型执行不同的参数解析,判断其是否为污点数据,是则发出警报,不是则继续检查下一条指令。
参照图2,在本发明的一个实施例中,为了防止针对相同漏洞的二次攻击,采用了特征码提取的方式进行防御,具体包括以下步骤:
S1、将当前系统环境保存为快照,所述快照包括当前各寄存器的值、当前进程信息、相关内存的镜像以及近一段时间的网络数据流。
其中寄存器值直接由虚拟机获得;进程信息的获取通过向当前进程注入并执行一段dump进程和端口信息的shellcode代码实现;内存镜像利用污点跟踪在污点数据侵入目标程序的那一刻触发的特点,直接找出目标程序指向的敏感内存区并获取其镜像;所述网络数据流可以借助TCPDUMP一类的软件专门保存一段时间内特定端口的网络数据流。
S2、通过LCS最长公共子序列法以及CREST算法对系统环境快照进行处理,产生对应的特征码。
CREST算法的原理是通过匹配在内存镜像中原始EIP指向的数据和网络流中出现篡改后的EIP地址的区域的相同数据段,以其作为特征码。
S3、将多次检测到的攻击产生的特征码通过LCS最长公共子序列法进行进一步提取,除去特征码中目标网络IP部分内容,产生通用检测规则提交给IPS入侵防御系统或IDS入侵检测系统以检测并防御基于安全漏洞的入侵行为。
以上所述仅为本发明的较佳实施例,并不用以限制本发明,凡在本发明的精神和原则之内,所作的任何修改、等同替换、改进等,均应包含在本发明的保护范围之内。
Claims (8)
1.一种信息安全漏洞的挖掘分析方法,其特征在于,所述方法包括以下步骤:
S1、为目标程序建立一个配置文件,配置文件中描述了一系列污点分析策略;
S2、通过动态二进制插桩框架Pin启动目标程序,并初始化动态插桩分析工具PinTool;
S3、通过PinTool分析目标程序的条件转移指令,为目标程序生成控制流图以及控制依赖信息数据;
S4、插桩后的目标程序访问PinTool与用户自定义库文件,完成污点信息流的标记、传播和漏洞攻击检测,在检测到漏洞攻击后,通过提取特征码的方式对基于相同漏洞进行攻击的入侵行为进行防御,具体包括以下步骤:
S401、将当前系统环境保存为快照,所述快照包括当前各寄存器的值、当前进程信息、相关内存的镜像以及近一段时间的网络数据流;
S402、通过LCS最长公共子序列法以及CREST算法对系统环境快照进行处理,产生对应的特征码;
S403、将多次检测到的攻击产生的特征码通过LCS最长公共子序列法进行进一步提取,除去特征码中目标网络IP部分内容,产生通用检测规则提交给IPS入侵防御系统或IDS入侵检测系统以检测并防御基于安全漏洞的入侵行为。
2.根据权利要求1所述的一种信息安全漏洞的挖掘分析方法,其特征在于,S1中,配置文件为XML格式,配置文件所描述的污点分析策略包括污点标记策略、污点传播策略以及污点检测策略。
3.根据权利要求2所述的一种信息安全漏洞的挖掘分析方法,其特征在于,S4中,对污点信息流的标记具体为,根据配置文件的污点标记策略,建立外部不可信数据与污点标记的一一对应的映射关系,以用于污点标记的传播。
4.根据权利要求2所述的一种信息安全漏洞的挖掘分析方法,其特征在于,S4中,污点标记的传播采用数据流分析与控制流分析两种方式。
5.根据权利要求4所述的一种信息安全漏洞的挖掘分析方法,其特征在于,所述数据流分析具体为,根据汇编指令语义对条件转移指令进行建模,以进行指令级的细粒度污点数据跟踪以及污点标记传播。
6.根据权利要求4所述的一种信息安全漏洞的挖掘分析方法,其特征在于,所述控制流分析具体为,生成目标程序的控制流图,根据控制流图构建控制依赖信息树,并通过控制流分析算法实现污点数据跟踪和污点标记传播。
7.根据权利要求2所述的一种信息安全漏洞的挖掘分析方法,其特征在于,所述漏洞攻击检测具体为,根据事先设定的污点检测策略,对目标程序的关键指令、数据以及函数调用进行安全检查,对违反安全策略的行为发出警报。
8.根据权利要求7所述的一种信息安全漏洞的挖掘分析方法,其特征在于,所述关键指令、数据以及函数调用包括指令返回地址、函数指针、函数参数、返回值、格式化字符串、函数局部变量、函数参数、类静态字段、类实例字段和数组。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201810763298.XA CN109002721B (zh) | 2018-07-12 | 2018-07-12 | 一种信息安全漏洞的挖掘分析方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201810763298.XA CN109002721B (zh) | 2018-07-12 | 2018-07-12 | 一种信息安全漏洞的挖掘分析方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN109002721A CN109002721A (zh) | 2018-12-14 |
CN109002721B true CN109002721B (zh) | 2022-04-08 |
Family
ID=64599057
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201810763298.XA Active CN109002721B (zh) | 2018-07-12 | 2018-07-12 | 一种信息安全漏洞的挖掘分析方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN109002721B (zh) |
Families Citing this family (27)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN111045679B (zh) * | 2019-01-09 | 2024-02-23 | 国家计算机网络与信息安全管理中心 | 一种sql注入的检测和防御方法、装置及存储介质 |
CN109871681B (zh) * | 2019-02-28 | 2023-04-18 | 天津大学 | 基于混合分析面向动态代码加载安卓恶意软件检测方法 |
CN110334302B (zh) * | 2019-05-24 | 2021-09-10 | 北京因特睿软件有限公司 | 复杂Web应用前端运行时分析方法 |
CN110661804B (zh) * | 2019-09-29 | 2021-12-31 | 南京邮电大学 | 一种针对防火墙的污点分析漏洞检测方法 |
CN110826069B (zh) * | 2019-11-05 | 2022-09-30 | 深信服科技股份有限公司 | 一种病毒处理方法、装置、设备及存储介质 |
CN111291373B (zh) * | 2020-02-03 | 2022-06-14 | 思客云(北京)软件技术有限公司 | 用于分析数据污染传播的方法、设备和计算机可读存储介质 |
CN111428233B (zh) * | 2020-03-18 | 2022-11-04 | 西安电子科技大学 | 一种嵌入式设备固件的安全性分析方法 |
CN111488579B (zh) * | 2020-03-25 | 2023-06-02 | 腾讯科技(深圳)有限公司 | 漏洞检测方法、装置、电子设备和计算机可读存储介质 |
CN111427792A (zh) * | 2020-03-27 | 2020-07-17 | 中国工商银行股份有限公司 | 测试方法、装置、电子设备和可读存储介质 |
CN111506900B (zh) * | 2020-04-15 | 2023-07-18 | 抖音视界有限公司 | 漏洞检测方法、装置、电子设备及计算机存储介质 |
CN113569246A (zh) * | 2020-04-28 | 2021-10-29 | 腾讯科技(深圳)有限公司 | 漏洞检测方法、装置、计算机设备和存储介质 |
CN111666562B (zh) * | 2020-06-04 | 2023-03-28 | 郑州昂视信息科技有限公司 | 一种软件安全的主动防御方法及系统 |
CN111723382A (zh) * | 2020-07-24 | 2020-09-29 | 江西师范大学 | 动态Android程序漏洞验证方法和装置 |
CN111737150B (zh) * | 2020-07-24 | 2023-09-15 | 江西师范大学 | 面向Java EE程序SQLIA漏洞的污点分析和验证方法及装置 |
CN112257077A (zh) * | 2020-11-11 | 2021-01-22 | 福建奇点时空数字科技有限公司 | 一种基于深度学习的自动化漏洞挖掘方法 |
CN112966274B (zh) * | 2021-03-11 | 2024-03-19 | 北京长亭未来科技有限公司 | Web安全漏洞检测方法、扫描器、存储介质及电子设备 |
CN113420298A (zh) * | 2021-05-26 | 2021-09-21 | 杭州孝道科技有限公司 | 一种基于PHP扩展的PHP Web应用程序漏洞检测方法及其存储介质 |
CN113268427B (zh) * | 2021-06-15 | 2022-03-29 | 中国电子科技网络信息安全有限公司 | 一种针对二进制程序的崩溃分析方法及系统 |
CN115001728B (zh) * | 2021-06-28 | 2024-01-23 | 河南科家创新科技集团有限公司 | 一种计算机前端处理方法 |
CN113626805B (zh) * | 2021-07-16 | 2022-05-03 | 中国科学院软件研究所 | 基于risc-v与不可执行内存的缓冲区溢出攻击防御方法及系统 |
CN114417355B (zh) * | 2022-01-07 | 2022-11-08 | 上海交通大学 | 针对工业控制系统的轻量级安全性检测系统及方法 |
CN114611106B (zh) * | 2022-03-10 | 2024-04-09 | 昆明理工大学 | 一种基于多目标粒子群算法的程序控制流证明方法 |
CN114741700B (zh) * | 2022-03-28 | 2024-05-03 | 中国人民解放军战略支援部队信息工程大学 | 基于符号化污点分析的公共组件库漏洞可利用性分析方法及装置 |
CN114912122A (zh) * | 2022-05-27 | 2022-08-16 | 国家计算机网络与信息安全管理中心 | 一种基于双向推理的固件接口变量追踪方法 |
CN115017058B (zh) * | 2022-08-04 | 2022-11-29 | 飞腾信息技术有限公司 | 一种内核模块的测试方法、装置、电子设备及存储介质 |
CN116089299B (zh) * | 2023-02-09 | 2024-03-12 | 国家工业信息安全发展研究中心 | 一种二进制代码污点分析系统及方法 |
CN116738442B (zh) * | 2023-08-10 | 2023-12-08 | 北京安博通科技股份有限公司 | 一种防御漏洞扫描探测方法、装置、电子设备及介质 |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102622558A (zh) * | 2012-03-01 | 2012-08-01 | 北京邮电大学 | 一种二进制程序漏洞的挖掘装置和方法 |
CN102708054A (zh) * | 2012-05-08 | 2012-10-03 | 中国信息安全测评中心 | 二进制程序循环写内存安全漏洞的检测方法 |
CN107330323A (zh) * | 2017-07-10 | 2017-11-07 | 电子科技大学 | 一种基于Pin工具的ROP及其变种攻击的动态检测方法 |
CN107832619A (zh) * | 2017-10-10 | 2018-03-23 | 电子科技大学 | Android平台下应用程序漏洞自动化挖掘系统及方法 |
-
2018
- 2018-07-12 CN CN201810763298.XA patent/CN109002721B/zh active Active
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102622558A (zh) * | 2012-03-01 | 2012-08-01 | 北京邮电大学 | 一种二进制程序漏洞的挖掘装置和方法 |
CN102708054A (zh) * | 2012-05-08 | 2012-10-03 | 中国信息安全测评中心 | 二进制程序循环写内存安全漏洞的检测方法 |
CN107330323A (zh) * | 2017-07-10 | 2017-11-07 | 电子科技大学 | 一种基于Pin工具的ROP及其变种攻击的动态检测方法 |
CN107832619A (zh) * | 2017-10-10 | 2018-03-23 | 电子科技大学 | Android平台下应用程序漏洞自动化挖掘系统及方法 |
Non-Patent Citations (1)
Title |
---|
基于污点分析的二进制程序漏洞检测;董国良等;《计算机技术与发展》;20171204(第03期);正文第2页第1段-正文第6页第7段 * |
Also Published As
Publication number | Publication date |
---|---|
CN109002721A (zh) | 2018-12-14 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN109002721B (zh) | 一种信息安全漏洞的挖掘分析方法 | |
Wang et al. | {CacheD}: Identifying {Cache-Based} timing channels in production software | |
CN107832619B (zh) | Android平台下应用程序漏洞自动化挖掘系统及方法 | |
Schwartz et al. | All you ever wanted to know about dynamic taint analysis and forward symbolic execution (but might have been afraid to ask) | |
Bichhawat et al. | Information flow control in WebKit’s JavaScript bytecode | |
US8117660B2 (en) | Secure control flows by monitoring control transfers | |
Staicu et al. | An empirical study of information flows in real-world javascript | |
CN102043915B (zh) | 一种非可执行文件中包含恶意代码的检测方法及其装置 | |
Tang et al. | A novel hybrid method to analyze security vulnerabilities in android applications | |
Chen et al. | Pinpointing vulnerabilities | |
Li et al. | Mining node. js vulnerabilities via object dependence graph and query | |
CN101159732A (zh) | 基于数据流分析的恶意攻击检测方法 | |
CN112733150B (zh) | 一种基于脆弱性分析的固件未知漏洞检测方法 | |
Rizzo et al. | Babelview: Evaluating the impact of code injection attacks in mobile webviews | |
CN111695119A (zh) | 一种基于细粒度静态污点分析与符号执行的web漏洞检测方法 | |
Izquierdo et al. | Collaboro: a collaborative (meta) modeling tool | |
Mitropoulos et al. | Fatal injection: A survey of modern code injection attack countermeasures | |
Xu et al. | SoProtector: Safeguard privacy for native SO files in evolving mobile IoT applications | |
CN111859380A (zh) | Android App漏洞的零误报检测方法 | |
Lanzi et al. | A smart fuzzer for x86 executables | |
Chen et al. | Automatic Mining of Security-Sensitive Functions from Source Code. | |
Ferrara et al. | : Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results | |
CN110727598B (zh) | 基于动态污点跟踪的二进制软件脆弱性检测系统及方法 | |
Sharif et al. | Understanding precision in host based intrusion detection: Formal analysis and practical models | |
Liu et al. | Static analysis for inference of explicit information flow |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |