Machine-translated by Google. Questions are authored in English.
Top

Discussion

A data flow analysis whose meet operation is intersection is answering a question of the form

  • A.how many paths reach this point in total
  • B.which path will actually be taken at run time
  • C.does this hold along every path reaching the point
  • D.does this hold along at least one path reaching the point

Answer: C

Intersection means all paths must agree, which is what availability and very busy expressions require. Union answers the weaker question of whether any path establishes the fact. Choosing the wrong meet operation produces an analysis that is simply unsound.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.