Vulnerability detection model based on finite automata
Hao Wu · Jisuanji gongcheng yu sheji · 2007
Vulnerability is a serious menace to software security,so vulnerability detection has important meanings for improving software security.The reasons and conditions of buffer overflow vulnerability are analyzed,then an detection model based on finite automata is presented to detect buffer overflow vulnerabilities which cause by improper function calls and circulatory buffer copy.