Fortify軟件

強(qiáng)化靜態(tài)代碼分析器

使軟件更快地生產(chǎn)

能見度

Fortify軟件安全中心是一個(gè)集中管理存儲(chǔ)庫，為您的整個(gè)appsec測(cè)試程序提供可見性和報(bào)告。儀表板突出了您的應(yīng)用程序的風(fēng)險(xiǎn)，并有助于審查，管理和跟蹤您的安全測(cè)試活動(dòng)，優(yōu)行修復(fù)工作并控制您的軟件組合。

“Fortify在上市之前幫助我們找到并修復(fù)了Vital Images醫(yī)liao影像軟件的安全漏洞。它直接負(fù)責(zé)改進(jìn)我們軟件的安全狀態(tài)?！?/p>

- Tim Dawson，源代碼檢測(cè)工具fortify掃描，

Vital Image軟件工程總監(jiān)

“Fortify通過分析我們的軟件安全架構(gòu)和應(yīng)用程序代碼，幫助我們建立安全的開發(fā)實(shí)踐。我們將繼續(xù)使用Fortify軟件在其整個(gè)生命周期內(nèi)測(cè)試我們所有的軟件，以確保其始終保持安全。

- 盧克·波隆，銀行應(yīng)用項(xiàng)目經(jīng)理，

Parkeon

“在整個(gè)業(yè)務(wù)中的執(zhí)行支持和購買對(duì)我們的成功至關(guān)重要。發(fā)展與安全共同努力，確保我們?yōu)榭蛻糇稣_的事情，我們的業(yè)務(wù)是關(guān)鍵。在開發(fā)過程中發(fā)現(xiàn)漏洞，并教育開發(fā)人員在交付工作時(shí)思考“安全”，正在改變我們的工作和交付方式。這次旅程是與安全合作關(guān)系的巨大團(tuán)隊(duì)勝利，源代碼審計(jì)工具fortify掃描，文化轉(zhuǎn)變?yōu)殪`活的思維方式，為未來創(chuàng)造更好，可持續(xù)的過程?！?/p>

- CISO的Jennifer Cole，

ServiceMaster

Fortify軟件

Fortify g

類型

前獨(dú)立軟件廠商

行業(yè)計(jì)算機(jī)軟件

類型軟件

公司成立2003

Kleiner創(chuàng)始人Ted Schlein，源代碼審計(jì)工具fortify掃描，Perkins，Caufield＆Byers，Mike Armistead，華東fortify掃描，Brian Chess，Arthur Do，Roger Thornton

總部圣馬特奧，加利福尼亞州，美國

關(guān)鍵人物

約翰·杰克（前執(zhí)行官），雅各布·西（安全研究小組組長(zhǎng)），布萊恩·國際象棋（前科學(xué)家），亞瑟·杜（前總裁）

業(yè)主Hewlett Packard Company

網(wǎng)站

HP軟件安全網(wǎng)頁和

HP Fortify軟件安全中心服務(wù)器

Fortify軟件，后來被稱為Fortify Inc.，是一家位于加利福尼亞州的軟件安全供應(yīng)商，成立于2003年，由惠普在2010年收購[1]，成為惠普企業(yè)安全產(chǎn)品的一部分[2] [3]

2010年9月7日，HPE執(zhí)行官梅格·惠特曼（Meg Whitman）宣布，包括Fortify在內(nèi)的Hewlett Packard Enterprise的軟件資產(chǎn)將與Micro Focus合并，以創(chuàng)建一個(gè)獨(dú)立的公司，惠普企業(yè)股東將保留多數(shù)所有權(quán)。微焦點(diǎn)執(zhí)行官凱文·洛西莫爾（Kevin Loosemore）稱這項(xiàng)交易“完全符合我們既定的收購策略，并將重點(diǎn)放在成熟基礎(chǔ)設(shè)施產(chǎn)品的有效管理上”，并表示Micro Focus旨在“為成熟資產(chǎn)帶來盈利空間 - 約80百分之一 - 從今天的百分之二十一微科技在三年內(nèi)現(xiàn)有的46％的水平?！癧4]

技術(shù)咨詢weiyuanhui

Fortify的技術(shù)咨詢weiyuanhui由Avi Rubin，Bill Joy，David A. Wagner，F(xiàn)red Schneider，Gary McGraw，Greg Morrisett，Li Gong，Marcus Ranum，Matt Bishop，William Pugh和John Viega組成。

安全研究

除了Fortify的分析軟件的安全規(guī)則外，F(xiàn)ortify還創(chuàng)建了一個(gè)維護(hù)Java Open Review項(xiàng)目[5]和Vulncat安全漏洞分類的安全研究小組。[6]小組成員寫了這本書，安全編碼與靜態(tài)分析，并發(fā)表了研究，包括JavaScript劫持，[7]攻擊構(gòu)建：交叉構(gòu)建注入，[8]觀察你寫的：通過觀察程序輸出來防止跨站點(diǎn)腳本[9]和動(dòng)態(tài)趨勢(shì)傳播：找不到攻擊的脆弱性[10]

Fortify SCA 簡(jiǎn)介

Fortify SCA 是一個(gè)靜態(tài)的、白盒的軟件源代碼安全測(cè)試工具。 它通過內(nèi)置的五大主要分析引擎：數(shù)據(jù)流、語義、結(jié)構(gòu)、控制流、配 置流等對(duì)應(yīng)用軟件的源代碼進(jìn)行靜態(tài)的分析，分析的過程中與它特有 的軟件安全漏洞規(guī)則集進(jìn)行全mian地匹配、查找，從而將源代碼中存在

的安全漏洞掃描出來，并給予整理報(bào)告。掃描的結(jié)果中不但包括詳細(xì) 的安全漏洞的信息，還會(huì)有相關(guān)的安全知識(shí)的說明，以及修復(fù)意見的 提供。

1．Fortify

SCA 掃描引擎介紹：

Foritfy ? SCA

主要包含的五大分析引擎：

z ? 數(shù)據(jù)流引擎：跟蹤，記錄并分析程序中的數(shù)據(jù)傳遞過程所產(chǎn)生

的安全問題。

z 語義引擎：分析程序中不安全的函數(shù)，方法的使用的安全問題。

z 結(jié)構(gòu)引擎：分析程序上下文環(huán)境，結(jié)構(gòu)中的安全問題。

z ? 控制流引擎：分析程序特定時(shí)間，狀態(tài)下執(zhí)行操作指令的安全 問題。

z ? 配置引擎：分析項(xiàng)目配置文件中的敏感信息和配置缺失的安全

問題。

z ? 特有的 X-Tier?跟zong器：跨躍項(xiàng)目的上下層次，貫穿程序來綜合 分析問題