Skip to content

feat: add signed deadline rule and EIP-712 injector - #900

Merged
mijinummi merged 2 commits into
MDTechLabs:mainfrom
Mkalbani:feat/signed-deadline-eip712-injector
Aug 20, 2026
Merged

feat: add signed deadline rule and EIP-712 injector#900
mijinummi merged 2 commits into
MDTechLabs:mainfrom
Mkalbani:feat/signed-deadline-eip712-injector

Conversation

@Mkalbani

Copy link
Copy Markdown
Contributor

Summary

Implements both requested BridgeWise issues:

Changes

  • Added B009 AST rule implementation.
  • Added B009 Solidity fixtures covering valid and invalid deadline checks.
  • Registered B009 with the rules module.
  • Added bridgewise-cli EIP-712 transformer crate.
  • Added AST-based function detection and source transformation.
  • Added EIP-712 transformation fixtures and tests.

Validation

  • TypeScript CLI build passes.
  • git diff --check passes.
  • Rust tests could not be executed because cargo and rustc are unavailable in the container.

Closes #847
Closes #851

@mijinummi

Copy link
Copy Markdown
Collaborator

LGTM!

@mijinummi
mijinummi merged commit 66b547c into MDTechLabs:main Aug 20, 2026
1 check 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.

[CORE] Rule B010: Automated AST EIP-712 Domain Separator Injector [RULE] Rule B009: Enforce Expiration Deadlines in Cross-Chain Signed Messages

2 participants