Combined static and dynamic mutability analysis (0)

by Shay Artzi, Adam Kie˙zun, David Glasser, Michael D Ernst