此类工具称为漏洞检查工具，它们能预先检测出潜在的漏洞。

Such tools, called vulnerability checking tools, detect the potential vulnerabilities in advance.

youdao

提出了一种基于类型检查的分析算法，可用于分析C语言编写的源程序来进行缓冲区漏洞检查。

This paper presents the arithmetic which is a typebased analysis arithmetic for finding the vulnerabilities in C code.

youdao

它们通常提供了最基本的单用户环境，您可以使用这个环境进行磁盘检查(fsck)、系统安全漏洞检查，或者从备份恢复受损的文件。

These almost always provide a minimal single-user environment that you can use to run disk checks (FSCK), check for system compromises, or restore damaged files from backup.

youdao