Fixed #4565 (false positive: dangerous usage (not null-terminated))