Wes Masri Andy Podgurski Algorithms and tool support for dynamic information flow analysis. 385-404 2009 51 Information & Software Technology 2 http://dx.doi.org/10.1016/j.infsof.2008.05.008 db/journals/infsof/infsof51.html#MasriP09