Evaluate if running miri is useful for us #1083

Activity

1. dblnz

   added

   area/securityInvolves security-related changes or fixesInvolves security-related changes or fixes

   area/testingRelated to tests or testing infrastructureRelated to tests or testing infrastructure

   on Dec 8, 2025
2. github-actions

   added

   lifecycle/needs-reviewThe issue has not yet been reviewed.The issue has not yet been reviewed.

   on Dec 8, 2025
3. danbugs

   changed the title [-]Evaluate what if running `miri` is useful for us[/-] [+]Evaluate if running `miri` is useful for us[/+] on Dec 17, 2025
4. danbugs

   added

   lifecycle/confirmedBug is verified or proposal seems reasonableBug is verified or proposal seems reasonable

   and removed

   lifecycle/needs-reviewThe issue has not yet been reviewed.The issue has not yet been reviewed.

   on Dec 17, 2025
5. danbugs commented on Dec 17, 2025

   

   danbugs

   on Dec 17, 2025

   Contributor

   More actions

   We might want to run miri with tests that deal w/ unsafe and accesses to memory. Miri does not support ioctls though, so that's something to watch out for.

   Miri can only run small unit tests, so we would need some refactoring here. Might want to considering breaking this issues into sub-issues "mirifying" different parts of the codebase.
6. danbugs

   added this to Hyperlight Milestoneson Dec 17, 2025
7. danbugs

   added this to the v0.13.0 milestone on Dec 17, 2025
8. danbugs

   added the

   Enhancement

   issue type on Dec 17, 2025
9. jsturtevant

   modified the milestones: v0.13.0, Backlog on Feb 18, 2026
10. danbugs commented on Feb 18, 2026

    

    danbugs

    on Feb 18, 2026

    Contributor

    More actions

    We have some tests w/ miri now! Closing.
11. danbugs

    closed this as completedon Feb 18, 2026
12. danbugs

    modified the milestones: Backlog, v0.14.0 on Feb 18, 2026
13. yoshuawuyts

    added this to Hyperlight Roadmapon Oct 5, 2026