Static Detecting Techniques of Software Security Flaws

张林,曾庆凯
DOI: https://doi.org/10.3969/j.issn.1000-3428.2008.12.055
2008-01-01
Abstract:This paper summarizes two strategies of software security flaw detection,named static analysis and program verification.Several static detection methods such as lexical analysis,rule checking,type theory deduction,model checking,theorem proving,and symbol execution are also synthetically reviewed.It discusses the advantage,applicability and tendency of static detecting techniques.
What problem does this paper attempt to address?