But if the code base is large and sufficiently ugly, it can be difficult to ensure that every possible execution path has been traced through.

• 但如果代码库很大并且写得很糟糕,就很难确保已经全面跟踪了所有可能的执行路径。