Skip to content

Audit for domain-unsafe global code #1730

@sim642

Description

@sim642

Initial list from #1708 reviews, but could be extended over time:

  • Top-level lazy values:
    • Offset.Index.Exp.all
    • Cilfacade.any_index_exp
    • LibraryFunctions.intmax_t
  • Top-level ref values.
  • ResettableLazy and its usages.
  • LazyEval and its usages.
  • Output streams:
    • Logs
    • Messages

Metadata

Metadata

Assignees

No one assigned

    Labels

    parallelParallel Goblint

    Type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions