基于拓扑空间的C字符串函数缺陷分析  

Weaknesses analysis of C string functions based on topological space

作　　者：龚萌晓 谢惠扬[1] GONG Mengxiao;XIE Huiyang(School of Science,Beijing Forestry University,Beijing 100083,China)

机构地区：[1]北京林业大学理学院

出　　处：《合肥工业大学学报（自然科学版）》2020年第1期52-56,共5页Journal of Hefei University of Technology：Natural Science

基　　金：国家科技重大专项重大新药创制资助项目(2018ZX09201-014);国家自然科学基金资助项目(61370193;61802009)

摘　　要：运用点集拓扑学知识分析C语言在语法方面对变量不做边界长度检查存在的缺陷是一种新的方法。文章基于拓扑空间连续性对C语言字符串函数的缺陷进行分析,根据点集拓扑学定义证明了以字符数组存储的字符为元素所构成的集合在给定的子集族下是一个拓扑空间;将字符串函数抽象定义为一个映射,在代码没有缺陷的情况下证明该映射是一个连续映射,在不能够保证定义映射是连续映射的情况下说明代码是存在缺陷的。通过拓扑空间的连续性可以判断代码存在缺陷,从而促进编程人员改进代码,编写更好的编程语言。There are many weaknesses of C language without checking boundaries.It is an innovative method to analyze the weaknesses based on point-set topology.In this paper,the continuity of topological space is used to solve the problem of string functions.It is proved that the character set stored in the string array is a topological space on the given subset family according to the definition of point-set topology.The string function could be a continuous mapping while there is not any weakness.So there are some weaknesses to be solved if it could not guarantee a continuous mapping.The continuity of topological space can be used to determine whether the code is right or not.It can promote the code writing and lead to write a better programming language.

关 键 词：C语言 缺陷 字符串函数 拓扑空间 连续映射 

分 类 号：TP3-05[自动化与计算机技术—计算机科学与技术] G05[文化科学]