AIがCloudflareの暗号ライブラリCIRCLで実バグを7件見つけた

Cloudflareの暗号ライブラリCIRCLで、AIが7件の実バグを発見した事例を紹介。Go言語のビット演算を用いたコードの潜在的な脆弱性を指摘し、AIによるコードレビューの有効性と重要性を強調。

• AIがCloudflareの暗号ライブラリCIRCLで7件の実バグを発見した。
• バグの中には、ビット演算の誤用や安全パラメータの不適切な取り扱いなど、暗号特有の脆弱性が含まれていた。
• AIはバグの深刻度評価で人間と異なる見解を示す場合があり、文脈依存の評価が苦手であることが示唆された。
• AIは個々の欠陥を拾うが、それらが連鎖する可能性までは推論しない傾向がある。
• AIは離れたコード間の推論は可能だが、得意不得意が明確に分かれていることが示された。