エピソード

推論を使用したコードの分析#

出荷前に信頼性とセキュリティのバグを検出しますか? Matthew Jin と Xiaoyu Liu show Infer#は、ソース コードを実行しなくても、ソース コードの正確性を検証するために使用できる静的分析ツールです。 

Infer# の詳細については、こちらをご覧ください。