Tailoring Programs for Static Analysis via Program Transformation. - van Tonder, Rijnard; Le Goues, Claire (ICSE: International Conference on Software Engineering, 2020)