Newbie Joe-E questions

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.