Buffer Overflow Detection Model Based on Intermedia Assembly
Qingxian Wang · Jisuanji gongcheng · 2009
This paper presents a buffer overflow detection model based on intermedia assembly which can be used to perform static analysis and detection on executable files. The algorithm is transparent to hardware platforms,the code is better readable,and buffer overflow is easy to detect. For the 2 string copying operations,i.e. insecure function invokes and copying memory loops,it researches buffer overflow caused by the later and present a flow sensitive and context-insensitive algorithm to detect it.