Added --function flag to make taint tests pass

Author: thk123

regression/goto-analyzer/taint-aliasing1/test.desc

@@ -1,6 +1,6 @@
 CORE
 aliasing1.class
---taint taint.json
+--taint taint.json --function aliasing1.my_method
 ^EXIT=0$
 ^SIGNAL=0$
 ^file aliasing1.java line 10( function .*)?: There is a flow \(taint rule my_sink\)$

regression/goto-analyzer/taint-basic1/test.desc

@@ -1,6 +1,6 @@
 CORE
 basic1.class
---taint taint.json
+--taint taint.json --function basic1.my_method
 ^EXIT=0$
 ^SIGNAL=0$
 ^file basic1.java line 8( function .*)?: There is a T1 flow \(taint rule my_h1\)$

regression/goto-analyzer/taint-basic2/test.desc

@@ -1,6 +1,6 @@
 CORE
 basic2.class
---taint taint.json
+--taint taint.json --function basic2.my_method
 ^EXIT=0$
 ^SIGNAL=0$
 ^file basic2.java line 8( function .*)?: There is a T1 flow \(taint rule my_h1\)$

regression/goto-analyzer/taint-interface1/test.desc

@@ -1,6 +1,6 @@
 CORE
 interface1.class
---taint taint.json
+--taint taint.json --function interface1.my_method
 ^EXIT=0$
 ^SIGNAL=0$
 ^file interface1.java line 18( function .*)?: There is a flow! \(taint rule sink_rule\)$

regression/goto-analyzer/taint-interproc1/test.desc

@@ -1,6 +1,6 @@
 CORE
 interproc1.class
---taint taint.json
+--taint taint.json --function interproc1.my_method
 ^EXIT=0$
 ^SIGNAL=0$
 ^file interproc1.java line 13( function .*)?: There is a T1 flow \(taint rule my_h1\)$

regression/goto-analyzer/taint-map1/test.desc

@@ -1,6 +1,6 @@
 KNOWNBUG
 map1.class
---taint taint.json
+--taint taint.json --function map1.my_method
 ^EXIT=0$
 ^SIGNAL=0$
 ^file map1.java line 12( function .*)?: There is a flow \(taint rule my_sink\)$