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
<[email protected] <mailto:[email protected]>> 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.
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
