Sample Report
This is a format demonstration, not a real client audit. It shows the structure, depth, and presentation style of a HasFocus deliverable.
Sample DeFi Vault
This is a sample report demonstrating the format, depth, and structure of a HasFocus audit deliverable. It is not a real audit. Each section below illustrates how we document findings with severity, root-cause analysis, proof-of-concept descriptions, and remediation guidance.
Duration
3 weeks
Lines of Code
4,200
Total Findings
16
Chain
Ethereum
Scope
Findings Summary
1
2
4
6
3
Detailed Findings
Critical: Reentrancy in Withdrawal Flow
This sample finding demonstrates how we document a critical-severity issue. In a real report, this section would contain the exact affected code lines, a step-by-step description of the attack vector, a proof-of-concept transaction sequence, and a recommended code fix with before/after comparison. Findings are classified using our severity model (Impact x Likelihood).
High: Fee Rounding Exploitable at Scale
This sample finding demonstrates a high-severity issue format. We would describe the integer arithmetic flaw, calculate the economic impact over realistic transaction volumes, and provide a concrete fix such as implementing a minimum fee floor or switching to ceiling division.
Medium Findings Summary
Medium-severity issues are grouped when related. A real report would detail each finding individually: missing zero-address validation, unbounded loops that could exceed block gas limits, missing pause modifiers, and inconsistent event emissions. Each includes a clear recommendation.
Want a report like this for your protocol?
Request a free consultation to discuss your security needs.
Request an Audit