Skip to content

feat: skribe-fuzz-rs fuzzing loop implementation#74

Merged
tothtamas28 merged 7 commits intomasterfrom
fuzz-loop-impl
May 8, 2026
Merged

feat: skribe-fuzz-rs fuzzing loop implementation#74
tothtamas28 merged 7 commits intomasterfrom
fuzz-loop-impl

Conversation

@gtrepta
Copy link
Copy Markdown
Contributor

@gtrepta gtrepta commented May 8, 2026

Blocked on:

Implements the core fuzzing loop end-to-end: parses a fuzz spec, selects the target contract/function, substitutes ABI-encoded calldata into the KORE template, runs the semantics, and checks the exit code.

Changes

  • Updated kframework-rs dependency from 1e7ee3a to 73c4986
  • Completed the main fuzz loop in fuzz_target_1.rs, wiring together argument parsing, spec loading, marshalling, K framework execution, and exit code checking
  • Implemented SignatureAbi::arbitrary_input to generate random, ABI-encoded calldata from a function's parameter types using DynSolValue::arbitrary_from_type

@tothtamas28 tothtamas28 merged commit 0089020 into master May 8, 2026
5 checks passed
@tothtamas28 tothtamas28 deleted the fuzz-loop-impl branch May 8, 2026 14:51
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.

3 participants