Skip to content

makeFileResource likely can forge references #227

@MostAwesomeDude

Description

@MostAwesomeDude

See totally_safe_transmute for a demonstration in Rust. To prevent this particular attack:

  • We could forbid access to procfs via makeFileResource.
  • In addition, we could attenuate procfs specifically so that only specific parts of the process can be reflected into user-level code. This attenuated entrypoint capability would be distinct from makeFileResource. The attenuation could include traversal into subprocesses.
  • We could ponder randomizing the heap somewhat, or otherwise making it harder to find object addresses. We already have it as an explicit goal that, even upon raw access to the heap, an attacker would have trouble finding the objects to which they want to fraudulently refer.

This isn't urgent, but it's very much the sort of thing that Monte should try to abrogate.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions