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