Arithmetic to Analyze and Detect Buffer Overflow Vulnerability
Yu Huang · Jisuanji gongcheng · 2006
This paper discusses the common model to analyze and detect computer operation system vulnerabilities. Based on the model, it proposes a new model and arithmetic, BOVADA, to analyze and detect the buffer overflow vulnerability. Utilizing the special test code, BOVADA can determine the overflow function, overflow point, jump address of the system to be tested. Compared with other model and arithmetic, BOVADA has some advantages, such as more plain structure, more integrate function, and more accurate parameter. Finally, BOVADA is proved to be true on WorkStation service vulnerability of Windows2000.