[Ur] about the UrFlow Demos

[Fabrice Leal]

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.

Thanks in advance :)

[Adam Chlipala]

It seems I stopped bothering to update those demos over the last few
years.  Sorry!  If it makes you feel any better, that feature was never
really production-quality, so you'd might as well learn about it by
reading a paper instead of running a real compiler. ;)

Post by Fabrice Leal
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
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.

[Fabrice Leal]

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?

Post by Fabrice Leal
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
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.
Thanks in advance :)
--
---
Fabrice Leal

[Adam Chlipala]

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

Post by Fabrice Leal
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
Hi, I downloaded the scdv.tgz and tried to compile the demos but
had to fix a "wrap" function used throughout the poll, calendar,
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.