private OrdinalSetMapping<PointerKey> getPointerKeys() { MutableMapping<PointerKey> result = MutableMapping.make(); for (PointerKey p : getPointerAnalysis().getPointerKeys()) { result.add(p); } return result; }
private OrdinalSetMapping<PointerKey> getPointerKeys() { MutableMapping<PointerKey> result = MutableMapping.make(); for (PointerKey p : getPointerAnalysis().getPointerKeys()) { result.add(p); } return result; }
for (PointerKey n : PA.getPointerKeys()) { try { System.err.println((n + " --> " + PA.getPointsToSet(n)));
public GlobalReturnToNodeFunction(IFDSTaintDomain<E> domain, PointerAnalysis<InstanceKey> pa, CGNode node) { this.domain = domain; this.ikMap = HashMapFactory.make(); for (PointerKey pk : pa.getPointerKeys()) { if (!(pk instanceof LocalPointerKey)) { continue; } LocalPointerKey lpk = (LocalPointerKey) pk; if (!lpk.getNode().equals(node)) { continue; } for (InstanceKey ik : pa.getPointsToSet(lpk)) { Set<CodeElement> elts = ikMap.get(ik); if (null == elts) { elts = HashSetFactory.make(); ikMap.put(ik, elts); } elts.add(new LocalElement(lpk.getValueNumber())); } } }
for (PointerKey n : PA.getPointerKeys()) { try { System.err.println((n + " --> " + PA.getPointsToSet(n)));
for (final PointerKey pk : pa.getPointerKeys()) { if (pk instanceof LocalPointerKey) { final LocalPointerKey lpk = (LocalPointerKey) pk;
private CGNode findCGNode(final InstanceKey ik, final PointerAnalysis<InstanceKey> pa) { CGNode nominatedNode = null; for (final PointerKey pk : pa.getPointerKeys()) { if (pk instanceof LocalPointerKey) { final LocalPointerKey lpk = (LocalPointerKey) pk;