Skip to content

feat: Skeleton build system for rust-fuzzing#67

Merged
tothtamas28 merged 3 commits intomasterfrom
rs-fuzz-skeleton
May 6, 2026
Merged

feat: Skeleton build system for rust-fuzzing#67
tothtamas28 merged 3 commits intomasterfrom
rs-fuzz-skeleton

Conversation

@gtrepta
Copy link
Copy Markdown
Contributor

@gtrepta gtrepta commented May 6, 2026

skribe-fuzz-rs/

Adds a subfolder skribe-fuzz-rs which contains a crate that builds and links in the kllvm interpreter for skribe's semantics and the kframework-rs libraries.

The build script needs kdist to be on the PATH to build the interpreter.

Any library code that will be shared between the libfuzzer target and the eventual LibAFL target should go into this crate.

skribe-fuzz-rs/fuzz/

This is a cargo fuzz generated crate with a fuzz target that depends on the skribe-fuzz-rs library. It currently fuzzes nothing, but invokes some of the kllvm API to ensure things are working.

@gtrepta gtrepta requested a review from tothtamas28 May 6, 2026 00:04
Comment thread skribe-fuzz-rs/build.rs
Comment on lines +8 to +14
let _output = Command::new("kdist")
.env("KDIST_DIR", &kdist_path)
.arg("-v")
.arg("build")
.arg("stylus-semantics.llvm-library")
.output()
.expect("Failed to build the kllvm library with kdist");
Copy link
Copy Markdown
Contributor

@tothtamas28 tothtamas28 May 6, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think this build script should just consume the path of the interpreter.so file directly, that decouples this binary from how the Python package is dealt with.

Edit: Done: #69

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Additionally, we'll need a binary skribe-fuzz to be able to invoke the fuzzer from the skribe script.

@tothtamas28 tothtamas28 merged commit 05066e5 into master May 6, 2026
5 checks passed
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