计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2014年
3期
12-17,22
,共7页
粗粒度%细粒度%动态污点分析%离陑轨迹%污点传播%二进制
粗粒度%細粒度%動態汙點分析%離陑軌跡%汙點傳播%二進製
조립도%세립도%동태오점분석%리이궤적%오점전파%이진제
coarse-grained%fine-grained%Dynamic Taint Analysis(DTA)%offline track%taint propagation%binary
针对当前污点分析工具不能兼顾速度和精确度的缺陷,研究并实现一种粗细粒度结合的二进制代码动态污点分析方法。对比粗粒度污点分析和细粒度污点分析的实现过程,提出两者结合的新型分析框架。预先在陑执行粗粒度污点分析以筛选有效指令,之后离陑执行细粒度污点分析以计算污点信息。根据粒度的差异分别建立粗细粒度污点数据的引入标记方法,制定粗细粒度条件下的数据流和控制流传播策略,设计离陑轨迹记录结构作为粗细粒度污点分析的传递文件。在原型系统上的测试结果表明,该方法通过在陑粗粒度模式保证了污点分析信息采集的快速性,同时采用离陑细粒度模式以合理的时间消耗提升了污点分析的精确度。
針對噹前汙點分析工具不能兼顧速度和精確度的缺陷,研究併實現一種粗細粒度結閤的二進製代碼動態汙點分析方法。對比粗粒度汙點分析和細粒度汙點分析的實現過程,提齣兩者結閤的新型分析框架。預先在陑執行粗粒度汙點分析以篩選有效指令,之後離陑執行細粒度汙點分析以計算汙點信息。根據粒度的差異分彆建立粗細粒度汙點數據的引入標記方法,製定粗細粒度條件下的數據流和控製流傳播策略,設計離陑軌跡記錄結構作為粗細粒度汙點分析的傳遞文件。在原型繫統上的測試結果錶明,該方法通過在陑粗粒度模式保證瞭汙點分析信息採集的快速性,同時採用離陑細粒度模式以閤理的時間消耗提升瞭汙點分析的精確度。
침대당전오점분석공구불능겸고속도화정학도적결함,연구병실현일충조세립도결합적이진제대마동태오점분석방법。대비조립도오점분석화세립도오점분석적실현과정,제출량자결합적신형분석광가。예선재이집행조립도오점분석이사선유효지령,지후리이집행세립도오점분석이계산오점신식。근거립도적차이분별건립조세립도오점수거적인입표기방법,제정조세립도조건하적수거류화공제류전파책략,설계리이궤적기록결구작위조세립도오점분석적전체문건。재원형계통상적측시결과표명,해방법통과재이조립도모식보증료오점분석신식채집적쾌속성,동시채용리이세립도모식이합리적시간소모제승료오점분석적정학도。
Combination of coarse-grained and fine-grained Dynamic Taint Analysis(DTA) is developed to take speed and accuracy both into account. By comparing the realization process of coarse-grained DTA and fine-grained DTA, this paper proposes a new analysis framework. It executes online coarse-grained DTA to filter useful instruction, uses offline fine-grained DTA to calculate taint information. Coarse-grained and fine-grained taint mark methods are established respectively by comparing the difference of taint analysis. Data-flow property strategy and control-flow property strategy are developed under the condition of coarse-grained DTA and fine-grained DTA. As a transfer file, offline track record structure is designed to provide necessary information for fine-grained analysis. A prototype system is implemented and the experimental result proves that this method can ensure the rapid collection of taint information through online coarse-grained mode, and use offline fine-grained mode to improve the accuracy with accepted time consumption.