Прочитайте определение корректных функций.

Напомните слушателям, что программист, который реализует вызывающий код, отвечает за выполнение предусловия безопасности; компилятор здесь не помогает.

Переведите на неформальный язык. Корректность означает, что функция «хорошая» и играет по правилам. Она документирует свои предусловия безопасности, и когда вызывающий код их выполняет, функция ведёт себя правильно (без UB).