Quote: one level flow algorithm for efficient, pointer analysis of reference parameters; avoids unification at top levels

Quotation Skeleton

Our studies show that the most common use … as arguments to procedures. Therefore, we have designed … [pointer analysis] algorithm that handles this common case accurately. … Our "one level flow" algorithm uses a restricted … the points-to graph, while using unification elsewhere in … we are able to analyze a 1.4 MLOC … [p. 36] It uses twice as much time and … Andersen's algorithm does not scale, the one level …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: code optimization by flow analysis (45 items)