Run the interpreter spec test suite with MIRI #82
Labels
crate:interpreter
Modifies the interpreter
for:security
Improves firmware or project security
good first issue
Good for newcomers
needs:implementation
Needs implementation to complete
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).
The text was updated successfully, but these errors were encountered: