Intel? Parallel Studio 2011 助你實現代碼的靜態檢查
Posted on 2011-07-13 21:39 RTY 閱讀(537) 評論(0) 編輯 收藏 引用 所屬分類: C/C++ 、軟件 、轉載隨筆作者: Peter Wang (Intel) (28 篇文章) 日期: 九月 17, 2010 在 2:14 下午
最近Intel新發布的產品Intel® Parallel Studio 2011包含四個組件:Intel® Parallel Composer 2011, Intel® Parallel Inspector 2011,Intel® Parallel Amplifier 和Intel® Parallel Advisor。
我們知道Intel® Parallel Inspector 2011 可以對程序進行動態檢查,包含內存檢查和線程檢查。
現在Intel® Parallel Studio 2011不用執行程序,也可以發現原代碼的錯誤。這個功能(Static Security Analysis - SSA) 給我們帶來的好處是:
- 只檢查原代碼,不檢查程序。在最終程序生成前,發現問題。節約了大量的調試時間
- 檢查所有的代碼,不管路徑有沒有被執行到
- 還檢查“死代碼”
- 只專注于內存訪問,不檢查線程訪問
- 無需Test Case (User Input)
SSA功能由二部分來實現:
- Intel® Parallel Composer 2011 實現靜態掃描,生成結果
- Intel® Parallel Inspector 2011 打開結果文件,進行分析
Intel® Parallel Composer 2011 上的關鍵步驟:
1. 選擇Intel C++編譯器
2. 改變編譯器的選項
3. 重新Rebuild, 生成結果
Intel® Parallel Inspector 2011上的關鍵步驟:
1. 打開結果文件,檢查某個錯誤
2. 對照原代碼,發現問題
3. 利用“幫助”,解釋問題