René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Many similar sandboxed tests on sockets generated by Fuzzing and not minimized","articleBody":"**Description**\r\n\r\nMany similar tests with same coverage are generated and not minimized.\r\nSocket is created inside tests.\r\nFuzzing only mode is on.\r\n\r\n**To Reproduce**\r\n\r\n1. Run a project in IntelliJ Idea 2022.1.3  - 2022.2.2\r\n2. Install [RC plugin build](https://github.com/UnitTestBot/UTBotJava/actions/runs/3217740096) \r\n3. Set Fuzzing to 100%\r\n\r\n![image](https://user-images.githubusercontent.com/37301492/194908289-b6222fcd-5f0a-4a5a-a359-43691eb73eee.png)\r\n\r\n4. Add the following class (originally posted in #625 ):\r\n\r\n```java\r\npublic class SecurityCheck {\r\n    public int connect(Socket socket) throws IOException {\r\n        socket.connect(new InetSocketAddress(\"0.0.0.0\", 22));\r\n        return 0;\r\n    }\r\n}\r\n```\r\n\r\n5. Use plugin to generate tests\r\n6. Open the generated test\r\n\r\n**Expected behavior**\r\n\r\nThere should be only one test creating Socket and sandboxed due to an unpermitted operation.\r\n\r\n**Actual behavior**\r\n\r\nThere are 272  tests generated by Fuzzing with similar arguments. They all have annotation  \r\n```java \r\n@Disabled(value = \"Disabled due to sandbox\")\r\n```\r\n\r\n```java\r\n    ///region FUZZER: EXPLICITLY_THROWN_UNCHECKED_EXCEPTIONS for method connect(java.net.Socket)\r\n\r\n @Test\r\n    @DisplayName(\"connect: socket = Socket(String, int, boolean)\")\r\n    @Disabled(value = \"Disabled due to sandbox\")\r\n    public void testConnect() throws IOException {\r\n        SecurityCheck securityCheck = new SecurityCheck();\r\n        Socket socket = new Socket(\"jkmqh\", 568849899, true);\r\n\r\n        /* This test fails because method [org.utbot.examples.SecurityCheck.connect] produces [java.security.AccessControlException: access denied (\"java.net.SocketPermission\" \"jkmqh\" \"resolve\")] */\r\n    }\r\n\r\n    @Test\r\n    @DisplayName(\"connect: socket = Socket(String, int, boolean)\")\r\n    @Disabled(value = \"Disabled due to sandbox\")\r\n    public void testConnect1() throws IOException {\r\n        SecurityCheck securityCheck = new SecurityCheck();\r\n        Socket socket = new Socket(\"qylov\", -469477656, true);\r\n\r\n        /* This test fails because method [org.utbot.examples.SecurityCheck.connect] produces [java.security.AccessControlException: access denied (\"java.net.SocketPermission\" \"qylov\" \"resolve\")] */\r\n    }\r\n```\r\n\r\n**Visual proofs (screenshots, logs, images)**\r\n\r\n![image](https://user-images.githubusercontent.com/37301492/194909126-c9aea793-ded8-4114-9566-05711fca1bc6.png)\r\n\r\n\u003cdetails\u003e\r\n\u003csummary\u003e\r\nThere are the following warnings in concrete executor logs:\r\nIllegal reflective access by org.utbot.framework.concrete.UtModelConstructor \r\nto field java.net.Socket.created\r\n\r\nExpand for details\r\n\u003c/summary\u003e\r\n\r\n19:03:52.187 | Info  | DynamicClassTransformer   | 16:Scheduler for Client56431 @coroutine#10 | Transforming: org/utbot/examples/SecurityCheck \r\nWARNING: Illegal reflective access by org.utbot.framework.concrete.UtModelConstructor (file:/C:/Users/\u003cusername\u003e/AppData/Roaming/JetBrains/IntelliJIdea2022.1/plugins/utbot-intellij/lib/utbot-framework-2022.10.417.jar) to field java.net.Socket.created\r\nWARNING: Illegal reflective access by org.utbot.framework.concrete.UtModelConstructor (file:/C:/Users/\u003cusername\u003e/AppData/Roaming/JetBrains/IntelliJIdea2022.1/plugins/utbot-intellij/lib/utbot-framework-2022.10.417.jar) to field java.net.Socket.bound\r\nWARNING: Illegal reflective access by org.utbot.framework.concrete.UtModelConstructor (file:/C:/Users/\u003cusername\u003e/AppData/Roaming/JetBrains/IntelliJIdea2022.1/plugins/utbot-intellij/lib/utbot-framework-2022.10.417.jar) to field java.net.Socket.connected\r\nWARNING: Illegal reflective access by org.utbot.framework.concrete.UtModelConstructor (file:/C:/Users/\u003cusername\u003e/AppData/Roaming/JetBrains/IntelliJIdea2022.1/plugins/utbot-intellij/lib/utbot-framework-2022.10.417.jar) to field java.net.Socket.closed\r\nWARNING: Illegal reflective access by org.utbot.framework.concrete.UtModelConstructor (file:/C:/Users/\u003cusername\u003e/AppData/Roaming/JetBrains/IntelliJIdea2022.1/plugins/utbot-intellij/lib/utbot-framework-2022.10.417.jar) to field java.net.Socket.closeLock\r\nWARNING: Illegal reflective access by org.utbot.framework.concrete.UtModelConstructor (file:/C:/Users/\u003cusername\u003e/AppData/Roaming/JetBrains/IntelliJIdea2022.1/plugins/utbot-intellij/lib/utbot-framework-2022.10.417.jar) to field java.net.Socket.shutIn\r\nWARNING: Illegal reflective access by org.utbot.framework.concrete.UtModelConstructor (file:/C:/Users/\u003cusername\u003e/AppData/Roaming/JetBrains/IntelliJIdea2022.1/plugins/utbot-intellij/lib/utbot-framework-2022.10.417.jar) to field java.net.Socket.shutOut\r\nWARNING: Illegal reflective access by org.utbot.framework.concrete.UtModelConstructor (file:/C:/Users/\u003cusername\u003e/AppData/Roaming/JetBrains/IntelliJIdea2022.1/plugins/utbot-intellij/lib/utbot-framework-2022.10.417.jar) to field java.net.Socket.impl\r\nWARNING: Illegal reflective access by org.utbot.framework.concrete.UtModelConstructor (file:/C:/Users/\u003cusername\u003e/AppData/Roaming/JetBrains/IntelliJIdea2022.1/plugins/utbot-intellij/lib/utbot-framework-2022.10.417.jar) to field java.net.Socket.oldImpl\r\nWARNING: Illegal reflective access by org.utbot.framework.concrete.UtModelConstructor (file:/C:/Users/\u003cusername\u003e/AppData/Roaming/JetBrains/IntelliJIdea2022.1/plugins/utbot-intellij/lib/utbot-framework-2022.10.417.jar) to field java.net.Socket.factory\r\nWARNING: Illegal reflective access by org.utbot.framework.concrete.UtModelConstructor (file:/C:/Users/\u003cusername\u003e/AppData/Roaming/JetBrains/IntelliJIdea2022.1/plugins/utbot-intellij/lib/utbot-framework-2022.10.417.jar) to field java.net.Socket.options\r\nWARNING: Illegal reflective access by org.utbot.framework.concrete.UtModelConstructor (file:/C:/Users/\u003cusername\u003e/AppData/Roaming/JetBrains/IntelliJIdea2022.1/plugins/utbot-intellij/lib/utbot-framework-2022.10.417.jar) to field java.net.Socket.optionsSet\r\n\u003c/details\u003e\r\n\r\n**Environment**\r\n\r\nWindows 10 Pro\r\nIntelliJ IDEA 2022.1.3, 2022.1.4, 2022.2.2\r\n\r\n**Additional context**\r\n\r\n_Originally posted by @alisevych in https://github.com/UnitTestBot/UTBotJava/issues/1125#issuecomment-1273350246_\r\n      ","author":{"url":"https://github.com/alisevych","@type":"Person","name":"alisevych"},"datePublished":"2022-10-10T15:56:07.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":2},"url":"https://github.com/1129/UTBotJava/issues/1129"}