Vulnerability Detection of Buffer Overflow of Binary Code Based on State Transition Model
Liang Shang-li · Modern Computer · 2010
According to the basic principles of buffer overflow,proposes a detecting buffer overflow vulnerabilitiy of binary code based on state transition model.The method makes executable program as its analysis target,so as to get rid of depending on the program source code in the detection process.Presents the details of proposed technique as well as the comparison between this technique and other popular detecting technique.