靜態(tài)分析的幾種基本方法

發(fā)布時(shí)間:2021-11-23

靜態(tài)分析的幾種基本方法:
 
抽象解析
將程序映射成更加抽象的域,試分析更加具有可跟中興并具有檢驗(yàn)代碼的作用;抽象解析通過計(jì)算能夠直接得出分析結(jié)果,而不是像其他
類型的方法使用驗(yàn)證的方式進(jìn)行分析;ASTREE是抽象分析的靜態(tài)檢查器。
 
數(shù)據(jù)流分析
將數(shù)據(jù)看作是圖,節(jié)點(diǎn)是程序的基本快,邊是描述控制如何從一個(gè)基本快轉(zhuǎn)移掉另一個(gè)基本快。
 
基于約束的分析
從程序問文本中產(chǎn)生一系列的本地約束,通過解釋這些約束來驗(yàn)證所有的屬性。
 
類型與結(jié)果分析
是結(jié)果系統(tǒng)和注釋的類型系統(tǒng)的混合。結(jié)果系統(tǒng)表達(dá)一個(gè)語句的執(zhí)行有什么結(jié)果;注釋的類型系統(tǒng)提供結(jié)果系統(tǒng)的予以。
 
推薦閱讀:
 
 
本文內(nèi)容不用于商業(yè)目的,如涉及知識(shí)產(chǎn)權(quán)問題,請(qǐng)權(quán)利人聯(lián)系SPASVO小編(021-60725088-8054),我們將立即處理,馬上刪除。
滬ICP備07036474號(hào) 2003-2024 版權(quán)所有 上海澤眾軟件科技有限公司 Shanghai ZeZhong Software Co.,Ltd.
微信
咨詢

添加客服微信 歡迎咨詢測(cè)試工具和測(cè)試服務(wù)

微信客服
問題
反饋
產(chǎn)品
畫冊(cè)

掃描二維碼下載澤眾軟件企業(yè)宣傳冊(cè)

產(chǎn)品畫冊(cè)
返回
頂部

方案咨詢

×
提交信息

電話咨詢,400-035-7887,安排專業(yè)技術(shù)售前給您解答(產(chǎn)品試用、技術(shù)交流、服務(wù)咨詢和商務(wù)報(bào)價(jià))。

您的信息已成功提交!

我們的客服人員稍后會(huì)與您聯(lián)系