Bytecode Alliance
Official@bytecodealliance
Bytecode Alliance skills for auditing Wasmtime and Cranelift and minimizing failing WebAssembly test cases to isolate bugs and miscompilations.
Agent Skills by Bytecode Alliance
Showing 3 vetted skills indexed across 1 GitHub repositories.
bytecodealliancereduce-test-cases
Reduce failing Wasmtime and Cranelift test cases to minimal reproducers using automated reducers and manual playbooks.
bytecodealliancewasmtime-auditor
Audit Wasmtime source code to discover bugs and security vulnerabilities.
bytecodealliancecranelift-auditor
Audit Cranelift compiler code to find bugs and miscompilations with reproducible test cases.
Frequently Asked Questions About Bytecode Alliance
FAQPage SchemaWhat tasks can I accomplish with Bytecode Alliance's skills?▼
You can audit Wasmtime and Cranelift source code for bugs, vulnerabilities, and miscompilations, and reduce failing .wasm/.wat, .wast, or .clif test cases down to the smallest input that still reproduces a crash, trap, panic, or miscompilation.
Who are these skills designed for?▼
They target security researchers, compiler engineers, and runtime developers working with WebAssembly who need to audit Wasmtime or Cranelift code or minimize failing test inputs before filing or diagnosing bug reports.
Which reducers and utilities does the test-case reduction skill cover?▼
It provides predicate/command skeletons for wasm-tools shrink, Binaryen wasm-reduce, creduce, and clif-util bugpoint, plus a wasm fallback chain when a reducer cannot parse your module and a manual reduction playbook.
What input formats does the reduce-test-cases skill support?▼
It supports WebAssembly binary and text formats (.wasm/.wat), spec test scripts (.wast), and Cranelift IR files (.clif), reducing any of them to the smallest input that still triggers the bug, crash, trap, panic, or miscompilation.
What prerequisites are needed to use these skills?▼
You need access to the Wasmtime or Cranelift codebases for auditing, and for reduction you need a failing test input plus the relevant reducers: wasm-tools, Binaryen, creduce, or clif-util, depending on the input format.