René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"CLI with JDK 17 throws Unsupported class file major version 61","articleBody":"**Description**\r\n\r\nCLI with JDK 17\r\nSoot throws \"IllegalArgumentException: Unsupported class file major version 61\" when called from CLI with JDK 17.\r\n\r\n**To Reproduce**\r\n\r\nSteps to reproduce the behavior:\r\n\r\n1. Define JDK-17 as primary (Path, JAVA_HOME)\r\n2. Download one of the latest [CLI from master](https://github.com/UnitTestBot/UTBotJava/actions/runs/2596727243)\r\n3. For simplicity in the folder where utbot-cli*.jar is located :\r\nCreate ExampleString.java using var (feature introduced in Java 9)\r\n\r\n```\r\npublic class ExampleString {\r\n\r\n    public void stringNewMethod() {\r\n        var text = \"Hello! This is String defined with var\";\r\n\r\n        text = text.toLowerCase();\r\n        System.out.println(text);\r\n\r\n        text = text.toUpperCase();\r\n        System.out.println(text);\r\n    }\r\n}\r\n```\r\n\r\n4. Create ExampleRecord.java using record (feature introduced in Java 16)\r\n\r\n```\r\npublic class ExampleRecord {\r\n\r\n    public record Person(String name, int age) {\r\n        public Person {\r\n            if(age \u003c 0) {\r\n                throw new IllegalArgumentException(\"Age cannot be negative\");\r\n            }\r\n        }\r\n    }\r\n}\r\n\r\n```\r\n\r\n5. Compile your files with JDK-17\r\n\r\n`javac ExampleRecord.java`\r\n`javac ExampleString.class`\r\n\r\n6. Run utbot-cli to generate tests for it, like that:\r\n\r\n`java -jar utbot-cli-2022.7.jar generate --source ExampleString.java --classpath \"D:\\Current\\Java\" -o ExampleStringTest.java ExampleString\r\n`\r\n\r\n`java -jar utbot-cli-2022.7.jar generate --source ExampleRecord.java --classpath \"D:\\Current\\Java\" -o ExampleRecordTest.java ExampleRecord`\r\n\r\n**Expected behavior**\r\n\r\nTests are supposed to be generated.\r\n\r\n**Actual behavior**\r\n\r\nThere is the following output in console:\r\n\r\n```\r\nWARNING: sun.reflect.Reflection.getCallerClass is not supported. This will impact performance.\r\n16:14:54.331 | INFO  | AllInMemoryClassProvider | Loaded: 2 path entries, 48 classes, 196740 bytes\r\n16:14:54.378 | ERROR | GenerateTestsCommand | An error has occurred while generating test for snippet ExampleRecord : java.lang.IllegalArgumentException: Unsupported class file major version 61\r\njava.lang.IllegalArgumentException: Unsupported class file major version 61\r\n        at org.objectweb.asm.ClassReader.\u003cinit\u003e(ClassReader.java:196)\r\n        at org.objectweb.asm.ClassReader.\u003cinit\u003e(ClassReader.java:177)\r\n        at org.objectweb.asm.ClassReader.\u003cinit\u003e(ClassReader.java:163)\r\n        at org.objectweb.asm.ClassReader.\u003cinit\u003e(ClassReader.java:284)\r\n        at soot.asm.AsmClassSource.resolve(AsmClassSource.java:64)\r\n        at soot.SootResolver.bringToHierarchyUnchecked(SootResolver.java:253)\r\n        at soot.SootResolver.bringToHierarchy(SootResolver.java:221)\r\n        at soot.SootResolver.bringToSignatures(SootResolver.java:292)\r\n        at soot.SootResolver.bringToBodies(SootResolver.java:332)\r\n        at soot.SootResolver.processResolveWorklist(SootResolver.java:171)\r\n        at soot.SootResolver.resolveClass(SootResolver.java:141)\r\n        at soot.Scene.tryLoadClass(Scene.java:965)\r\n        at soot.Scene.loadBasicClasses(Scene.java:1670)\r\n        at soot.Scene.loadNecessaryClasses(Scene.java:1770)\r\n        at org.utbot.framework.plugin.api.SootUtilsKt.runSoot(SootUtils.kt:77)\r\n        at org.utbot.framework.plugin.api.UtBotTestCaseGenerator.init(UtBotTestCaseGenerator.kt:111)\r\n        at org.utbot.framework.plugin.api.UtBotTestCaseGenerator.init(UtBotTestCaseGenerator.kt:75)\r\n        at org.utbot.cli.GenerateTestsAbstractCommand.initializeEngine(GenerateTestsAbstractCommand.kt:202)\r\n        at org.utbot.cli.GenerateTestsCommand.run(GenerateTestsCommand.kt:95)\r\n        at com.github.ajalt.clikt.parsers.Parser.parse(Parser.kt:204)\r\n        at com.github.ajalt.clikt.parsers.Parser.parse(Parser.kt:213)\r\n        at com.github.ajalt.clikt.parsers.Parser.parse(Parser.kt:17)\r\n        at com.github.ajalt.clikt.core.CliktCommand.parse(CliktCommand.kt:396)\r\n        at com.github.ajalt.clikt.core.CliktCommand.parse$default(CliktCommand.kt:393)\r\n        at com.github.ajalt.clikt.core.CliktCommand.main(CliktCommand.kt:411)\r\n        at com.github.ajalt.clikt.core.CliktCommand.main(CliktCommand.kt:436)\r\n        at org.utbot.cli.ApplicationKt.main(Application.kt:31)\r\n```","author":{"url":"https://github.com/alisevych","@type":"Person","name":"alisevych"},"datePublished":"2022-07-01T14:45:00.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":3},"url":"https://github.com/373/UTBotJava/issues/373"}