[e-lang] Newbie Joe-E questions
David Wagner
daw at cs.berkeley.edu
Sun Nov 9 15:18:28 CST 2008
Jimmy Wylie writes:
>First, is there any tamed networking library for Joe-e?
Nope, I don't think so. You get to do your own taming. The Joe-E
taming database is not yet populated, except in a very minimalistic way.
I know this is a major annoyance, and I apologize for that.
I don't know whether ref_send would be an appropriate solution.
Tyler would.
>Second, is there any formal documentation on how to go about taming the
>java libraries?
Unfortunately not. Sorry.
>Third, what sort of programs use Joe-e presently given the minimal state
>of safe libraries?
Right now, Waterken uses Joe-E. That's about it.
>I can already see how the verifier is useful for
>checking for different security issues like static fields and such, but
>currently how do you bypass the library issue to write programs? Do you
>try and tame the libraries you need on your own, or just use the
>libraries you need and cross your fingers hoping java keeps you safe?
The former: tame libraries as needed. Keep in mind that right new only
a few programs have been written in Joe-E, which partly explains why
the taming database is so sparse.
More information about the e-lang
mailing list