Re: [isabelle] Sandboxed evaluation of Isabelle theories?



2013/2/12 Joachim Breitner <breitner at kit.edu>:
> Hi,
>
> Am Dienstag, den 12.02.2013, 13:27 +0100 schrieb Tjark Weber:
>> Anyway, I am guessing that Joachim is more concerned about features
>> like unrestricted file system or network access than about soundness
>> of Isabelle.
>
> exactly. Should -S be sufficient for that?

Does export_code still allow directory traversal and arbitrary file overwriting?





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.