Java应用JAR包经ProGuard、Allatori混淆后出现VerifyError错误求助

该错误的核心是混淆工具生成的字节码不符合Java 16的JVM字节码规范，导致字节码校验阶段失败，可按以下步骤排查解决：

• 升级混淆工具到兼容Java 16的版本：Java 16新增的record、密封类、模块化等特性需要新版混淆工具支持，ProGuard需升级到7.1.0及以上稳定版，Allatori需升级到8.0及以上稳定版，旧版本对高版本Java字节码的处理存在大量已知BUG。
• 调整混淆优化策略：激进的优化项很容易生成非法字节码，可先关闭所有优化验证问题根源：

  ProGuard配置中添加-dontoptimize参数，若测试后问题消失，再逐步放开优化项，排除method/inlining/*、class/merging/*、code/removal/advanced等容易出问题的优化规则即可。
  Allatori配置中将优化等级设为0：<optimization level="0"/>，同时关闭类合并、方法内联配置，测试正常后再逐步上调优化等级。

• 对齐字节码版本配置：在混淆配置中明确指定目标字节码版本为16，避免混淆工具自动降级字节码导致校验失败：
  ProGuard添加配置：-target 16
  Allatori在根配置项添加属性：class-version="16"
• 新增高版本特性类白名单：如果你的代码用到了Java 11及以上版本新增的语法特性，将相关类加入不混淆的白名单，跳过对这类类的混淆和优化处理。
• 临时验证方案：如果需要快速验证功能，可在JVM启动参数中添加-noverify关闭字节码校验，该方案仅可用于本地测试，生产环境使用会带来安全风险，不建议采用。

内容的提问来源于stack exchange，提问作者Hendrik2905