-
公开(公告)号:CN101377806A
公开(公告)日:2009-03-04
申请号:CN200810022701.X
申请日:2008-07-24
Applicant: 江苏大学
Abstract: 一种基于系统源代码搜索隐通道的信息流分析方法,包括下列步骤:借助词法分析程序,扫描系统源代码,识别出源代码中的函数和函数中的语句、变量;根据扫描程序识别出的函数以及函数调用语句,确定函数间的调用关系,构造语句树段,给出每个函数的函数依赖集;根据扫描程序识别出的能产生信息流的语句和变量,作为信息流分析的输入,构造函数信息流树,并进行剪枝;遍历函数信息流树,输出每个函数的信息流向图;根据函数依赖集和信息流向图,以函数依赖集为单位,获得依赖集中函数间的共享变量可见性和可修改性信息,生成共享资源矩阵;以共享资源矩阵作为输入,搜索隐通道,输出系统中存在的隐通道序列。本发明可以提高隐通道搜索工作的精度。