Detector for binary-code buffer-zone overflow bugs, and detection method thereof

Abstract

The invention provides a detector for binary-code buffer-zone overflow bugs, and a detection method thereof. The detector comprises six functional modules, namely a debugger module, an input point positioning module, a disassembling module, a symbolic execution module, a loop operation analysis module and an intelligent FUZZ test module. Differing from static symbolic execution, the detection method dynamically loads programs through the self-developed debugger module to synchronously performing symbolic execution and single-step practical execution, and then applies a model to solve each difficulty in binary code analysis so as to test path coverage and detect overflow bugs in accordance with all executable programs of PE format under a Windows platform. The detection can also provide propagation paths of input data and other important information related to bug formation cause while positioning the bugs, only analyzes the selves of the executable programs, needs no source codes, is unrelated to the species of source codes and development tools, and is extensive in applicable occasions, so the detection method has good prospects for popularization and application.

Description

technical field [0001] The present invention relates to a technique for mining buffer overflow vulnerabilities in binary codes, to be precise, to a detector and detection method for buffer overflow vulnerabilities of binary codes based on symbolic execution combined with actual execution, belonging to information security in the field of software security technology. Background technique [0002] The buffer overflow vulnerability detection technology is usually divided into two types according to the different objects it analyzes: source code security vulnerability audit for source code and reverse security vulnerability analysis for binary code. Among them, the mining or detection technology of executable program buffer overflow vulnerabilities based on binary code is divided into static analysis method and dynamic testing method. [0003] The static analysis method is to use reverse tools such as IDA Pro to disassemble binary code into assembly code, obtain the control fl...

AI Technical Summary

Problems solved by technology

For example, in a piece of disassembled code, the memory operand DWORD PTR[ESP+4] appears in one instruction, and the memory operand DWORDPTR[EBP-10] appears in another instruction. value, so it is impossible to tell whether the two memory operands point to the same memory address

So symbolic execution against assembly code cannot guarantee its accuracy

[0008] (2) Pointer problem

These instructions are equivalent to pointer operations in C language, and it is quite difficult to solve symbolic execution

[0012] (3) Circulation problem

Symbolic execution is not real execution, so it is very difficult to determine the number of loops. Some technical solutions assume that each lo

Images