WriteFile failed with error 112

6 次查看（过去 30 天）
Venkata Narendra
Venkata Narendra 2021-3-25
评论： Anirban 2021-4-1
I am encounter the error "WriteFile failed with error 112" while using the Polyspace Code Prover for doing the static analysis.
Please help to resolve the issue.

请先登录，再回答此问题。

回答（1 个）

Anirban
Anirban 2021-3-26
编辑：Anirban 2021-3-26
This is a Windows error that seems to be associated with a disk being almost full or corrupted files. Is it possible that your results folder is in a disk that is almost getting full?
  2 个评论
Venkata Narendra
Venkata Narendra 2021-3-27
编辑：Venkata Narendra 2021-3-29
Hi Anirban,
Yes, my application has so many files and having array of recursive structures, so Polyspace tool is taking too much memory(30GB) to run the analysis.
Can you suggest any better solution?
Thanks
Anirban
Anirban 2021-4-1
The product provides you various strategies for reducing memory usage. All these strategies focus on modularizing the analysis in some way or another. For more information, see Reduce Analysis Time and Memory Usage.
Your best bet is, if there is some existing modularization of your application, perhaps through targets in a makefile, you can leverage those for breaking up the Code Prover analysis into modules. See a simple example in Modularize Polyspace Analysis by Using Build Command.
However, it is often the case that strategies for modularizing that actually help are very specific to the codebase being analyzed. If you contact Technical Support, they can offer you solutions specific to your codebase. See Contact Technical Support.

请先登录，再进行评论。

类别

在 Help Center 和 File Exchange 中查找有关 Code Prover Analysis in Polyspace Platform User Interface 的更多信息

标签

产品


版本

R2019a

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by