/** * Merges the two given access paths , i.e., adds the fields of ap2 to ap1. * * @param ap1 The access path to which to append the fields * @param ap2 The access path whose fields to append to ap1 * @return The new access path */ public AccessPath merge(AccessPath ap1, AccessPath ap2) { return appendFields(ap1, ap2.getFields(), ap2.getFieldTypes(), ap2.getTaintSubFields()); }
AccessPath newAP = manager.getAccessPathFactory().appendFields (newAbs.getAccessPath(), appendFieldsA, appendTypesA, taintSubFields); Abstraction absCallee = newAbs.deriveNewAbstraction(newAP, stmt);