Buffer Overflow Detection Model Based on Executable Code
Dong Zheng · Jisuanji gongcheng · 2008
According to the theory of buffer overflow,a buffer overflow detection model based on executable code is proposed.Its theory foundation is introduced and building procedure is described.In addition,new methods to recognize the reference of buffer are proposed.This model translates executable code to assembly code,gets functions call-relationship graph and control flow graph,builds buffer variables table and buffer references table.And from the buffer reference,it sums up path constraints against the control flow,judges buffer overflow by solving the constraints.