论文部分内容阅读
C/C＋＋语言开发者追求的是语言的高效性、灵活性,为此在不同程度上忽略了语言的安全性.而且由于程序员能力上的不够或粗心大意，严重地威胁着软件的安全性.目前很多机构如NASA等对不同语言中存在的安全问题提供了相关信息，在此基础上对C/C＋＋程序中存在的类型相关和计算顺序安全漏洞进行分析并提出检查方案，为开发安全性要求高的软件提供帮助。