词法分析难以发现源程序的错误，因为词法分析器对源程序采取非常局部的观点。

词法分析器的任务是把构成源程序的字符流翻译成词法记号流。

判断题词法分析器的任务是把构成源程序的字符流翻译成词法记号流。

类型检查技术不能用于捕捉多种安全漏洞。

判断题类型检查技术不能用于捕捉多种安全漏洞。

类型检查是一种捕捉程序中不一致性的成熟并且有效的技术。

判断题类型检查是一种捕捉程序中不一致性的成熟并且有效的技术。