Немного о строках в Си, или несколько вариантов оптимизировать неоптимизируемое

(strlen(str) + 1) — такое себе решение. Перед нами встают 2 проблемы:
А если нам надо выделить память под формируемую с помощью, например, s(n)printf(..) строку?

А если нам это не надо? Зачем решать несуществующую "проблему"? Вот когда нам в каком-либо конкретном случае это действительно потребуется, тогда и сделаем по-другому.

Внешний вид.

Нормальный внешний вид. А если не нравится — сделайте макрос (особенно для программы "где регулярно требуется обрабатывать строки").

работа со строками в C — это очень сложная тема

Ничего сложного. Это вы всё слишком усложняете. Вместо того, чтобы сразу написать "под катом" (или даже перед ним) вот это:

Весь «прикол» в том, что функция strlen не учитывает символ конца строки

вы зачем-то затеяли целое "исследование" с дампами из valgrind, а в конце привели решение, избыточное для простого копирования.

И чем больше тонкостей языка вы знаете, тем лучше ваш код.

Одна из "тонкостей" заключается в том, что вот это:

char *str = malloc(sizeof(char) * (strlen(BUF) + 1));
strcpy(str, BUF);

является нормальным и безопасным рабочим решенем, если вам нужно скопировать одну строку в другую (динамически выделенную).

для написания «безопасного» кода при динамическом выделении памяти рекомендуется все же использовать функцию calloc() вместо malloc() — calloc забивает выделяемую память нулями. Ну или после выделения памяти использовать функцию memset(). Иначе мусор, который изначально лежал на выделяемом участке памяти, может вызвать вопросы при дебаге, а иногда и при работе со строкой.

Зачем такие "сложности"? Вы же используете strcpy(), а она копирует всю строку, включая терминальный 0.

А мне одному глаза режет от sizeof(char)?

поправьте меня, если я что-то путаю, но предварительное вычисление длины результата с помощью "snprintf(NULL, ..." — в итоге выполняет одну и ту же работу по форматированию два раза?

• V512: A call of the 'strcpy' function will lead to overflow of the buffer 'str'.
• V575: The potential null pointer is passed into 'strcpy' function. Inspect the first argument.

Да очень просто. Весь «прикол» в том, что функция strlen не учитывает символ конца строки — '\0'. Даже если его явно указать во входящей строке (#define HELLO_STRING «Hello, Habr!\n\0»), он будет проигнорирован.

sizeof('\0') совершенно точно делает не то, что вы просили. Согласно C99 sizeof('\0') == sizeof(int), если ваш компилятор выдаёт что‐либо иное, то в компиляторе ошибка. 6.4.4.4, параграф 10: «An integer character constant has type int.»

Ещё относительно snprintf(NULL, …): оно не всегда работает: http://demin.ws/blog/russian/2013/01/28/use-snprintf-on-different-platforms/. Статья довольно старая, но она говорит в том числе о Windows 7, которая ещё актуальна. Я не знаю, починили ли что‐то в более новых версиях или вам нужно делать #define snprintf _snprintf_s.

cor_log_put(const char *format, ...)
{
    /*  пропущена часть кода... */
    char buf[COR_LOG_STR_SIZE];
    char *p = buf;
    char *begin = p;
    char *end = p + COR_LOG_STR_SIZE;
    va_list args;
    while (1) {
        /*  пишем сколько влезет  */
        va_start(args, format);
        int rc = vsnprintf(p, end - p, format, args);
        va_end(args);
        if (rc < 0) {
            if (begin != buf) {
                free(begin);
            }
            return;
        }
        /*  проверяем, не мало ли места  */
        if (rc >= end - p) {
            size_t size = COR_LOG_STR_SIZE;
            while (size <= rc) {
                size = (size << 1) - (size >> 1);
            }
            char *nb = (char *) malloc(size);
            if (!nb) {
                if (begin != buf) {
                    free(begin);
                }
                return;
            }
            memcpy(nb, begin, p - begin);
            p = nb + (p - begin);
            end = nb + size;
            if (begin != buf) {
                free(begin);
            }
            begin = nb;
            continue;
        }
        p += rc;
        break;
    }
    /*  пропущена часть кода... */
}

#define strsize(args...) snprintf(NULL, 0, args) + sizeof('\0')

#define strsize(args...) (snprintf(NULL, 0, args) + sizeof('\0'))