Skip to content

Tracking issue for APIs that are incorrectly marked safe #782

@madsmtm

Description

@madsmtm

There's a lot of APIs in the framework crates, and unfortunately, some of them are incorrectly marked as safe, which means they're unsound.

I will keep this up to date with comments below for each known API that is safe but shouldn't be, and mark these comments as resolved once a new release with the fix has been released.

Feel free to comment yourself if you find an API that might be incorrectly marked safe, I would love to know about it! For other soundness issues, please open a new issue.

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-frameworkAffects the framework crates and the translator for themI-unsoundA soundness hole, or affecting soundnesshelp wantedExtra attention is needed

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions