Merge pull request #15140 from hvitved/dataflow/pruned-ctx-sensitivity

Data flow: prune context-sensitivity relations

Author: aschackmull

csharp/ql/test/library-tests/dataflow/collections/CollectionFlow.expected

@@ -4,12 +4,6 @@ edges
 | CollectionFlow.cs:14:52:14:53 | access to parameter ts : A[] [element] : A | CollectionFlow.cs:14:52:14:56 | access to array element | provenance |  |
 | CollectionFlow.cs:14:52:14:53 | access to parameter ts : null [element] : A | CollectionFlow.cs:14:52:14:56 | access to array element | provenance |  |
 | CollectionFlow.cs:16:49:16:52 | list : List<T> [element] : A | CollectionFlow.cs:16:63:16:66 | access to parameter list : List<T> [element] : A | provenance |  |
-| CollectionFlow.cs:16:49:16:52 | list : List<T> [element] : A | CollectionFlow.cs:16:63:16:66 | access to parameter list : List<T> [element] : A | provenance |  |
-| CollectionFlow.cs:16:49:16:52 | list : List<T> [element] : A | CollectionFlow.cs:16:63:16:66 | access to parameter list : List<T> [element] : A | provenance |  |
-| CollectionFlow.cs:16:49:16:52 | list : List<T> [element] : A | CollectionFlow.cs:16:63:16:66 | access to parameter list : List<T> [element] : A | provenance |  |
-| CollectionFlow.cs:16:63:16:66 | access to parameter list : List<T> [element] : A | CollectionFlow.cs:16:63:16:69 | access to indexer | provenance |  |
-| CollectionFlow.cs:16:63:16:66 | access to parameter list : List<T> [element] : A | CollectionFlow.cs:16:63:16:69 | access to indexer | provenance |  |
-| CollectionFlow.cs:16:63:16:66 | access to parameter list : List<T> [element] : A | CollectionFlow.cs:16:63:16:69 | access to indexer | provenance |  |
 | CollectionFlow.cs:16:63:16:66 | access to parameter list : List<T> [element] : A | CollectionFlow.cs:16:63:16:69 | access to indexer | provenance |  |
 | CollectionFlow.cs:18:61:18:64 | dict : Dictionary<T,T> [element, property Value] : A | CollectionFlow.cs:18:75:18:78 | access to parameter dict : Dictionary<T,T> [element, property Value] : A | provenance |  |
 | CollectionFlow.cs:18:75:18:78 | access to parameter dict : Dictionary<T,T> [element, property Value] : A | CollectionFlow.cs:18:75:18:81 | access to indexer | provenance |  |
@@ -21,12 +15,6 @@ edges
 | CollectionFlow.cs:22:41:22:42 | access to parameter ts : A[] [element] : A | CollectionFlow.cs:22:41:22:45 | access to array element : A | provenance |  |
 | CollectionFlow.cs:22:41:22:42 | access to parameter ts : null [element] : A | CollectionFlow.cs:22:41:22:45 | access to array element : A | provenance |  |
 | CollectionFlow.cs:24:43:24:46 | list : List<T> [element] : A | CollectionFlow.cs:24:52:24:55 | access to parameter list : List<T> [element] : A | provenance |  |
-| CollectionFlow.cs:24:43:24:46 | list : List<T> [element] : A | CollectionFlow.cs:24:52:24:55 | access to parameter list : List<T> [element] : A | provenance |  |
-| CollectionFlow.cs:24:43:24:46 | list : List<T> [element] : A | CollectionFlow.cs:24:52:24:55 | access to parameter list : List<T> [element] : A | provenance |  |
-| CollectionFlow.cs:24:43:24:46 | list : List<T> [element] : A | CollectionFlow.cs:24:52:24:55 | access to parameter list : List<T> [element] : A | provenance |  |
-| CollectionFlow.cs:24:52:24:55 | access to parameter list : List<T> [element] : A | CollectionFlow.cs:24:52:24:58 | access to indexer : A | provenance |  |
-| CollectionFlow.cs:24:52:24:55 | access to parameter list : List<T> [element] : A | CollectionFlow.cs:24:52:24:58 | access to indexer : A | provenance |  |
-| CollectionFlow.cs:24:52:24:55 | access to parameter list : List<T> [element] : A | CollectionFlow.cs:24:52:24:58 | access to indexer : A | provenance |  |
 | CollectionFlow.cs:24:52:24:55 | access to parameter list : List<T> [element] : A | CollectionFlow.cs:24:52:24:58 | access to indexer : A | provenance |  |
 | CollectionFlow.cs:26:58:26:61 | dict : Dictionary<T,T> [element, property Value] : A | CollectionFlow.cs:26:67:26:70 | access to parameter dict : Dictionary<T,T> [element, property Value] : A | provenance |  |
 | CollectionFlow.cs:26:67:26:70 | access to parameter dict : Dictionary<T,T> [element, property Value] : A | CollectionFlow.cs:26:67:26:73 | access to indexer : A | provenance |  |
@@ -324,12 +312,6 @@ nodes
 | CollectionFlow.cs:14:52:14:53 | access to parameter ts : null [element] : A | semmle.label | access to parameter ts : null [element] : A |
 | CollectionFlow.cs:14:52:14:56 | access to array element | semmle.label | access to array element |
 | CollectionFlow.cs:16:49:16:52 | list : List<T> [element] : A | semmle.label | list : List<T> [element] : A |
-| CollectionFlow.cs:16:49:16:52 | list : List<T> [element] : A | semmle.label | list : List<T> [element] : A |
-| CollectionFlow.cs:16:49:16:52 | list : List<T> [element] : A | semmle.label | list : List<T> [element] : A |
-| CollectionFlow.cs:16:49:16:52 | list : List<T> [element] : A | semmle.label | list : List<T> [element] : A |
-| CollectionFlow.cs:16:63:16:66 | access to parameter list : List<T> [element] : A | semmle.label | access to parameter list : List<T> [element] : A |
-| CollectionFlow.cs:16:63:16:66 | access to parameter list : List<T> [element] : A | semmle.label | access to parameter list : List<T> [element] : A |
-| CollectionFlow.cs:16:63:16:66 | access to parameter list : List<T> [element] : A | semmle.label | access to parameter list : List<T> [element] : A |
 | CollectionFlow.cs:16:63:16:66 | access to parameter list : List<T> [element] : A | semmle.label | access to parameter list : List<T> [element] : A |
 | CollectionFlow.cs:16:63:16:69 | access to indexer | semmle.label | access to indexer |
 | CollectionFlow.cs:18:61:18:64 | dict : Dictionary<T,T> [element, property Value] : A | semmle.label | dict : Dictionary<T,T> [element, property Value] : A |
@@ -346,16 +328,7 @@ nodes
 | CollectionFlow.cs:22:41:22:45 | access to array element : A | semmle.label | access to array element : A |
 | CollectionFlow.cs:22:41:22:45 | access to array element : A | semmle.label | access to array element : A |
 | CollectionFlow.cs:24:43:24:46 | list : List<T> [element] : A | semmle.label | list : List<T> [element] : A |
-| CollectionFlow.cs:24:43:24:46 | list : List<T> [element] : A | semmle.label | list : List<T> [element] : A |
-| CollectionFlow.cs:24:43:24:46 | list : List<T> [element] : A | semmle.label | list : List<T> [element] : A |
-| CollectionFlow.cs:24:43:24:46 | list : List<T> [element] : A | semmle.label | list : List<T> [element] : A |
 | CollectionFlow.cs:24:52:24:55 | access to parameter list : List<T> [element] : A | semmle.label | access to parameter list : List<T> [element] : A |
-| CollectionFlow.cs:24:52:24:55 | access to parameter list : List<T> [element] : A | semmle.label | access to parameter list : List<T> [element] : A |
-| CollectionFlow.cs:24:52:24:55 | access to parameter list : List<T> [element] : A | semmle.label | access to parameter list : List<T> [element] : A |
-| CollectionFlow.cs:24:52:24:55 | access to parameter list : List<T> [element] : A | semmle.label | access to parameter list : List<T> [element] : A |
-| CollectionFlow.cs:24:52:24:58 | access to indexer : A | semmle.label | access to indexer : A |
-| CollectionFlow.cs:24:52:24:58 | access to indexer : A | semmle.label | access to indexer : A |
-| CollectionFlow.cs:24:52:24:58 | access to indexer : A | semmle.label | access to indexer : A |
 | CollectionFlow.cs:24:52:24:58 | access to indexer : A | semmle.label | access to indexer : A |
 | CollectionFlow.cs:26:58:26:61 | dict : Dictionary<T,T> [element, property Value] : A | semmle.label | dict : Dictionary<T,T> [element, property Value] : A |
 | CollectionFlow.cs:26:67:26:70 | access to parameter dict : Dictionary<T,T> [element, property Value] : A | semmle.label | access to parameter dict : Dictionary<T,T> [element, property Value] : A |

ruby/ql/test/library-tests/dataflow/call-sensitivity/call-sensitivity.expected

@@ -20,14 +20,10 @@ edges
 | call_sensitivity.rb:44:26:44:33 | call to taint | call_sensitivity.rb:21:27:21:27 | x | provenance |  |
 | call_sensitivity.rb:50:15:50:15 | x | call_sensitivity.rb:51:10:51:10 | x | provenance |  |
 | call_sensitivity.rb:54:15:54:15 | x | call_sensitivity.rb:55:13:55:13 | x | provenance |  |
