一時ファイルに関連する Polyspace エラーの修正

Polyspace^® は、解析中にいくつか一時ファイルを生成します。次の問題は、一時ファイルの保存に関連します。

検証の実行時に、一時ファイルを書き込むフォルダーを Polyspace で作成できなかったことを示すエラーメッセージが表示されます。たとえば、次のようなエラーメッセージが表示されます。

Unable to create folder "C:\Temp\Polyspace\foldername

Polyspace は、解析中にいくつか一時ファイルを生成します。ファイルの保存に使用されるフォルダーへの書き込み権限がない場合、エラーが発生することがあります。

このエラーには 2 つの解決策が考えられます。

一時フォルダーの権限を変更し、全読み取りおよび書き込み権限を付与します。
Polyspace が一時フォルダーの場所を特定する方法については、Polyspace 解析中の一時ファイルの保存を参照してください。
オプション -tmp-dir-in-results-dir を使用します。標準一時フォルダーの代わりに、Polyspace は結果フォルダーのサブフォルダーを使用します。

検証を実行すると、デバイスに空き領域がないことを示すエラーメッセージが表示されます。

ファイルの保存に使用されるフォルダーに十分な空き領域がない場合、エラーが発生することがあります。

このエラーには 2 つの解決策が考えられます。

一時フォルダーをディスク容量が十分にあるドライブに変更します。
Polyspace が一時フォルダーの場所を特定する方法については、Polyspace 解析中の一時ファイルの保存を参照してください。
オプション -tmp-dir-in-results-dir を使用します。標準一時フォルダーの代わりに、Polyspace は結果フォルダーのサブフォルダーを使用します。

検証の実行時に、Polyspace で一時ファイルを開けなかったことを示すエラーメッセージが表示されます。

環境変数 RTE_TMP_DIR を使用して一時ファイルを保存するパスを定義しています。一時フォルダーへの相対パスを使用している、そのフォルダーが存在しない、またはそのフォルダーへのアクセス権がないのいずれかです。

このエラーには 2 つの解決策が考えられます。

RTE_TMP_DIR で Polyspace 固有の一時フォルダーを定義する代わりに、標準一時フォルダーを使用します。
Polyspace が一時フォルダーの場所を特定する方法については、Polyspace 解析中の一時ファイルの保存を参照してください。
RTE_TMP_DIR を引き続き使用する場合、既存のフォルダーに絶対パスを指定し、そのフォルダーへのアクセス権を必ず付与します。