C及后来的C++语言都是灵活高效且应用范围十分广泛的计算机编程语言,但是在使用C语言进行编程时,若使用不当则会产生缺陷。C语言产生缺陷的主要原因是语法安全性不够,尤其是在数据方面缺乏边界性检查。点集拓扑学是一门研究图形在连续变化下保持不变性质的数学学科。本文利用点集拓扑学中的连续性概念,给出了判定C语言字符串函数存在缓冲区溢出缺陷的方法。C语言缺陷的判定一直是信息科学领域的一个重点和难点。目前的判定方法主要是在计算机领域的一些检测方法,本文将C语言缺陷的判定和点集拓扑学相结合,给缺陷检测提供了一个全新的静态判定方法。本文通过刻画C语言字符串函数的拓扑空间,构造了字符次序拓扑空间和该空间的导集与凝聚点,证明了当代码没有缺陷时文中定义的字符串函数同名映射是连续映射,从而得出了当定义的同名映射不连续时代码存在缺陷的结论,达到了利用拓扑空间的连续性判定字符串函数存在缺陷的目的,得到了一种合理可行而且全新的静态检测方法。根据点集拓扑学的性质判定C语言中缺陷的存在,有利于促进编程人员改进代码,提高缺陷的查找精度,有利于更加良好和安全地开发C语言软件。