Skip to content

Add EIP-2612 permit fuzz coverage#43

Merged
Pattermesh merged 1 commit into
kcolbchain:mainfrom
bonginkan:codex/permit-fuzz-tests-27
Jun 3, 2026
Merged

Add EIP-2612 permit fuzz coverage#43
Pattermesh merged 1 commit into
kcolbchain:mainfrom
bonginkan:codex/permit-fuzz-tests-27

Conversation

@MyTH-zyxeon
Copy link
Copy Markdown
Contributor

Summary

  • add fuzz coverage for valid EIP-2612 permits setting allowance and incrementing nonce
  • cover expired deadlines, wrong chain domains, wrong verifying contracts, and nonce replay
  • keep coverage scoped to forge-test/Stablecoin.t.sol

Closes #27

Validation

  • forge fmt --check forge-test/Stablecoin.t.sol
  • git diff --check
  • FOUNDRY_LIBS=["node_modules","/tmp/codex-forge-libs"] FOUNDRY_TEST=forge-test forge test --match-contract StablecoinTest -vv (22 passed)

@abhicris
Copy link
Copy Markdown
Contributor

🤖 Audit verdict: safe

Pure test addition for EIP-2612 permit functionality with standard, correctly-implemented EIP-712 signatures and comprehensive security edge-case coverage (expiration, chain ID, contract address, replay prevention); no malicious payloads, supply-chain risks, credential leaks, or security-relevant bugs.

Audited by the kcolbchain PR pipeline. See pipeline docs.

@Pattermesh Pattermesh force-pushed the codex/permit-fuzz-tests-27 branch from 2c2bd9e to b919208 Compare June 3, 2026 12:26
@Pattermesh Pattermesh merged commit ee80e74 into kcolbchain:main Jun 3, 2026
1 check passed
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 EIP-2612 permit() fuzz tests for Stablecoin

3 participants