mirror of
https://github.com/github/codeql.git
synced 2026-05-05 13:45:19 +02:00
Merge remote-tracking branch 'origin/main' into nickrolfe/active_support_flow_summaries
This commit is contained in:
Nick Rolfe
@@ -3,7 +3,6 @@
|
||||
| array_flow.rb:180:28:180:46 | # $ hasValueFlow=19 | Missing result:hasValueFlow=19 |
|
||||
| array_flow.rb:226:10:226:13 | ...[...] | Unexpected result: hasValueFlow=25 |
|
||||
| array_flow.rb:242:14:242:14 | x | Unexpected result: hasValueFlow=27.2 |
|
||||
| array_flow.rb:255:16:255:56 | # $ hasValueFlow=28.1 $ hasValueFlow=28.2 | Missing result:hasValueFlow=28.1 |
|
||||
| array_flow.rb:319:10:319:13 | ...[...] | Unexpected result: hasValueFlow=36.1 |
|
||||
| array_flow.rb:320:10:320:13 | ...[...] | Unexpected result: hasValueFlow=36.1 |
|
||||
| array_flow.rb:321:10:321:13 | ...[...] | Unexpected result: hasValueFlow=36.1 |
|
||||
@@ -26,7 +25,6 @@
|
||||
| array_flow.rb:490:10:490:13 | ...[...] | Unexpected result: hasValueFlow=54.5 |
|
||||
| array_flow.rb:494:10:494:13 | ...[...] | Unexpected result: hasValueFlow=54.2 |
|
||||
| array_flow.rb:494:10:494:13 | ...[...] | Unexpected result: hasValueFlow=54.3 |
|
||||
| array_flow.rb:564:16:564:56 | # $ hasValueFlow=62.1 $ hasValueFlow=62.2 | Missing result:hasValueFlow=62.1 |
|
||||
| array_flow.rb:575:16:575:34 | # $ hasValueFlow=63 | Missing result:hasValueFlow=63 |
|
||||
| array_flow.rb:580:19:580:37 | # $ hasValueFlow=64 | Missing result:hasValueFlow=64 |
|
||||
| array_flow.rb:582:16:582:34 | # $ hasValueFlow=64 | Missing result:hasValueFlow=64 |
|
||||
|
||||
@@ -1,5 +1,17 @@
|
||||
failures
|
||||
edges
|
||||
| captured_variables.rb:1:24:1:24 | x : | captured_variables.rb:2:20:2:20 | x |
|
||||
| captured_variables.rb:1:24:1:24 | x : | captured_variables.rb:2:20:2:20 | x |
|
||||
| captured_variables.rb:5:20:5:30 | call to source : | captured_variables.rb:1:24:1:24 | x : |
|
||||
| captured_variables.rb:5:20:5:30 | call to source : | captured_variables.rb:1:24:1:24 | x : |
|
||||
| captured_variables.rb:21:33:21:33 | x : | captured_variables.rb:23:14:23:14 | x |
|
||||
| captured_variables.rb:21:33:21:33 | x : | captured_variables.rb:23:14:23:14 | x |
|
||||
| captured_variables.rb:27:29:27:39 | call to source : | captured_variables.rb:21:33:21:33 | x : |
|
||||
| captured_variables.rb:27:29:27:39 | call to source : | captured_variables.rb:21:33:21:33 | x : |
|
||||
| captured_variables.rb:32:31:32:31 | x : | captured_variables.rb:34:14:34:14 | x |
|
||||
| captured_variables.rb:32:31:32:31 | x : | captured_variables.rb:34:14:34:14 | x |
|
||||
| captured_variables.rb:38:27:38:37 | call to source : | captured_variables.rb:32:31:32:31 | x : |
|
||||
| captured_variables.rb:38:27:38:37 | call to source : | captured_variables.rb:32:31:32:31 | x : |
|
||||
| instance_variables.rb:10:19:10:19 | x : | instance_variables.rb:11:18:11:18 | x : |
|
||||
| instance_variables.rb:10:19:10:19 | x : | instance_variables.rb:11:18:11:18 | x : |
|
||||
| instance_variables.rb:11:18:11:18 | x : | instance_variables.rb:11:9:11:14 | [post] self [@field] : |
|
||||
@@ -152,6 +164,24 @@ edges
|
||||
| instance_variables.rb:84:6:84:10 | foo13 [@field] : | instance_variables.rb:84:6:84:20 | call to get_field |
|
||||
| instance_variables.rb:84:6:84:10 | foo13 [@field] : | instance_variables.rb:84:6:84:20 | call to get_field |
|
||||
nodes
|
||||
| captured_variables.rb:1:24:1:24 | x : | semmle.label | x : |
|
||||
| captured_variables.rb:1:24:1:24 | x : | semmle.label | x : |
|
||||
| captured_variables.rb:2:20:2:20 | x | semmle.label | x |
|
||||
| captured_variables.rb:2:20:2:20 | x | semmle.label | x |
|
||||
| captured_variables.rb:5:20:5:30 | call to source : | semmle.label | call to source : |
|
||||
| captured_variables.rb:5:20:5:30 | call to source : | semmle.label | call to source : |
|
||||
| captured_variables.rb:21:33:21:33 | x : | semmle.label | x : |
|
||||
| captured_variables.rb:21:33:21:33 | x : | semmle.label | x : |
|
||||
| captured_variables.rb:23:14:23:14 | x | semmle.label | x |
|
||||
| captured_variables.rb:23:14:23:14 | x | semmle.label | x |
|
||||
| captured_variables.rb:27:29:27:39 | call to source : | semmle.label | call to source : |
|
||||
| captured_variables.rb:27:29:27:39 | call to source : | semmle.label | call to source : |
|
||||
| captured_variables.rb:32:31:32:31 | x : | semmle.label | x : |
|
||||
| captured_variables.rb:32:31:32:31 | x : | semmle.label | x : |
|
||||
| captured_variables.rb:34:14:34:14 | x | semmle.label | x |
|
||||
| captured_variables.rb:34:14:34:14 | x | semmle.label | x |
|
||||
| captured_variables.rb:38:27:38:37 | call to source : | semmle.label | call to source : |
|
||||
| captured_variables.rb:38:27:38:37 | call to source : | semmle.label | call to source : |
|
||||
| instance_variables.rb:10:19:10:19 | x : | semmle.label | x : |
|
||||
| instance_variables.rb:10:19:10:19 | x : | semmle.label | x : |
|
||||
| instance_variables.rb:11:9:11:14 | [post] self [@field] : | semmle.label | [post] self [@field] : |
|
||||
@@ -335,6 +365,9 @@ subpaths
|
||||
| instance_variables.rb:84:6:84:10 | foo13 [@field] : | instance_variables.rb:13:5:15:7 | self in get_field [@field] : | instance_variables.rb:14:9:14:21 | return : | instance_variables.rb:84:6:84:20 | call to get_field |
|
||||
| instance_variables.rb:84:6:84:10 | foo13 [@field] : | instance_variables.rb:13:5:15:7 | self in get_field [@field] : | instance_variables.rb:14:9:14:21 | return : | instance_variables.rb:84:6:84:20 | call to get_field |
|
||||
#select
|
||||
| captured_variables.rb:2:20:2:20 | x | captured_variables.rb:5:20:5:30 | call to source : | captured_variables.rb:2:20:2:20 | x | $@ | captured_variables.rb:5:20:5:30 | call to source : | call to source : |
|
||||
| captured_variables.rb:23:14:23:14 | x | captured_variables.rb:27:29:27:39 | call to source : | captured_variables.rb:23:14:23:14 | x | $@ | captured_variables.rb:27:29:27:39 | call to source : | call to source : |
|
||||
| captured_variables.rb:34:14:34:14 | x | captured_variables.rb:38:27:38:37 | call to source : | captured_variables.rb:34:14:34:14 | x | $@ | captured_variables.rb:38:27:38:37 | call to source : | call to source : |
|
||||
| instance_variables.rb:20:10:20:13 | @foo | instance_variables.rb:19:12:19:21 | call to taint : | instance_variables.rb:20:10:20:13 | @foo | $@ | instance_variables.rb:19:12:19:21 | call to taint : | call to taint : |
|
||||
| instance_variables.rb:25:6:25:18 | call to get_field | instance_variables.rb:24:15:24:23 | call to taint : | instance_variables.rb:25:6:25:18 | call to get_field | $@ | instance_variables.rb:24:15:24:23 | call to taint : | call to taint : |
|
||||
| instance_variables.rb:29:6:29:18 | call to inc_field | instance_variables.rb:28:15:28:22 | call to taint : | instance_variables.rb:29:6:29:18 | call to inc_field | $@ | instance_variables.rb:28:15:28:22 | call to taint : | call to taint : |
|
||||
|
||||
@@ -0,0 +1,17 @@
|
||||
| captured_variables.rb:9:14:9:14 | x | Fixed missing result:hasValueFlow=1.2 |
|
||||
| captured_variables.rb:16:14:16:14 | x | Fixed missing result:hasValueFlow=1.3 |
|
||||
| instance_variables.rb:20:16:20:33 | # $ hasValueFlow=7 | Missing result:hasValueFlow=7 |
|
||||
| instance_variables.rb:25:21:25:39 | # $ hasValueFlow=42 | Missing result:hasValueFlow=42 |
|
||||
| instance_variables.rb:37:22:37:40 | # $ hasValueFlow=21 | Missing result:hasValueFlow=21 |
|
||||
| instance_variables.rb:41:18:41:36 | # $ hasValueFlow=22 | Missing result:hasValueFlow=22 |
|
||||
| instance_variables.rb:49:22:49:40 | # $ hasValueFlow=24 | Missing result:hasValueFlow=24 |
|
||||
| instance_variables.rb:53:22:53:40 | # $ hasValueFlow=22 | Missing result:hasValueFlow=22 |
|
||||
| instance_variables.rb:54:22:54:40 | # $ hasValueFlow=24 | Missing result:hasValueFlow=24 |
|
||||
| instance_variables.rb:55:22:55:40 | # $ hasValueFlow=25 | Missing result:hasValueFlow=25 |
|
||||
| instance_variables.rb:60:22:60:40 | # $ hasValueFlow=26 | Missing result:hasValueFlow=26 |
|
||||
| instance_variables.rb:61:22:61:40 | # $ hasValueFlow=26 | Missing result:hasValueFlow=26 |
|
||||
| instance_variables.rb:66:22:66:40 | # $ hasValueFlow=27 | Missing result:hasValueFlow=27 |
|
||||
| instance_variables.rb:67:23:67:41 | # $ hasValueFlow=27 | Missing result:hasValueFlow=27 |
|
||||
| instance_variables.rb:75:23:75:41 | # $ hasValueFlow=28 | Missing result:hasValueFlow=28 |
|
||||
| instance_variables.rb:79:23:79:41 | # $ hasValueFlow=28 | Missing result:hasValueFlow=28 |
|
||||
| instance_variables.rb:84:23:84:41 | # $ hasValueFlow=28 | Missing result:hasValueFlow=28 |
|
||||
@@ -0,0 +1 @@
|
||||
import TestUtilities.InlineTypeTrackingFlowTest
|
||||
@@ -0,0 +1,38 @@
|
||||
def capture_local_call x
|
||||
fn = -> { sink(x) } # $ hasValueFlow=1.1
|
||||
fn.call
|
||||
end
|
||||
capture_local_call source(1.1)
|
||||
|
||||
def capture_escape_return1 x
|
||||
-> {
|
||||
sink(x) # $ MISSING: hasValueFlow=1.2
|
||||
}
|
||||
end
|
||||
(capture_escape_return1 source(1.2)).call
|
||||
|
||||
def capture_escape_return2 x
|
||||
-> {
|
||||
sink(x) # $ MISSING: hasValueFlow=1.3
|
||||
}
|
||||
end
|
||||
Something.unknownMethod(capture_escape_return2 source(1.3))
|
||||
|
||||
def capture_escape_unknown_call x
|
||||
fn = -> {
|
||||
sink(x) # $ hasValueFlow=1.4
|
||||
}
|
||||
Something.unknownMethod(fn)
|
||||
end
|
||||
capture_escape_unknown_call source(1.4)
|
||||
|
||||
def call_it fn
|
||||
fn.call
|
||||
end
|
||||
def capture_escape_known_call x
|
||||
fn = -> {
|
||||
sink(x) # $ hasValueFlow=1.5
|
||||
}
|
||||
call_it fn
|
||||
end
|
||||
capture_escape_known_call source(1.5)
|
||||
234
ruby/ql/test/library-tests/dataflow/helpers/dataflow.expected
Normal file
234
ruby/ql/test/library-tests/dataflow/helpers/dataflow.expected
Normal file
@@ -0,0 +1,234 @@
|
||||
getAnAncestorExpr
|
||||
| tst.rb:8:1:11:3 | C2 | tst.rb:8:12:8:13 | C1 |
|
||||
| tst.rb:27:1:35:3 | C3 | tst.rb:27:12:27:13 | C2 |
|
||||
| tst.rb:27:1:35:3 | C3 | tst.rb:28:13:28:17 | Mixin |
|
||||
| tst.rb:27:1:35:3 | C3 | tst.rb:29:13:29:18 | Mixin2 |
|
||||
| tst.rb:41:5:42:7 | N1::XY1 | tst.rb:41:17:41:20 | Y |
|
||||
| tst.rb:44:9:45:11 | N1::N2::XY2 | tst.rb:44:21:44:24 | Y |
|
||||
| tst.rb:49:1:51:3 | N2 | tst.rb:50:13:50:13 | X |
|
||||
| tst.rb:53:5:54:7 | N2::XY3 | tst.rb:53:17:53:17 | Y |
|
||||
getAnAncestor
|
||||
| file://:0:0:0:0 | Array | file://:0:0:0:0 | Array |
|
||||
| file://:0:0:0:0 | Array | file://:0:0:0:0 | BasicObject |
|
||||
| file://:0:0:0:0 | Array | file://:0:0:0:0 | Kernel |
|
||||
| file://:0:0:0:0 | Array | file://:0:0:0:0 | Object |
|
||||
| file://:0:0:0:0 | BasicObject | file://:0:0:0:0 | BasicObject |
|
||||
| file://:0:0:0:0 | Class | file://:0:0:0:0 | BasicObject |
|
||||
| file://:0:0:0:0 | Class | file://:0:0:0:0 | Class |
|
||||
| file://:0:0:0:0 | Class | file://:0:0:0:0 | Kernel |
|
||||
| file://:0:0:0:0 | Class | file://:0:0:0:0 | Module |
|
||||
| file://:0:0:0:0 | Class | file://:0:0:0:0 | Object |
|
||||
| file://:0:0:0:0 | Complex | file://:0:0:0:0 | BasicObject |
|
||||
| file://:0:0:0:0 | Complex | file://:0:0:0:0 | Complex |
|
||||
| file://:0:0:0:0 | Complex | file://:0:0:0:0 | Kernel |
|
||||
| file://:0:0:0:0 | Complex | file://:0:0:0:0 | Numeric |
|
||||
| file://:0:0:0:0 | Complex | file://:0:0:0:0 | Object |
|
||||
| file://:0:0:0:0 | FalseClass | file://:0:0:0:0 | BasicObject |
|
||||
| file://:0:0:0:0 | FalseClass | file://:0:0:0:0 | FalseClass |
|
||||
| file://:0:0:0:0 | FalseClass | file://:0:0:0:0 | Kernel |
|
||||
| file://:0:0:0:0 | FalseClass | file://:0:0:0:0 | Object |
|
||||
| file://:0:0:0:0 | Float | file://:0:0:0:0 | BasicObject |
|
||||
| file://:0:0:0:0 | Float | file://:0:0:0:0 | Float |
|
||||
| file://:0:0:0:0 | Float | file://:0:0:0:0 | Kernel |
|
||||
| file://:0:0:0:0 | Float | file://:0:0:0:0 | Numeric |
|
||||
| file://:0:0:0:0 | Float | file://:0:0:0:0 | Object |
|
||||
| file://:0:0:0:0 | Hash | file://:0:0:0:0 | BasicObject |
|
||||
| file://:0:0:0:0 | Hash | file://:0:0:0:0 | Hash |
|
||||
| file://:0:0:0:0 | Hash | file://:0:0:0:0 | Kernel |
|
||||
| file://:0:0:0:0 | Hash | file://:0:0:0:0 | Object |
|
||||
| file://:0:0:0:0 | Integer | file://:0:0:0:0 | BasicObject |
|
||||
| file://:0:0:0:0 | Integer | file://:0:0:0:0 | Integer |
|
||||
| file://:0:0:0:0 | Integer | file://:0:0:0:0 | Kernel |
|
||||
| file://:0:0:0:0 | Integer | file://:0:0:0:0 | Numeric |
|
||||
| file://:0:0:0:0 | Integer | file://:0:0:0:0 | Object |
|
||||
| file://:0:0:0:0 | Kernel | file://:0:0:0:0 | Kernel |
|
||||
| file://:0:0:0:0 | Module | file://:0:0:0:0 | BasicObject |
|
||||
| file://:0:0:0:0 | Module | file://:0:0:0:0 | Kernel |
|
||||
| file://:0:0:0:0 | Module | file://:0:0:0:0 | Module |
|
||||
| file://:0:0:0:0 | Module | file://:0:0:0:0 | Object |
|
||||
| file://:0:0:0:0 | NilClass | file://:0:0:0:0 | BasicObject |
|
||||
| file://:0:0:0:0 | NilClass | file://:0:0:0:0 | Kernel |
|
||||
| file://:0:0:0:0 | NilClass | file://:0:0:0:0 | NilClass |
|
||||
| file://:0:0:0:0 | NilClass | file://:0:0:0:0 | Object |
|
||||
| file://:0:0:0:0 | Numeric | file://:0:0:0:0 | BasicObject |
|
||||
| file://:0:0:0:0 | Numeric | file://:0:0:0:0 | Kernel |
|
||||
| file://:0:0:0:0 | Numeric | file://:0:0:0:0 | Numeric |
|
||||
| file://:0:0:0:0 | Numeric | file://:0:0:0:0 | Object |
|
||||
| file://:0:0:0:0 | Object | file://:0:0:0:0 | BasicObject |
|
||||
| file://:0:0:0:0 | Object | file://:0:0:0:0 | Kernel |
|
||||
| file://:0:0:0:0 | Object | file://:0:0:0:0 | Object |
|
||||
| file://:0:0:0:0 | Proc | file://:0:0:0:0 | Proc |
|
||||
| file://:0:0:0:0 | Rational | file://:0:0:0:0 | BasicObject |
|
||||
| file://:0:0:0:0 | Rational | file://:0:0:0:0 | Kernel |
|
||||
| file://:0:0:0:0 | Rational | file://:0:0:0:0 | Numeric |
|
||||
| file://:0:0:0:0 | Rational | file://:0:0:0:0 | Object |
|
||||
| file://:0:0:0:0 | Rational | file://:0:0:0:0 | Rational |
|
||||
| file://:0:0:0:0 | String | file://:0:0:0:0 | BasicObject |
|
||||
| file://:0:0:0:0 | String | file://:0:0:0:0 | Kernel |
|
||||
| file://:0:0:0:0 | String | file://:0:0:0:0 | Object |
|
||||
| file://:0:0:0:0 | String | file://:0:0:0:0 | String |
|
||||
| file://:0:0:0:0 | Symbol | file://:0:0:0:0 | Symbol |
|
||||
| file://:0:0:0:0 | TrueClass | file://:0:0:0:0 | BasicObject |
|
||||
| file://:0:0:0:0 | TrueClass | file://:0:0:0:0 | Kernel |
|
||||
| file://:0:0:0:0 | TrueClass | file://:0:0:0:0 | Object |
|
||||
| file://:0:0:0:0 | TrueClass | file://:0:0:0:0 | TrueClass |
|
||||
| tst.rb:1:1:6:3 | C1 | file://:0:0:0:0 | BasicObject |
|
||||
| tst.rb:1:1:6:3 | C1 | file://:0:0:0:0 | Kernel |
|
||||
| tst.rb:1:1:6:3 | C1 | file://:0:0:0:0 | Object |
|
||||
| tst.rb:1:1:6:3 | C1 | tst.rb:1:1:6:3 | C1 |
|
||||
| tst.rb:8:1:11:3 | C2 | file://:0:0:0:0 | BasicObject |
|
||||
| tst.rb:8:1:11:3 | C2 | file://:0:0:0:0 | Kernel |
|
||||
| tst.rb:8:1:11:3 | C2 | file://:0:0:0:0 | Object |
|
||||
| tst.rb:8:1:11:3 | C2 | tst.rb:1:1:6:3 | C1 |
|
||||
| tst.rb:8:1:11:3 | C2 | tst.rb:8:1:11:3 | C2 |
|
||||
| tst.rb:13:1:18:3 | Mixin | tst.rb:13:1:18:3 | Mixin |
|
||||
| tst.rb:20:1:25:3 | Mixin2 | tst.rb:20:1:25:3 | Mixin2 |
|
||||
| tst.rb:27:1:35:3 | C3 | file://:0:0:0:0 | BasicObject |
|
||||
| tst.rb:27:1:35:3 | C3 | file://:0:0:0:0 | Kernel |
|
||||
| tst.rb:27:1:35:3 | C3 | file://:0:0:0:0 | Object |
|
||||
| tst.rb:27:1:35:3 | C3 | tst.rb:1:1:6:3 | C1 |
|
||||
| tst.rb:27:1:35:3 | C3 | tst.rb:8:1:11:3 | C2 |
|
||||
| tst.rb:27:1:35:3 | C3 | tst.rb:13:1:18:3 | Mixin |
|
||||
| tst.rb:27:1:35:3 | C3 | tst.rb:20:1:25:3 | Mixin2 |
|
||||
| tst.rb:27:1:35:3 | C3 | tst.rb:27:1:35:3 | C3 |
|
||||
| tst.rb:40:1:47:3 | N1 | tst.rb:40:1:47:3 | N1 |
|
||||
| tst.rb:41:5:42:7 | N1::XY1 | file://:0:0:0:0 | BasicObject |
|
||||
| tst.rb:41:5:42:7 | N1::XY1 | file://:0:0:0:0 | Kernel |
|
||||
| tst.rb:41:5:42:7 | N1::XY1 | file://:0:0:0:0 | Object |
|
||||
| tst.rb:41:5:42:7 | N1::XY1 | tst.rb:41:5:42:7 | N1::XY1 |
|
||||
| tst.rb:43:5:46:7 | N1::N2 | tst.rb:43:5:46:7 | N1::N2 |
|
||||
| tst.rb:44:9:45:11 | N1::N2::XY2 | file://:0:0:0:0 | BasicObject |
|
||||
| tst.rb:44:9:45:11 | N1::N2::XY2 | file://:0:0:0:0 | Kernel |
|
||||
| tst.rb:44:9:45:11 | N1::N2::XY2 | file://:0:0:0:0 | Object |
|
||||
| tst.rb:44:9:45:11 | N1::N2::XY2 | tst.rb:44:9:45:11 | N1::N2::XY2 |
|
||||
| tst.rb:49:1:51:3 | N2 | tst.rb:49:1:51:3 | N2 |
|
||||
| tst.rb:53:5:54:7 | N2::XY3 | file://:0:0:0:0 | BasicObject |
|
||||
| tst.rb:53:5:54:7 | N2::XY3 | file://:0:0:0:0 | Kernel |
|
||||
| tst.rb:53:5:54:7 | N2::XY3 | file://:0:0:0:0 | Object |
|
||||
| tst.rb:53:5:54:7 | N2::XY3 | tst.rb:53:5:54:7 | N2::XY3 |
|
||||
| tst.rb:57:1:62:3 | Nodes | file://:0:0:0:0 | BasicObject |
|
||||
| tst.rb:57:1:62:3 | Nodes | file://:0:0:0:0 | Kernel |
|
||||
| tst.rb:57:1:62:3 | Nodes | file://:0:0:0:0 | Object |
|
||||
| tst.rb:57:1:62:3 | Nodes | tst.rb:57:1:62:3 | Nodes |
|
||||
getModuleLevelSelf
|
||||
| tst.rb:1:1:6:3 | C1 | tst.rb:1:1:6:3 | self (C1) |
|
||||
| tst.rb:8:1:11:3 | C2 | tst.rb:8:1:11:3 | self (C2) |
|
||||
| tst.rb:13:1:18:3 | Mixin | tst.rb:13:1:18:3 | self (Mixin) |
|
||||
| tst.rb:20:1:25:3 | Mixin2 | tst.rb:20:1:25:3 | self (Mixin2) |
|
||||
| tst.rb:27:1:35:3 | C3 | tst.rb:27:1:35:3 | self (C3) |
|
||||
| tst.rb:40:1:47:3 | N1 | tst.rb:40:1:47:3 | self (N1) |
|
||||
| tst.rb:41:5:42:7 | N1::XY1 | tst.rb:41:5:42:7 | self (XY1) |
|
||||
| tst.rb:43:5:46:7 | N1::N2 | tst.rb:43:5:46:7 | self (N2) |
|
||||
| tst.rb:44:9:45:11 | N1::N2::XY2 | tst.rb:44:9:45:11 | self (XY2) |
|
||||
| tst.rb:49:1:51:3 | N2 | tst.rb:49:1:51:3 | self (N2) |
|
||||
| tst.rb:49:1:51:3 | N2 | tst.rb:52:1:55:3 | self (N2) |
|
||||
| tst.rb:53:5:54:7 | N2::XY3 | tst.rb:53:5:54:7 | self (XY3) |
|
||||
| tst.rb:57:1:62:3 | Nodes | tst.rb:57:1:62:3 | self (Nodes) |
|
||||
getAnImmediateReference
|
||||
| file://:0:0:0:0 | Array | tst.rb:59:15:59:21 | Array |
|
||||
| file://:0:0:0:0 | Hash | tst.rb:60:14:60:45 | Hash |
|
||||
| tst.rb:1:1:6:3 | C1 | tst.rb:8:12:8:13 | C1 |
|
||||
| tst.rb:8:1:11:3 | C2 | tst.rb:27:12:27:13 | C2 |
|
||||
| tst.rb:13:1:18:3 | Mixin | tst.rb:28:13:28:17 | Mixin |
|
||||
| tst.rb:20:1:25:3 | Mixin2 | tst.rb:29:13:29:18 | Mixin2 |
|
||||
| tst.rb:27:1:35:3 | C3 | tst.rb:37:5:37:6 | C3 |
|
||||
getOwnInstanceMethod
|
||||
| tst.rb:1:1:6:3 | C1 | c1 | tst.rb:2:5:5:7 | c1 |
|
||||
| tst.rb:8:1:11:3 | C2 | c2 | tst.rb:9:5:10:7 | c2 |
|
||||
| tst.rb:13:1:18:3 | Mixin | m1 | tst.rb:14:5:15:7 | m1 |
|
||||
| tst.rb:20:1:25:3 | Mixin2 | m2 | tst.rb:21:5:22:7 | m2 |
|
||||
| tst.rb:57:1:62:3 | Nodes | m1 | tst.rb:58:5:61:7 | m1 |
|
||||
getInstanceMethod
|
||||
| tst.rb:1:1:6:3 | C1 | c1 | tst.rb:2:5:5:7 | c1 |
|
||||
| tst.rb:8:1:11:3 | C2 | c1 | tst.rb:2:5:5:7 | c1 |
|
||||
| tst.rb:8:1:11:3 | C2 | c2 | tst.rb:9:5:10:7 | c2 |
|
||||
| tst.rb:13:1:18:3 | Mixin | m1 | tst.rb:14:5:15:7 | m1 |
|
||||
| tst.rb:20:1:25:3 | Mixin2 | m2 | tst.rb:21:5:22:7 | m2 |
|
||||
| tst.rb:27:1:35:3 | C3 | c1 | tst.rb:2:5:5:7 | c1 |
|
||||
| tst.rb:27:1:35:3 | C3 | c2 | tst.rb:9:5:10:7 | c2 |
|
||||
| tst.rb:27:1:35:3 | C3 | m1 | tst.rb:14:5:15:7 | m1 |
|
||||
| tst.rb:27:1:35:3 | C3 | m2 | tst.rb:21:5:22:7 | m2 |
|
||||
| tst.rb:57:1:62:3 | Nodes | m1 | tst.rb:58:5:61:7 | m1 |
|
||||
getAnOwnInstanceSelf
|
||||
| tst.rb:1:1:6:3 | C1 | tst.rb:2:5:5:7 | self in c1 |
|
||||
| tst.rb:8:1:11:3 | C2 | tst.rb:9:5:10:7 | self in c2 |
|
||||
| tst.rb:13:1:18:3 | Mixin | tst.rb:14:5:15:7 | self in m1 |
|
||||
| tst.rb:20:1:25:3 | Mixin2 | tst.rb:21:5:22:7 | self in m2 |
|
||||
| tst.rb:57:1:62:3 | Nodes | tst.rb:58:5:61:7 | self in m1 |
|
||||
getAnInstanceSelf
|
||||
| tst.rb:1:1:6:3 | C1 | tst.rb:2:5:5:7 | self in c1 |
|
||||
| tst.rb:8:1:11:3 | C2 | tst.rb:2:5:5:7 | self in c1 |
|
||||
| tst.rb:8:1:11:3 | C2 | tst.rb:9:5:10:7 | self in c2 |
|
||||
| tst.rb:13:1:18:3 | Mixin | tst.rb:14:5:15:7 | self in m1 |
|
||||
| tst.rb:20:1:25:3 | Mixin2 | tst.rb:21:5:22:7 | self in m2 |
|
||||
| tst.rb:27:1:35:3 | C3 | tst.rb:2:5:5:7 | self in c1 |
|
||||
| tst.rb:27:1:35:3 | C3 | tst.rb:9:5:10:7 | self in c2 |
|
||||
| tst.rb:27:1:35:3 | C3 | tst.rb:14:5:15:7 | self in m1 |
|
||||
| tst.rb:27:1:35:3 | C3 | tst.rb:21:5:22:7 | self in m2 |
|
||||
| tst.rb:57:1:62:3 | Nodes | tst.rb:58:5:61:7 | self in m1 |
|
||||
getOwnSingletonMethod
|
||||
| tst.rb:13:1:18:3 | Mixin | m1s | tst.rb:16:5:17:7 | m1s |
|
||||
| tst.rb:20:1:25:3 | Mixin2 | m2s | tst.rb:23:5:24:7 | m2s |
|
||||
| tst.rb:27:1:35:3 | C3 | c3_self1 | tst.rb:32:9:33:11 | c3_self1 |
|
||||
| tst.rb:27:1:35:3 | C3 | c3_self2 | tst.rb:37:1:38:3 | c3_self2 |
|
||||
getAnOwnInstanceVariableRead
|
||||
| tst.rb:1:1:6:3 | C1 | @field | tst.rb:4:9:4:14 | @field |
|
||||
getAnOwnInstanceVariableWriteValue
|
||||
| tst.rb:1:1:6:3 | C1 | @field | tst.rb:3:18:3:18 | 1 |
|
||||
getParentModule
|
||||
| tst.rb:41:5:42:7 | N1::XY1 | tst.rb:40:1:47:3 | N1 |
|
||||
| tst.rb:43:5:46:7 | N1::N2 | tst.rb:40:1:47:3 | N1 |
|
||||
| tst.rb:44:9:45:11 | N1::N2::XY2 | tst.rb:43:5:46:7 | N1::N2 |
|
||||
| tst.rb:53:5:54:7 | N2::XY3 | tst.rb:49:1:51:3 | N2 |
|
||||
getNestedModule
|
||||
| tst.rb:40:1:47:3 | N1 | N2 | tst.rb:43:5:46:7 | N1::N2 |
|
||||
| tst.rb:40:1:47:3 | N1 | XY1 | tst.rb:41:5:42:7 | N1::XY1 |
|
||||
| tst.rb:43:5:46:7 | N1::N2 | XY2 | tst.rb:44:9:45:11 | N1::N2::XY2 |
|
||||
| tst.rb:49:1:51:3 | N2 | XY3 | tst.rb:53:5:54:7 | N2::XY3 |
|
||||
getTopLevelConst
|
||||
| Array | tst.rb:59:15:59:21 | Array |
|
||||
| C1 | tst.rb:1:1:6:3 | self (C1) |
|
||||
| C1 | tst.rb:8:12:8:13 | C1 |
|
||||
| C2 | tst.rb:8:1:11:3 | self (C2) |
|
||||
| C2 | tst.rb:27:12:27:13 | C2 |
|
||||
| C3 | tst.rb:27:1:35:3 | self (C3) |
|
||||
| C3 | tst.rb:37:5:37:6 | C3 |
|
||||
| Hash | tst.rb:60:14:60:45 | Hash |
|
||||
| Mixin | tst.rb:13:1:18:3 | self (Mixin) |
|
||||
| Mixin | tst.rb:28:13:28:17 | Mixin |
|
||||
| Mixin2 | tst.rb:20:1:25:3 | self (Mixin2) |
|
||||
| Mixin2 | tst.rb:29:13:29:18 | Mixin2 |
|
||||
| N1 | tst.rb:40:1:47:3 | self (N1) |
|
||||
| N2 | tst.rb:43:5:46:7 | self (N2) |
|
||||
| N2 | tst.rb:49:1:51:3 | self (N2) |
|
||||
| N2 | tst.rb:52:1:55:3 | self (N2) |
|
||||
| Nodes | tst.rb:57:1:62:3 | self (Nodes) |
|
||||
| X | tst.rb:41:17:41:17 | X |
|
||||
| X | tst.rb:44:21:44:21 | X |
|
||||
| X | tst.rb:50:13:50:13 | X |
|
||||
| XY1 | tst.rb:41:5:42:7 | self (XY1) |
|
||||
| XY2 | tst.rb:44:9:45:11 | self (XY2) |
|
||||
| XY3 | tst.rb:53:5:54:7 | self (XY3) |
|
||||
| Y | tst.rb:53:17:53:17 | Y |
|
||||
getConstant
|
||||
| tst.rb:41:17:41:17 | X | Y | tst.rb:41:17:41:20 | Y |
|
||||
| tst.rb:44:21:44:21 | X | Y | tst.rb:44:21:44:24 | Y |
|
||||
| tst.rb:50:13:50:13 | X | X | tst.rb:50:13:50:13 | X |
|
||||
| tst.rb:50:13:50:13 | X | XY3 | tst.rb:53:5:54:7 | self (XY3) |
|
||||
| tst.rb:50:13:50:13 | X | Y | tst.rb:53:17:53:17 | Y |
|
||||
getXYClasses
|
||||
| tst.rb:41:5:42:7 | N1::XY1 |
|
||||
| tst.rb:44:9:45:11 | N1::N2::XY2 |
|
||||
| tst.rb:53:5:54:7 | N2::XY3 |
|
||||
hashLiteralNode
|
||||
| tst.rb:60:14:60:45 | call to [] |
|
||||
hashLiteralKey
|
||||
| tst.rb:60:14:60:45 | call to [] | bar | tst.rb:60:36:60:36 | 2 |
|
||||
| tst.rb:60:14:60:45 | call to [] | baz | tst.rb:60:44:60:44 | 3 |
|
||||
| tst.rb:60:14:60:45 | call to [] | foo | tst.rb:60:24:60:24 | 1 |
|
||||
arrayLiteralNode
|
||||
| tst.rb:59:15:59:21 | call to [] |
|
||||
arrayLiteralElement
|
||||
| tst.rb:59:15:59:21 | call to [] | tst.rb:59:16:59:16 | 1 |
|
||||
| tst.rb:59:15:59:21 | call to [] | tst.rb:59:18:59:18 | 2 |
|
||||
| tst.rb:59:15:59:21 | call to [] | tst.rb:59:20:59:20 | 3 |
|
||||
73
ruby/ql/test/library-tests/dataflow/helpers/dataflow.ql
Normal file
73
ruby/ql/test/library-tests/dataflow/helpers/dataflow.ql
Normal file
@@ -0,0 +1,73 @@
|
||||
import ruby
|
||||
|
||||
query DataFlow::Node getAnAncestorExpr(DataFlow::ModuleNode mod) {
|
||||
result = mod.getAnAncestorExpr()
|
||||
}
|
||||
|
||||
query DataFlow::ModuleNode getAnAncestor(DataFlow::ModuleNode mod) { result = mod.getAnAncestor() }
|
||||
|
||||
query DataFlow::Node getModuleLevelSelf(DataFlow::ModuleNode mod) {
|
||||
result = mod.getModuleLevelSelf()
|
||||
}
|
||||
|
||||
query DataFlow::Node getAnImmediateReference(DataFlow::ModuleNode mod) {
|
||||
result = mod.getAnImmediateReference()
|
||||
}
|
||||
|
||||
query DataFlow::MethodNode getOwnInstanceMethod(DataFlow::ModuleNode mod, string name) {
|
||||
result = mod.getOwnInstanceMethod(name)
|
||||
}
|
||||
|
||||
query DataFlow::MethodNode getInstanceMethod(DataFlow::ModuleNode mod, string name) {
|
||||
result = mod.getInstanceMethod(name)
|
||||
}
|
||||
|
||||
query DataFlow::Node getAnOwnInstanceSelf(DataFlow::ModuleNode mod) {
|
||||
result = mod.getAnOwnInstanceSelf()
|
||||
}
|
||||
|
||||
query DataFlow::Node getAnInstanceSelf(DataFlow::ModuleNode mod) {
|
||||
result = mod.getAnInstanceSelf()
|
||||
}
|
||||
|
||||
query DataFlow::Node getOwnSingletonMethod(DataFlow::ModuleNode mod, string name) {
|
||||
result = mod.getOwnSingletonMethod(name)
|
||||
}
|
||||
|
||||
query DataFlow::Node getAnOwnInstanceVariableRead(DataFlow::ModuleNode mod, string name) {
|
||||
result = mod.getAnOwnInstanceVariableRead(name)
|
||||
}
|
||||
|
||||
query DataFlow::Node getAnOwnInstanceVariableWriteValue(DataFlow::ModuleNode mod, string name) {
|
||||
result = mod.getAnOwnInstanceVariableWriteValue(name)
|
||||
}
|
||||
|
||||
query DataFlow::ModuleNode getParentModule(DataFlow::ModuleNode mod) {
|
||||
result = mod.getParentModule()
|
||||
}
|
||||
|
||||
query DataFlow::ModuleNode getNestedModule(DataFlow::ModuleNode mod, string name) {
|
||||
result = mod.getNestedModule(name)
|
||||
}
|
||||
|
||||
query DataFlow::Node getTopLevelConst(string name) { result = DataFlow::getConstant(name) }
|
||||
|
||||
query DataFlow::Node getConstant(DataFlow::ConstRef base, string name) {
|
||||
result = base.getConstant(name)
|
||||
}
|
||||
|
||||
query DataFlow::ModuleNode getXYClasses() {
|
||||
result = DataFlow::getConstant("X").getConstant("Y").getADescendentModule()
|
||||
}
|
||||
|
||||
query DataFlow::HashLiteralNode hashLiteralNode() { any() }
|
||||
|
||||
query DataFlow::Node hashLiteralKey(DataFlow::HashLiteralNode node, string key) {
|
||||
result = node.getElementFromKey(Ast::ConstantValue::fromStringlikeValue(key))
|
||||
}
|
||||
|
||||
query DataFlow::ArrayLiteralNode arrayLiteralNode() { any() }
|
||||
|
||||
query DataFlow::Node arrayLiteralElement(DataFlow::ArrayLiteralNode node) {
|
||||
result = node.getAnElement()
|
||||
}
|
||||
62
ruby/ql/test/library-tests/dataflow/helpers/tst.rb
Normal file
62
ruby/ql/test/library-tests/dataflow/helpers/tst.rb
Normal file
@@ -0,0 +1,62 @@
|
||||
module C1
|
||||
def c1
|
||||
@field = 1
|
||||
@field
|
||||
end
|
||||
end
|
||||
|
||||
class C2 < C1
|
||||
def c2
|
||||
end
|
||||
end
|
||||
|
||||
module Mixin
|
||||
def m1
|
||||
end
|
||||
def self.m1s
|
||||
end
|
||||
end
|
||||
|
||||
module Mixin2
|
||||
def m2
|
||||
end
|
||||
def self.m2s
|
||||
end
|
||||
end
|
||||
|
||||
class C3 < C2
|
||||
include Mixin
|
||||
prepend Mixin2
|
||||
|
||||
class << self
|
||||
def c3_self1
|
||||
end
|
||||
end
|
||||
end
|
||||
|
||||
def C3.c3_self2
|
||||
end
|
||||
|
||||
module N1
|
||||
class XY1 < X::Y
|
||||
end
|
||||
module N2
|
||||
class XY2 < X::Y
|
||||
end
|
||||
end
|
||||
end
|
||||
|
||||
module N2
|
||||
include X
|
||||
end
|
||||
module N2
|
||||
class XY3 < Y
|
||||
end
|
||||
end
|
||||
|
||||
class Nodes
|
||||
def m1
|
||||
array=[1,2,3]
|
||||
hash={'foo' => 1, 'bar' => 2, baz: 3}
|
||||
end
|
||||
end
|
||||
@@ -26,7 +26,7 @@
|
||||
| local_dataflow.rb:9:9:9:15 | call to [] | local_dataflow.rb:9:1:9:15 | ... = ... |
|
||||
| local_dataflow.rb:9:9:9:15 | call to [] | local_dataflow.rb:9:1:9:15 | ... = ... |
|
||||
| local_dataflow.rb:10:5:13:3 | ... = ... | local_dataflow.rb:12:5:12:5 | x |
|
||||
| local_dataflow.rb:10:5:13:3 | <captured> | local_dataflow.rb:11:1:11:2 | self |
|
||||
| local_dataflow.rb:10:5:13:3 | <captured> self | local_dataflow.rb:11:1:11:2 | self |
|
||||
| local_dataflow.rb:10:5:13:3 | __synth__0__1 | local_dataflow.rb:10:5:13:3 | ... = ... |
|
||||
| local_dataflow.rb:10:5:13:3 | __synth__0__1 | local_dataflow.rb:10:5:13:3 | ... = ... |
|
||||
| local_dataflow.rb:10:5:13:3 | __synth__0__1 | local_dataflow.rb:10:5:13:3 | __synth__0__1 |
|
||||
@@ -65,7 +65,7 @@
|
||||
| local_dataflow.rb:45:10:45:10 | 6 | local_dataflow.rb:45:3:45:10 | return |
|
||||
| local_dataflow.rb:49:1:53:3 | [post] self | local_dataflow.rb:55:1:55:14 | self |
|
||||
| local_dataflow.rb:49:1:53:3 | self | local_dataflow.rb:55:1:55:14 | self |
|
||||
| local_dataflow.rb:49:3:53:3 | <captured> | local_dataflow.rb:50:18:50:18 | x |
|
||||
| local_dataflow.rb:49:3:53:3 | <captured> x | local_dataflow.rb:50:18:50:18 | x |
|
||||
| local_dataflow.rb:50:8:50:13 | "next" | local_dataflow.rb:50:3:50:13 | next |
|
||||
| local_dataflow.rb:50:18:50:18 | [post] x | local_dataflow.rb:51:20:51:20 | x |
|
||||
| local_dataflow.rb:50:18:50:18 | x | local_dataflow.rb:51:20:51:20 | x |
|
||||
@@ -264,7 +264,7 @@
|
||||
| local_dataflow.rb:118:3:118:11 | [post] self | local_dataflow.rb:119:3:119:31 | self |
|
||||
| local_dataflow.rb:118:3:118:11 | call to source | local_dataflow.rb:118:3:118:31 | call to tap |
|
||||
| local_dataflow.rb:118:3:118:11 | self | local_dataflow.rb:119:3:119:31 | self |
|
||||
| local_dataflow.rb:118:17:118:31 | <captured> | local_dataflow.rb:118:23:118:29 | self |
|
||||
| local_dataflow.rb:118:17:118:31 | <captured> self | local_dataflow.rb:118:23:118:29 | self |
|
||||
| local_dataflow.rb:118:20:118:20 | x | local_dataflow.rb:118:20:118:20 | x |
|
||||
| local_dataflow.rb:118:20:118:20 | x | local_dataflow.rb:118:28:118:28 | x |
|
||||
| local_dataflow.rb:119:3:119:31 | [post] self | local_dataflow.rb:119:8:119:16 | self |
|
||||
@@ -278,4 +278,4 @@
|
||||
| local_dataflow.rb:123:8:123:16 | call to source | local_dataflow.rb:123:8:123:20 | call to dup |
|
||||
| local_dataflow.rb:123:8:123:20 | call to dup | local_dataflow.rb:123:8:123:45 | call to tap |
|
||||
| local_dataflow.rb:123:8:123:45 | call to tap | local_dataflow.rb:123:8:123:49 | call to dup |
|
||||
| local_dataflow.rb:123:26:123:45 | <captured> | local_dataflow.rb:123:32:123:43 | self |
|
||||
| local_dataflow.rb:123:26:123:45 | <captured> self | local_dataflow.rb:123:32:123:43 | self |
|
||||
|
||||
@@ -1,3 +1,4 @@
|
||||
| file://:0:0:0:0 | [summary] read: argument position 0.any element in Hash[] | file://:0:0:0:0 | [summary] read: argument position 0.any element.element 1 or unknown in Hash[] |
|
||||
| file://:0:0:0:0 | parameter any of ;Pathname;Method[join] | file://:0:0:0:0 | [summary] to write: return (return) in ;Pathname;Method[join] |
|
||||
| file://:0:0:0:0 | parameter position 0 of & | file://:0:0:0:0 | [summary] read: argument position 0.any element in & |
|
||||
| file://:0:0:0:0 | parameter position 0 of + | file://:0:0:0:0 | [summary] read: argument position 0.any element in + |
|
||||
@@ -78,7 +79,7 @@
|
||||
| local_dataflow.rb:9:9:9:15 | call to [] | local_dataflow.rb:9:1:9:15 | ... = ... |
|
||||
| local_dataflow.rb:9:9:9:15 | call to [] | local_dataflow.rb:9:1:9:15 | ... = ... |
|
||||
| local_dataflow.rb:10:5:13:3 | ... = ... | local_dataflow.rb:12:5:12:5 | x |
|
||||
| local_dataflow.rb:10:5:13:3 | <captured> | local_dataflow.rb:11:1:11:2 | self |
|
||||
| local_dataflow.rb:10:5:13:3 | <captured> self | local_dataflow.rb:11:1:11:2 | self |
|
||||
| local_dataflow.rb:10:5:13:3 | __synth__0__1 | local_dataflow.rb:10:5:13:3 | ... = ... |
|
||||
| local_dataflow.rb:10:5:13:3 | __synth__0__1 | local_dataflow.rb:10:5:13:3 | ... = ... |
|
||||
| local_dataflow.rb:10:5:13:3 | __synth__0__1 | local_dataflow.rb:10:5:13:3 | __synth__0__1 |
|
||||
@@ -123,7 +124,7 @@
|
||||
| local_dataflow.rb:45:10:45:10 | 6 | local_dataflow.rb:45:3:45:10 | return |
|
||||
| local_dataflow.rb:49:1:53:3 | [post] self | local_dataflow.rb:55:1:55:14 | self |
|
||||
| local_dataflow.rb:49:1:53:3 | self | local_dataflow.rb:55:1:55:14 | self |
|
||||
| local_dataflow.rb:49:3:53:3 | <captured> | local_dataflow.rb:50:18:50:18 | x |
|
||||
| local_dataflow.rb:49:3:53:3 | <captured> x | local_dataflow.rb:50:18:50:18 | x |
|
||||
| local_dataflow.rb:50:8:50:13 | "next" | local_dataflow.rb:50:3:50:13 | next |
|
||||
| local_dataflow.rb:50:18:50:18 | [post] x | local_dataflow.rb:51:20:51:20 | x |
|
||||
| local_dataflow.rb:50:18:50:18 | x | local_dataflow.rb:50:18:50:22 | ... < ... |
|
||||
@@ -338,7 +339,7 @@
|
||||
| local_dataflow.rb:118:3:118:11 | [post] self | local_dataflow.rb:119:3:119:31 | self |
|
||||
| local_dataflow.rb:118:3:118:11 | call to source | local_dataflow.rb:118:3:118:31 | call to tap |
|
||||
| local_dataflow.rb:118:3:118:11 | self | local_dataflow.rb:119:3:119:31 | self |
|
||||
| local_dataflow.rb:118:17:118:31 | <captured> | local_dataflow.rb:118:23:118:29 | self |
|
||||
| local_dataflow.rb:118:17:118:31 | <captured> self | local_dataflow.rb:118:23:118:29 | self |
|
||||
| local_dataflow.rb:118:20:118:20 | x | local_dataflow.rb:118:20:118:20 | x |
|
||||
| local_dataflow.rb:118:20:118:20 | x | local_dataflow.rb:118:28:118:28 | x |
|
||||
| local_dataflow.rb:119:3:119:31 | [post] self | local_dataflow.rb:119:8:119:16 | self |
|
||||
@@ -352,4 +353,4 @@
|
||||
| local_dataflow.rb:123:8:123:16 | call to source | local_dataflow.rb:123:8:123:20 | call to dup |
|
||||
| local_dataflow.rb:123:8:123:20 | call to dup | local_dataflow.rb:123:8:123:45 | call to tap |
|
||||
| local_dataflow.rb:123:8:123:45 | call to tap | local_dataflow.rb:123:8:123:49 | call to dup |
|
||||
| local_dataflow.rb:123:26:123:45 | <captured> | local_dataflow.rb:123:32:123:43 | self |
|
||||
| local_dataflow.rb:123:26:123:45 | <captured> self | local_dataflow.rb:123:32:123:43 | self |
|
||||
|
||||
@@ -112,7 +112,7 @@ private class TypeFromCodeQL extends ModelInput::TypeModel {
|
||||
override DataFlow::Node getASource(string package, string type) {
|
||||
package = "test" and
|
||||
type = "FooOrBar" and
|
||||
result.asExpr().getExpr().getConstantValue().getString() = "magic_string"
|
||||
result.getConstantValue().getString() = "magic_string"
|
||||
}
|
||||
|
||||
override API::Node getAnApiNode(string package, string type) {
|
||||
|
||||
@@ -1,4 +1,5 @@
|
||||
track
|
||||
| type_tracker.rb:1:1:10:3 | self (Container) | type tracker without call steps | type_tracker.rb:1:1:10:3 | self (Container) |
|
||||
| type_tracker.rb:1:1:10:3 | self (type_tracker.rb) | type tracker with call steps | type_tracker.rb:18:1:21:3 | self (positional) |
|
||||
| type_tracker.rb:1:1:10:3 | self (type_tracker.rb) | type tracker with call steps | type_tracker.rb:18:1:21:3 | self in positional |
|
||||
| type_tracker.rb:1:1:10:3 | self (type_tracker.rb) | type tracker with call steps | type_tracker.rb:25:1:28:3 | self (keyword) |
|
||||
@@ -18,13 +19,19 @@ track
|
||||
| type_tracker.rb:2:16:2:18 | val | type tracker with call steps | type_tracker.rb:2:16:2:18 | val |
|
||||
| type_tracker.rb:2:16:2:18 | val | type tracker with call steps | type_tracker.rb:8:9:8:14 | @field |
|
||||
| type_tracker.rb:2:16:2:18 | val | type tracker without call steps | type_tracker.rb:2:5:5:7 | return return in field= |
|
||||
| type_tracker.rb:2:16:2:18 | val | type tracker without call steps | type_tracker.rb:2:5:5:7 | return return in field= |
|
||||
| type_tracker.rb:2:16:2:18 | val | type tracker without call steps | type_tracker.rb:2:16:2:18 | val |
|
||||
| type_tracker.rb:2:16:2:18 | val | type tracker without call steps | type_tracker.rb:2:16:2:18 | val |
|
||||
| type_tracker.rb:2:16:2:18 | val | type tracker without call steps | type_tracker.rb:2:16:2:18 | val |
|
||||
| type_tracker.rb:2:16:2:18 | val | type tracker without call steps | type_tracker.rb:3:14:3:23 | call to field |
|
||||
| type_tracker.rb:2:16:2:18 | val | type tracker without call steps | type_tracker.rb:3:14:3:23 | call to field |
|
||||
| type_tracker.rb:2:16:2:18 | val | type tracker without call steps | type_tracker.rb:7:5:9:7 | return return in field |
|
||||
| type_tracker.rb:2:16:2:18 | val | type tracker without call steps | type_tracker.rb:7:5:9:7 | return return in field |
|
||||
| type_tracker.rb:2:16:2:18 | val | type tracker without call steps | type_tracker.rb:8:9:8:14 | @field |
|
||||
| type_tracker.rb:2:16:2:18 | val | type tracker without call steps | type_tracker.rb:8:9:8:14 | @field |
|
||||
| type_tracker.rb:2:16:2:18 | val | type tracker without call steps | type_tracker.rb:14:5:14:13 | call to field= |
|
||||
| type_tracker.rb:2:16:2:18 | val | type tracker without call steps | type_tracker.rb:14:5:14:13 | call to field= |
|
||||
| type_tracker.rb:2:16:2:18 | val | type tracker without call steps | type_tracker.rb:15:10:15:18 | call to field |
|
||||
| type_tracker.rb:2:16:2:18 | val | type tracker without call steps | type_tracker.rb:15:10:15:18 | call to field |
|
||||
| type_tracker.rb:3:9:3:23 | call to puts | type tracker without call steps | type_tracker.rb:3:9:3:23 | call to puts |
|
||||
| type_tracker.rb:3:14:3:23 | call to field | type tracker without call steps | type_tracker.rb:3:14:3:23 | call to field |
|
||||
@@ -189,20 +196,33 @@ track
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker with call steps with content element 0 or unknown | type_tracker.rb:42:14:42:26 | call to [] |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker with call steps with content element 0 or unknown | type_tracker.rb:46:14:46:26 | call to [] |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps | type_tracker.rb:34:1:53:3 | return return in throughArray |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps | type_tracker.rb:34:1:53:3 | return return in throughArray |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps | type_tracker.rb:34:18:34:20 | obj |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps | type_tracker.rb:34:18:34:20 | obj |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps | type_tracker.rb:34:18:34:20 | obj |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps | type_tracker.rb:36:5:36:10 | ...[...] |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps | type_tracker.rb:36:5:36:10 | ...[...] |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps | type_tracker.rb:40:5:40:12 | ...[...] |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps | type_tracker.rb:40:5:40:12 | ...[...] |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps | type_tracker.rb:44:5:44:13 | ...[...] |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps | type_tracker.rb:44:5:44:13 | ...[...] |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps | type_tracker.rb:52:5:52:13 | ...[...] |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps | type_tracker.rb:52:5:52:13 | ...[...] |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps with content element | type_tracker.rb:34:1:53:3 | return return in throughArray |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps with content element | type_tracker.rb:34:1:53:3 | return return in throughArray |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps with content element | type_tracker.rb:38:13:38:25 | call to [] |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps with content element | type_tracker.rb:38:13:38:25 | call to [] |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps with content element | type_tracker.rb:44:5:44:13 | ...[...] |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps with content element | type_tracker.rb:44:5:44:13 | ...[...] |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps with content element | type_tracker.rb:50:14:50:26 | call to [] |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps with content element | type_tracker.rb:50:14:50:26 | call to [] |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps with content element | type_tracker.rb:52:5:52:13 | ...[...] |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps with content element | type_tracker.rb:52:5:52:13 | ...[...] |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps with content element 0 or unknown | type_tracker.rb:35:11:35:15 | call to [] |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps with content element 0 or unknown | type_tracker.rb:35:11:35:15 | call to [] |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps with content element 0 or unknown | type_tracker.rb:42:14:42:26 | call to [] |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps with content element 0 or unknown | type_tracker.rb:42:14:42:26 | call to [] |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps with content element 0 or unknown | type_tracker.rb:46:14:46:26 | call to [] |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type tracker without call steps with content element 0 or unknown | type_tracker.rb:46:14:46:26 | call to [] |
|
||||
| type_tracker.rb:34:23:34:23 | y | type tracker with call steps | type_tracker.rb:34:23:34:23 | y |
|
||||
| type_tracker.rb:34:23:34:23 | y | type tracker without call steps | type_tracker.rb:34:23:34:23 | y |
|
||||
@@ -337,6 +357,7 @@ track
|
||||
| type_tracker.rb:52:5:52:13 | ...[...] | type tracker without call steps | type_tracker.rb:34:1:53:3 | return return in throughArray |
|
||||
| type_tracker.rb:52:5:52:13 | ...[...] | type tracker without call steps | type_tracker.rb:52:5:52:13 | ...[...] |
|
||||
trackEnd
|
||||
| type_tracker.rb:1:1:10:3 | self (Container) | type_tracker.rb:1:1:10:3 | self (Container) |
|
||||
| type_tracker.rb:1:1:10:3 | self (type_tracker.rb) | type_tracker.rb:1:1:10:3 | self (type_tracker.rb) |
|
||||
| type_tracker.rb:1:1:10:3 | self (type_tracker.rb) | type_tracker.rb:18:1:21:3 | self (positional) |
|
||||
| type_tracker.rb:1:1:10:3 | self (type_tracker.rb) | type_tracker.rb:18:1:21:3 | self in positional |
|
||||
@@ -370,19 +391,24 @@ trackEnd
|
||||
| type_tracker.rb:2:5:5:7 | self in field= | type_tracker.rb:7:5:9:7 | self in field |
|
||||
| type_tracker.rb:2:5:5:7 | self in field= | type_tracker.rb:8:9:8:14 | self |
|
||||
| type_tracker.rb:2:16:2:18 | val | type_tracker.rb:2:5:5:7 | return return in field= |
|
||||
| type_tracker.rb:2:16:2:18 | val | type_tracker.rb:2:5:5:7 | return return in field= |
|
||||
| type_tracker.rb:2:16:2:18 | val | type_tracker.rb:2:16:2:18 | val |
|
||||
| type_tracker.rb:2:16:2:18 | val | type_tracker.rb:2:16:2:18 | val |
|
||||
| type_tracker.rb:2:16:2:18 | val | type_tracker.rb:2:16:2:18 | val |
|
||||
| type_tracker.rb:2:16:2:18 | val | type_tracker.rb:2:16:2:18 | val |
|
||||
| type_tracker.rb:2:16:2:18 | val | type_tracker.rb:3:14:3:23 | call to field |
|
||||
| type_tracker.rb:2:16:2:18 | val | type_tracker.rb:3:14:3:23 | call to field |
|
||||
| type_tracker.rb:2:16:2:18 | val | type_tracker.rb:4:9:4:20 | ... = ... |
|
||||
| type_tracker.rb:2:16:2:18 | val | type_tracker.rb:4:9:4:20 | ... = ... |
|
||||
| type_tracker.rb:2:16:2:18 | val | type_tracker.rb:4:18:4:20 | val |
|
||||
| type_tracker.rb:2:16:2:18 | val | type_tracker.rb:4:18:4:20 | val |
|
||||
| type_tracker.rb:2:16:2:18 | val | type_tracker.rb:7:5:9:7 | return return in field |
|
||||
| type_tracker.rb:2:16:2:18 | val | type_tracker.rb:7:5:9:7 | return return in field |
|
||||
| type_tracker.rb:2:16:2:18 | val | type_tracker.rb:8:9:8:14 | @field |
|
||||
| type_tracker.rb:2:16:2:18 | val | type_tracker.rb:8:9:8:14 | @field |
|
||||
| type_tracker.rb:2:16:2:18 | val | type_tracker.rb:14:5:14:13 | call to field= |
|
||||
| type_tracker.rb:2:16:2:18 | val | type_tracker.rb:14:5:14:13 | call to field= |
|
||||
| type_tracker.rb:2:16:2:18 | val | type_tracker.rb:15:10:15:18 | call to field |
|
||||
| type_tracker.rb:2:16:2:18 | val | type_tracker.rb:15:10:15:18 | call to field |
|
||||
| type_tracker.rb:3:9:3:23 | call to puts | type_tracker.rb:3:9:3:23 | call to puts |
|
||||
| type_tracker.rb:3:14:3:23 | call to field | type_tracker.rb:3:14:3:23 | call to field |
|
||||
@@ -565,6 +591,7 @@ trackEnd
|
||||
| type_tracker.rb:34:1:53:3 | self in throughArray | type_tracker.rb:34:1:53:3 | self in throughArray |
|
||||
| type_tracker.rb:34:1:53:3 | throughArray | type_tracker.rb:34:1:53:3 | throughArray |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type_tracker.rb:34:1:53:3 | return return in throughArray |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type_tracker.rb:34:1:53:3 | return return in throughArray |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type_tracker.rb:34:18:34:20 | obj |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type_tracker.rb:34:18:34:20 | obj |
|
||||
| type_tracker.rb:34:18:34:20 | obj | type_tracker.rb:34:18:34:20 | obj |
|
||||
|
||||
@@ -22,7 +22,7 @@ query predicate trackEnd(LocalSourceNode src, DataFlow::Node dst) {
|
||||
|
||||
predicate backtrack(LocalSourceNode sink, TypeBackTracker t, LocalSourceNode src) {
|
||||
t.start() and
|
||||
sink = src
|
||||
sink.getALocalSource() = src
|
||||
or
|
||||
exists(TypeBackTracker t2, LocalSourceNode mid |
|
||||
backtrack(sink, t2, mid) and
|
||||
|
||||
Reference in New Issue
Block a user