Object-Sensitivity Arguably the best context abstraction for pointer analysis for object-oriented programs 8Object-Sensitivity Arguably the best context abstraction for pointer analysis for object-oriented programs 8