結果 : what is linear static analysis