結果 : open source static analyzer