One Engine To Serve ’em All: Inferring Taint Rules Without Architectural Semantics 在沒有建築語義的情況下推斷污點規則

一勞永逸的引擎:在沒有架構語義的情況下推斷污染規則   摘要   動態二進制污點分析在現成商業(COTS)二進制文件的安全性分析中具有廣泛的應用。 動態二進制分析中的關鍵挑戰之一是指定污點規則,以捕獲污點信息如何傳播給架構上的每條指令。 現有的大多數解決方案都是在分析指令語義後通過手動總結規則來使用演繹方法來指定幀。 直觀上,污點傳播反映了指令輸入如何影響其輸出,因此可以從指令執行中觀察到。 在這
相關文章
相關標籤/搜索