alexcrichton commented on issue #738:
Lightbeam was removed in https://github.com/bytecodealliance/wasmtime/pull/3390 as explained in RFC 14, so I'm going to close this.
alexcrichton closed issue #738:
Issue description
An addition with overflow make lightbeam to panic when compiled in debug mode.
$ ./target/debug/debug_lightbeam store_add_overflow_lightbeam.wasm thread 'main' panicked at 'attempt to add with overflow', XXX/wasmtime/crates/lightbeam/src/backend.rs:2136:68 note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace.
This issue is related to the macro
store!
when dealing with thei32.store8
opcode:Reproduction
Download:
store_add_overflow_lightbeam.zipor
wasm2wat store_add_overflow_lightbeam.wasm
:(module (type (;0;) (func)) (func (;0;) (type 0) i32.const 2 i32.const 1 i32.store8 offset=2147483647) (memory (;0;) 1) (export "_start" (func 0)))
Testing program (need to be compiled in debug mode i.e.
RUSTFLAGS=-g cargo build
):use std::env; use std::fs::{File}; use std::io; use std::io::Read; use std::path::PathBuf; use wasmtime_fuzzing::oracles; use wasmtime_jit::CompilationStrategy; use lightbeam; /// Read the contents of a file fn read_contents(path: &PathBuf) -> Result<Vec<u8>, io::Error> { let mut buffer: Vec<u8> = Vec::new(); let mut file = File::open(path)?; file.read_to_end(&mut buffer)?; drop(file); Ok(buffer) } fn main() { let args: Vec<String> = env::args().collect(); let wasm_path = std::path::PathBuf::from(&args[1]); let wasm_binary: Vec<u8> = read_contents(&wasm_path).unwrap(); let _res_compile = oracles::compile(&wasm_binary[..], CompilationStrategy::Lightbeam); let _res_instantiate = oracles::instantiate(&wasm_binary[..], CompilationStrategy::Lightbeam); let _res_translate = lightbeam::translate(&wasm_binary[..]); }
wasmtime commit: 31472fbb5a6417ea3d9eb10417ff5ea49712998a
Last updated: Dec 23 2024 at 12:05 UTC