As indicated by Frama-C, the string System Initialization (copied to temp_string) requires 22 bytes, including the null terminator, but the buffer was declared with only 20.
The change has not been ported to the test cases which do not print System Initialization.
As indicated by Frama-C, the string
System Initialization
(copied totemp_string
) requires 22 bytes, including the null terminator, but the buffer was declared with only 20.The change has not been ported to the test cases which do not print
System Initialization
.