Для примера, функции работы с сокетами подразумевают явное приведение типа и неразмеченные объединения. sockaddr, sockaddr_in6, sockaddr. Статический анализатор clang, к примеру, ругается на этот код.
Т.е. довольно сложно сделать безопасную ОС, совместимую со стандартом POSIX.