【名词&注释】
源程序(source program)、非终结符(nonterminal)、静态分析器(static analyzer)
[判断题]静态分析器是在不运行程序的情况下对源程序进行静态地分析,以发现程序中潜在的错误或者异常。