DRS option is limited in Polyspace Code Prover
13 ビュー (過去 30 日間)
古いコメントを表示
Hi guys,
I have this C++ code below:
void myfunc(int *arg, char *argv[])
{
if (*arg == 1)
*arg += 1;
char *p = argv[*arg];
if (p[0] == '-')
*arg += 1;
}
One of the Polyspace result is: Pointer may be outside its bounds. If appropriate, applying DRS to arg (argument number 1 of function myfunc(int *, char **), may remove this orange.
But when I tried to add and configure DRS, it has limited option as shown below:
There are no other options. Init Mode, Init Range and Initialize Pointer are disabled in this case.
Thank you in advance.
0 件のコメント
採用された回答
Anirban
2022 年 6 月 1 日
編集済み: Anirban
2022 年 6 月 1 日
In C++, you cannot constrain pointer arguments of functions using this interface. See Constraint Specification Limitations. The message about DRS in the results is applicable to C code only.
To work around this limitation, you can write manual main()-s of the kind documented here. But depending on the kind of constraint you want to specify, it might be difficult to write an appropriate main(). If you contact MathWorks Technical Support and tell them what kind of constraint you want to specify, they might be able to help you setup this main() .
その他の回答 (0 件)
参考
カテゴリ
Help Center および File Exchange で Target and Compiler についてさらに検索
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!