polyspace是什么？

這兩個基本絕大部分用戶都用不上，刪除不會影響。Polyspace Bug Finder R2014a是查找代碼的bug，比如除0，溢出，數組訪問超出邊界等問題。后面的類似。刪除不會影響。

詳細信息見下：

Polyspace Bug Finder

通過靜態分析找出軟件錯誤

Polyspace Bug Finder™ 可以識別 C 和 C++ 代碼中的運行時錯誤、并發問題、安全漏洞和其他缺陷。Polyspace Bug Finder使用包含語義分析在內的靜態分析功能分析軟件控制、數據流和程序交互行為。通過在檢測到缺陷之后立即高亮顯示，可讓您在開發過程的早期階段鑒別和修復錯誤。

Polyspace Bug Finder 可檢查是否符合編碼規范，如 MISRA C®、MISRA C++、JSF++ 和用戶自定義命名規范。它可以生成包括被發現的錯誤、代碼違規和代碼質量指標（（如圈復雜度）等在內的報告。Polyspace Bug Finder 可與 Eclipse™ IDE 結合使用并集成到編譯生成系統中。

對于自動生成的代碼，Polyspace®的檢查結果可以追溯到 Simulink® 模型和 dSPACE® TargetLink® 模塊。

通過 IEC Certification Kit（適用于 ISO 26262 和 IEC 61508）和 DO Qualification Kit（適用于DO-178）可提供對行業標準的支持。

Polyspace Code Prover

證明軟件中不存在運行時錯誤

Polyspace Code Prover™ 作為一款可靠的靜態分析工具，能夠證明在C 和 C++ 源代碼中不存在溢出、除零、數組訪問越界以及其它運行時錯誤。整個分析過程無需執行程序、植入代碼，或運行測試用例。Polyspace Code Prover 使用基于形式化方法的語義分析和抽象解釋驗證軟件程序交互、控制和數據流的行為。你可以用于手寫代碼、生成代碼或二者的混合代碼。每項檢查均在代碼上著色表示是否無運行時錯誤、已證明有問題、不可達或有待進一步分析。

Polyspace Code Prover 亦能顯示變量和函數返回值的范圍信息，并可以證明變量是否超出指定范圍限制。這些結果可以發布到看板上，以跟蹤質量指標并確保符合軟件質量目標。Polyspace Code Prover 還可以集成到編譯生成系統中以執行自動驗證。

通過IEC Certification Kit（適用于 IEC 61508 和 ISO 26262）和 DO Qualification Kit（適用于 DO-178）可以提供對行業標準的支持。此外，它還可以支持 Ada 語言。

資料：

Polyspace Bug Finder

http://cn.mathworks.com/products/polyspace-bug-finder/

Polyspace Code Prover

http://cn.mathworks.com/products/polyspace-code-prover/