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

polyspace是什么？

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

詳細(xì)信息見(jiàn)下：

PolyspaceBugFinder

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

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

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

對(duì)于自動(dòng)提取的代碼，Polyspace的檢查結(jié)果可追溯到到Simulink模型和dSPACETargetLink模塊。

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

PolyspaceCodeProver

可以證明軟件中不修真者的存在運(yùn)行時(shí)錯(cuò)誤

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

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

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

資料：

Polyspace Bug Finder Polyspace Code Prover

simulink如何自定義右鍵菜單？

HKEY_CLASSES_ROOT*shellexContextMenuHandlers在注冊(cè)表里面把位置移動(dòng)一下試試,先備分,刪除,再文件導(dǎo)入