Re: Joe-E 2.0 Release
"Tyler Close" <[email protected]>
| Newsgroups | gmane.comp.lang.e.general |
|---|---|
| Message-ID | <[email protected]> |
On Sat, Mar 8, 2008 at 6:10 PM, David Wagner <[email protected]> wrote: > Should we be concerned about the possibility that code could add an > @org.joe_e.verified annotation to itself without having been run through > the Joe-E verifier? Or do you see a way to prevent that from happening? How would this be different from Java code delivering itself with fake safej files, other than being less voluminous? --Tyler