Exceeds internal limit of 256 Mb, Continuing analysis but unexpected issues might occur later during Polyspace Code Prover Analysis.

7 ビュー (過去 30 日間)
Surendra Bammidi
Surendra Bammidi 2022 年 5 月 5 日
回答済み: Anirban 2022 年 5 月 5 日
When I am using the Polyspace code prover for doing the static analysis I am encountering the warning like "exceeds internal limit of 256 Mb. Continuing analysis but unexpected issues might occur later" which results to the following error "Error: creating a negative offset in struct" How can I resolve this issue and what can be cause of this error?

サインインしてこの質問に回答する。

回答 (1 件)

Anirban
Anirban 2022 年 5 月 5 日
Polyspace Code Prover runs into an internal limit when analyzing large structures with size greater than 256 MB. This limit is probably in effect for your release of Polyspace Code Prover. Please contact MathWorks Technical Support for a workaround.

カテゴリ

Help Center および File Exchange で Run Settings についてさらに検索

タグ

製品


リリース

R2021a

Community Treasure Hunt

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

Start Hunting!

Translated by