论文研究基于依赖图的信息流图构建方法.pdf

信息流分析法是一种有效的隐通道搜索方法，用信息流图来描述系统中信息流的流动情况。直接基于系统源代码生成系统信息流图，由于信息流的传递关系，会引进大量系统中不存在的信息流路径。利用程序依赖图先处理系统信息流中的传递关系，然后再进行信息流图的生成，从而减少引入系统中不存在的信息流路径，减少信息流分析时的工作量。