It is a Eclipse plugin for Soot to visualize points-to sets