审计的最佳方法是构建整个代码库的“心理解释器”,这样你就可以在脑海中运行它。这可能需要几周的时间。但随后错误会自动浮现出来。你可能会在早上醒来时脑海中想到一个新的错误。