soot icon indicating copy to clipboard operation
soot copied to clipboard

Not working under OpenJDK17

Open glyh opened this issue 4 years ago • 6 comments

Please examine each of the following points so that we can help you as soon and best as possible.

Describe the bug A clear and concise description of what the bug is. The following command won't run under openjdk 17: I have this script:

#!/bin/sh
"$JAVA_HOME/bin/java" -cp /usr/share/java/soot/soot.jar soot.Main "$@"

Stored as soot in my PATH.

Input file here's the source code:

public class FirstSample {
    public static void main(String[] args) {
        System.out.println("We will not use 'Hello, World!'");
    }
}

To reproduce Steps to reproduce the behavior: Please include soot options you used or supply a code snippet to ease reproduction of the problem. Under OpenJDK8, this works:

javac FirstExample.java # This line is a must because seems like there's other bugs in the java frontend, but it can be workarounded by using bytecode frontend.
soot -cp . -pp FirstExample 

but under OpenJDK17, this won't work, and would yield this error message:

Soot started on Wed Feb 16 10:47:20 CST 2022
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.nio.file.NoSuchFileException: /modules/modules
        at java.base/jdk.internal.jrtfs.JrtFileSystem.checkNode(JrtFileSystem.java:486)
        at java.base/jdk.internal.jrtfs.JrtFileSystem.isDirectory(JrtFileSystem.java:431)
        at java.base/jdk.internal.jrtfs.JrtDirectoryStream.<init>(JrtDirectoryStream.java:58)
        at java.base/jdk.internal.jrtfs.JrtPath.newDirectoryStream(JrtPath.java:642)
        at java.base/jdk.internal.jrtfs.JrtFileSystemProvider.newDirectoryStream(JrtFileSystemProvider.java:311)
        at java.base/java.nio.file.Files.newDirectoryStream(Files.java:482)
        at soot.asm.AsmJava9ClassProvider.find(AsmJava9ClassProvider.java:50)
        at soot.SourceLocator.getClassSource(SourceLocator.java:187)
        at soot.Scene.tryLoadClass(Scene.java:967)
        at soot.Scene.loadBasicClasses(Scene.java:1708)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)
java.lang.RuntimeException: None of the basic classes could be loaded! Check your Soot class path!
        at soot.Scene.loadBasicClasses(Scene.java:1718)
        at soot.Scene.loadNecessaryClasses(Scene.java:1807)
        at soot.Main.run(Main.java:241)
        at soot.Main.main(Main.java:141)


Ouuups... something went wrong! Sorry about that.
Follow these steps to fix the problem:
1.) Are you sure you used the right command line?
    Click here to double-check:
    https://github.com/Sable/soot/wiki/Options-and-JavaDoc

2.) Not sure whether it's a bug? Feel free to discuss
    the issue on the Soot mailing list:
    https://github.com/Sable/soot/wiki/Getting-help

3.) Sure it's a bug? Click this link to report it.
    https://github.com/Sable/soot/issues/new?title=java.lang.RuntimeException+when+...&body=Steps+to+reproduce%3A%0A1.%29+...%0
A%0AFiles+used+to+reproduce%3A+%0A...%0A%0ASoot+version%3A+%3Cpre%3Etrunk%3C%2Fpre%3E%0A%0ACommand+line%3A%0A%3Cpre%3E-cp+.+-pp
+FirstSample%3C%2Fpre%3E%0A%0AMax+Memory%3A%0A%3Cpre%3E3856MB%3C%2Fpre%3E%0A%0AStack+trace%3A%0A%3Cpre%3Ejava.lang.RuntimeExcep
tion%3A+None+of+the+basic+classes+could+be+loaded%21+Check+your+Soot+class+path%21%0A%09at+soot.Scene.loadBasicClasses%28Scene.
java%3A1718%29%0A%09at+soot.Scene.loadNecessaryClasses%28Scene.java%3A1807%29%0A%09at+soot.Main.run%28Main.java%3A241%29%0A%09a
t+soot.Main.main%28Main.java%3A141%29%0A%3C%2Fpre%3E
    Please be as precise as possible when giving us
    information on how to reproduce the problem. Thanks!

Expected behavior A clear and concise description of what you expected to happen. No bug.

glyh avatar Feb 16 '22 02:02 glyh

You need to set up module path. There is description about that in the README file.

linghuiluo avatar Feb 17 '22 06:02 linghuiluo

@linghuiluo I don't get it, here's what it says: If you want to run Soot with Java > 8, you are done. Just run it as usal. I'm running soot on Java > 8, and analysing Java > 8.

glyh avatar Feb 17 '22 07:02 glyh

You would need Options.v().set_soot_modulepath(sootClassPath()); because you are using modules in the code. Otherwise soot is not able to find the module classes. Maybe set up -allow-phantom-refs could do it too.

linghuiluo avatar Feb 17 '22 08:02 linghuiluo

How am I using this from source code... I reckon that I'm using this from CLI...

glyh avatar Feb 17 '22 12:02 glyh

there is a cli option too -soot-modulepath https://soot-build.cs.uni-paderborn.de/public/origin/develop/soot/soot-develop/options/soot_options.htm

linghuiluo avatar Feb 18 '22 18:02 linghuiluo

try to use -allow-phantom-refs and -ire to ignore the exception.

galian123 avatar Mar 01 '22 11:03 galian123