Java: Add model for CharArrayWriter.toString(). #17597
Conversation
Click to show differences in coveragejavaGenerated file changes for java
- Java Standard Library,``java.*``,10,4284,259,99,,9,,,26
+ Java Standard Library,``java.*``,10,4285,259,99,,9,,,26
- Totals,,312,25170,2635,404,16,128,33,1,409
+ Totals,,312,25171,2635,404,16,128,33,1,409
- java.io,66,1,256,,,,,,,,,22,,,,,,,,,,,,,,,44,,,,,,,,,,,,,,,,,,,,,,1,,249,7
+ java.io,66,1,257,,,,,,,,,22,,,,,,,,,,,,,,,44,,,,,,,,,,,,,,,,,,,,,,1,,250,7 |
| - ["java.io", "ByteArrayOutputStream", False, "writeTo", "", "", "Argument[this]", "Argument[0]", "taint", "manual"] | ||
| - ["java.io", "CharArrayReader", False, "CharArrayReader", "", "", "Argument[0]", "Argument[this]", "taint", "manual"] | ||
| - ["java.io", "CharArrayWriter", True, "toCharArray", "", "", "Argument[this]", "ReturnValue", "taint", "manual"] | ||
| - ["java.io", "CharArrayWriter", True, "toString", "()", "", "Argument[this]", "ReturnValue", "taint", "manual"] |
There was a problem hiding this comment.
If a df-generated model is examined and determined to be correct then we make the provenance df-manual. Perhaps we could do something similar for speculative flow, to keep track of where the model came from? You'd also have to update the validation code, where I see the existing options. sp or sf?
There was a problem hiding this comment.
I'm not sure whether that's valuable - for now at least, all I got was a qualified name, which prompted me to have a look and add a manual model.
aschackmull
added
the
no-change-note-required
2 participants
Found by speculative flow.