1. 程式人生 > >PVS-Studio C/C++/C++11 靜態程式碼分析工具

PVS-Studio C/C++/C++11 靜態程式碼分析工具

 

靜態程式碼分析軟體

靜態程式碼分析儀是一種檢測程式碼缺陷、分析對比
商業程式碼的工具,它分析原始碼和它生成的目標
檔案,但並不實際執行原始碼。應用於對安全性、
穩定性要求很高的領域,比如航天、國防、工業
控制、金融等就需要嚴格的程式碼分析工具。
PVS-Studio 能發現程式碼中一些潛在問題,或者
針對某些潛在問題給出警告。

 

PVS-Studio 說明:

PVS - Studio 是一款靜態分析軟體,用於診斷 
C / C++/ C+11 應用程式原始碼中的錯誤。
PVS - Studio 包含3套診斷規則:

  1. 64位錯誤診斷規則(Viva64)
  2. 平行錯誤診斷規則(VivaMP)
  3. 通用診斷規則

想要了解關於每一種診斷的更多資訊,請訪問相關的網頁,PVS – Studio 是為當代應用程式開發人員量身定做的。它結合在 Visual Studio2005/2008/2010 的開發環境中,為程式設計師提供了一個便利的人機互動使用者介面來分析檔案。通過程式碼導航,得到參考資訊。PVS-Studio 安裝了之後就可以開始工作,您不需要事先學習檔案,也不需要設定什麼。

相對於其他型別的方法而言,我們採用的靜態程式碼分析方法有明顯的優越性,因為它可以覆蓋整個程式程式碼。程式碼檢查的過程在任何情況下都不會破壞程式碼本身。分析過程完全由程式設計師控制,並決定是否需要修改程式碼。

PVS - Studio 工具是俄羅斯 OOO "Program Verification Systems" 公司自主開發。

 

PVS-Studio 特點:

  • 融合 Visual Studio2005/2008/2010的開發環境;
  • 提供線上幫助;
  • 可以生成PDF檔案;
  • 可以儲存和下載分析結果;
  • 具有命令列啟動能力;
  • 支援所有的核心和處理器;
  • 評估64位程式碼移植的複雜度;
  • 支援 Windows(LLP64)和 Linux(LP64)的資料模型;
  • 互動式過濾器;
  • 易於融入團隊開發專案中;
  • 標記程式文字僅檢查新程式碼。

 

PVS-Studio 優點:

  • 易於下載!無需註冊或者填寫任何表格,您就可以下載 PVS – Studio 軟體開發包,包括三套診斷規則:64 位軟體分析的 Viva64 規則,並行軟體分析的 VivaMP 規則,和通用分析規則。在30天的試用期滿後,你可以選擇購買它。
  • 易於操作!PV- Studio 是執行程式作為 Visual Studio2005/2008/2010 開發環境的外掛使用。該程式安裝簡單,在執行前不需要進行特殊設定。軟體包包括一個示例專案,包含了所有通過PVS – Studio 診斷出來的錯誤。您可以安裝這個專案來研究 PVS - Studio 工具的工作方式。
  • 易於購買!不同於其他的程式碼分析工具,我們制定了簡單的定價規則和許可政策,我們不會詢問你的應用程式碼型別,也不會通過電話向你推銷訓練課程,您可以直接打電話給我們的代理商,廣州虹科電子科技有限公司(020-38743030),諮詢產品資訊,然後選擇適合您的產品。在您支付貨款後,我們會盡快將註冊碼發到您的郵箱。
  • 強大的技術支援!靜態程式碼分析工具的開發員直接與您溝通,讓您迅速得到相關的、複雜的程式設計問題的答案。此外,我們的網站收集了大量資源,包括高質量的程式碼,測試案例, PVS – Studio 的使用方法和靜態程式碼分析方法。這些能為您找到在64位軟體開發領域和並行程式設計等許多問題的答案。

 

PVS-Studio 在知名專案中檢測出來的漏洞