Си даёт гарантии, что какой-то указатель не будет использован повторно после free()? Си годная тема для МК, чтобы не опускаться до всяких MIPS ассемблеров и написать несложную логику на пару тысяч строк, которую, разбив по файлам, вполне можно досконально вычитать. Миллионы же строк на С - это кошмар, ничего нельзя трогать, не запуская статический анализатор каждый раз, чтобы, не дай бог, не пролез "человеческий фактор".