Trail of Bits Fix Review (Bridge)

What problem does it solve?

This skill helps ensure that security patches applied to smart contracts do not introduce new vulnerabilities or regressions, safeguarding against secondary risks.

Core Features & Use Cases

• Vulnerability Closure Verification: Confirms that the intended exploit path is indeed closed by the patch.
• Privilege Escalation Check: Validates that the patch does not introduce any privilege bypass vulnerabilities.
• State Invariant Maintenance: Ensures that the core logic and state of the contract remain consistent and valid after the patch.
• Upgrade/Storage Compatibility: Checks for potential issues with smart contract upgrades or storage layout changes.
• New Attack Surface Identification: Detects potential new avenues for Denial of Service (DoS) attacks, accounting vulnerabilities, or external call risks.

Quick Start

Use the fix-review skill to analyze the proposed patch for the 'VulnerableContract' to ensure exploit paths are closed and no new attack surfaces are introduced.