亚洲精品久久久久久久久久久,亚洲国产精品一区二区制服,亚洲精品午夜精品,国产成人精品综合在线观看,最近2019中文字幕一页二页

0
  • 聊天消息
  • 系統(tǒng)消息
  • 評(píng)論與回復(fù)
登錄后你可以
  • 下載海量資料
  • 學(xué)習(xí)在線課程
  • 觀看技術(shù)視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會(huì)員中心
創(chuàng)作中心

完善資料讓更多小伙伴認(rèn)識(shí)你,還能領(lǐng)取20積分哦,立即完善>

3天內(nèi)不再提示

什么是靜態(tài)分析?如何管理早期靜態(tài)分析報(bào)告

麥克泰技術(shù) ? 來源:麥克泰技術(shù) ? 作者:麥克泰技術(shù) ? 2022-11-01 11:35 ? 次閱讀
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

Parasoft作為軟件測試工具,小編接觸過很多在這方面尋求幫助的人,所以有這方面疑惑的不止你一個(gè)人哦!

我們假定你已經(jīng)安裝了靜態(tài)分析工具并配置了所有初始設(shè)置。除此以外,如果剛開始沒有確定項(xiàng)目需要采取的策略,入門會(huì)比較困難。小編所說的“入門”是指深入理解將靜態(tài)分析集成到現(xiàn)有項(xiàng)目中的一般方法,以及如何提高靜態(tài)分析隨著時(shí)間的推移帶來的投資回報(bào)。

什么是靜態(tài)分析?

簡單來說,靜態(tài)分析是在不執(zhí)行代碼的情況下檢查源代碼和二進(jìn)制代碼的過程,通常用于查找bug的前期準(zhǔn)備或評(píng)估代碼質(zhì)量。與需要運(yùn)行程序的動(dòng)態(tài)分析(例如Parasoft Insure ++)不同,靜態(tài)分析可以直接分析源代碼而不需要執(zhí)行源代碼。

這意味著靜態(tài)分析可用于部分完整的代碼,庫和第三方源代碼。開發(fā)人員可以將靜態(tài)分析應(yīng)用在編寫或修改代碼的過程中,甚至可以應(yīng)用到任何代碼庫。

支持功能安全和編碼標(biāo)準(zhǔn)

在應(yīng)用程序安全域中,靜態(tài)代碼分析采用了靜態(tài)應(yīng)用程序安全性測試(SAST)技術(shù)。靜態(tài)分析可以支持安全漏洞檢測,同時(shí)支持bug檢測,質(zhì)量指標(biāo)和編碼標(biāo)準(zhǔn)一致性檢測。

另外,靜態(tài)分析工具強(qiáng)制要求(在某些情況下“強(qiáng)烈推薦”)能夠支持安全標(biāo)準(zhǔn)(如ISO 26262或EN 50128)的檢測,因?yàn)檫@些標(biāo)準(zhǔn)能夠檢測難以發(fā)現(xiàn)的缺陷并提高軟件的安全性。當(dāng)然,這又回歸到安全性的問題上,因?yàn)殪o態(tài)分析工具還可以幫助軟件團(tuán)隊(duì)遵守主要用于驗(yàn)證安全編碼的編碼標(biāo)準(zhǔn),例如CERT甚至MISRA。

靜態(tài)分析工具優(yōu)點(diǎn)及難點(diǎn)

靜態(tài)分析工具的一個(gè)優(yōu)點(diǎn)是它們可以在項(xiàng)目的任何階段引入和使用,即使項(xiàng)目是不完整的或者只有部分編碼是有效的。引入靜態(tài)分析的最大難點(diǎn)在于代碼量大會(huì)產(chǎn)生大量的警告。因此,將靜態(tài)分析應(yīng)用到項(xiàng)目中時(shí)的重點(diǎn)應(yīng)該是使團(tuán)隊(duì)能夠盡快高效工作,并最大限度地減少團(tuán)隊(duì)被靜態(tài)分析的警告困擾的情況。這并不是說這些警告不重要,但大多數(shù)開發(fā)人員都不會(huì)修復(fù)現(xiàn)有或遺留代碼缺陷,至少不是立即處理。

