Dynamic Optimistic lnterprocedurai Analysis: A framework and an applicationIgor PechtchanskiVivek Sarkar2011ACM SIGPLAN Notices