-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Feature: Mark assembly blocks as memory-safe #545
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Merged
Merged
Changes from 1 commit
Commits
Show all changes
37 commits
Select commit
Hold shift + click to select a range
ece50eb
add setup and rules about modules
teryanarmen 2a99238
fix run script
teryanarmen 6142597
use solc7.6 for fv
mmv08 2ce4faa
Merge branch 'main' of github.com:safe-global/safe-contracts into for…
mmv08 78fdf78
Mark assembly blocks as memory-safe
mmv08 c55691a
use solidity 0.8.19 for github action benchmark
mmv08 4d2284c
Update makefile
mmv08 2253f7e
fix the harness patch
mmv08 dc0cbf9
properties doc skeleton
mmv08 2524f74
properties notes
mmv08 6b03373
Merge branch 'main' of github.com:safe-global/safe-contracts into fea…
mmv08 ac6c56b
use 10m optimizer runs
mmv08 3ae2bde
Write calldata/return data to the memory allocated via the free memor…
mmv08 0c98fc0
memory-safe simulateAndRevert
mmv08 67d05a6
Merge branch 'main' of github.com:safe-global/safe-contracts into for…
mmv08 7a77545
Update CLA github action to v2.3.0
Uxio0 e8e9241
add certora workflow
mmv08 ed32c96
Fix changelog mention of createChainSpecificProxyWithNonce
frangio 4b9c46f
Merge pull request #561 from frangio/changelog-fix
mmv08 1c29d23
fix script path
mmv08 c8932d4
use cvl2
mmv08 ad9b319
Merge pull request #560 from safe-global/formal-verification
mmv08 11e3459
Merge branch 'main' of github.com:safe-global/safe-contracts into fea…
mmv08 f8bd215
Remove gasleft in setupModules, add erc4337 compatibility test
mmv08 f77dfce
Fix typechecking in test files (#573)
mmv08 9cbdaa6
verify that guard can only be updated through setGuard
mmv08 1b25deb
Verify functions that may change the fallback handler address (#566)
mmv08 f37e0ed
Add an invariant for singleton address (#565)
mmv08 80ced58
Add an optimistic assumption about DELEGATECALL, update nonce monoton…
mmv08 13a5d89
Pump version to 1.4.1 (#579)
mmv08 36a07fe
Formal verification: native token balance updates (#582)
mmv08 1ed486b
Fix addresses for 1.4.1 in changelog (#590)
rmeissner 7e46388
Fix certora CI action
mmv08 eec5ebc
Merge pull request #591 from safe-global/fix/certora-ci
mmv08 bf943f8
Formal verification: No message can be signed through the core contra…
mmv08 930478f
Merge branch 'main' of github.com:safe-global/safe-contracts into fea…
1a0d70c
fix munged patch
File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Write calldata/return data to the memory allocated via the free memor…
…y pointer
- Loading branch information
commit 3ae2bded8b0f6eb42bf6586b02668949d7b37d6c
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Do we know if this increases the gas usage?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Tested it on this test:
0.7.6, no optimiser, no allocation: 31940
0.7.6, no optimiser, with allocation: 32160
0.8.19, 1m optimiser runs, no allocation: can’t compile
0.8.19, 1m optimiser runs, with allocation: 32527
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
So yes, it does increase the gas used