Skip to content

Commit 52e6ea3

Browse files
committed
Accept more capture summary models
This line is added because `FileOutputStream`'s constructor is now modeled as propagating taint, not just as a sink. | p;PrivateFlowViaPublicInterface$SPI;true;openStream;();;Argument[this];ReturnValue;taint;df-generated |
1 parent 919436e commit 52e6ea3

File tree

2 files changed

+1
-1
lines changed

2 files changed

+1
-1
lines changed

java/ql/test/utils/modelgenerator/dataflow/CaptureNeutralModels.expected

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,6 @@
1414
| p;Pojo;getFloatArray;();summary;df-generated |
1515
| p;Pojo;getIntValue;();summary;df-generated |
1616
| p;Pojo;getPrimitiveArray;();summary;df-generated |
17-
| p;PrivateFlowViaPublicInterface$SPI;openStream;();summary;df-generated |
1817
| p;PrivateFlowViaPublicInterface$SPI;openStreamNone;();summary;df-generated |
1918
| p;PrivateFlowViaPublicInterface;createAnSPIWithoutTrackingFile;(File);summary;df-generated |
2019
| p;Sinks;copyFileToDirectory;(Path,Path,CopyOption[]);summary;df-generated |

java/ql/test/utils/modelgenerator/dataflow/CaptureSummaryModels.expected

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -43,4 +43,5 @@
4343
| p;Pojo;false;getCharArray;();;Argument[this];ReturnValue;taint;df-generated |
4444
| p;Pojo;false;getValue;();;Argument[this];ReturnValue;taint;df-generated |
4545
| p;Pojo;false;setValue;(String);;Argument[0];Argument[this];taint;df-generated |
46+
| p;PrivateFlowViaPublicInterface$SPI;true;openStream;();;Argument[this];ReturnValue;taint;df-generated |
4647
| p;PrivateFlowViaPublicInterface;true;createAnSPI;(File);;Argument[0];ReturnValue;taint;df-generated |

0 commit comments

Comments
 (0)