A melhor forma de auditar é construir um "interpretador mental" de toda a base de código para poder rodá-lo mentalmente. Pode levar semanas. Mas então os bugs começam a cair automaticamente. Você pode acordar de manhã com um novo inseto em mente.