源代碼審計工具fortify規(guī)則-華克斯-fortify規(guī)則

Fortify常見問題解決方法

內存不足問題

在應用Fortify SCA實施源代碼掃描過程中內存不足是分析器（sourceanalyzer）經常報出的一類問題，如下：

掃描過程中：

1、com.a.analyzer.AbortedException: There is not enough memory available

2、to complete analysis. ?For details on making more memory available；

There were 3 problems with insufficient memory. Results may be incomplete.

因此，我們必須對JVM參數(shù)進行調整，增加虛擬器內存大小。

（1）確認安裝64位的Fortify SCA程序；（這是一個眾所周知的JVM問題，32為虛擬機內存大小及其有限）；

（2）安裝一個64位的jre，并將其替換HP_Fortify﹨HP_Fortify_SCA_and_Apps_3.80﹨的jre目錄（就算你安裝了64位的Fortify SCA程序，該程序默認的jre仍然是32位的）；

39;>

Fortify是Micro Focus旗下AST （應用程序安全測試）產品，其產品組合包括：Fortify Static Code Analyzer提供靜態(tài)代碼分析器（SAST），F(xiàn)ortify WebInspect是動態(tài)應用安全測試軟件（DAST），Software Security Centre是軟件安全中心（SSC）和 Application Defender 是實時應用程序自我保護（RASP）。

Fortify 能夠提供靜態(tài)和動態(tài)應用程序安全測試技術，以及運行時應用程序監(jiān)控和保護功能。為實現(xiàn)安全監(jiān)測，源代碼審計工具fortify規(guī)則，F(xiàn)ortify具有源代碼安全分析，可定位漏洞產生的路徑，以及具有1分鐘1萬行的掃描速度。

Fortify掃描Qt項目

Fortify對于C++類型的代碼掃描需要結合編譯指令實現(xiàn)，但Fortify支持的C++指令并不多，源代碼檢測工具fortify規(guī)則，所以有些類似使用Qt工具開發(fā)的項目就需要做一定調整來適配Foritfy的掃描。使用gcc或者cl級別的命令來實現(xiàn)會很麻煩，因為需要對于Qt的qmake工具運行邏輯有一定深入分析，熟知其生成的Makefile以來的環(huán)境和make工具，難度較大，所以更建議以Visual Studio的Fortify插件為入口，先將Qt項目轉成Visual Studio項目，再使用插件掃描，這樣就會容易很多。

我們簡單介紹一下流程:

1、在Visual Studio中安裝Qt Visual Studio Tools插件和Fortify插件。

2、在Qt插件的Qt Opt選項中配置編譯套件，該套件位置可以在Qt對應版本下面，比如Qt﹨Qt5.12.8﹨5.12.8﹨msvc2017。

3、使用Qt插件的Open Qt Project File (.pro)...打開對應的Qt項目，并使用插件的Convert custom build steps to Qt/MSBuild選項，將項目轉成vs項目，并生成對應的.vcsproj文件。

測試能成功運行后，就可以使用Fortify進行掃描了。步驟類似與上面的Android項目，即可生成對應的fpr文件。另外，源代碼審計工具fortify規(guī)則，如果想要使用命令來自動化的進行項目掃描，fortify規(guī)則，但不知道一個類型的項目如何進行適配，可以解壓使用插件生成的fpr文件。查看其中audit.fvdl文件中的sun.mand屬性內容，里面包含了該項目生成掃描中間文件的指令參數(shù)，可以參考了解如何配置自動化的掃描平臺。

源代碼審計工具fortify規(guī)則-華克斯-fortify規(guī)則由蘇州華克斯信息科技有限公司提供。蘇州華克斯信息科技有限公司是一家從事“Loadrunner,Fortify,源代碼審計,源代碼掃描”的公司。自成立以來，我們堅持以“誠信為本，穩(wěn)健經營”的方針，勇于參與市場的良性競爭，使“Loadrunner,Fortify,Webinspect”品牌擁有良好口碑。我們堅持“服務至上，用戶至上”的原則，使華克斯在行業(yè)軟件中贏得了客戶的信任，樹立了良好的企業(yè)形象。 特別說明：本信息的圖片和資料僅供參考，歡迎聯(lián)系我們索取準確的資料，謝謝！