Soot frontend crashes on large projects due to missing optional dependencies on library classes #217
Description
📝 Overall Description
我尝试基于tai-e 0.5.2创建一个静态分析工具，在实际使用的时候发现在扫描中大型项目时，构建world非常容易失败，即便我设置了-ap（allow_phantom_refs=true）。
🎯 Expected Behavior
我预期是可以完成world构建，进行分析
🐛 Current Behavior
经典的报错如下：
java.lang.RuntimeException: Failed to apply jb to
<com.zaxxer.hikari.metrics.dropwizard.CodaHaleMetricsTracker: void (...)>
Caused by: This operation requires resolving level HIERARCHY
but com.codahale.metrics.Gauge is at resolving level DANGLING
at soot.FastHierarchy.canStoreClass(FastHierarchy.java:384)
at soot.jimple.toolkits.typing.fast.TypeResolver.insertCasts(TypeResolver.java:369)
at soot.jimple.toolkits.typing.fast.TypeAssigner.internalTransform(TypeAssigner.java:129)
at soot.asm.AsmMethodSource.getBody(AsmMethodSource.java:2279)
at soot.SootMethod.retrieveActiveBody(SootMethod.java:447)
at soot.jimple.toolkits.annotation.LineNumberAdder.internalTransform(LineNumberAdder.java:63)
at soot.PackManager.runPacksNormally(PackManager.java:496)
at pascal.taie.frontend.soot.SootWorldBuilder.runSoot(SootWorldBuilder.java:253)
ai分析：
分析
HikariCP 包含一个 Dropwizard Metrics 适配器类，引用了 com.codahale.metrics.Gauge。这是可选依赖，大多数项目不会引入 metrics-core。
Soot 的 PackManager.runPacksNormally() 对所有 application class 执行 jb pack，LineNumberAdder 遍历所有方法调用 retrieveActiveBody()，触发 TypeAssigner →
FastHierarchy.canStoreClass()，要求引用类至少达到 HIERARCHY 解析级别。但 phantom class 只有 DANGLING 级别。
即使设置了 -ap（allow_phantom_refs=true），FastHierarchy 的类型检查仍然不尊重这个设置，直接抛异常。
这不是个例——真实企业项目中大量库存在可选依赖（HikariCP→Metrics、Spring→AspectJ weaver、MyBatis→Ehcache 等），只要 classpath 上有任何一个库引用了不存在的类，整个 World
构建就失败。
Tai-e 侧的限制
SootWorldBuilder.initSoot() 中排除列表硬编码为 List.of("jdk.", "apple.laf.")，且未调用 set_no_bodies_for_excluded(true)。initSoot() 和 runSoot() 均为 private
static，下游无法通过继承注入配置。
目前只能通过反射调用这两个 private 方法，在中间注入 Soot 排除选项来 workaround，非常脆弱。
🔄 Reproducible Example
No response
⚙️ Tai-e Arguments
javaVersion: 17
prependJVM: true # -pp
allowPhantom: true # -ap
worldBuilderClass: pascal.taie.frontend.soot.SootWorldBuilder
analyses:
pta: "cs:ci;only-app:true;taint-config:/taint-config.yml;implicit-entries:true"
classpath 规模
appClassPath: 231 entries # --app-class-path（业务 JAR）
classPath: 296 entries # --class-path（库 JAR）
共计 527 个 JAR/目录
📜 Tai-e Log
Writing log to D:\collect_code\xxx-crm\app-server\alljar.jbytescanner\tai-e.log
ℹ️ Additional Information
No response