Skip to content
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

feat(invariant): use storage layout to fuzz values from state by type #8116

Open
grandizzy opened this issue Jun 8, 2024 · 0 comments
Open
Labels
A-testing Area: testing C-forge Command: forge T-feature Type: feature

Comments

@grandizzy
Copy link
Collaborator

grandizzy commented Jun 8, 2024

Component

Forge

Describe the feature you would like

Values collected from state change set in invariant runs are added to dictionary and used for subsequent fuzzed inputs. However their type is not identified (as we do for values scraped from function results or event logs) so their relevance is diminished (e.g. not relevant to collect an address value from change set and use it to fuzz uints)
This could be hard to add for complex custom types (for example mappings with structs) but even supporting this for simpler vars could improve testing campaigns outcome (StorageLayout could be leveraged for such).

Additional context

No response

@grandizzy grandizzy added the T-feature Type: feature label Jun 8, 2024
@zerosnacks zerosnacks added A-testing Area: testing C-forge Command: forge labels Jul 16, 2024
@zerosnacks zerosnacks added this to the v1.0.0 milestone Jul 26, 2024
@grandizzy grandizzy removed this from the v1.0.0 milestone Oct 1, 2024
@github-project-automation github-project-automation bot moved this to Todo in Foundry Oct 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-testing Area: testing C-forge Command: forge T-feature Type: feature
Projects
Status: Todo
Development

No branches or pull requests

2 participants