摘要
细粒度污点分析过程中污点标签之间的集合运算占据很大的性能开销。为消除集合运算过程中的重复操作,提出一种基于Hash缓存的细粒度污点分析优化方法。在使用ro BDD实现集合表达的同时,添加Hash结构缓存集合运算结果,避免重复运算。实验表明优化后方法能够有效降低细粒度污点分析过程中污点标签之间的集合运算次数,缩短污点分析过程的集合运算时间。
In fine-grained taint analysis,a lot of performance expenses are caused by the set operations between taint tags.To eliminate some repeated operations among them,one method of optimization method based on Hash cache is proposed.By adding a Hash structure to cache the operation results at the same time of using ro BDD for set expression,some repeated set operations can be avoided.The experiments show that,this method can effectively reduce the frequency of set operations between taint tags during fine-grained taint analysis and decrease the time caused by set operations in the overall process.
出处
《信息工程大学学报》
2017年第5期607-612,共6页
Journal of Information Engineering University
基金
国家863计划资助项目(2012AA012902)
