[发明专利]一种新型分析信息流的方法

摘要

一种基于系统源代码搜索隐通道的信息流分析方法，在信息流分析过程中利用信息流树结构来描述系统源代码中的信息流，通过遍历信息流树将这些信息存放在直观、易于理解的信息流向图中，从而为搜索隐通道提供信息流分析结果，再以信息流向图作为输入，构造共享资源矩阵，搜索并分析系统中的隐通道。本发明方法可以提高隐通道搜索工作的精度。

主权项

一种基于系统源代码搜索隐通道的信息流分析方法，其特征在于，所述信息流分析方法包括下列步骤：(1)借助程序设计语言编译系统中的词法分析程序，扫描系统源代码，分别识别出源代码中的函数和函数中的语句、变量；(2)根据扫描程序识别出的函数以及函数调用语句，确定函数间的调用关系，构造语句树段，给出每个函数的函数依赖集；(3)根据扫描程序识别出的能产生信息流的语句和变量，作为信息流分析的输入，构造函数信息流树，并进行剪枝；(4)遍历函数信息流树，输出每个函数的信息流向图；(5)根据函数依赖集和它的信息流向图，以函数依赖集为单位，获得依赖集中函数间的共享变量可见性和可修改性信息，生成共享资源矩阵；(6)以共享资源矩阵作为输入，搜索隐通道，输出系统中存在的隐通道序列。