Flow Insensitive C++ Pointers and Polymorphism Analysis and its application to slicing | IEEE Conference Publication | IEEE Xplore