René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Simplify `StringBuilder` and `StringBuffer` approximations","articleBody":"The current approximations for `java.lang.StringBuilder` and `java.lang.StringBuffer` use an instance of `java.lang.String` as an internal storage and the `java.lang.String#concat` method for approximating `java.lang.AbstractStringBuilder#append` methods. Such approximation is still very complex for symbolic analysis, taking into account that the `java.lang.String#concat` uses the non-trivial method `java.lang.StringConcatHelper#simpleConcat` (that includes even `jdk.internal.misc.Unsafe` invocations`).\r\n\r\nInstead of current approximations, it is suggested to use a hand-written dynamic array of characters for simpler approximations. For reference, use `org.utbot.engine.overrides.strings.UtStringBuilder` implementation in [UTBotJava](https://github.com/UnitTestBot/UTBotJava/blob/main/utbot-framework/src/main/java/org/utbot/engine/overrides/strings/UtStringBuilder.java).","author":{"url":"https://github.com/Damtev","@type":"Person","name":"Damtev"},"datePublished":"2023-12-11T07:53:00.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/9/java-stdlib-approximations/issues/9"}