edu.illinois.wala.ipa.callgraph
find a call graph node that matches .*pattern.*
localPtTo(o) is the local pointers to o
p.pt is the set of abstract objects pointed by p