Run the interpreter spec test suite with MIRI
Open
crate:interpreter
for:security
good first issue
needs:implementation
- Dominant language
- Rust
- Stars
- 188
- Forks
- 41
- Avg merge
- 1d 5h
- Merged PRs (30d)
- 12
Description
The interpreter has (and probably often needs) some unsafe code. Fuzzing (#81) is a partial answer. MIRI is another orthogonal partial answer. Fuzzing with MIRI is probably prohibitive, but maybe the spec test suite would be acceptable (or just a selected set of tests).
Contributor guide
Assessment
This issue has not been assessed yet.