How Does a Code Coverage Tool Assist a Manual Audit?

A code coverage tool assists a manual audit by measuring what percentage of the smart contract's code is executed by the unit tests provided by the developers. It highlights lines of code or branches of logic that were never tested.

This helps the auditor focus their manual review on the untested, or "dead," code, which is more likely to contain hidden logic flaws or vulnerabilities. A high code coverage percentage increases the auditor's confidence that the core financial logic has been exercised, but it does not guarantee correctness.