Application of the Use Definition Chaining to Attribute Flow Analysis
Application of the Use Definition Chaining to Attribute Flow Analysis
Micha Sharir
The book Application of the Use Definition Chaining to Attribute Flow Analysis was written by author Micha Sharir Here you can read free online of Application of the Use Definition Chaining to Attribute Flow Analysis book, rate and share your impressions in comments. If you don't know what to write, just answer the question: Why is Application of the Use Definition Chaining to Attribute Flow Analysis a good or bad book?
What reading level is Application of the Use Definition Chaining to Attribute Flow Analysis book?
To quickly assess the difficulty of the text, read a short excerpt:
) Q. E. &. 42 Remarks . (1) Note that, as in [SP], a final phase is usually required, which combines all data gathered for any variable occurrence into a single value, by computing attr(V ) = A attr*(V )(y) . Note, however, that in the nondistributive case attr(V^) need not be equal to H^ ° H^ ° H^ • • • o h^ fx'cv)], ■^ I I I, I-'-n-'' s s-1 1 where x' is as defined in formula (4. 2) of [SP] (V-- being an output occurrence), but may constitute a better solution (simple examples using e. G. Con...stant propagation with the classical counterexample to distributivity (cf. [He]) can be constructed to show strict inequality between these two solutions) . (2) The remark made at tne end of Section 3 still applies with obvious rewording, to the abstract interprocedural case discussed above. We next extend and modify the methods devised in this section so far, to derive an interprocedural use-definition technique, which replaces the set T of all call strings by some finite approximation F, so that it becomes a convergent implementable algorithm.
User Reviews: