- Airthemetic Overflow
- Buffer Overrun
- Division by Zero
- And many more...
what is PolySpace.
78 次查看(过去 30 天)
显示 更早的评论
Hi everybody;
what is PolySpace?
is it the same as Matlab (can i work on PolySpace R2019 instead of Matlab R2019 )?
0 个评论
回答(1 个)
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:
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
2022-5-23
The link above is not working, so I am including the link again for convenience:
另请参阅
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!