Add tests

Author: atorralba

java/ql/test/library-tests/dataflow/field-value/A.java

@@ -0,0 +1,25 @@
+import java.io.FilterInputStream;
+import java.io.InputStream;
+
+public class A {
+
+    public String src;
+
+    private static void sink(Object o) {}
+
+    public void test() {
+        sink(src); // $ hasTaintFlow
+    }
+
+    class TestFis extends FilterInputStream {
+
+        protected TestFis(InputStream in) {
+            super(in);
+        }
+
+        public void testOutOfSource() {
+            // out of source field
+            sink(this.in); // $ hasTaintFlow
+        }
+    }
+}

java/ql/test/library-tests/dataflow/field-value/test.expected

@@ -0,0 +1,2 @@
+failures
+testFailures

java/ql/test/library-tests/dataflow/field-value/test.ql

@@ -0,0 +1,10 @@
+import java
+import TestUtilities.InlineFlowTest
+
+module FieldValueConfig implements DataFlow::ConfigSig {
+  predicate isSource(DataFlow::Node source) { source instanceof DataFlow::FieldValueNode }
+
+  predicate isSink(DataFlow::Node sink) { DefaultFlowConfig::isSink(sink) }
+}
+
+import TaintFlowTest<FieldValueConfig>