結果 : static code analysis vs semantic code analysis