一种基于SAT的C程序缓冲区溢出漏洞检测技术,陈石坤,李舟军,缓冲区溢出是C程序中很多安全问题的根源。本文给出一种基于SAT的C语言缓冲区溢出检测方法。该方法利用源代码变换技术,在程序源码