Skip to content

Improve fuzzing in the {K,H,}AMT #2132

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.

Sign up for GitHub

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

Jump to bottom
Open
Stebalien opened this issue Apr 8, 2025 · 0 comments
Open

Improve fuzzing in the {K,H,}AMT #2132

Stebalien opened this issue Apr 8, 2025 · 0 comments
Labels
Topic: Testing

Comments

@Stebalien
Copy link
Member

Stebalien commented Apr 8, 2025 •
edited
Loading

We have fuzzers for the KAMT, HAMT, and AMT but these fuzzers only test set/get/remove/flush. Importantly, they don't test:

  1. Flush and reload from CID (just periodic flushes).
  2. set_root.
  3. Iteration.
  4. Clearing.

See https://github.com/filecoin-project/ref-fvm/blob/master/ipld/kamt/fuzz/fuzz_targets/common.rs (and the same for the hamt and amt).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Topic: Testing
Projects
FilOz
Status: 📌 Triage
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Stebalien