Skip to content

Commit 8ca5484

Browse files
aschackmullaschackmull
authored
Merge pull request github#12933 from aschackmull/ruby/no-pp-dataflowtype
Ruby: Remove empty string DataFlowType in PathNode.
2 parents bc08d67 + 09d4fe2 commit 8ca5484

File tree

53 files changed

+17917
-17917
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

53 files changed

+17917
-17917
lines changed

‎ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowPrivate.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1279,7 +1279,7 @@ class DataFlowType extends TDataFlowType {
12791279
DataFlowType getNodeType(NodeImpl n) { result = TTodoDataFlowType() and exists(n) }
12801280

12811281
/** Gets a string representation of a `DataFlowType`. */
1282-
string ppReprType(DataFlowType t) { result = t.toString() }
1282+
string ppReprType(DataFlowType t) { none() }
12831283

12841284
/**
12851285
* Holds if `t1` and `t2` are compatible, that is, whether data can flow from

‎ruby/ql/test/library-tests/dataflow/array-flow/array-flow.expected

Lines changed: 8432 additions & 8432 deletions
Large diffs are not rendered by default.

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

Lines changed: 337 additions & 337 deletions
Large diffs are not rendered by default.

‎ruby/ql/test/library-tests/dataflow/flow-summaries/semantics.expected

Lines changed: 1921 additions & 1921 deletions
Large diffs are not rendered by default.

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

Lines changed: 494 additions & 494 deletions
Large diffs are not rendered by default.

‎ruby/ql/test/library-tests/dataflow/hash-flow/hash-flow.expected

Lines changed: 2059 additions & 2059 deletions
Large diffs are not rendered by default.

‎ruby/ql/test/library-tests/dataflow/local/InlineFlowTest.expected

Lines changed: 179 additions & 179 deletions
Large diffs are not rendered by default.

‎ruby/ql/test/library-tests/dataflow/params/params-flow.expected

Lines changed: 121 additions & 121 deletions
Large diffs are not rendered by default.

‎ruby/ql/test/library-tests/dataflow/pathname-flow/pathame-flow.expected

Lines changed: 260 additions & 260 deletions
Large diffs are not rendered by default.

‎ruby/ql/test/library-tests/dataflow/ssa-flow/ssa-flow.expected

Lines changed: 13 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -1,20 +1,20 @@
11
failures
22
edges
3-
| ssa_flow.rb:12:9:12:9 | [post] a [element 0] : | ssa_flow.rb:16:10:16:10 | a [element 0] : |
4-
| ssa_flow.rb:12:9:12:9 | [post] a [element 0] : | ssa_flow.rb:16:10:16:10 | a [element 0] : |
5-
| ssa_flow.rb:12:16:12:23 | call to taint : | ssa_flow.rb:12:9:12:9 | [post] a [element 0] : |
6-
| ssa_flow.rb:12:16:12:23 | call to taint : | ssa_flow.rb:12:9:12:9 | [post] a [element 0] : |
7-
| ssa_flow.rb:16:10:16:10 | a [element 0] : | ssa_flow.rb:16:10:16:13 | ...[...] |
8-
| ssa_flow.rb:16:10:16:10 | a [element 0] : | ssa_flow.rb:16:10:16:13 | ...[...] |
3+
| ssa_flow.rb:12:9:12:9 | [post] a [element 0] | ssa_flow.rb:16:10:16:10 | a [element 0] |
4+
| ssa_flow.rb:12:9:12:9 | [post] a [element 0] | ssa_flow.rb:16:10:16:10 | a [element 0] |
5+
| ssa_flow.rb:12:16:12:23 | call to taint | ssa_flow.rb:12:9:12:9 | [post] a [element 0] |
6+
| ssa_flow.rb:12:16:12:23 | call to taint | ssa_flow.rb:12:9:12:9 | [post] a [element 0] |
7+
| ssa_flow.rb:16:10:16:10 | a [element 0] | ssa_flow.rb:16:10:16:13 | ...[...] |
8+
| ssa_flow.rb:16:10:16:10 | a [element 0] | ssa_flow.rb:16:10:16:13 | ...[...] |
99
nodes
10-
| ssa_flow.rb:12:9:12:9 | [post] a [element 0] : | semmle.label | [post] a [element 0] : |
11-
| ssa_flow.rb:12:9:12:9 | [post] a [element 0] : | semmle.label | [post] a [element 0] : |
12-
| ssa_flow.rb:12:16:12:23 | call to taint : | semmle.label | call to taint : |
13-
| ssa_flow.rb:12:16:12:23 | call to taint : | semmle.label | call to taint : |
14-
| ssa_flow.rb:16:10:16:10 | a [element 0] : | semmle.label | a [element 0] : |
15-
| ssa_flow.rb:16:10:16:10 | a [element 0] : | semmle.label | a [element 0] : |
10+
| ssa_flow.rb:12:9:12:9 | [post] a [element 0] | semmle.label | [post] a [element 0] |
11+
| ssa_flow.rb:12:9:12:9 | [post] a [element 0] | semmle.label | [post] a [element 0] |
12+
| ssa_flow.rb:12:16:12:23 | call to taint | semmle.label | call to taint |
13+
| ssa_flow.rb:12:16:12:23 | call to taint | semmle.label | call to taint |
14+
| ssa_flow.rb:16:10:16:10 | a [element 0] | semmle.label | a [element 0] |
15+
| ssa_flow.rb:16:10:16:10 | a [element 0] | semmle.label | a [element 0] |
1616
| ssa_flow.rb:16:10:16:13 | ...[...] | semmle.label | ...[...] |
1717
| ssa_flow.rb:16:10:16:13 | ...[...] | semmle.label | ...[...] |
1818
subpaths
1919
#select
20-
| ssa_flow.rb:16:10:16:13 | ...[...] | ssa_flow.rb:12:16:12:23 | call to taint : | ssa_flow.rb:16:10:16:13 | ...[...] | $@ | ssa_flow.rb:12:16:12:23 | call to taint : | call to taint : |
20+
| ssa_flow.rb:16:10:16:13 | ...[...] | ssa_flow.rb:12:16:12:23 | call to taint | ssa_flow.rb:16:10:16:13 | ...[...] | $@ | ssa_flow.rb:12:16:12:23 | call to taint | call to taint |

0 commit comments

Comments
 (0)