java.lang.RuntimeException: Attempt to create RefType containing ...

[SEC-fsq]

Description

Tai-e starts ... Output directory: /Users/didi/Downloads/taiedemo/output Writing options to /Users/didi/Downloads/taiedemo/output/options.yml Writing log to /Users/didi/Downloads/taiedemo/output/tai-e.log Writing analysis plan to /Users/didi/Downloads/taiedemo/output/tai-e-plan.yml WorldBuilder starts ... Exception in thread "main" java.lang.RuntimeException: Attempt to create RefType containing a / --> /Users/didi/Downloads/taiedemo/target/classes at soot.RefType.(RefType.java:57) at soot.Scene.lambda$getOrAddRefType$1(Scene.java:2232) at java.base/java.util.concurrent.ConcurrentHashMap.computeIfAbsent(ConcurrentHashMap.java:1708) at soot.Scene.getOrAddRefType(Scene.java:2232) at soot.RefType.v(RefType.java:85) at soot.SootClass.initializeRefType(SootClass.java:158) at soot.SootClass.(SootClass.java:140) at soot.SootClass.(SootClass.java:127) at soot.SootResolver.makeClassRef(SootResolver.java:138) at soot.SootResolver.resolveClass(SootResolver.java:153) at soot.Scene.loadClass(Scene.java:1016) at soot.Scene.loadClassAndSupport(Scene.java:1003) at soot.Scene.loadNecessaryClass(Scene.java:1944) at soot.Scene.loadNecessaryClasses(Scene.java:1956) at soot.Main.run(Main.java:240) at pascal.taie.frontend.soot.SootWorldBuilder.runSoot(SootWorldBuilder.java:256) at pascal.taie.frontend.soot.SootWorldBuilder.build(SootWorldBuilder.java:84) at pascal.taie.Main.lambda$buildWorld$3(Main.java:132) at pascal.taie.util.Timer.lambda$runAndCount$0(Timer.java:112) at pascal.taie.util.Timer.runAndCount(Timer.java:93) at pascal.taie.util.Timer.runAndCount(Timer.java:111) at pascal.taie.util.Timer.runAndCount(Timer.java:107) at pascal.taie.Main.buildWorld(Main.java:124) at pascal.taie.Main.lambda$main$0(Main.java:59) at pascal.taie.util.Timer.lambda$runAndCount$0(Timer.java:112) at pascal.taie.util.Timer.runAndCount(Timer.java:93) at pascal.taie.util.Timer.runAndCount(Timer.java:111) at pascal.taie.util.Timer.runAndCount(Timer.java:107) at pascal.taie.Main.main(Main.java:51) at org.example.Main.main(Main.java:17)

[zhangt2333]

This is your third issue which is still using Chinese. If this happens again, we will disable your account from interacting with our repository.

In addition, you don't need to create multiple issues. Just add information to the previous issue.

We appreciate your understanding.

Thanks for writing this issue in Chinese, it makes it very easy for a few of us developers to read. However, Tai-e is a project with an international focus, and we aim to keep our community discussions in as widely accessible a language as possible, which is English. This helps us share our open-source progress with interested individuals from all over the world. Kindly consider using English for communication in the future. We appreciate your understanding. Thank you.

---

Exception in thread "main" java.lang.RuntimeException: Attempt to create RefType containing a / --> /Users/didi/Downloads/taiedemo/target/classes

This seems to be a front-end related issue. Try to enable the option Allow phantom references (-ap, --allow-phantom). (https://tai-e.pascal-lab.net/docs/current/reference/en/command-line-options.html)

More information is required to answer your question, e.g.,

• what have you done to try to solve this problem?
• how can we reproduce the same problem as you to help? ...

Then we know how we can help you.

We recommend you read https://github.com/ryanhanwu/How-To-Ask-Questions-The-Smart-Way before your next comment (or issue).