Java: More documentation and support for field writes.

2026-04-29 18:55:14 +02:00 · 2021-02-18 11:18:31 +01:00
parent e9bfbb677d
commit 6f583baa90
3 changed files with 60 additions and 2 deletions
--- a/java/ql/test/library-tests/dataflow/external-models/B.java
+++ b/java/ql/test/library-tests/dataflow/external-models/B.java
@@ -9,7 +9,7 @@ public class B {
    taggedSinkMethod(argToTagged);

    Object fieldWrite = new Object();
-    taggedField = fieldWrite; // not currently handled
+    taggedField = fieldWrite;
  }

  Object sinkMethod() {
--- a/java/ql/test/library-tests/dataflow/external-models/sinks.expected
+++ b/java/ql/test/library-tests/dataflow/external-models/sinks.expected
@@ -3,5 +3,6 @@ invalidModelRow
 | B.java:6:11:6:14 | arg1 | qltest |
 | B.java:9:5:9:33 | this <.method> | qltest-arg |
 | B.java:9:22:9:32 | argToTagged | qltest-arg |
+| B.java:12:19:12:28 | fieldWrite | qltest-nospec |
 | B.java:17:12:17:14 | res | qltest |
 | B.java:23:12:23:17 | resTag | qltest-retval |