Почему программа может использовать больше динамической памяти, чем выделил `malloc()`?

Question

[romazhan]

#include <stdlib.h>

int main(int argc, char *argv[1]) {
    char *greeting = "Hello, ";
    char *name = "User!";
    char *result = (char *)malloc(1);
    strcat(result, greeting); strcat(result, name);
    printf("%s\n", result);
    return 0; 
}

Почему код выше работает без ошибок при том, что `malloc()` выделил недостаточное количество памяти?

Answer 1

[Rsa97]

Потому что C не контролирует использование памяти программой. Любой контроль на совести разработчика.

Comments

[romazhan]

Зачем тогда создали функцию выделения памяти?

[GavriKos]

polak228, для того чтобы выделять память, внезапно да? Выделение памяти выдает вам некий участок, и в какой то мере гарантирует что никто другой туда не полезет и жта память именно вашего процесса.
Но в рамках процесса С/С++ позволяет стрелять себе в ногу - обращаться за пределы выделенного участка.

При записи в не принадлежащую вам область можете получить эксепшн (а можете не получить). А если область дальше выделеной принадлежит вам - то получите смешивание данных - и тут вообще ничего это дело не отловит

[Rsa97]

polak228, Чтобы зарезервировать память для программы. До освобождения этого участка памяти система не выделит его другой программе.
При обращении за пределы выделенной памяти может быть что угодно, от отсутствия реакции до вылета программы с исключением.
Учитывайте, что память выделяется блоками, в не по одному байту, и, скорее всего, ваша программа не выходит за пределы реально выделенной памяти.

[romazhan]

Rsa97, правильно ли я предполагаю, что эта уязвимость называется "переполнение буфера"?

[Rsa97]

polak228, Правильно.

Answer 2

[Wataru]

Вы лезете не в свою память. Программа может упасть, вы можете перетереть значение каких-то других ваших переменных.

В вашем случае - вам повезло. Видимо, на вашем конкретном компьютере ваша конкретная операционная система в этот конкретный момент времени выдает вам 1 байт, который лежит внутри выделенной вашему приложению странице памяти и там дальше нет каких-то ваших переменных. Так не обязано происходить. Вы запустите вашу программу в другое время, добавите туда еще переменных или выделения памяти или скопируете чуть более длинную строку, и программа может запросто упасть.