Tracking dependent information flows