-| call_sensitivity.rb:54:15:54:15 | x | call_sensitivity.rb:55:13:55:13 | x | provenance |  |
-| call_sensitivity.rb:55:13:55:13 | x | call_sensitivity.rb:50:15:50:15 | x | provenance |  |
 | call_sensitivity.rb:55:13:55:13 | x | call_sensitivity.rb:50:15:50:15 | x | provenance |  |
 | call_sensitivity.rb:58:20:58:20 | x | call_sensitivity.rb:59:18:59:18 | x | provenance |  |
 | call_sensitivity.rb:59:18:59:18 | x | call_sensitivity.rb:54:15:54:15 | x | provenance |  |
 | call_sensitivity.rb:62:18:62:18 | y | call_sensitivity.rb:63:15:63:15 | y | provenance |  |
-| call_sensitivity.rb:62:18:62:18 | y | call_sensitivity.rb:63:15:63:15 | y | provenance |  |
-| call_sensitivity.rb:63:15:63:15 | y | call_sensitivity.rb:50:15:50:15 | x | provenance |  |
 | call_sensitivity.rb:63:15:63:15 | y | call_sensitivity.rb:50:15:50:15 | x | provenance |  |
 | call_sensitivity.rb:66:20:66:20 | x | call_sensitivity.rb:67:24:67:24 | x | provenance |  |
 | call_sensitivity.rb:67:24:67:24 | x | call_sensitivity.rb:62:18:62:18 | y | provenance |  |
@@ -40,26 +36,16 @@ edges
 | call_sensitivity.rb:85:18:85:27 | ( ... ) | call_sensitivity.rb:80:15:80:15 | x | provenance |  |
 | call_sensitivity.rb:85:19:85:26 | call to taint | call_sensitivity.rb:85:18:85:27 | ( ... ) | provenance |  |
 | call_sensitivity.rb:88:30:88:30 | x | call_sensitivity.rb:89:23:89:23 | x | provenance |  |
-| call_sensitivity.rb:88:30:88:30 | x | call_sensitivity.rb:89:23:89:23 | x | provenance |  |
-| call_sensitivity.rb:89:23:89:23 | x | call_sensitivity.rb:70:30:70:30 | x | provenance |  |
 | call_sensitivity.rb:89:23:89:23 | x | call_sensitivity.rb:70:30:70:30 | x | provenance |  |
 | call_sensitivity.rb:92:35:92:35 | x | call_sensitivity.rb:93:28:93:28 | x | provenance |  |
 | call_sensitivity.rb:93:28:93:28 | x | call_sensitivity.rb:88:30:88:30 | x | provenance |  |
 | call_sensitivity.rb:96:33:96:33 | y | call_sensitivity.rb:97:25:97:25 | y | provenance |  |
-| call_sensitivity.rb:96:33:96:33 | y | call_sensitivity.rb:97:25:97:25 | y | provenance |  |
-| call_sensitivity.rb:97:25:97:25 | y | call_sensitivity.rb:70:30:70:30 | x | provenance |  |
 | call_sensitivity.rb:97:25:97:25 | y | call_sensitivity.rb:70:30:70:30 | x | provenance |  |
 | call_sensitivity.rb:100:35:100:35 | x | call_sensitivity.rb:101:34:101:34 | x | provenance |  |
 | call_sensitivity.rb:101:34:101:34 | x | call_sensitivity.rb:96:33:96:33 | y | provenance |  |
 | call_sensitivity.rb:104:18:104:18 | x | call_sensitivity.rb:105:10:105:10 | x | provenance |  |
 | call_sensitivity.rb:104:18:104:18 | x | call_sensitivity.rb:105:10:105:10 | x | provenance |  |
-| call_sensitivity.rb:104:18:104:18 | x | call_sensitivity.rb:105:10:105:10 | x | provenance |  |
-| call_sensitivity.rb:104:18:104:18 | x | call_sensitivity.rb:105:10:105:10 | x | provenance |  |
 | call_sensitivity.rb:104:18:104:18 | x | call_sensitivity.rb:106:13:106:13 | x | provenance |  |
-| call_sensitivity.rb:104:18:104:18 | x | call_sensitivity.rb:106:13:106:13 | x | provenance |  |
-| call_sensitivity.rb:104:18:104:18 | x | call_sensitivity.rb:106:13:106:13 | x | provenance |  |
-| call_sensitivity.rb:106:13:106:13 | x | call_sensitivity.rb:50:15:50:15 | x | provenance |  |
-| call_sensitivity.rb:106:13:106:13 | x | call_sensitivity.rb:50:15:50:15 | x | provenance |  |
 | call_sensitivity.rb:106:13:106:13 | x | call_sensitivity.rb:50:15:50:15 | x | provenance |  |
 | call_sensitivity.rb:109:21:109:21 | x | call_sensitivity.rb:110:9:110:9 | x | provenance |  |
 | call_sensitivity.rb:110:9:110:9 | x | call_sensitivity.rb:104:18:104:18 | x | provenance |  |
