Supporting Reliable Software Evolution through Program Analysis