diff --git a/java/ql/test/library-tests/frameworks/JaxWs/JakartaRsFlow.java b/java/ql/test/library-tests/frameworks/JaxWs/JakartaRsFlow.java index f534e59b8542..40b0479ac376 100644 --- a/java/ql/test/library-tests/frameworks/JaxWs/JakartaRsFlow.java +++ b/java/ql/test/library-tests/frameworks/JaxWs/JakartaRsFlow.java @@ -160,12 +160,12 @@ public MyAbstractMultivaluedMapJak(Map> map) { void testAbstractMultivaluedMap(Map> map1, Map> map2, List list) { map1.put(taint(), list); AbstractMultivaluedMap amm1 = new MyAbstractMultivaluedMapJak(map1); - sink(amm1.keySet().iterator().next()); // $ MISSING: hasValueFlow + sink(amm1.keySet().iterator().next()); // $ hasValueFlow list.add(taint()); map2.put("key", list); AbstractMultivaluedMap amm2 = new MyAbstractMultivaluedMapJak(map2); - sink(amm2.get("key").get(0)); // $ MISSING: hasValueFlow SPURIOUS: hasTaintFlow + sink(amm2.get("key").get(0)); // $ hasValueFlow } void testMultivaluedHashMap(Map map1, Map map2, diff --git a/java/ql/test/library-tests/frameworks/JaxWs/JaxRsFlow.java b/java/ql/test/library-tests/frameworks/JaxWs/JaxRsFlow.java index eecc3e444c9d..f9c4f395aca2 100644 --- a/java/ql/test/library-tests/frameworks/JaxWs/JaxRsFlow.java +++ b/java/ql/test/library-tests/frameworks/JaxWs/JaxRsFlow.java @@ -160,12 +160,12 @@ public MyAbstractMultivaluedMap(Map> map) { void testAbstractMultivaluedMap(Map> map1, Map> map2, List list) { map1.put(taint(), list); AbstractMultivaluedMap amm1 = new MyAbstractMultivaluedMap(map1); - sink(amm1.keySet().iterator().next()); // $ MISSING: hasValueFlow + sink(amm1.keySet().iterator().next()); // $ hasValueFlow list.add(taint()); map2.put("key", list); AbstractMultivaluedMap amm2 = new MyAbstractMultivaluedMap(map2); - sink(amm2.get("key").get(0)); // $ MISSING: hasValueFlow SPURIOUS: hasTaintFlow + sink(amm2.get("key").get(0)); // $ hasValueFlow } void testMultivaluedHashMap(Map map1, Map map2, diff --git a/java/ql/test/library-tests/frameworks/JaxWs/JaxRsFlow.ql b/java/ql/test/library-tests/frameworks/JaxWs/JaxRsFlow.ql index d3b1db907646..9e537f33fd0e 100644 --- a/java/ql/test/library-tests/frameworks/JaxWs/JaxRsFlow.ql +++ b/java/ql/test/library-tests/frameworks/JaxWs/JaxRsFlow.ql @@ -12,6 +12,8 @@ class TaintFlowConf extends TaintTracking::Configuration { override predicate isSink(DataFlow::Node n) { exists(MethodAccess ma | ma.getMethod().hasName("sink") | n.asExpr() = ma.getAnArgument()) } + + override int fieldFlowBranchLimit() { result = 1000 } } class ValueFlowConf extends DataFlow::Configuration { @@ -24,6 +26,8 @@ class ValueFlowConf extends DataFlow::Configuration { override predicate isSink(DataFlow::Node n) { exists(MethodAccess ma | ma.getMethod().hasName("sink") | n.asExpr() = ma.getAnArgument()) } + + override int fieldFlowBranchLimit() { result = 1000 } } class HasFlowTest extends InlineExpectationsTest {