エピソード
推論を使用したコードの分析#
出荷前に信頼性とセキュリティのバグを検出しますか? Matthew Jin と Xiaoyu Liu show Infer#は、ソース コードを実行しなくても、ソース コードの正確性を検証するために使用できる静的分析ツールです。
Infer# の詳細については、こちらをご覧ください。
出荷前に信頼性とセキュリティのバグを検出しますか? Matthew Jin と Xiaoyu Liu show Infer#は、ソース コードを実行しなくても、ソース コードの正確性を検証するために使用できる静的分析ツールです。
Infer# の詳細については、こちらをご覧ください。
ビデオの URL
HTML iframe
ご意見およびご提案がある場合は、 こちらから問題を送信してください。