統計
MATLAB Answers
3 質問
0 回答
ランク
of 171,169
コントリビューション
0 問題
0 解答
スコア
0
バッジ数
0
コントリビューション
0 投稿
コントリビューション
0 パブリック チャネル
平均評価
コントリビューション
0 ハイライト
平均いいねの数
Feeds
質問
In the generated Polyspace report, the specific line and column numbers of the identified defects in the code are not specified.
Since individuals who cannot use Polyspace also need to understand the defects in the code, a report needs to be generated. Howe...
約1年 前 | 1 件の回答 | 0
1
回答質問
When using Polyspace to check code for CERT-C , some CERT-C Recommendations will not be checked.
When using Polyspace to check code for CERT-C compliance, some CERT-C recommendations will not be checked. For example： EXP03...
約1年 前 | 0 件の回答 | 0
0
回答質問
After running Polyspace (Code Prover), in the "Reasons for Unchecked Code" section, if the progress of the "code operations" is not 100%, I would like to know how the percenta
After running Polyspace (Code Prover), in the "Reasons for Unchecked Code" section, if the progress of the "code operations" is ...
1年以上 前 | 1 件の回答 | 0
