Skip to content

feat(engine): export fuzz harness scaffolds (#415)#458

Open
edehvictor wants to merge 1 commit intoHyperSafeD:mainfrom
edehvictor:codex/feat-fuzz-harness-generator-415
Open

feat(engine): export fuzz harness scaffolds (#415)#458
edehvictor wants to merge 1 commit intoHyperSafeD:mainfrom
edehvictor:codex/feat-fuzz-harness-generator-415

Conversation

@edehvictor
Copy link
Copy Markdown

Closes #415

Changes

  • adds a new sanctifier fuzz CLI command for generating native fuzz harness scaffolds
  • introduces a reusable core generator that inspects Soroban contract source and discovers public entrypoints
  • exports afl.rs and honggfuzz.rs templates with contract metadata, entrypoint summaries, and Soroban-specific TODO guidance
  • supports generating a single backend or both backends, with configurable output directory and overwrite protection
  • adds CLI tests covering help output, dual-harness generation, and engine-specific generation

Testing

  • cargo fmt --package sanctifier-core --package sanctifier-cli
  • cargo test -p sanctifier-cli (blocked in this environment: missing MSVC link.exe)

@drips-wave
Copy link
Copy Markdown

drips-wave bot commented Mar 29, 2026

@edehvictor Great news! 🎉 Based on an automated assessment of this PR, the linked Wave issue(s) no longer count against your application limits.

You can now already apply to more issues while waiting for a review of this PR. Keep up the great work! 🚀

Learn more about application limits

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.

[engine] Fuzz-Harness Generator: Export native Afl.rs/honggfuzz test scaffolds

1 participant