最重要的應(yīng)該是將靜態(tài)分析運(yùn)用到日常流程中,以便最大化靜態(tài)分析的使用效果和可用性,然后處理最危險(xiǎn)的bug和安全漏洞。一旦團(tuán)隊(duì)變得更加熟練,你就可以專注于優(yōu)化工具和流程,提高投資回報(bào)率。

如何管理早期靜態(tài)分析報(bào)告

一旦將靜態(tài)分析工具安裝到項(xiàng)目中,該工具通常會(huì)報(bào)告相當(dāng)長的違規(guī)和警告報(bào)告。這可能是多到無法處理的,特別是在大型代碼庫中,因此如何管理這些報(bào)告將會(huì)直接影響到工具集成到項(xiàng)目中能否成功。

并非所有警告都是至關(guān)重要的,因此不需要立即處理所有警告。學(xué)習(xí)哪些需要立即解決而哪些需要推遲處理是成功的關(guān)鍵。如上所述,產(chǎn)品的成熟度和規(guī)模對(duì)方法有直接影響,下面將更詳細(xì)地概述。

底線方法

顧名思義,在這種方法中,開發(fā)人員決定在初步分析之后,他們不會(huì)讓任何更嚴(yán)重的警告和違規(guī)進(jìn)入代碼庫。換句話說,他們需要分析每個(gè)警告來確定其準(zhǔn)確性,并及時(shí)修復(fù),如果它確實(shí)是一個(gè)bug。

團(tuán)隊(duì)還可以決定在現(xiàn)有代碼中添加已發(fā)現(xiàn)的關(guān)鍵警告,并將其添加到報(bào)告工具中的bug列表中。這些類型的警告可能是嚴(yán)重的安全漏洞,如SQL注入,或嚴(yán)重的內(nèi)存錯(cuò)誤,如緩沖區(qū)溢出。在大多數(shù)情況下,可以推遲不太嚴(yán)重的警告以供以后分析。你可能會(huì)想,“這不僅僅會(huì)增加我們的技術(shù)債務(wù)嗎?”如果你這樣想,那你就是對(duì)的!但在這個(gè)階段,我們對(duì)此表示滿意。這些警告中的任何潛在錯(cuò)誤都已經(jīng)在技術(shù)債務(wù)堆中。至少現(xiàn)在,它們被識(shí)別出來并且以后更容易修復(fù)。

確認(rèn)并推遲處理方法

如果產(chǎn)品已經(jīng)在市場上并且正在維護(hù)中,那么識(shí)別代碼中的任何bug和安全漏洞仍然是有益的,但讓開發(fā)人員分析(更不用說修復(fù))所有這些警告是不可行的。

在這種情況下,查看最重要的報(bào)告并確定行動(dòng)方案是有意義的。其余的警告只需要確認(rèn),因?yàn)檐浖F(tuán)隊(duì)認(rèn)識(shí)到它們存在,但它們大多數(shù)都被推遲了。(這再次增加了該組織的技術(shù)債務(wù),但如上所述,這些漏洞在技術(shù)上已經(jīng)存在作為技術(shù)債務(wù)。)這種方法不同于底線方法的地方在于確定關(guān)鍵警告后,你會(huì)推遲其余的警告,而不需要所有的都分析。

綠地方法

現(xiàn)有代碼很少的項(xiàng)目是靜態(tài)分析的理想起點(diǎn)。在這種情況下,軟件團(tuán)隊(duì)可以調(diào)查出現(xiàn)的所有警告并修復(fù)發(fā)現(xiàn)的錯(cuò)誤。與其他方法不同,你只需要管理很少的警告,因此開發(fā)人員可以解決額外的工作。這也是通過這些工具實(shí)現(xiàn)和實(shí)施編碼標(biāo)準(zhǔn)的理想時(shí)間,因?yàn)榭梢栽贗DE中以及在將任何代碼提交到版本控制之前識(shí)別和修復(fù)違規(guī)(你可以在此處描述的其他方案中執(zhí)行此操作)。

在三個(gè)主要階段采用何種靜態(tài)分析,可以通過如何處理積壓的警告來區(qū)分,如下所示:

732f3bc4-5992-11ed-a3b6-dac502259ad0.jpg

