Skip to content

Support for accessing host environment variables #670

@cuviper

Description

@cuviper

Miri currently starts with an empty environment, as noted on Evaluator::env_vars:

/// Miri does not expose env vars from the host to the emulated program.

It would be nice to have some control over this from the command line, as suggested on reddit
by /u/0b_0101_001_1010.

Possible inspirations:

  • docker run -e / --env / --env-file (ref)
  • sudo -E / --preserve-env (ref)

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-shimsArea: This affects the external function shimsC-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions