René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Concrete execution fails for a static method using a static field","articleBody":"**Description**\r\n\r\nStatic method without input parameters is using a static field inside.\r\nConcrete execution fails with \"java.lang.IllegalArgumentException: wrong number of arguments\"\r\n\r\n**To Reproduce**\r\n\r\nSteps to reproduce the behavior:\r\n\r\n1. IntelliJ IDEA with UTBot installed is running.\r\n2. Turn fuzzing on // File -\u003e Settings -\u003e Tools -\u003e UTbot -\u003e select some middle Code Analysis slider position \r\n3. Run test generation for the following class:\r\n\r\n```java\r\npublic class CheckStatic {\r\n\r\n    public final static Integer keyValue = 420;\r\n\r\n    public static int check() {\r\n        if (keyValue == 0) {\r\n            return keyValue;\r\n        } else {\r\n            return -keyValue;\r\n        }\r\n    }\r\n\r\n}\r\n\r\n```\r\n\r\n**Expected behavior**\r\n\r\nTests are supposed to be generated without errors.\r\n\r\n**Actual behavior**\r\n\r\nAn error test is generated with information about an error in the concrete executor.\r\n\r\n**Visual proofs (screenshots, logs, images)**\r\n\r\nError report:\r\n```java\r\n    public void testCheck_errors() {\r\n        // Couldn't generate some tests. List of errors:\r\n        // \r\n        // 4 occurrences of:\r\n        // Default concrete execution failed\r\n\r\n    }\r\n```\r\n\r\nChild process error:\r\n~~~\r\nTransforming: org/example/CheckStatic\r\njava.lang.IllegalArgumentException: wrong number of arguments\r\nsignature=check()I\r\nthis=null: org.example.CheckStatic\r\narguments={\r\norg.example.CheckStatic@1ad9c76c: org.example.CheckStatic\r\n}\r\n\r\n\tat org.utbot.instrumentation.instrumentation.InvokeInstrumentation.invoke-d1pmJ48(InvokeInstrumentation.kt:77)\r\n\tat org.utbot.instrumentation.instrumentation.InvokeInstrumentation.invoke(InvokeInstrumentation.kt:17)\r\n\tat org.utbot.instrumentation.instrumentation.Instrumentation$DefaultImpls.invoke$default(Instrumentation.kt:25)\r\n\tat org.utbot.framework.concrete.UtExecutionInstrumentation$invoke$$inlined$withReflection$lambda$1$1.invoke(UtExecutionInstrumentation.kt:163)\r\n\tat org.utbot.common.ThreadBasedExecutor$invokeWithTimeout$2.invoke(ThreadUtil.kt:56)\r\n\tat org.utbot.common.ThreadBasedExecutor$invokeWithTimeout$1.invoke(ThreadUtil.kt:47)\r\n\tat org.utbot.common.ThreadBasedExecutor$invokeWithTimeout$1.invoke(ThreadUtil.kt:22)\r\n\tat kotlin.concurrent.ThreadsKt$thread$thread$1.run(Thread.kt:30)\r\n~~~\r\n\r\n**Environment**\r\n\r\nWindows 10 Pro\r\nGradle 6.8\r\nJDK 8 \r\n\r\n**Additional context**\r\n\r\nThe example was taken from utbot-sample/src/main/java/org/utbot/examples/mock/CommonMocksExample.java - just added \"static\" to the clinitMockExample() definition.","author":{"url":"https://github.com/alisevych","@type":"Person","name":"alisevych"},"datePublished":"2022-08-11T11:03:20.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":3},"url":"https://github.com/711/UTBotJava/issues/711"}