<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <div class="moz-cite-prefix">Right, that's the paper I was
      referencing.  It has a fine vintage by now.<br>
      <br>
      On 09/11/2018 04:24 AM, Fabrice Leal wrote:<br>
    </div>
    <blockquote type="cite"
cite="mid:CALqfA9Ndsb_uj5Aoq2=mzz3M=w_W39YNHhtYhaiWKEW4c9s55A@mail.gmail.com">
      <meta http-equiv="content-type" content="text/html; charset=utf-8">
      <div dir="ltr">
        <div dir="ltr">oh that's a pity, i was looking forward to play
          with this feature :\
          <div>you mean your "Static Checking of Dynamically-Varying
            Security Policies in Database-Backed Applications" i assume?</div>
        </div>
      </div>
      <br>
      <div class="gmail_quote">
        <div dir="ltr">On Mon, Sep 10, 2018 at 9:44 PM Fabrice Leal <<a
            href="mailto:fabrice.leal.ch@gmail.com"
            moz-do-not-send="true">fabrice.leal.ch@gmail.com</a>>
          wrote:<br>
        </div>
        <blockquote class="gmail_quote" style="margin:0 0 0
          .8ex;border-left:1px #ccc solid;padding-left:1ex">
          <div dir="ltr">
            <div dir="ltr">
              <div>Hi, I downloaded the scdv.tgz and tried to compile
                the demos but had to fix a "wrap" function used
                throughout the poll, calendar, gradebook and forum
                demos:</div>
              <div>it seems that just replacing the arguments title and
                body with "titl" and "bod" gets rid of the compilation
                errors, and then I seem to be able to run the demos
                normally.</div>
              <div><br>
              </div>
              <div>However when i run urweb with the -iflow switch, I
                get a few "Information flow checker can't parse SQL
                query" notices, so I'm not sure if I'm missing something
                or if there's anything needing fixing.</div>
            </div>
          </div>
        </blockquote>
      </div>
    </blockquote>
  </body>
</html>