Skip to content

Add zero-address guards for decoded spender/pool in LibGenericPoolExchange #2539

@thedavidmeister

Description

@thedavidmeister

Audit finding: CR-1

Source: audit/2026-03-14-01 triage #76 (CodeRabbit PR #2512)

LibGenericPoolExchange.exchange() decodes spender and pool addresses from calldata without validating they are not address(0). A zero address would cause silent failures in the approval and function call.

File: src/lib/LibGenericPoolExchange.sol

Metadata

Metadata

Assignees

No one assigned

    Labels

    claude-auditIssues from Claude Code audit findings

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions