Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Simplify StringBuilder and StringBuffer approximations #9

Open
Damtev opened this issue Dec 11, 2023 · 0 comments
Open

Simplify StringBuilder and StringBuffer approximations #9

Damtev opened this issue Dec 11, 2023 · 0 comments
Labels
enhancement New feature or request

Comments

@Damtev
Copy link
Member

Damtev commented Dec 11, 2023

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`).

Instead 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.

@dog-m dog-m pinned this issue Dec 13, 2023
@dog-m dog-m added the bug Something isn't working label Dec 13, 2023
@dog-m dog-m added enhancement New feature or request and removed bug Something isn't working labels May 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants