一种基于约束满足问题的缓冲区溢出检测模型,邹荣春,张淼,设计了一个基于约束满足问题的缓冲区溢出检测模型,并在分析现有约束满足问题解决算法的优缺点的基础上,提出了适合缓冲区溢出检