Information Flow Analysis in Source Code Based on SSA Intermediate Representation

黄强,曾庆凯
DOI: https://doi.org/10.3969/j.issn.1000-3428.2009.13.057
2009-01-01
Abstract:An Information Flow Analysis(IFA) algorithm in source code based on Static Single Assignment(SSA) intermediate representation is proposed.The process of covert channel recognition is introduced.The algorithm is implemented by using work table based on IFA.The characteristics of time and space cost and analysis accuracy are discussed.The analysis framework is inserted into GCC compiler.Simulation experimental results show this algorithm is effective, and has the value of application.
What problem does this paper attempt to address?