[e-lang] Joe-E 2.0 Release
tyler.close at gmail.com
Mon Mar 3 21:31:00 EST 2008
OK, I assume the Joe-E verifier will get the opportunity to run even
though the project has Java level compile problems?
Could you provide a Policy.java class that maintains the behaviour of
prior Joe-E releases?
On 3/3/08, Adrian Mettler <amettler at cs.berkeley.edu> wrote:
> 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
> 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
> e-lang mailing list
> e-lang at mail.eros-os.org
Use web-keys for RESTful access-control:
Name your trusted sites to distinguish them from phishing sites.
More information about the e-lang