Types vs. PDGs in information flow analysis Mantel, Heiko Sudbrock, Henning 2013 - TUHH Open Research