資安常用軟體‎ > ‎代碼安全‎ > ‎

PolySpace Client for C/C++

張貼者:2010年5月31日 下午5:05service orderble   [ eddie liu 已於 2012年8月8日 上午12:14 更新 ]
------------------------------------------------------------------------------------
開發商:MathWorks, Inc.  (matlab開發商)
原廠網頁:http://www.mathworks.com/products/polyspaceclientc/
更新日期:2011/05/04
採購正式版、大量授權報價、技術支援、軟體諮詢、委託採購、詢問報價請來電 02-29299388 分機16 , 
來信service@orderble.com,或點我
--------------------------------------------------------------------------------------




PolySpace
——基於源程序運行時錯誤的靜態檢查工具

PolySpace軟件是由PolySpace公司開發的一個程序運行時錯誤的靜態檢查工具。 該軟件採用基於源代碼靜態檢查的方法來檢查程序在運行時可能出現的錯誤,可以大幅度的提高軟件的可靠性,降低測試成本,縮短軟件的開發週期。

PolySpace特點

採用高級形式化分析技術,對源代碼進行形式化驗證,確保分析情況無一遺漏;

不需要測試用例,不需要使用儀器,更不需要運行程序,就能對源程序進行運行時錯誤檢查,降低了查錯的成本;

可以檢測出哪些代碼是安全的,哪些可能有問題,哪些一定有問題,哪些無法被執行到的,可以直接定位到源程序,便於修改錯誤;

與Simulink®的RTW®、Targetlink®和BEACON®無縫連接,為用戶提供了非常便利的使用途徑;

滿足MISRA、DO-178B、IEC-61508、FDA等認證標準,為用戶編寫安全、可靠的程序提供了保證;

能夠對C、C++、Ada語言進行檢查;

既支持對手寫代碼的檢查,也支持對自動代碼生成工俱生成的代碼進行檢查。



PolySpace客戶端的C / C + + 7.2

證明的情況下運行時源代碼中的錯誤


PolySpace Client

PolySpace客戶™用於 C / C + +,結合 PolySpace服務器™用於 C / C + +,提供了代碼為基礎的驗證,證明是缺乏溢出,除以零,出界數組訪問,以及其他運行時錯誤的源代碼,而無需程序執行,代碼插裝,或測試的情況。 PolySpace客戶端的C / C + +使用抽象解釋技術,以驗證代碼。 你可以用它來核實手寫代碼,生成的代碼,或一兩個組合,在編譯和測試。





Comments