[e-lang] Joe-E 2.0 Release
Adrian Mettler
amettler at cs.berkeley.edu
Mon Mar 3 21:05:37 EST 2008
The dependency on the missing class is as intended.
org.joe_e.taming.Policy is the runtime taming information. It is
automatically generated by the verifier to include all the methods
permitted in the safej files and all the methods defined by Joe-E code
in the project being compiled. An alternate approach would be to use a
"standard" org.joe_e.taming.Policy that only includes taming decisions
for library classes and uses classloader lookups to ensure that
reflective access to new code is allowed; this is what is suggested to
maintain the current behavior of waterken, so that new code can be
verified and added in an open-ended way without needing to recompile
org.joe_e.taming.Policy.
-Adrian
Tyler Close wrote:
> The code in library-2.0.0.jar has a dependency on
> org.joe_e.taming.Policy, but this class is not included in the jar. Is
> this a mistake, or am I supposed to generate it somehow?
>
> --Tyler
>
> On Wed, Feb 20, 2008 at 3:05 PM, Adrian Mettler
> <amettler at cs.berkeley.edu> wrote:
>> Joe-E 2.0 has been released, and is now a bona-fide open source project
>> with all the trappings (like public svn and an issue tracker). Check it
>> out at
>>
>> http://joe-e.googlecode.com
>>
>> The eclipse update site for the verifier plug-in proper is now
>> http://eclipse.joe-e.org
>> which resides within the svn repository. This will make it easier to
>> push out new releases, so they should be more up to date.
>>
>> New verifier features include:
>> - support for safej format for specifying taming decisions
>> - validation of consistency of safej policies
>> - taming errors give explanation of why member was disabled, based on
>> safej comment
>> - ability to enable/disable verifier on a per-package basis
>> - auto-generation of safej and Policy files for runtime taming enforcement
>> - bug fixes
>>
>> New library features include:
>> - real runtime taming enforcement
>> - builders for array classes
>> - documentation improvements
>>
>> As always, feedback is welcome.
>> _______________________________________________
>> e-lang mailing list
>> e-lang at mail.eros-os.org
>> http://www.eros-os.org/mailman/listinfo/e-lang
>>
>
>
>
More information about the e-lang
mailing list