-
Notifications
You must be signed in to change notification settings - Fork 1.6k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #3996 from yoff/SharedDataflow_Syntax
Python: Test all expressions that incur dataflow
- Loading branch information
Showing
4 changed files
with
300 additions
and
63 deletions.
There are no files selected for viewing
45 changes: 39 additions & 6 deletions
45
python/ql/test/experimental/dataflow/coverage/dataflow.expected
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,6 +1,39 @@ | ||
| | test.py:20:9:20:14 | ControlFlowNode for SOURCE | test.py:21:10:21:10 | ControlFlowNode for x | | ||
| | test.py:25:9:25:16 | ControlFlowNode for Str | test.py:26:10:26:10 | ControlFlowNode for x | | ||
| | test.py:29:9:29:17 | ControlFlowNode for Str | test.py:30:10:30:10 | ControlFlowNode for x | | ||
| | test.py:33:9:33:10 | ControlFlowNode for IntegerLiteral | test.py:34:10:34:10 | ControlFlowNode for x | | ||
| | test.py:37:9:37:12 | ControlFlowNode for FloatLiteral | test.py:38:10:38:10 | ControlFlowNode for x | | ||
| | test.py:46:10:46:15 | ControlFlowNode for SOURCE | test.py:47:10:47:10 | ControlFlowNode for x | | ||
| edges | ||
| | test.py:35:9:35:14 | ControlFlowNode for SOURCE | test.py:36:10:36:10 | ControlFlowNode for x | | ||
| | test.py:40:9:40:16 | ControlFlowNode for Str | test.py:41:10:41:10 | ControlFlowNode for x | | ||
| | test.py:44:9:44:17 | ControlFlowNode for Str | test.py:45:10:45:10 | ControlFlowNode for x | | ||
| | test.py:48:9:48:10 | ControlFlowNode for IntegerLiteral | test.py:49:10:49:10 | ControlFlowNode for x | | ||
| | test.py:52:9:52:12 | ControlFlowNode for FloatLiteral | test.py:53:10:53:10 | ControlFlowNode for x | | ||
| | test.py:61:10:61:15 | ControlFlowNode for SOURCE | test.py:62:10:62:10 | ControlFlowNode for x | | ||
| | test.py:238:28:238:33 | ControlFlowNode for SOURCE | test.py:238:10:238:34 | ControlFlowNode for second() | | ||
| | test.py:297:12:297:17 | ControlFlowNode for SOURCE | test.py:297:10:297:18 | ControlFlowNode for f() | | ||
| | test.py:301:28:301:33 | ControlFlowNode for SOURCE | test.py:301:10:301:34 | ControlFlowNode for second() | | ||
| nodes | ||
| | test.py:35:9:35:14 | ControlFlowNode for SOURCE | semmle.label | ControlFlowNode for SOURCE | | ||
| | test.py:36:10:36:10 | ControlFlowNode for x | semmle.label | ControlFlowNode for x | | ||
| | test.py:40:9:40:16 | ControlFlowNode for Str | semmle.label | ControlFlowNode for Str | | ||
| | test.py:41:10:41:10 | ControlFlowNode for x | semmle.label | ControlFlowNode for x | | ||
| | test.py:44:9:44:17 | ControlFlowNode for Str | semmle.label | ControlFlowNode for Str | | ||
| | test.py:45:10:45:10 | ControlFlowNode for x | semmle.label | ControlFlowNode for x | | ||
| | test.py:48:9:48:10 | ControlFlowNode for IntegerLiteral | semmle.label | ControlFlowNode for IntegerLiteral | | ||
| | test.py:49:10:49:10 | ControlFlowNode for x | semmle.label | ControlFlowNode for x | | ||
| | test.py:52:9:52:12 | ControlFlowNode for FloatLiteral | semmle.label | ControlFlowNode for FloatLiteral | | ||
| | test.py:53:10:53:10 | ControlFlowNode for x | semmle.label | ControlFlowNode for x | | ||
| | test.py:61:10:61:15 | ControlFlowNode for SOURCE | semmle.label | ControlFlowNode for SOURCE | | ||
| | test.py:62:10:62:10 | ControlFlowNode for x | semmle.label | ControlFlowNode for x | | ||
| | test.py:238:10:238:34 | ControlFlowNode for second() | semmle.label | ControlFlowNode for second() | | ||
| | test.py:238:28:238:33 | ControlFlowNode for SOURCE | semmle.label | ControlFlowNode for SOURCE | | ||
| | test.py:297:10:297:18 | ControlFlowNode for f() | semmle.label | ControlFlowNode for f() | | ||
| | test.py:297:12:297:17 | ControlFlowNode for SOURCE | semmle.label | ControlFlowNode for SOURCE | | ||
| | test.py:301:10:301:34 | ControlFlowNode for second() | semmle.label | ControlFlowNode for second() | | ||
| | test.py:301:28:301:33 | ControlFlowNode for SOURCE | semmle.label | ControlFlowNode for SOURCE | | ||
| #select | ||
| | test.py:36:10:36:10 | ControlFlowNode for x | test.py:35:9:35:14 | ControlFlowNode for SOURCE | test.py:36:10:36:10 | ControlFlowNode for x | <message> | | ||
| | test.py:41:10:41:10 | ControlFlowNode for x | test.py:40:9:40:16 | ControlFlowNode for Str | test.py:41:10:41:10 | ControlFlowNode for x | <message> | | ||
| | test.py:45:10:45:10 | ControlFlowNode for x | test.py:44:9:44:17 | ControlFlowNode for Str | test.py:45:10:45:10 | ControlFlowNode for x | <message> | | ||
| | test.py:49:10:49:10 | ControlFlowNode for x | test.py:48:9:48:10 | ControlFlowNode for IntegerLiteral | test.py:49:10:49:10 | ControlFlowNode for x | <message> | | ||
| | test.py:53:10:53:10 | ControlFlowNode for x | test.py:52:9:52:12 | ControlFlowNode for FloatLiteral | test.py:53:10:53:10 | ControlFlowNode for x | <message> | | ||
| | test.py:62:10:62:10 | ControlFlowNode for x | test.py:61:10:61:15 | ControlFlowNode for SOURCE | test.py:62:10:62:10 | ControlFlowNode for x | <message> | | ||
| | test.py:238:10:238:34 | ControlFlowNode for second() | test.py:238:28:238:33 | ControlFlowNode for SOURCE | test.py:238:10:238:34 | ControlFlowNode for second() | <message> | | ||
| | test.py:297:10:297:18 | ControlFlowNode for f() | test.py:297:12:297:17 | ControlFlowNode for SOURCE | test.py:297:10:297:18 | ControlFlowNode for f() | <message> | | ||
| | test.py:301:10:301:34 | ControlFlowNode for second() | test.py:301:28:301:33 | ControlFlowNode for SOURCE | test.py:301:10:301:34 | ControlFlowNode for second() | <message> | |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,5 +1,10 @@ | ||
| /** | ||
| * @kind path-problem | ||
| */ | ||
|
|
||
| import experimental.dataflow.testConfig | ||
| import DataFlow::PathGraph | ||
|
|
||
| from DataFlow::Node source, DataFlow::Node sink | ||
| where exists(TestConfiguration cfg | cfg.hasFlow(source, sink)) | ||
| select source, sink | ||
| from TestConfiguration config, DataFlow::PathNode source, DataFlow::PathNode sink | ||
| where config.hasFlowPath(source, sink) | ||
| select sink.getNode(), source, sink, "<message>" |
14 changes: 7 additions & 7 deletions
14
python/ql/test/experimental/dataflow/coverage/localFlow.expected
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,7 +1,7 @@ | ||
| | test.py:13:5:13:5 | SSA variable x | test.py:12:1:12:33 | Exit node for Function test_tuple_with_local_flow | | ||
| | test.py:13:5:13:5 | SSA variable x | test.py:14:9:14:9 | ControlFlowNode for x | | ||
| | test.py:13:10:13:18 | ControlFlowNode for Tuple | test.py:13:5:13:5 | SSA variable x | | ||
| | test.py:14:5:14:5 | SSA variable y | test.py:15:5:15:11 | SSA variable y | | ||
| | test.py:14:5:14:5 | SSA variable y | test.py:15:10:15:10 | ControlFlowNode for y | | ||
| | test.py:14:9:14:12 | ControlFlowNode for Subscript | test.py:14:5:14:5 | SSA variable y | | ||
| | test.py:15:5:15:11 | SSA variable y | test.py:12:1:12:33 | Exit node for Function test_tuple_with_local_flow | | ||
| | test.py:24:5:24:5 | SSA variable x | test.py:23:1:23:33 | Exit node for Function test_tuple_with_local_flow | | ||
| | test.py:24:5:24:5 | SSA variable x | test.py:25:9:25:9 | ControlFlowNode for x | | ||
| | test.py:24:10:24:26 | ControlFlowNode for Tuple | test.py:24:5:24:5 | SSA variable x | | ||
| | test.py:25:5:25:5 | SSA variable y | test.py:26:5:26:11 | SSA variable y | | ||
| | test.py:25:5:25:5 | SSA variable y | test.py:26:10:26:10 | ControlFlowNode for y | | ||
| | test.py:25:9:25:12 | ControlFlowNode for Subscript | test.py:25:5:25:5 | SSA variable y | | ||
| | test.py:26:5:26:11 | SSA variable y | test.py:23:1:23:33 | Exit node for Function test_tuple_with_local_flow | |
Oops, something went wrong.