Dynamic Information Flow Tracking