hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-21 23:14:03 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: Update the model generator expected test output.

Browse Source
This commit is contained in:
Michael Nebel
2024-06-27 11:35:07 +02:00
parent e23ff3e499
commit 9cb7018215
4 changed files with 5 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/ql/test/utils/modelgenerator/dataflow/p/ImplOfExternalSPI.java
View File

@@ -6,7 +6,7 @@ import java.nio.file.Files;
public class ImplOfExternalSPI extends AbstractImplOfExternalSPI {
// sink=p;AbstractImplOfExternalSPI;true;accept;(File);;Argument[0];path-injection;df-generated
// sink=p;ImplOfExternalSPI;true;accept;(File);;Argument[0];path-injection;df-generated
// neutral=p;ImplOfExternalSPI;accept;(File);summary;df-generated
@Override
public boolean accept(File pathname) {

1
java/ql/test/utils/modelgenerator/dataflow/p/PrivateFlowViaPublicInterface.java
View File

@@ -29,7 +29,6 @@ public class PrivateFlowViaPublicInterface {
}
// summary=p;PrivateFlowViaPublicInterface$SPI;true;openStream;();;Argument[this];ReturnValue;taint;df-generated
// sink=p;PrivateFlowViaPublicInterface$SPI;true;openStream;();;Argument[this];path-injection;df-generated
@Override
public OutputStream openStream() throws IOException {
return new FileOutputStream(file);

4
java/ql/test/utils/modelgenerator/dataflow/p/Sinks.java
View File

@@ -88,7 +88,7 @@ public class Sinks {
}
public class DataWriterKind1 extends DataWriter {
// sink=p;Sinks$DataWriter;true;write;(String);;Argument[0];test-sink;df-generated
// sink=p;Sinks$DataWriterKind1;true;write;(String);;Argument[0];test-sink;df-generated
// neutral=p;Sinks$DataWriterKind1;write;(String);summary;df-generated
@Override
public void write(String s) {
@@ -97,7 +97,7 @@ public class Sinks {
}
public class DataWriterKind2 extends DataWriter {
// sink=p;Sinks$DataWriter;true;write;(String);;Argument[0];test-sink2;df-generated
// sink=p;Sinks$DataWriterKind2;true;write;(String);;Argument[0];test-sink2;df-generated
// neutral=p;Sinks$DataWriterKind2;write;(String);summary;df-generated
@Override
public void write(String s) {

4
java/ql/test/utils/modelgenerator/dataflow/p/Sources.java
View File

@@ -92,7 +92,7 @@ public class Sources {
}
public class DataReaderKind1 extends DataReader {
// source=p;Sources$DataReader;true;read;();;ReturnValue;test-source;df-generated
// source=p;Sources$DataReaderKind1;true;read;();;ReturnValue;test-source;df-generated
// neutral=p;Sources$DataReaderKind1;read;();summary;df-generated
@Override
public String read() {
@@ -101,7 +101,7 @@ public class Sources {
}
public class DataReaderKind2 extends DataReader {
// source=p;Sources$DataReader;true;read;();;ReturnValue;test-source2;df-generated
// source=p;Sources$DataReaderKind2;true;read;();;ReturnValue;test-source2;df-generated
// neutral=p;Sources$DataReaderKind2;read;();summary;df-generated
@Override
public String read() {