File tree Expand file tree Collapse file tree 4 files changed +5
-6
lines changed
java/ql/test/utils/modelgenerator/dataflow/p Expand file tree Collapse file tree 4 files changed +5
-6
lines changed Original file line number Diff line number Diff line change 6
6
7
7
public class ImplOfExternalSPI extends AbstractImplOfExternalSPI {
8
8
9
- // sink=p;AbstractImplOfExternalSPI ;true;accept;(File);;Argument[0];path-injection;df-generated
9
+ // sink=p;ImplOfExternalSPI ;true;accept;(File);;Argument[0];path-injection;df-generated
10
10
// neutral=p;ImplOfExternalSPI;accept;(File);summary;df-generated
11
11
@ Override
12
12
public boolean accept (File pathname ) {
Original file line number Diff line number Diff line change @@ -29,7 +29,6 @@ public PrivateImplWithSink(File file) {
29
29
}
30
30
31
31
// summary=p;PrivateFlowViaPublicInterface$SPI;true;openStream;();;Argument[this];ReturnValue;taint;df-generated
32
- // sink=p;PrivateFlowViaPublicInterface$SPI;true;openStream;();;Argument[this];path-injection;df-generated
33
32
@ Override
34
33
public OutputStream openStream () throws IOException {
35
34
return new FileOutputStream (file );
Original file line number Diff line number Diff line change @@ -88,7 +88,7 @@ public abstract class DataWriter {
88
88
}
89
89
90
90
public class DataWriterKind1 extends DataWriter {
91
- // sink=p;Sinks$DataWriter ;true;write;(String);;Argument[0];test-sink;df-generated
91
+ // sink=p;Sinks$DataWriterKind1 ;true;write;(String);;Argument[0];test-sink;df-generated
92
92
// neutral=p;Sinks$DataWriterKind1;write;(String);summary;df-generated
93
93
@ Override
94
94
public void write (String s ) {
@@ -97,7 +97,7 @@ public void write(String s) {
97
97
}
98
98
99
99
public class DataWriterKind2 extends DataWriter {
100
- // sink=p;Sinks$DataWriter ;true;write;(String);;Argument[0];test-sink2;df-generated
100
+ // sink=p;Sinks$DataWriterKind2 ;true;write;(String);;Argument[0];test-sink2;df-generated
101
101
// neutral=p;Sinks$DataWriterKind2;write;(String);summary;df-generated
102
102
@ Override
103
103
public void write (String s ) {
Original file line number Diff line number Diff line change @@ -92,7 +92,7 @@ public abstract class DataReader {
92
92
}
93
93
94
94
public class DataReaderKind1 extends DataReader {
95
- // source=p;Sources$DataReader ;true;read;();;ReturnValue;test-source;df-generated
95
+ // source=p;Sources$DataReaderKind1 ;true;read;();;ReturnValue;test-source;df-generated
96
96
// neutral=p;Sources$DataReaderKind1;read;();summary;df-generated
97
97
@ Override
98
98
public String read () {
@@ -101,7 +101,7 @@ public String read() {
101
101
}
102
102
103
103
public class DataReaderKind2 extends DataReader {
104
- // source=p;Sources$DataReader ;true;read;();;ReturnValue;test-source2;df-generated
104
+ // source=p;Sources$DataReaderKind2 ;true;read;();;ReturnValue;test-source2;df-generated
105
105
// neutral=p;Sources$DataReaderKind2;read;();summary;df-generated
106
106
@ Override
107
107
public String read () {
You can’t perform that action at this time.
0 commit comments