如何利用 JDK 9 模块化系统(Jigsaw)实现核心二方库的代码可见性强隔离防护

酷强吖_2375

酷强吖_2375

2026-05-05

267人浏览

原创

模块化安全需精准控制exports、requires transitive和opens:仅导出API包(如com.example.api),禁止导出internal/impl子包;requires transitive仅用于API依赖,避免基础设施穿透;反射访问非导出类触发IllegalAccessError,必须用--validate-modules启动验证。

如何利用 jdk 9 模块化系统(jigsaw)实现核心二方库的代码可见性强隔离防护

模块化不是加个 module-info.java 就自动安全了;真正的强隔离防护,取决于你是否精准控制了包导出、依赖传递和反射开口。

exports 只导出真正需要的 API 包,其余一律隐藏

未在 exports 中声明的包,连同其所有 public 类,在模块边界外完全不可见——反射调用也会触发 IllegalAccessError。这是 JPMS 最硬的安全栅栏。

  • 错误做法:exports com.example.myservice(导出整个包,哪怕里面混着 internal、impl 子包)
  • 正确做法:只导出契约层,例如 exports com.example.myservice.api,而 com.example.myservice.internal 不导出、不声明、不暴露
  • 若必须让某类被测试模块访问,用 opens 替代 exports,且限定目标模块:opens com.example.myservice.config to com.example.myservice.test

requires transitive 仅用于“API 依赖”,切勿滥用

requires transitive 的本质是把某个依赖“提升为本模块公共契约的一部分”。一旦标记,下游模块就能直接使用该依赖的类型——这既是便利,也是风险敞口。

  • 典型误用:对日志、监控等基础设施模块加 transitive,导致业务模块意外获得 java.util.logging.Logger 或 io.micrometer.core.instrument.MeterRegistry 的直接构造权限
  • 应仅对真正参与 API 签名的依赖启用,例如:你的 com.example.rpc.api 模块返回了 com.fasterxml.jackson.databind.JsonNode,才需 requirestransitive com.fasterxml.jackson.core
  • 内部工具类、配置解析器、序列化适配器等实现细节依赖,一律用普通 requires,确保它们不会穿透到消费者模块

禁止跨模块直接访问非导出类,包括通过 ClassLoader 或 ServiceLoader 绕过

模块系统默认拦截所有非法跨模块访问,但两类常见路径容易被忽略:

Bertha.ai
Bertha.ai

一款专为WordPress内容创作设计的AI工具,可在网站编辑环境中辅助生成文章、文案和图片内容,提高站点内容生产效率。

下载
  • ServiceLoader.load(X.class) 要求 X 所在包必须被提供方模块 exports,否则加载失败;若需支持 SPI,提供方必须 exports 接口包,并用 provides X with Y 显式注册
  • 自定义 ClassLoader 若未正确设置 ModuleLayer,会绕过模块检查——务必继承 SecureClassLoader 并在 defineClass 前校验 getModule().isExported()
  • 反射访问非导出类(如 Class.forName("com.example.internal.Helper"))在运行时抛 NoClassDefFoundError 或 IllegalAccessError,不能靠 try-catch 容错,必须从设计上杜绝

编译期与启动期双重验证,别跳过 --validate-modules

JVM 默认只做最小兼容检查。要真正捕获越界访问和封装泄露,必须主动开启验证:

  • 编译时加 --module-source-path + --enable-preview(如用新语法),但关键在运行时
  • 启动参数加上 --validate-modules --illegal-access=deny,任何隐式反射或非法包访问都会立即失败,而不是静默降级
  • CI 流水线中用 jdeps --module-path mods --check com.example.myservice 扫描模块间实际引用,确认无未声明的跨包调用

最容易被忽略的是:模块化安全不保护运行时动态生成的字节码(如 CGLIB、Javassist),也不约束 native 方法或 JNI 调用。如果你的二方库含这些能力,必须配合 SecurityManager 或 JVM Sandbox 做第二层围栏。

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
java
java

Java是一个通用术语,用于表示Java软件及其组件,包括“Java运行时环境 (JRE)”、“Java虚拟机 (JVM)”以及“插件”。php中文网还为大家带了Java相关下载资源、相关课程以及相关文章等内容,供大家免费下载使用。

2023.06.15

11877

6

java正则表达式语法
java正则表达式语法

java正则表达式语法是一种模式匹配工具,它非常有用,可以在处理文本和字符串时快速地查找、替换、验证和提取特定的模式和数据。本专题提供java正则表达式语法的相关文章、下载和专题,供大家免费下载体验。

2023.07.05

8982

9

java自学难吗
java自学难吗

Java自学并不难。Java语言相对于其他一些编程语言而言,有着较为简洁和易读的语法,本专题为大家提供java自学难吗相关的文章,大家可以免费体验。

2023.07.31

7692

8

java配置jdk环境变量
java配置jdk环境变量

Java是一种广泛使用的高级编程语言,用于开发各种类型的应用程序。为了能够在计算机上正确运行和编译Java代码,需要正确配置Java Development Kit(JDK)环境变量。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

2023.08.01

1264

3

java保留两位小数
java保留两位小数

Java是一种广泛应用于编程领域的高级编程语言。在Java中,保留两位小数是指在进行数值计算或输出时,限制小数部分只有两位有效数字,并将多余的位数进行四舍五入或截取。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

2023.08.02

1008

3

java基本数据类型
java基本数据类型

java基本数据类型有:1、byte;2、short;3、int;4、long;5、float;6、double;7、char;8、boolean。本专题为大家提供java基本数据类型的相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.02

1516

5

java有什么用
java有什么用

java可以开发应用程序、移动应用、Web应用、企业级应用、嵌入式系统等方面。本专题为大家提供java有什么用的相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.02

3109

5

java在线网站
java在线网站

Java在线网站是指提供Java编程学习、实践和交流平台的网络服务。近年来,随着Java语言在软件开发领域的广泛应用,越来越多的人对Java编程感兴趣,并希望能够通过在线网站来学习和提高自己的Java编程技能。php中文网给大家带来了相关的视频、教程以及文章,欢迎大家前来学习阅读和下载。

2023.08.03

20371

3

配置java环境变量
配置java环境变量

配置Java环境变量是为了让操作系统能够识别和使用Java的相关命令和功能。本专题为大家提供配置java环境变量相关文章,帮助大家解决问题。

2023.08.03

1355

8

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
热门推荐
/
最新课程
phpStudy极速入门视频教程
phpStudy极速入门视频教程

共6课时 | 54.7万人学习

独孤九贱(4)_PHP视频教程
独孤九贱(4)_PHP视频教程

共89课时 | 134.1万人学习