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.