
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

  <head>


    <meta http-equiv="content-type" content="text/html; charset=UTF-8">

  </head>

  <body bgcolor="#ffffff" text="#000000">

    Il 14/06/2011 18:17, Carlo Alberto Ferraris ha scritto:

    <blockquote id="mid_4DF789B6_9010800_strayorange_com"

      cite="mid:4DF789B6.9010800@strayorange.com" type="cite">

      <meta http-equiv="content-type" content="text/html; charset=UTF-8">

      Suppose I have in my CFG (among others) two basic blocks A and B,

      with an edge from A to B. I need to do the following: <br>

      <ul>

        <li>get the set S of live values across that edge</li>

      </ul>

    </blockquote>

    I forgot to add that it doesn't have to be exactely the set of live

    values: it can also be an overapproximation, i.e. S might contain

    also values that are not live anymore <br>

    <br>

  </body>

</html>