SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges.

David Kozak, Codrut Stancu, Toms Vojnar, Christian Wimmer

Browse the full CGO paper archive.