[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