Java: Consider some support for backwards flow through writer wrappers
未关闭
enhancement
Java
- 主要语言
- CodeQL
- 星标
- 10.1k
- 派生
- 2.1k
- 平均合并
- 2 天 15 小时
- 30 天内合并 PR
- 141
描述
Consider supporting source to sink flow in the following snippet:
```java
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: https://github.com/github/codeql/pull/6325#discussion_r680984746
Go already has some support for this in https://github.com/github/codeql-go/blob/main/ql/src/semmle/go/dataflow/FunctionInputsAndOutputs.qll#L124.
贡献指南
评估
这个 Issue 还没有评估数据。