Skip to content

Add ERC-777 reentrancy check template#27

Open
MyTH-zyxeon wants to merge 1 commit into
kcolbchain:mainfrom
bonginkan:codex/erc777-reentrancy-template-19
Open

Add ERC-777 reentrancy check template#27
MyTH-zyxeon wants to merge 1 commit into
kcolbchain:mainfrom
bonginkan:codex/erc777-reentrancy-template-19

Conversation

@MyTH-zyxeon
Copy link
Copy Markdown

Summary

  • add ERC777ReentrancyCheck for tokensReceived callback reentrancy during token withdrawals
  • add mock ERC-777 token, safe vault, vulnerable vault, and focused Foundry coverage
  • document the new check in the README checks table and architecture list

Closes #19

Validation

  • forge fmt --check src/checks/ERC777ReentrancyCheck.sol test/ERC777Reentrancy.t.sol
  • forge test --match-path test/ERC777Reentrancy.t.sol -vvv (4 passed)
  • git diff --check

Note: full forge test still has pre-existing failures in test/Example.t.sol, test/GovernanceExample.t.sol, and test/ERC4626AdvancedCheck.t.sol; the new ERC-777 suite passes independently.

@abhicris
Copy link
Copy Markdown
Contributor

🤖 Audit verdict: safe

Legitimate security audit template for ERC-777 reentrancy detection with correct vulnerable/safe test examples and no malicious payloads, credential leakage, or supply-chain risks.

Audited by the kcolbchain PR pipeline. See pipeline docs.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[good first issue] Add ERC-777 reentrancy test template (tokensReceived hook)

2 participants