Re: [isabelle] Sandboxed evaluation of Isabelle theories?
2013/2/12 Joachim Breitner <breitner at kit.edu>:
> 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