diff --git a/java/ql/test/query-tests/Telemetry/AutomodelFrameworkModeExtractNegativeExamples/AutomodelFrameworkModeExtractNegativeExamples.expected b/java/ql/test/query-tests/Telemetry/AutomodelFrameworkModeExtractNegativeExamples/AutomodelFrameworkModeExtractNegativeExamples.expected new file mode 100644 index 00000000000..44e3026415b --- /dev/null +++ b/java/ql/test/query-tests/Telemetry/AutomodelFrameworkModeExtractNegativeExamples/AutomodelFrameworkModeExtractNegativeExamples.expected @@ -0,0 +1 @@ +| java/io/File.java:5:9:5:21 | pathname | known non-sink\nrelated locations: $@, $@.\nmetadata: $@, $@, $@, $@, $@, $@, $@. | java/io/File.java:5:9:5:21 | pathname | MethodDoc | java/io/File.java:5:9:5:21 | pathname | ClassDoc | file://java.io:1:1:1:1 | java.io | package | file://File:1:1:1:1 | File | type | file://true:1:1:1:1 | true | subtypes | file://compareTo:1:1:1:1 | compareTo | name | file://(File):1:1:1:1 | (File) | signature | file://Argument[0]:1:1:1:1 | Argument[0] | input | file://pathname:1:1:1:1 | pathname | parameterName | diff --git a/java/ql/test/query-tests/Telemetry/AutomodelFrameworkModeExtractNegativeExamples/AutomodelFrameworkModeExtractNegativeExamples.qlref b/java/ql/test/query-tests/Telemetry/AutomodelFrameworkModeExtractNegativeExamples/AutomodelFrameworkModeExtractNegativeExamples.qlref new file mode 100644 index 00000000000..d58a0997fdc --- /dev/null +++ b/java/ql/test/query-tests/Telemetry/AutomodelFrameworkModeExtractNegativeExamples/AutomodelFrameworkModeExtractNegativeExamples.qlref @@ -0,0 +1 @@ +Telemetry/AutomodelFrameworkModeExtractNegativeExamples.ql diff --git a/java/ql/test/query-tests/Telemetry/AutomodelFrameworkModeExtractNegativeExamples/java/io/File.java b/java/ql/test/query-tests/Telemetry/AutomodelFrameworkModeExtractNegativeExamples/java/io/File.java new file mode 100644 index 00000000000..c84da33bdf2 --- /dev/null +++ b/java/ql/test/query-tests/Telemetry/AutomodelFrameworkModeExtractNegativeExamples/java/io/File.java @@ -0,0 +1,9 @@ +package java.io; + +public class File { + int compareTo( + File pathname // negative example - this is modeled as a neutral model + ) { + return 0; + } +}