Polyspace 実行での SQLite の I/O エラーの修正

問題

Polyspace^® は、解析結果を保存するために SQLite データベースを使用します。NFS (Network File System)、CIFS (Common Internet File System)、SMB (Server Message Block protocol) などのネットワークファイルシステムで共有されている場合、SQLite データベースは問題を表示する場合があります。

ネットワークファイルシステムに解析結果を保存すると、次のようなエラーが表示されることがあります。

exception SQLError(SQLite.SQLError(code=10, disk I/O error (errcode=10 extended errcode=1034)))
raised.

このエラーは、データベースディスクイメージが不正な形式であり、結果が破損している可能性があることを示しています。

考えられる解決策

Polyspace の結果を保存するフォルダーをチェックします。たとえば、Polyspace をコマンドラインで実行する場合、オプション [-results-dir] の引数をチェックします。

フォルダーが NFS などのファイルシステムを使用するネットワークフォルダーの場合、代わりにローカルフォルダーを使用します。