在三個(gè)主要階段采用靜態(tài)分析:在綠地項(xiàng)目中,大多數(shù)報(bào)告的警告都經(jīng)過調(diào)查和修復(fù),幾乎沒有進(jìn)入技術(shù)債務(wù)堆。正在開發(fā)的項(xiàng)目往往會(huì)積壓大量的警告,這些警告大部分都是推遲處理,只處理嚴(yán)重警告,維護(hù)中的產(chǎn)品往往會(huì)推遲大多數(shù)警告。

配置與過濾

開源或輕量級(jí)靜態(tài)分析工具與商業(yè)高級(jí)靜態(tài)分析工具之間的主要區(qū)別之一在于能否配置為分析啟用哪組檢查器,并根據(jù)警告類別,文件名,嚴(yán)重性等過濾掉報(bào)告的結(jié)果屬性。這有助于突出目標(biāo)——開發(fā)人員可以專注于他們感興趣的警告類型,并減少在任何時(shí)間產(chǎn)生的垃圾信息量。

配置檢查器和過濾結(jié)果之間也存在差異。盡管一開始限制全局配置中的規(guī)則數(shù)量似乎更好,但通常應(yīng)使用過濾來限制報(bào)告范圍,而不是完全消除檢查程序。如果在配置中關(guān)閉后來證明是重要的規(guī)則,則警告存儲(chǔ)庫中將沒有歷史記錄,因此你將無法確定錯(cuò)誤是由最近的更改引入還是在靜態(tài)分析之前已經(jīng)在代碼中。

我建議使用配置將規(guī)則集限制為可預(yù)見對(duì)軟件團(tuán)隊(duì)有用的規(guī)則。同樣,以最終目標(biāo)為出發(fā)點(diǎn):如果提高安全性是關(guān)鍵目標(biāo),那么啟用所有與安全相關(guān)的規(guī)則,禁用不太重要的規(guī)則,啟用CERT C等內(nèi)置安全編碼標(biāo)準(zhǔn)。如果你正在使用Parasoft C/C++test等高級(jí)靜態(tài)分析解決方案,你可以利用其內(nèi)置的管理工具來處理靜態(tài)分析報(bào)告中生成的數(shù)據(jù),并推進(jìn)未來的重點(diǎn)開發(fā)工作。

總結(jié)

靜態(tài)分析工具使團(tuán)隊(duì)無需執(zhí)行代碼,就能夠檢測和跟蹤錯(cuò)誤安全漏洞。這些工具可應(yīng)用于現(xiàn)有、傳統(tǒng)和第三方代碼并提供質(zhì)量審查結(jié)果。

采用何種靜態(tài)分析方法在一定程度上取決于項(xiàng)目的成熟度。大量代碼確實(shí)會(huì)產(chǎn)生大量警告。但這完全是可管理的,能否成功取決于團(tuán)隊(duì)如何決定處理結(jié)果。好好考慮為項(xiàng)目的每個(gè)成熟度階段引入不同的技術(shù),以及如何將這些工具集成到開發(fā)人員,團(tuán)隊(duì)負(fù)責(zé)人和經(jīng)理的日常工作流程中。

審核編輯 :李倩

聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點(diǎn)僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學(xué)習(xí)之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問題,請聯(lián)系本站處理。 舉報(bào)投訴
  • 代碼
    +關(guān)注

    關(guān)注

    30

    文章

    4927

    瀏覽量

    72534
  • 應(yīng)用程序
    +關(guān)注

    關(guān)注

    38

    文章

    3340

    瀏覽量

    59801
  • 靜態(tài)分析
    +關(guān)注

    關(guān)注

    1

    文章

    44

    瀏覽量

    4136

原文標(biāo)題:如何使用靜態(tài)分析,減輕團(tuán)隊(duì)壓力?

文章出處:【微信號(hào):麥克泰技術(shù),微信公眾號(hào):麥克泰技術(shù)】歡迎添加關(guān)注!文章轉(zhuǎn)載請注明出處。

