what is PolySpace.

155 ビュー (過去 30 日間)
mohammad alquraan
mohammad alquraan 2019 年 6 月 29 日
コメント済み: Adam Danz 2022 年 5 月 23 日
Hi everybody;
what is PolySpace?
is it the same as Matlab (can i work on PolySpace R2019 instead of Matlab R2019 )?

回答 (1 件)

Chirag Nighut
Chirag Nighut 2019 年 7 月 1 日
編集済み: Chirag Nighut 2019 年 7 月 1 日
Polyspace is a Mathworks product which is a static code analysis tool. It detects or also proves the absence of any certain run time errrore for C, CPP and Ada programming languages. Another major use of Polyspace is to check if your source code follows appropriate code standards like MISRA C
Some run time erors that Polyspace examines are:
  1. Airthemetic Overflow
  2. Buffer Overrun
  3. Division by Zero
  4. And many more...
You also get to know the security vulnerabilities in your code. Using Polyspace you come to know which part of your code is faulty and you also come across some unproven checks for some part of your code which have to be reviewed manually.
Regarding Polyspace Code Prover:
It olour codes your code to indicate if the section of the code is unreachable, unproven, run-time error free and so on. This is the tool which wil tell you which variables or function calls are causing the run time errors.
Polyspace Bug Finder:
It analyzes software control, data flow within your code. Polyspace Bug Finder checks compliance with coding rule standards such as MISRA C®, MISRA C++, JSF++, CERT® C, CERT® C++, and custom naming conventions. The reports generated by Polyspace Bug Finder consists of the bugs found, code rule violations and some code quality metrices.
Following help should be very helpful to understand what Polyspace is:
  2 件のコメント
Grant
Grant 2022 年 5 月 23 日
The link above is not working, so I am including the link again for convenience:
Adam Danz
Adam Danz 2022 年 5 月 23 日
Link fixed.

サインインしてコメントする。

タグ

Community Treasure Hunt

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

Start Hunting!

Translated by