Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment Transformers

Published in OOPSLA CCF-A, 2024