@@ -124,14 +110,10 @@ nodes
 | call_sensitivity.rb:50:15:50:15 | x | semmle.label | x |
 | call_sensitivity.rb:51:10:51:10 | x | semmle.label | x |
 | call_sensitivity.rb:54:15:54:15 | x | semmle.label | x |
-| call_sensitivity.rb:54:15:54:15 | x | semmle.label | x |
-| call_sensitivity.rb:55:13:55:13 | x | semmle.label | x |
 | call_sensitivity.rb:55:13:55:13 | x | semmle.label | x |
 | call_sensitivity.rb:58:20:58:20 | x | semmle.label | x |
 | call_sensitivity.rb:59:18:59:18 | x | semmle.label | x |
 | call_sensitivity.rb:62:18:62:18 | y | semmle.label | y |
-| call_sensitivity.rb:62:18:62:18 | y | semmle.label | y |
-| call_sensitivity.rb:63:15:63:15 | y | semmle.label | y |
 | call_sensitivity.rb:63:15:63:15 | y | semmle.label | y |
 | call_sensitivity.rb:66:20:66:20 | x | semmle.label | x |
 | call_sensitivity.rb:67:24:67:24 | x | semmle.label | x |
@@ -145,25 +127,17 @@ nodes
 | call_sensitivity.rb:85:18:85:27 | ( ... ) | semmle.label | ( ... ) |
 | call_sensitivity.rb:85:19:85:26 | call to taint | semmle.label | call to taint |
 | call_sensitivity.rb:88:30:88:30 | x | semmle.label | x |
-| call_sensitivity.rb:88:30:88:30 | x | semmle.label | x |
-| call_sensitivity.rb:89:23:89:23 | x | semmle.label | x |
 | call_sensitivity.rb:89:23:89:23 | x | semmle.label | x |
 | call_sensitivity.rb:92:35:92:35 | x | semmle.label | x |
 | call_sensitivity.rb:93:28:93:28 | x | semmle.label | x |
 | call_sensitivity.rb:96:33:96:33 | y | semmle.label | y |
-| call_sensitivity.rb:96:33:96:33 | y | semmle.label | y |
-| call_sensitivity.rb:97:25:97:25 | y | semmle.label | y |
 | call_sensitivity.rb:97:25:97:25 | y | semmle.label | y |
 | call_sensitivity.rb:100:35:100:35 | x | semmle.label | x |
 | call_sensitivity.rb:101:34:101:34 | x | semmle.label | x |
 | call_sensitivity.rb:104:18:104:18 | x | semmle.label | x |
 | call_sensitivity.rb:104:18:104:18 | x | semmle.label | x |
-| call_sensitivity.rb:104:18:104:18 | x | semmle.label | x |
-| call_sensitivity.rb:104:18:104:18 | x | semmle.label | x |
 | call_sensitivity.rb:105:10:105:10 | x | semmle.label | x |
 | call_sensitivity.rb:106:13:106:13 | x | semmle.label | x |
-| call_sensitivity.rb:106:13:106:13 | x | semmle.label | x |
-| call_sensitivity.rb:106:13:106:13 | x | semmle.label | x |
 | call_sensitivity.rb:109:21:109:21 | x | semmle.label | x |
 | call_sensitivity.rb:110:9:110:9 | x | semmle.label | x |
 | call_sensitivity.rb:114:11:114:20 | ( ... ) | semmle.label | ( ... ) |

ruby/ql/test/library-tests/dataflow/global/Flow.expected

@@ -140,7 +140,6 @@ edges
 | instance_variables.rb:28:20:28:24 | field | instance_variables.rb:22:20:22:24 | field | provenance |  |
 | instance_variables.rb:28:20:28:24 | field | instance_variables.rb:28:9:28:25 | [post] self [@field] | provenance |  |
 | instance_variables.rb:31:18:31:18 | x | instance_variables.rb:33:13:33:13 | x | provenance |  |
-| instance_variables.rb:32:13:32:21 | call to taint | instance_variables.rb:22:20:22:24 | field | provenance |  |
 | instance_variables.rb:32:13:32:21 | call to taint | instance_variables.rb:48:20:48:20 | x | provenance |  |
 | instance_variables.rb:33:13:33:13 | x | instance_variables.rb:22:20:22:24 | field | provenance |  |
 | instance_variables.rb:33:13:33:13 | x | instance_variables.rb:33:9:33:14 | call to new [@field] | provenance |  |