René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Using util method via reflection","articleBody":"Consider the following class `com.google.common.primitives.Booleans$LexicographicalComparator` in `guava-26.0`:\r\n\r\n```java\r\nprivate static enum LexicographicalComparator implements Comparator\u003cboolean[]\u003e { ... }\r\n```\r\n\r\nIn tests for methods of this class in some specific conditions we generate the following code:\r\n\r\n```java\r\n        Class booleansLexicographicalComparatorTestClazz = Class.forName(\"com.google.common.primitives.Booleans_LexicographicalComparatorTest\");\r\n        Class classType = Class.forName(\"java.lang.Class\");\r\n        Class stringType = Class.forName(\"java.lang.String\");\r\n        Method getStaticFieldValueMethod = booleansLexicographicalComparatorTestClazz.getDeclaredMethod(\"getStaticFieldValue\", classType, stringType);\r\n        getStaticFieldValueMethod.setAccessible(true);\r\n        java.lang.Object[] getStaticFieldValueMethodArguments = new java.lang.Object[2];\r\n        getStaticFieldValueMethodArguments[0] = \"com.google.common.primitives.Booleans$LexicographicalComparator\";\r\n        getStaticFieldValueMethodArguments[1] = \"INSTANCE\";\r\n        Object lexicographicalComparator = getStaticFieldValueMethod.invoke(null, getStaticFieldValueMethodArguments);\r\n```\r\n\r\nSteps to reproduce:\r\n\r\n1. Checkout to `usvm_competitions_2024` branch, at least one reproducable commit 5503f43ede037b732bfad0d0f7fc2ec5e0e16d01\r\n2. Use the following settings in `ContestEstimator`:\r\n    ```kotlin\r\n        val timeLimit = 120\r\n        methodFilter = \"com.google.common.primitives.Booleans\\$LexicographicalComparator.toString\"\r\n        projectFilter = listOf(\"guava-26.0\")\r\n   ```\r\n3. Add the following line `com.google.common.primitives.Booleans$LexicographicalComparator` to the `utbot-junit-contest/src/main/resources/classes/guava-26.0/list`\r\n4. Always use `symbolicResult` and ignore `concreteResult` in `org.utbot.contest.usvm.jc.JcTestExecutor#execute`","author":{"url":"https://github.com/Damtev","@type":"Person","name":"Damtev"},"datePublished":"2023-12-07T08:34:57.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/2711/UTBotJava/issues/2711"}