目錄： Motivation Datalog介紹 Datalog實(shí)現(xiàn)指針?lè)治?Datalog實(shí)現(xiàn)污點(diǎn)分析 重點(diǎn)： Datalog語(yǔ)法，如何利用D...
投稿
收錄了6篇文章 · 1人關(guān)注
-
【課程筆記】南大軟件分析課程10——基于Datalog的程序分析（課時(shí)14） -
符號(hào)執(zhí)行(6) - clang靜態(tài)分析器帶你一起讀代碼符號(hào)執(zhí)行(6) - clang靜態(tài)分析器帶你一起讀代碼 符號(hào)執(zhí)行除了可以生成較高的覆蓋率的測(cè)試用例之外，其實(shí)還有很多用途，其中最廣為人知的可能是...
-
【內(nèi)核靜態(tài)分析】K-Miner: Linux內(nèi)核靜態(tài)分析工具介紹本文總結(jié)來(lái)自2018-NDSS的K-Miner論文[https://www.ndss-symposium.org/wp-content/uplo...
-
使用污點(diǎn)分析檢查log4j問(wèn)題【摘要】 log4j問(wèn)題的余波還在繼續(xù)，為什么這個(gè)問(wèn)題潛伏了這么長(zhǎng)時(shí)間，大家一直沒(méi)有發(fā)現(xiàn)？這里從靜態(tài)分析的角度談下log4j問(wèn)題的發(fā)現(xiàn). 1. ...
-
CWE4.8 -- 2022年危害最大的25種軟件安全問(wèn)題CWE 4.8的變化 2022年過(guò)了一半了，繼《CWE 4.7中的新視圖 – 工業(yè)控制系統(tǒng)的安全漏洞類別》[https://bbs.huawei...
-
靜態(tài)分析在DevSecOps中的應(yīng)用1. DevSecOps 近年來(lái)，大型企業(yè)DevSecOps引入占比逐年遞增，從2020年的41.3%增至2022年超63.5%, 其復(fù)合增長(zhǎng)率...
{var%20f='http://v.t.sina.com.cn/share/share.php?appkey=1881139527',u=z||d.location,p=['&url=',e(u),'&title=',e(t||d.title),'&source=',e(r),'&sourceUrl=',e(l),'&content=',c||'gb2312','&pic=',e(p||'')].join('');function%20a(){if(!window.open([f,p].join(''),'mb',['toolbar=0,status=0,resizable=1,width=440,height=430,left=',(s.width-440)/2,',top=',(s.height-430)/2].join('')))u.href=[f,p].join('');};if(/Firefox/.test(navigator.userAgent))setTimeout(a,0);else%20a();})(screen,document,encodeURIComponent,'','','https://upload.jianshu.io/collections/images/2015082/static_history.png', '推薦專題《靜態(tài)分析》（ 分享自 @簡(jiǎn)書 ）','http://www.itdecent.cn/c/6cb8d659629a?utm_campaign=maleskine&utm_content=collection&utm_medium=reader_share&utm_source=weibo','頁(yè)面編碼gb2312|utf-8默認(rèn)gb2312'));){kind=link}