Skip to content

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Java: Consider some support for backwards flow through writer wrappers #6402

Copy link
Copy link
Open
@aschackmull

Description

@aschackmull
Issue body actions

Consider supporting source to sink flow in the following snippet:

void f(Appendable sink, String source) {
  JSONWriter w = new JSONWriter(sink);
  w.write(source);

Through the model row "org.json;JSONWriter;true;JSONWriter;;;Argument[-1];Argument[0];taint".
Context: #6325 (comment)

Go already has some support for this in https://github.com/github/codeql-go/blob/main/ql/src/semmle/go/dataflow/FunctionInputsAndOutputs.qll#L124.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions

      Morty Proxy This is a proxified and sanitized view of the page, visit original site.