Ticket UUID: | 134d90a99615cc7590173d97a37949db8c9574d5 | |||
Title: | String \0 safety | |||
Status: | Fixed | Type: | Enhancement | |
Severity: | Severe | Priority: | High | |
Subsystem: | Resolution: | Fixed | ||
Last Modified: | 2024-10-27 22:37:17 | |||
Version Found In: | Milestone: | 1.2 | ||
User Comments: | ||||
js added on 2023-07-22 07:17:50:
Currently,
The first option probably doesn't scale, as there are many places where an The second option might be unexpected and lead to bugs, because the user has just specified a length for the string to create, but the just created string has a different length. Therefore, the third option probably makes most sense. js added on 2024-09-08 09:44:56: Another option is to allow 0 in strings, but throw an js added on 2024-10-27 22:37:17: Implemented in [6fbc3b18c7]. Further tests will be added later, but for now, this is tested via the JSON tests. |