静态分析和程序验证技术提高下的软件安全漏洞防护

Static Analysis and Program Verification Techniques to Improve Software Security Vulnerability Protection

网络技术逐渐改变了人们的生产、生活、学习甚至思维方式。然而,也看到网络其实并不安全。设法提高软件安全漏洞的防护能力显得非常具有现实意义。安全漏洞的形成会受到其周围系统环境和随着时间的推移而不断受到影响。这需要不断总结软件安全漏洞发掘方法,搭建更好的软件安全漏洞检测模型,开发出更好的动静态程序分析的漏洞检测工具,切实提高软件运行的安全性。

Network technology gradually changed our production, living, learning and even ways of thinking. However, we also see that the network is not secure. Ways to enhance the ability of software vulnerabilities is very protective of practical significance. Vulnerabilities will be formed around the system environment and continuously over time affected. This requires us to constantly sum up software security vulnerabilities discovered ways to build better software security vulnerabilities detection model to develop better procedures for the analysis of dynamic and static vulnerability detection tools, and effectively improve the security of the software running.