[发明专利]一种面向隐蔽通道分析的系统分析和划分方法

摘要

面向隐蔽通道分析的系统分析和划分方法，步骤10：初始化动作；步骤11：判断函数调用图是否为空，如果为空转步骤12，表示分析划分算法结束，否则转步骤13；步骤12：输出分析的结果；步骤13：判断函数调用图是否连通；步骤14：找出函数调用图所有不连通的分支；步骤15：循环分析函数调用图的每个连通分支；步骤16：判断函数调用图中是否存在不依赖其他节点的节点；步骤18：把出度为0的节点从函数调用图中删除，并且把该节点加入结果链表的末尾；步骤19：判断函数调用图中是否存在极大强连通子图；如存在转步骤1a，否则转步骤11；步骤1a：找到函数调用图中极大强连通子图；步骤1b：删除此极大强连通子图，步骤1c：结束。

主权项

1、面向隐蔽通道分析的系统分析和划分方法，其特征是工作流程如下，步骤10：初始化动作；步骤11：判断函数调用图是否为空，如果为空转步骤12，表示分析划分算法结束，否则转步骤13；步骤12：输出分析的结果；步骤13：判断函数调用图是否连通，如果连通转步骤16，否则转步骤14；步骤14：找出函数调用图所有不连通的分支；步骤15：循环分析函数调用图的每个连通分支；步骤16：判断函数调用图中是否存在不依赖其他节点的节点，即出度为0的节点；如果存在节点转步骤17，否则转步骤19；步骤17：找到出度为0的节点；步骤18：把出度为0的节点从函数调用图中删除，并且把该节点加入结果链表的末尾；结果链表指存储分析结果的链表，其中的元素可能为连通分支、单个节点或极大强连通子图；序列中的先后关系表明了元素之间的依赖关系，后面元素只依赖前面的元素；步骤19：判断函数调用图中是否存在极大强连通子图，并且这个子图没有指向子图外节点的边；如果存在转步骤1a，否则转步骤11；步骤1a：找到函数调用图中的极大强连通子图，并且该子图没有指向子图外节点的边；步骤1b：删除此极大强连通子图，并且把该子图加入结果链表末尾；步骤1c：结束。