A melhor maneira de auditar é construir um "intérprete mental" de toda a base de código para que você possa executá-lo na sua cabeça. Pode levar semanas. Mas então os bugs começam a aparecer automaticamente. Você pode acordar de manhã com um novo bug em mente.