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.

What Are the Key Differences in the Skillsets of a Smart Contract Auditor and a Traditional Software Auditor?
How Do Stress Tests Help Determine the Adequacy of a Default Waterfall?
What Is the Role of a Smart Contract Auditor versus a Standard Software Developer?
What Are the Best Practices for Auditing Smart Contracts That Control Derivative Trading Algorithms?
What Is the Difference between a Code Review and a Full Security Audit?
What Is the Difference between Sensitivity Analysis and Scenario Analysis?
How Do Clients Perform Due Diligence on a Custodian’s Insurance Coverage?
How Do Regulatory Stress Tests Address the Systemic Risk of Cross-Margining?