Identification of covert channel based on source code
基于源代码的隐通道搜索方法

To solve the heavy workload caused by the fact that covert channel identification still depends on the handwork to analyze the information flow in the statement, an information flow analysis method based on source code was provided. The method can find shared variables in primitive of software system, and take them as the input for shared resource matrix method. Then, a highly-efficient and highly-precise analysis tool for covert channel is obtained.