Towards a Versatile Pointer Analysis Framework | Publicación