Re: [Ur] about the UrFlow Demos
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 mailto:fabrice.leal...@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. ___ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
Re: [Ur] about the UrFlow Demos
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 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. > > Thanks in advance :) > > -- > --- > Fabrice Leal > -- --- Fabrice Leal ___ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
Re: [Ur] about the UrFlow Demos
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. ;) On 09/10/2018 04:44 PM, Fabrice Leal 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 Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
