Automatic discovery of stateful variables in network protocol software based on replay analysis