收藏 人收藏
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

    評(píng)論

    相關(guān)推薦
    熱點(diǎn)推薦

    知識(shí)分享 | 使用MXAM進(jìn)行AUTOSAR模型的靜態(tài)分析:Embedded Coder與TargetLink模型

    知識(shí)分享在知識(shí)分享欄目中,我們會(huì)定期與讀者分享來自MES模賽思的基于模型的軟件開發(fā)相關(guān)Know-How干貨,關(guān)注公眾號(hào),隨時(shí)掌握基于模型的軟件設(shè)計(jì)的技術(shù)知識(shí)。使用MXAM進(jìn)行AUTOSAR模型的靜態(tài)
    的頭像 發(fā)表于 08-27 10:04 ?399次閱讀
    知識(shí)分享 | 使用MXAM進(jìn)行AUTOSAR模型的<b class='flag-5'>靜態(tài)</b><b class='flag-5'>分析</b>:Embedded Coder與TargetLink模型

    汽車軟件團(tuán)隊(duì)必看:基于靜態(tài)代碼分析工具Perforce QAC的ISO 26262合規(guī)實(shí)踐

    ISO 26262合規(guī)指南,從ASIL分級(jí)到工具落地,手把手教你用靜態(tài)代碼分析(Perforce QAC)實(shí)現(xiàn)高效合規(guī)。
    的頭像 發(fā)表于 08-07 17:33 ?747次閱讀
    汽車軟件團(tuán)隊(duì)必看:基于<b class='flag-5'>靜態(tài)</b>代碼<b class='flag-5'>分析</b>工具Perforce QAC的ISO 26262合規(guī)實(shí)踐

    如何正確選購功率半導(dǎo)體器件靜態(tài)參數(shù)測試機(jī)?

    主要的功率半導(dǎo)體器件特性分為靜態(tài)特性、動(dòng)態(tài)特性、開關(guān)特性。這些測試中最基本的測試就是靜態(tài)參數(shù)測試。靜態(tài)參數(shù)主要是指本身固有的,與其工作條件無關(guān)的相關(guān)參數(shù)。主要包括:柵極開啟電壓、柵極擊穿電壓、源極漏
    的頭像 發(fā)表于 08-05 16:06 ?502次閱讀
    如何正確選購功率半導(dǎo)體器件<b class='flag-5'>靜態(tài)</b>參數(shù)測試機(jī)?

    D3502C:低靜態(tài)電流設(shè)計(jì),延長設(shè)備續(xù)航能力

    ? ? ? ? 在當(dāng)今電子設(shè)備日益便攜化和智能化的背景下,電源管理芯片的低功耗設(shè)計(jì)成為提升設(shè)備續(xù)航能力的關(guān)鍵因素之一。D3502C?高壓降壓轉(zhuǎn)換器,憑借其低靜態(tài)電流設(shè)計(jì),顯著延長了電池供電設(shè)備
    的頭像 發(fā)表于 07-14 14:53 ?305次閱讀

    動(dòng)態(tài)BGP與靜態(tài)BGP的區(qū)別?

    的 IP,只要遠(yuǎn)端發(fā)起 BGP 握手,且來自 AS 65002,即自動(dòng)建立對(duì)等關(guān)系。四、實(shí)戰(zhàn)應(yīng)用場景分析場景一:傳統(tǒng)運(yùn)營商邊界路由器 使用靜態(tài) BGP BGP 對(duì)等關(guān)系固定,變化極少 需要手動(dòng)管理
    發(fā)表于 06-24 06:57

    詳解ADC電路的靜態(tài)仿真和動(dòng)態(tài)仿真

    ADC電路主要存在靜態(tài)仿真和動(dòng)態(tài)仿真兩類仿真,針對(duì)兩種不同的仿真,我們存在不同的輸入信號(hào)和不同的數(shù)據(jù)采樣,因此靜態(tài)仿真和動(dòng)態(tài)仿真是完全不同的兩個(gè)概念,所以設(shè)置的參數(shù)不同。
    的頭像 發(fā)表于 06-05 10:19 ?1359次閱讀
    詳解ADC電路的<b class='flag-5'>靜態(tài)</b>仿真和動(dòng)態(tài)仿真

    有償邀請企業(yè)或個(gè)人分析此圖,并提供分析報(bào)告

    有償邀請企業(yè)或個(gè)人分析此圖,并提供分析報(bào)告
    發(fā)表于 06-01 18:40

    揭秘ABAQUS強(qiáng)大到超乎想象的分析功能有哪些?

    和研究人員解決復(fù)雜工程問題的得力助手。本文將深入探討ABAQUS那些強(qiáng)大到超乎想象的分析功能,揭示它如何在不同領(lǐng)域發(fā)揮關(guān)鍵作用。 一、靜態(tài)與動(dòng)態(tài)分析的雙劍合璧 ABAQUS的核心功能之一是其強(qiáng)大的
    的頭像 發(fā)表于 05-21 16:15 ?441次閱讀
    揭秘ABAQUS強(qiáng)大到超乎想象的<b class='flag-5'>分析</b>功能有哪些?

    DA9233高效、超低靜態(tài)電流降壓穩(wěn)壓器和超低靜態(tài)電流 LDO數(shù)據(jù)手冊

    DA9233 是一款高效、超低靜態(tài)電流降壓穩(wěn)壓器和超低靜態(tài)電流 LDO,采用緊湊型 I2C 可配置 WLCSP 封裝。降壓穩(wěn)壓器還具有超低輸出紋波(10mV)。 該器件適用于需要低紋波和高效電源
    的頭像 發(fā)表于 04-08 18:07 ?538次閱讀
    DA9233高效、超低<b class='flag-5'>靜態(tài)</b>電流降壓穩(wěn)壓器和超低<b class='flag-5'>靜態(tài)</b>電流 LDO數(shù)據(jù)手冊

    高度集成、可配置的低靜態(tài)電流電源管理IC DA9072數(shù)據(jù)手冊

    DA9072 是一款高度集成、可配置的低靜態(tài)電流電源管理 IC(PMIC),集成了可穿戴設(shè)備、家庭自動(dòng)化和低功耗電池應(yīng)用的最常見需求。 PMIC包括一個(gè)具有電源路徑管理功能的線性充電器、超低
    的頭像 發(fā)表于 04-02 11:39 ?666次閱讀
    高度集成、可配置的低<b class='flag-5'>靜態(tài)</b>電流電源<b class='flag-5'>管理</b>IC DA9072數(shù)據(jù)手冊

    集成電路設(shè)計(jì)中靜態(tài)時(shí)序分析介紹

    本文介紹了集成電路設(shè)計(jì)中靜態(tài)時(shí)序分析(Static Timing Analysis,STA)的基本原理、概念和作用,并分析了其優(yōu)勢和局限性。 ? 靜態(tài)時(shí)序
    的頭像 發(fā)表于 02-19 09:46 ?1112次閱讀

    ADC的靜態(tài)指標(biāo)有專用的分析工具嗎?

    請問:ADC的靜態(tài)指標(biāo)有專用的分析工具嗎?該指標(biāo)很少在評(píng)估ADC指標(biāo)時(shí)使用,是否該指標(biāo)不重要,應(yīng)用中什么情況下需要評(píng)估該指標(biāo)? 另外ADC的SNR = 6.02*N + 1.76 +10*log10(fs/2BW) 當(dāng)被采樣信號(hào)為單音時(shí) 該BW為多少?
    發(fā)表于 02-08 08:13

    英諾達(dá)發(fā)布全新靜態(tài)驗(yàn)證產(chǎn)品,提升芯片設(shè)計(jì)效率

    了重要一步,將為中國芯片產(chǎn)業(yè)的發(fā)展注入新的活力。 靜態(tài)驗(yàn)證作為一種業(yè)界普遍使用的驗(yàn)證方法,通過對(duì)設(shè)計(jì)的源代碼進(jìn)行深入分析,能夠發(fā)現(xiàn)設(shè)計(jì)中的潛在問題。與動(dòng)態(tài)仿真驗(yàn)證和形式化驗(yàn)證相結(jié)合,靜態(tài)驗(yàn)證可以顯著提高驗(yàn)證的覆蓋率,幫助設(shè)計(jì)師在
    的頭像 發(fā)表于 12-24 16:53 ?1042次閱讀

    靜態(tài)路由和鏈路聚合的通信原理

    靜態(tài)路由和鏈路聚合的通信原理
    發(fā)表于 12-23 16:59 ?10次下載

    電阻失效分析報(bào)告

    電阻失效分析報(bào)告
    的頭像 發(fā)表于 11-03 10:42 ?1118次閱讀