自動(dòng)化攻防 - 專題

投稿

收錄了16篇文章 · 11人關(guān)注

【課程筆記】南大軟件分析課程7——指針分析基礎(chǔ)（課時(shí)9/10）
目錄：指針分析規(guī)則如何實(shí)現(xiàn)指針分析指針分析算法指針分析如何處理函數(shù)調(diào)用（過程間指針分析）重點(diǎn)：理解指針分析的規(guī)則诗箍、指針流圖PFG、指...

bsauce 0 2
【課程筆記】南大軟件分析課程6——指針分析介紹（課時(shí)8）
目錄： Motivation 指針分析介紹影響指針分析的關(guān)鍵要素分析哪些語句重點(diǎn)：什么是指針分析隘竭？影響指針分析的關(guān)鍵因素是什么？指針分析...

bsauce 0 5

【課程筆記】南大軟件分析課程5——過程間分析（課時(shí)7）
目錄： Motivation 調(diào)用圖構(gòu)建過程間控制流分析過程間數(shù)據(jù)流分析重點(diǎn)：學(xué)習(xí)如何利用類層級(jí)分析來構(gòu)建調(diào)用圖讼渊；過程間控制流/數(shù)據(jù)流分...

0.2 bsauce 1 6
【課程筆記】南大軟件分析課程4——數(shù)據(jù)流分析基礎(chǔ)（課時(shí)5/6）
關(guān)于這一節(jié)zcc的筆記已經(jīng)夠完美了动看，我就直接在他基礎(chǔ)上記錄了。目錄：迭代算法-另一個(gè)角度偏序（Partial Order）上下界（Upp...

0.2 bsauce 1 7
【課程筆記】南大軟件分析課程3——數(shù)據(jù)流分析應(yīng)用（課時(shí)3/4）
目錄：數(shù)據(jù)流分析總覽預(yù)備知識(shí) Reaching Definitions Analysis (may analysis) Live Varia...

bsauce 3 7
【課程筆記】南大軟件分析課程2——IR
目錄：編譯器和靜態(tài)分析的關(guān)系 AST vs IR IR:3-地址代碼（3AC）實(shí)際靜態(tài)分析器的3AC—Soot（Java） SSA-靜態(tài)單賦...

0.1 bsauce 0 7
【bsauce讀論文】KEPLER-新型內(nèi)核ROP構(gòu)造方法
本文來自USENIX 2019爪幻，KEPLER- Facilitating Control-flow Hijacking Primitive Ev...

0.3 bsauce 0 3

【bsauce讀論文】SLAKE-內(nèi)核slab自動(dòng)化布置技術(shù)
本文來自CCS 2019菱皆，SLAKE- Facilitating Slab Manipulation for Exploiting Vulner...

0.2 bsauce 0 3
【LLVM】AliasAnalysis別名分析的介紹與使用
一、介紹 Alias Analysis (又名 Pointer Analysis)是用于確定兩個(gè)指針是否指向內(nèi)存中的同一對(duì)象挨稿，這里有很多不同的別...

0.7 bsauce 0 6
【CTF-angr】DEFCON Quals 2019 : babytrace & mamatrace writeup
1.babytrace題解分析：本題叫做"Program Interactive Tracing as a Symbolic Service...

1.0 bsauce 0 7