玫青

Last seen: 8ヶ月前 | 2023 年からアクティブ

Followers: 0 Following: 0

統計

ランク
83,291
of 297,891

評判
0

コントリビューション
3 質問
0 回答

回答採用率
0.0%

獲得投票数
0

Feeds

All (3)
MATLAB Answers (3)

質問

Is polyspace 2020b compatible with win11？
The same BugFindr project, with the same code, running Polyspace on Windows 10 can correctly generate static inspection reports,...

1年以上前 | 3 件の回答 | 0

3

回答

質問

How to avoid the error of dead code in the default branch of the switch statement
In C, some compilers require the default branch to be included in the switch statement. For polyspace, if the case already cover...

1年以上前 | 1 件の回答 | 0

1

回答

質問

How does polyspace bug finder intelligently identify useless if errors in if-else
The if-ESLE condition in the source code is the user's input, and according to the input value, it is decided which if branch to...

1年以上前 | 1 件の回答 | 0

1

回答