Python: Add test for extraneous overflow arguments

yoff · yoff · commit 4ae422ce1633 · 2020-09-30T15:28:29.000+02:00
diff --git a/python/ql/test/experimental/dataflow/coverage/argumentPassing.py b/python/ql/test/experimental/dataflow/coverage/argumentPassing.py
@@ -121,14 +121,18 @@ def grab_foo_bar_baz(foo, **kwargs):
 
 def grab_bar_baz(bar, **kwargs):
     SINK2(bar)
+    try:
+        SINK2(kwargs["bar"])
+    except:
+        print("OK")
     grab_baz(**kwargs)
 
 
 def grab_baz(baz):
     SINK3(baz)
 
 
-@expects(3)
+@expects(4)
 def test_grab():
     grab_foo_bar_baz(baz=arg3, bar=arg2, foo=arg1)
 
