Java: update System.getProperty model

2026-05-05 21:55:19 +02:00 · 2023-01-11 12:04:22 -05:00
parent 2a99af0e6d
commit 0c7ffb0554
2 changed files with 7 additions and 1 deletions
--- a/java/ql/test/ext/TestModels/Test.java
+++ b/java/ql/test/ext/TestModels/Test.java
@@ -97,6 +97,9 @@ public class Test {
            long l3 = (long)source();
            sink(String.valueOf(l3)); // $hasTaintFlow

+            System.setProperty("testKey", (String)source());
+            sink(System.getProperty("testKey")); // $hasValueFlow
+
            // java.math
            long l4 = (long)source();
            sink(BigDecimal.valueOf(l4)); // $hasTaintFlow