Skip to content

No taint propagation through StringIterator #348

@eleumasc

Description

@eleumasc

Given the following JavaScript code:

[...String.tainted("abc")].map(x => x.taint)

Expected:

[
  [{ begin: 0, end: 1, flow: [...] }],
  [{ begin: 1, end: 2, flow: [...] }],
  [{ begin: 2, end: 3, flow: [...] }],
]

Actual:

[ [], [], [] ]

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions