[Ur] about the UrFlow Demos

[Adam Chlipala]

Right, that's the paper I was referencing.  It has a fine vintage by now.

On 09/11/2018 04:24 AM, Fabrice Leal wrote:
> oh that's a pity, i was looking forward to play with this feature :\
> you mean your "Static Checking of Dynamically-Varying Security 
> Policies in Database-Backed Applications" i assume?
>
> On Mon, Sep 10, 2018 at 9:44 PM Fabrice Leal 
> <fabrice.leal.ch at gmail.com <mailto:fabrice.leal.ch at gmail.com>> wrote:
>
>     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:
>     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.
>
>     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.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20180911/627a7dc0/attachment.html>