A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring