Code

Audit Draft PR for Code Review#871

Code

Closed

derek-certora wants to merge 4 commits intosafe-global:mainsafe-global/safe-smart-account:mainfrom Certora:derek/audit-new-commitCertora/safe-smart-account:derek/audit-new-commitCopy head branch name to clipboard

+588-22

Commits

Commits on Dec 16, 2024

• update the patch file so the rule about signature collisions passes.

  

  Derek Sorensen

  authored and

  Derek Sorensen

  committed
  541ff2c

• update the safe harness to add some extra view and pure functions

  

  Derek Sorensen

  authored and

  Derek Sorensen

  committed
  e3203b5

• add a specification for guards, which requires two mock files to simulate transaction and module guards, and which ports a rule from Safe.spec so that all the rules for guards are in one place

  

  Derek Sorensen

  authored and

  Derek Sorensen

  committed
  c8974b4

• a new specification file for functionality relating to execute, executeTxn, executeTxnFromModule, etc

  

  Derek Sorensen

  authored and

  Derek Sorensen

  committed
  9585811