Real-Time Information Flow Analysis