public void updatedNode(VarNode vn) { Object r = vn.getVariable(); if (!(r instanceof Local)) return; final Local receiver = (Local) r; final Context context = vn.context(); PointsToSetInternal p2set = vn.getP2Set().getNewSet(); if (ofcgb.wantTypes(receiver)) { p2set.forall( new P2SetVisitor() { public final void visit(Node n) { ofcgb.addType(receiver, context, n.getType(), (AllocNode) n); } }); } if (ofcgb.wantStringConstants(receiver)) { p2set.forall( new P2SetVisitor() { public final void visit(Node n) { if (n instanceof StringConstantNode) { String constant = ((StringConstantNode) n).getString(); ofcgb.addStringConstant(receiver, context, constant); } else { ofcgb.addStringConstant(receiver, context, null); } } }); } }
public void build() { ofcgb.processReachables(); processReachables(); processCallEdges(); }