Tatami : taint tracking for application migration