polyspace是什么？這兩個基本上絕大部分用戶都用不上，刪掉不會影響。PolyspaceBugFinderR2014a是直接輸入代碼的bug，比如說除0，逸出，數(shù)組訪問遠遠超出邊界等問題。后面的類

polyspace是什么？

這兩個基本上絕大部分用戶都用不上，刪掉不會影響。PolyspaceBugFinderR2014a是直接輸入代碼的bug，比如說除0，逸出，數(shù)組訪問遠遠超出邊界等問題。后面的類似于。刪掉不會影響。

詳細信息見下：

PolyspaceBugFinder

靜態(tài)分析找到什么軟件錯誤

PolyspaceBugFinder可以不識別C和C代碼中的運行時錯誤、并發(fā)問題、安全漏洞和其他缺陷。PolyspaceBugFinder使用包涵語義分析在內(nèi)的靜態(tài)分析功能分析軟件控制、數(shù)據(jù)流和程序交互行為。通過在怎么檢測到缺陷之后立刻提示文字，可讓您在開發(fā)過程的早期階段鑒別和修復錯誤。

PolyspaceBugFinder可檢查是否符合國家規(guī)定編碼規(guī)范，如MISRAC、MISRAC、JSF和用戶自定義命名規(guī)范。它也可以化合以及被發(fā)現(xiàn)的錯誤、代碼違規(guī)和代碼質量指標（（如圈奇怪度）等在內(nèi)的報告。PolyspaceBugFinder可與EclipseIDE生克制化不使用并集成主板到編譯生成系統(tǒng)中。

對于自動提取的代碼，Polyspace的檢查結果可追溯到到Simulink模型和dSPACETargetLink模塊。

按照IECCertificationKit（范圍問題于ISO 26262和IEC61508）和DO Qualification Kit（適用于DO-178）可提供對行業(yè)標準的支持。

PolyspaceCodeProver

可以證明軟件中不修真者的存在運行時錯誤

PolyspaceCodeProver充當一款可信的靜態(tài)動態(tài)分析工具，能可證明在C和C源代碼中不未知流出、除零、數(shù)組ftp訪問越界以及其它運行時錯誤。整個分析過程不必執(zhí)行程序、埋植代碼，或運行測試用例。PolyspaceCodeProver可以使用基于組件形式化方法的語義分析和抽象的概念解釋驗證軟件程序交互操作、控制和數(shù)據(jù)流的行為。你也可以應用于打印代碼、生成代碼或二者的調和代碼。每項檢查均在代碼上著色可以表示是否需要無運行時錯誤、已相關證明有問題、絕不可以達或需進一步一系列總結。

PolyspaceCodeProver亦能不顯示變量和函數(shù)返回值的范圍信息，并這個可以可證明變量有無遠超過指定范圍限制。這些結果可以不首頁到看板上，以跟蹤質量指標并確保全條件符合軟件質量目標。PolyspaceCodeProver還是可以板載顯卡到編譯生成系統(tǒng)中以負責執(zhí)行自動驗證。

（可以參照于IEC61508和ISO 26262）和DO Qualification Kit（可以參照于DO-178）可以不提供對行業(yè)標準的支持。再者，它還也可以意見Ada語言。

資料：

Polyspace Bug Finder Polyspace Code Prover

simulink如何自定義右鍵菜單？

HKEY_CLASSES_ROOT*shellexContextMenuHandlers在注冊表里面把位置移動一下試試,先備分,刪除,再文件導入