Report 2005-1. A Logic for Information Flow Analysis of Pointer Programs by Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee Abstract: