結果 : what is software static analysis