Skip to content

Evaluate what if running miri is useful for us #1083

@dblnz

Description

@dblnz

Following a comment from PR #1072, we should investigate if we could run miri on Hyperlight sensitive areas to ensure we don't introduce any undefined behavior.

Metadata

Metadata

Assignees

No one assigned

    Labels

    area/securityInvolves security-related changes or fixesarea/testingRelated to tests or testing infrastructurelifecycle/needs-reviewThe issue has not yet been reviewed.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions