bytecodealliance / bytecodealliance/wasmtime

Memory checker (wmemcheck) completeness

Open
#7,037 1 comment 0 reactions 0 assignees View on GitHub
Dominant language
Rust
Stars
18.6k
Forks
1.8k
Avg merge
1d 19h
Merged PRs (30d)
121

Description

This issue is meant to track what remains to make `wmemcheck` feature-complete and robust enough for practical use:

- [ ] Handle SIMD loads and stores (#6829)
- [ ] Hook `calloc` as well as existing `malloc` and `free`
- [ ] Provide hooks for custom allocators to use
- [ ] Allow for more flexibility in heap and stack layout (don't assume stack is above `.data`/`.bss` and everything below initial TOS is accessible)
- [ ] Provide an alternate way to hook `malloc`/`free`, rather than requiring a name section in the `.wasm` module
- [ ] Provide an option to print warnings as violations occur, rather than halting execution (like Valgrind)
- [ ] Provide a mechanism to define "suppressions" for unwanted warnings (like Valgrind)
- [ ] Track definedness at byte or bit level?

cc @iximeow for more thoughts, and others from today's Wasmtime meeting?

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.