静态分析器是在不运行程序的情况下对源程序进行静态地分析，以发现程序中潜在的错误或者异常。