基于端口扫描的安全漏洞检测系统的设计与实现-Port-based security vulnerability scanning detection system design and implementation of

This book describes a static analysis that aims to prove the absence of buffer overflows in C programs. The analysis is conservative in the sense that it locates every possible overflow. Furthermore, it is fully automatic in that it requires no user