例1：现在我写了个300+行的代码，可是运行的环境没有到位，为了让运行的时候Bug少，我必须静态差错。
在这种情况下，一般并不会找出来太多的错误。
例2：希望在比赛时少提交几次，顺便节约编译时间，希望编译前多查出来Bug。
但是一般查不出来。
例3：样例太少，希望多找错。
但是一般样例过了还是0分，手造样例也太弱。
