基于损失性度量熵的隐式流污点分析方法研究

RESEARCH ON IMPLICIT FLOW TAINT ANALYSIS METHOD BASED ON LOSS MEASURE ENTROPY

  • 摘要: 针对目前隐式流在污点分析中造成的误报问题,提出一种基于定量信息流的静态污点分析方法,该方法在信道容量中引入损失性度量熵。通过增益函数进行参数化建模来重新设定信道影响阈值。生成源程序对应的控制流图并识别其控制依赖关系,根据定量分析计算污点数据对非污点数据的影响程度,选择是否修改变量的污点属性。进行污点标注并存储。实验以XSS和SQL注入攻击为例,在Benchmark数据集上对比了多个静态分析工具,结果表明该方法有效提高了污点分析的精度。

     

    Abstract: Aimed at the problem of false positives caused by implicit flow in taint analysis, a static taint analysis method based on quantitative information flow is proposed, which introduces loss metric entropy into the channel capacity. The channel influence threshold was reset by using gain function parameterized modeling. We generated the control flow graph corresponding to the source program and identify its control dependency. We calculated the impact of the taint data on the non-taint data according to the quantitative analysis, and choosed whether to modify the taint attribute of the variable. Taint was annotated and stored. Taking XSS and SQL injection attacks as example, the experiment compared multiple static analysis tools on the Benchmark dataset. The results show that this method effectively improved the accuracy of taint analysis.

     

/

返回文章
返回