Fix flow for fluent appendable api

Benjamin Muskalla · Benjamin Muskalla · commit 365a8d9bbdf6 · 2022-01-18T10:41:00.000+01:00
diff --git a/java/ql/lib/semmle/code/java/frameworks/JavaIo.qll b/java/ql/lib/semmle/code/java/frameworks/JavaIo.qll
@@ -9,7 +9,7 @@ private class JavaIoSummaryCsv extends SummaryModelCsv {
       [
         //`namespace; type; subtypes; name; signature; ext; input; output; kind`
         "java.lang;Appendable;true;append;;;Argument[0];Argument[-1];taint",
-        "java.lang;Appendable;true;append;;;Argument[-1];ReturnValue;taint",
+        "java.lang;Appendable;true;append;;;Argument[-1];ReturnValue;value",
         "java.io;Writer;true;write;;;Argument[0];Argument[-1];taint",
         "java.io;Writer;true;toString;;;Argument[-1];ReturnValue;taint",
         "java.io;CharArrayWriter;true;toCharArray;;;Argument[-1];ReturnValue;taint",

Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,7 @@ private class JavaIoSummaryCsv extends SummaryModelCsv {`
`9`	`9`	`[`
`10`	`10`	//`namespace; type; subtypes; name; signature; ext; input; output; kind`
`11`	`11`	`"java.lang;Appendable;true;append;;;Argument[0];Argument[-1];taint",`
`12`		`- "java.lang;Appendable;true;append;;;Argument[-1];ReturnValue;taint",`
	`12`	`+ "java.lang;Appendable;true;append;;;Argument[-1];ReturnValue;value",`
`13`	`13`	`"java.io;Writer;true;write;;;Argument[0];Argument[-1];taint",`
`14`	`14`	`"java.io;Writer;true;toString;;;Argument[-1];ReturnValue;taint",`
`15`	`15`	`"java.io;CharArrayWriter;true;toCharArray;;;Argument[-1];ReturnValue;taint",`