Аудит исходного кода

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

А какието наставления по этому поводу есть?