This paper summarizes two strategies of software security flaw detection, named static analysis and program verification.

软件安全漏洞问题日益严重, 静态漏洞检测提供从软件结构和代码中寻找漏洞的方法.

互联网

Static program testing is an approach between program verification and test case running.

程序静态测试是介于程序验证和基于用例运行之间的测试方法.

互联网