Все Автоматизированные проверки разработчик может сделать сам . Это использование статистических анализаторов и прочее. Это мы внутри конечно дополнительно перепроверяем. Поэтому аудит в своей основе делается вручную. И что самое важное , несколькими людьми параллельно. То есть всегда есть несколько независимых мнений