[閒聊] 2017.W14 - Symbolic Execution

看板NetSecurity (資安資訊安全)作者CMJ0121 (請多指教!!)時間7年前 (2017/04/04 21:46)推噓0(0推 0噓 1→)

留言1則, 1人參與討論串1/1

2017.W14 - Symbolic Execution > 寫專欄被干擾有點兒尷尬 >////< ## 前言 ## 簡單但又很基本的概念可以找到潛在漏洞並且找到可行的可控部分 ## 內容 ## Symoblic Execution[0] 又稱之為符號執行可以透過分析軟體來找到特定的攻擊手法藉由控制改變輸入的內容找到可以控制的攻擊方式在軟體開發過程中時常會遇到各種軟體程式上的 bug 像是 SIGILL 或者是 SIGSEGV[1] 就是會造成程式不正常結束的一種中斷[2] 這些中斷本身都具有潛在的安全性漏洞像是 buffer overflow[3] 或 ROP[4] 但是造成這些異常中斷到可以有效利用的安全漏洞中還有著不小的距離 Symbolic Execution 就是一個有效的漏洞挖掘方式這種檢測方式利用特定的輸入字串 (Symbolic) 並且試圖觸發漏洞當找到一個輸入方式可以影響程式運行時某個階段的狀態例如暫存器 (register) 值或更前端的網頁內容時代表存在一個可行的攻擊方式透過這種方式可以快速的找到潛在的漏洞相對的如果要找到所有可能的輸入狀況就需要大量且重複運行程式並檢測所有預計的潛在可控漏洞這就需要花費大量的時間與運算資源 [0]: https://en.wikipedia.org/wiki/Symbolic_execution [1]: https://zh.wikipedia.org/zh-hant/SIGSEGV [2]: https://en.wikipedia.org/wiki/Unix_signal#POSIX_signals [3]: https://en.wikipedia.org/wiki/Buffer_overflow [4]: https://en.wikipedia.org/wiki/Return-oriented_programming -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 183.76.168.161 ※ 文章網址: https://www.ptt.cc/bbs/NetSecurity/M.1491313612.A.00B.html