René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"AssembleModel unable to analyze Kotlin constructors with not nullable reference parameters","articleBody":"**Description**\r\n\r\nRight now we are unable to properly assemble models if there are not nullable reference parameters in constructor -- such models are instantiated through reflection right now.\r\n\r\n**To Reproduce**\r\n\r\nLaunch action on class `Sample` from below:\r\n\r\n```Kotlin\r\ndata class Point(var x: Int, var y: Int)\r\n\r\nclass Sample(val y: Point) {\r\n    fun test(): Int {\r\n        if (y.x == 2)\r\n            return -1\r\n        return 0\r\n    }\r\n}\r\n```\r\n\r\n**Expected behavior**\r\n\r\nTests with assembled models are generated.\r\n\r\n**Actual behavior**\r\n\r\nClasses are instantiated through reflection\r\n\r\n**Visual proofs (screenshots, logs, images)**\r\n\r\n~~~Kotlin\r\n@Test\r\nfun testKek1() {\r\n    val s = (createInstance(\"nullability.Sample\") as Sample)\r\n    val point = (createInstance(\"nullability.Point\") as Point)\r\n    point.x = 2\r\n    setField(s, \"nullability.Sample\", \"y\", point)\r\n    \r\n    val actual = kek(s)\r\n    \r\n    assertEquals(-1, actual)\r\n}\r\n~~~\r\n\r\n**Environment**\r\n\r\nSymbolic execution 100%.\r\n\r\n**Additional context**\r\n\r\nSeems like the problem is that Kotlin compiler adds to constructor of `Sample` instructions like `INVOKESTATIC kotlin/jvm/internal/Intrinsics.checkNotNullParameter (Ljava/lang/Object;Ljava/lang/String;)V`\r\n\r\nThis leads to incorrect behavior of `isAppropriate` and other methods in `ConstructorAnalyzer`\r\n","author":{"url":"https://github.com/volivan239","@type":"Person","name":"volivan239"},"datePublished":"2022-11-09T12:20:38.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/1336/UTBotJava/issues/1336"}