C 스타일 문자열은 실제 글자 뒤에 `\0`이 있어야 끝을 정확히 알 수 있습니다.
목적지 배열이 `원본 길이 + 1` 이상인지 먼저 확인합니다.
기존 내용 길이와 추가 문자열 길이를 합쳐 남은 공간을 계산합니다.
길이를 제한해도 널 종료 보장을 따로 확인해야 하는 경우가 있습니다.
`strcpy`와 `strcat`은 목적지 크기를 스스로 검사하지 않으므로, 크기 계산이 코드 밖 추측에 의존하면 버퍼 오버플로우가 생길 수 있습니다.