soot-oss / soot

Soot - A Java optimization framework
GNU Lesser General Public License v2.1
2.85k stars 706 forks source link

Re-enable Copy Propagation after Type Assignment #2006

Closed t1mlange closed 11 months ago

t1mlange commented 11 months ago

Even though the corresponding papers on type inference state that stage 2 is rarely executed, we observed split-up object creation sites quite often in Android apps, especially around Exceptions. Enabling copy propagation should remove all unnecessarily locals from stage 2.