last test of taint steps

Author: erik-krogh

python/ql/test/library-tests/frameworks/data/test.expected

@@ -9,6 +9,8 @@ taintFlow
 | test.py:75:5:75:15 | ControlFlowNode for getSource() | test.py:77:22:77:22 | ControlFlowNode for y |
 | test.py:81:36:81:46 | ControlFlowNode for getSource() | test.py:81:8:81:47 | ControlFlowNode for Attribute() |
 | test.py:83:50:83:60 | ControlFlowNode for getSource() | test.py:83:8:83:61 | ControlFlowNode for Attribute() |
+| test.py:86:49:86:59 | ControlFlowNode for getSource() | test.py:86:8:86:60 | ControlFlowNode for Attribute() |
+| test.py:87:56:87:66 | ControlFlowNode for getSource() | test.py:87:8:87:67 | ControlFlowNode for Attribute() |
 isSink
 | test.py:4:8:4:8 | ControlFlowNode for x | test-sink |
 | test.py:7:17:7:17 | ControlFlowNode for x | test-sink |
@@ -41,6 +43,9 @@ isSink
 | test.py:81:8:81:47 | ControlFlowNode for Attribute() | test-sink |
 | test.py:82:8:82:54 | ControlFlowNode for Attribute() | test-sink |
 | test.py:83:8:83:61 | ControlFlowNode for Attribute() | test-sink |
+| test.py:85:8:85:53 | ControlFlowNode for Attribute() | test-sink |
+| test.py:86:8:86:60 | ControlFlowNode for Attribute() | test-sink |
+| test.py:87:8:87:67 | ControlFlowNode for Attribute() | test-sink |
 isSource
 | test.py:3:5:3:15 | ControlFlowNode for getSource() | test-source |
 | test.py:9:8:9:14 | ControlFlowNode for alias() | test-source |
@@ -73,6 +78,9 @@ isSource
 | test.py:81:36:81:46 | ControlFlowNode for getSource() | test-source |
 | test.py:82:43:82:53 | ControlFlowNode for getSource() | test-source |
 | test.py:83:50:83:60 | ControlFlowNode for getSource() | test-source |
+| test.py:85:42:85:52 | ControlFlowNode for getSource() | test-source |
+| test.py:86:49:86:59 | ControlFlowNode for getSource() | test-source |
+| test.py:87:56:87:66 | ControlFlowNode for getSource() | test-source |
 syntaxErrors
 | Member[foo |
 | Member[foo] .Member[bar] |

python/ql/test/library-tests/frameworks/data/test.py

@@ -80,4 +80,8 @@ def secondAndAfter(self, arg1, arg2, arg3, arg4, arg5):
 
 mySink(Steps.preserveArgZeroAndTwo(getSource())) # FLOW
 mySink(Steps.preserveArgZeroAndTwo("foo", getSource())) # NO FLOW
-mySink(Steps.preserveArgZeroAndTwo("foo", "bar", getSource())) # FLOW
+mySink(Steps.preserveArgZeroAndTwo("foo", "bar", getSource())) # FLOW
+
+mySink(Steps.preserveAllButFirstArgument(getSource())) # NO FLOW
+mySink(Steps.preserveAllButFirstArgument("foo", getSource())) # FLOW
+mySink(Steps.preserveAllButFirstArgument("foo", "bar", getSource())) # FLOW

python/ql/test/library-tests/frameworks/data/test.ql

@@ -13,7 +13,7 @@ class Steps extends ModelInput::SummaryModelCsv {
         "testlib;;Member[Steps].Member[preserveTaint];Argument[0];ReturnValue;taint",
         "testlib;;Member[Steps].Member[taintIntoCallback];Argument[0];Argument[1..2].Parameter[0];taint",
         "testlib;;Member[Steps].Member[preserveArgZeroAndTwo];Argument[0,2];ReturnValue;taint",
-        // "testlib;;Member[Steps].Member[preserveAllButFirstArgument];Argument[1..];ReturnValue;taint",
+        "testlib;;Member[Steps].Member[preserveAllButFirstArgument];Argument[1..];ReturnValue;taint",
       ]
   }
 }