Audit finding: GAP-A12-1, GAP-A12-4
Source: audit/2026-03-14-01 triage #35, #36
GAP-A12-1: No test for zero-balance token transfers path
In finalizeArb, when both token balances are zero after arb, safeTransfer should not be called. No test exercises this path.
GAP-A12-4: No fuzz testing on finalizeArb
Existing tests use fixed values only. No fuzz test covers varied decimal combinations, edge-case amounts, or boundary values.
File: src/lib/LibRaindexArb.sol
Audit finding: GAP-A12-1, GAP-A12-4
Source:
audit/2026-03-14-01triage #35, #36GAP-A12-1: No test for zero-balance token transfers path
In
finalizeArb, when both token balances are zero after arb,safeTransfershould not be called. No test exercises this path.GAP-A12-4: No fuzz testing on finalizeArb
Existing tests use fixed values only. No fuzz test covers varied decimal combinations, edge-case amounts, or boundary values.
File:
src/lib/LibRaindexArb.sol