joe-e:Java 编程语言的一个子集，旨在根据对象能力规则支持安全编程

Joe-E 是 Java 编程语言的一个子集，旨在根据对象能力规则支持安全编程。 Joe-E 旨在促进安全系统的构建，以及促进对 Joe-E 中构建的系统的安全审查。 该语言通过对 Java 代码设置限制来保证额外的安全属性，但不会修改程序或改变它们的含义。 这使得程序员可以应用现有的 Java 知识，并且可以将现有的编译器、调试器和其他工具用于 Joe-E 程序。 Joe-E Verifier 是作为 Eclipse 插件实现的。 它可以通过 Eclipse 更新安装。 存储库位置是 。 您还需要可以在此处下载的库和驯服数据库（请参阅右侧的链接）。 Wiki 中提供了有关 GettingStarted 的更多详细信息。 提供了 Joe-E 项目及其基础的详细概述。 也可用：有关 Joe-E 的更多信息的进一步信息，包括有关安全对象能力方法的背景。 更新的库修复了文件系统隔离错