Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems

Kadiray Karakaya, Eric Bodden

Previous work has shown that one can often greatly speed up static analysis by computing data flows not for every edge in the program's control-flow graph but instead only along de…