Three prior items, classed against the finding in Pair.sol
- Fingerprint
-
swapcredits the amount sent, not the amount received, before_update. Closing fix: measure the balance delta after the transfer.input-2/Pair.sol:131
- Audit M-03
-
Fee-on-transfer tokens break the reserve invariant.
Same rootThe same missing balance-delta check in
swap. The fix it recommends closes this path.input-4/audit-report.md:204-221 input-2/Pair.sol:131
- Known issue 4
-
Rebasing tokens are not supported.
Same symptom, different rootReserves drift through
sync, a different code path. Its fix leaves line 131 unchanged.input-3/known-issues.md:18 input-2/Pair.sol:164-170
- PR 212
-
Add a reentrancy lock to
swap.UnrelatedA guard on entry. It does not touch the amount credited.
input-5/pr-212.diff:9-14
- Next
Hold the report. Audit item M-03 already carries this root cause and its fix.