結果 : tools for code analysis and preventing bugs