タグ: AI生成コード検証

Canonicalは、数十万行規模のCを安全なRustへ移す3年間の博士研究に投資する。AppArmorなどを実用例に、生成コードの挙動一致と保守性を検証する。