@MarcMil There are conflicts with this MR. Did you accidentally bring back the old alias changes? I don't want to merge them until we have ensured that they don't lead to issues with the correctness or the memory consumption / performance of FlowDroid.
@MarcMil There are conflicts with this MR. Did you accidentally bring back the old alias changes? I don't want to merge them until we have ensured that they don't lead to issues with the correctness or the memory consumption / performance of FlowDroid.