Skip to content

Document necessary reentrancy patterns with slither-disable - #29

Merged
KaelSensei merged 1 commit into
mainfrom
fix/slither-necessary-reentrancy
Apr 6, 2026
Merged

KaelSensei merged 1 commit into
mainfrom
fix/slither-necessary-reentrancy

Conversation

@KaelSensei

Copy link
Copy Markdown
Owner

Summary

Add documentation comments for reentrancy patterns that are necessary and safe because they require return values from external calls before emitting events.

Changes

  • UniswapV3Swap: all three swap functions (need actual swap amounts for events)
  • Call.callBySelector: needs actual return data from the call
  • TryCatch: protected with noReentrancy guard

Test Plan

  • All 945 tests passing
  • Slither warnings documented with explicit disable comments
  • No functionality changes, only documentation

These functions require return values from external calls before emitting events:
- UniswapV3Swap: all three swap functions need actual amounts
- Call.callBySelector: needs actual return data
- TryCatch: has noReentrancy guard, safe to emit after call

All 945 tests passing.

Co-Authored-By: Claude Haiku 4.5 <noreply@anthropic.com>
@codecov-commenter

Copy link
Copy Markdown

⚠️ Please install the 'codecov app svg image' to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

❌ Patch coverage is 75.00000% with 1 line in your changes missing coverage. Please review.

Files with missing lines Patch % Lines
src/basic/Call.sol 66.66% 1 Missing ⚠️

📢 Thoughts on this report? Let us know!

@KaelSensei
KaelSensei merged commit 1670e1e into main Apr 6, 2026
9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants