Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit bfc8db9

Browse files
smowtonsmowton
committed
Accept test changes
This is 1x path changes without result changes, and 1x expected change since the Encode function is no longer modelled using TaintTracking::FunctionModel
1 parent d49840e commit bfc8db9

2 files changed

Lines changed: 33 additions & 7 deletions

File tree

‎go/ql/test/experimental/CWE-369/DivideByZero.expected‎

Lines changed: 33 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,28 +1,55 @@
11
edges
2-
| DivideByZero.go:10:12:10:16 | selection of URL | DivideByZero.go:12:16:12:20 | value |
3-
| DivideByZero.go:17:12:17:16 | selection of URL | DivideByZero.go:18:11:18:24 | type conversion |
2+
| DivideByZero.go:10:12:10:16 | selection of URL | DivideByZero.go:10:12:10:24 | call to Query |
3+
| DivideByZero.go:10:12:10:16 | selection of URL | file://:0:0:0:0 | parameter -1 of Query |
4+
| DivideByZero.go:10:12:10:24 | call to Query | DivideByZero.go:12:16:12:20 | value |
5+
| DivideByZero.go:17:12:17:16 | selection of URL | DivideByZero.go:17:12:17:24 | call to Query |
6+
| DivideByZero.go:17:12:17:16 | selection of URL | file://:0:0:0:0 | parameter -1 of Query |
7+
| DivideByZero.go:17:12:17:24 | call to Query | DivideByZero.go:18:11:18:24 | type conversion |
48
| DivideByZero.go:18:11:18:24 | type conversion | DivideByZero.go:19:16:19:20 | value |
5-
| DivideByZero.go:24:12:24:16 | selection of URL | DivideByZero.go:26:16:26:20 | value |
6-
| DivideByZero.go:31:12:31:16 | selection of URL | DivideByZero.go:33:16:33:20 | value |
7-
| DivideByZero.go:38:12:38:16 | selection of URL | DivideByZero.go:40:16:40:20 | value |
8-
| DivideByZero.go:54:12:54:16 | selection of URL | DivideByZero.go:55:11:55:24 | type conversion |
9+
| DivideByZero.go:24:12:24:16 | selection of URL | DivideByZero.go:24:12:24:24 | call to Query |
10+
| DivideByZero.go:24:12:24:16 | selection of URL | file://:0:0:0:0 | parameter -1 of Query |
11+
| DivideByZero.go:24:12:24:24 | call to Query | DivideByZero.go:26:16:26:20 | value |
12+
| DivideByZero.go:31:12:31:16 | selection of URL | DivideByZero.go:31:12:31:24 | call to Query |
13+
| DivideByZero.go:31:12:31:16 | selection of URL | file://:0:0:0:0 | parameter -1 of Query |
14+
| DivideByZero.go:31:12:31:24 | call to Query | DivideByZero.go:33:16:33:20 | value |
15+
| DivideByZero.go:38:12:38:16 | selection of URL | DivideByZero.go:38:12:38:24 | call to Query |
16+
| DivideByZero.go:38:12:38:16 | selection of URL | file://:0:0:0:0 | parameter -1 of Query |
17+
| DivideByZero.go:38:12:38:24 | call to Query | DivideByZero.go:40:16:40:20 | value |
18+
| DivideByZero.go:54:12:54:16 | selection of URL | DivideByZero.go:54:12:54:24 | call to Query |
19+
| DivideByZero.go:54:12:54:16 | selection of URL | file://:0:0:0:0 | parameter -1 of Query |
20+
| DivideByZero.go:54:12:54:24 | call to Query | DivideByZero.go:55:11:55:24 | type conversion |
921
| DivideByZero.go:55:11:55:24 | type conversion | DivideByZero.go:57:17:57:21 | value |
22+
| file://:0:0:0:0 | parameter -1 of Query | file://:0:0:0:0 | [summary] to write: return (return[0]) in Query |
1023
nodes
1124
| DivideByZero.go:10:12:10:16 | selection of URL | semmle.label | selection of URL |
25+
| DivideByZero.go:10:12:10:24 | call to Query | semmle.label | call to Query |
1226
| DivideByZero.go:12:16:12:20 | value | semmle.label | value |
1327
| DivideByZero.go:17:12:17:16 | selection of URL | semmle.label | selection of URL |
28+
| DivideByZero.go:17:12:17:24 | call to Query | semmle.label | call to Query |
1429
| DivideByZero.go:18:11:18:24 | type conversion | semmle.label | type conversion |
1530
| DivideByZero.go:19:16:19:20 | value | semmle.label | value |
1631
| DivideByZero.go:24:12:24:16 | selection of URL | semmle.label | selection of URL |
32+
| DivideByZero.go:24:12:24:24 | call to Query | semmle.label | call to Query |
1733
| DivideByZero.go:26:16:26:20 | value | semmle.label | value |
1834
| DivideByZero.go:31:12:31:16 | selection of URL | semmle.label | selection of URL |
35+
| DivideByZero.go:31:12:31:24 | call to Query | semmle.label | call to Query |
1936
| DivideByZero.go:33:16:33:20 | value | semmle.label | value |
2037
| DivideByZero.go:38:12:38:16 | selection of URL | semmle.label | selection of URL |
38+
| DivideByZero.go:38:12:38:24 | call to Query | semmle.label | call to Query |
2139
| DivideByZero.go:40:16:40:20 | value | semmle.label | value |
2240
| DivideByZero.go:54:12:54:16 | selection of URL | semmle.label | selection of URL |
41+
| DivideByZero.go:54:12:54:24 | call to Query | semmle.label | call to Query |
2342
| DivideByZero.go:55:11:55:24 | type conversion | semmle.label | type conversion |
2443
| DivideByZero.go:57:17:57:21 | value | semmle.label | value |
44+
| file://:0:0:0:0 | [summary] to write: return (return[0]) in Query | semmle.label | [summary] to write: return (return[0]) in Query |
45+
| file://:0:0:0:0 | parameter -1 of Query | semmle.label | parameter -1 of Query |
2546
subpaths
47+
| DivideByZero.go:10:12:10:16 | selection of URL | file://:0:0:0:0 | parameter -1 of Query | file://:0:0:0:0 | [summary] to write: return (return[0]) in Query | DivideByZero.go:10:12:10:24 | call to Query |
48+
| DivideByZero.go:17:12:17:16 | selection of URL | file://:0:0:0:0 | parameter -1 of Query | file://:0:0:0:0 | [summary] to write: return (return[0]) in Query | DivideByZero.go:17:12:17:24 | call to Query |
49+
| DivideByZero.go:24:12:24:16 | selection of URL | file://:0:0:0:0 | parameter -1 of Query | file://:0:0:0:0 | [summary] to write: return (return[0]) in Query | DivideByZero.go:24:12:24:24 | call to Query |
50+
| DivideByZero.go:31:12:31:16 | selection of URL | file://:0:0:0:0 | parameter -1 of Query | file://:0:0:0:0 | [summary] to write: return (return[0]) in Query | DivideByZero.go:31:12:31:24 | call to Query |
51+
| DivideByZero.go:38:12:38:16 | selection of URL | file://:0:0:0:0 | parameter -1 of Query | file://:0:0:0:0 | [summary] to write: return (return[0]) in Query | DivideByZero.go:38:12:38:24 | call to Query |
52+
| DivideByZero.go:54:12:54:16 | selection of URL | file://:0:0:0:0 | parameter -1 of Query | file://:0:0:0:0 | [summary] to write: return (return[0]) in Query | DivideByZero.go:54:12:54:24 | call to Query |
2653
#select
2754
| DivideByZero.go:12:16:12:20 | value | DivideByZero.go:10:12:10:16 | selection of URL | DivideByZero.go:12:16:12:20 | value | This variable might be zero leading to a division-by-zero panic. |
2855
| DivideByZero.go:19:16:19:20 | value | DivideByZero.go:17:12:17:16 | selection of URL | DivideByZero.go:19:16:19:20 | value | This variable might be zero leading to a division-by-zero panic. |

‎go/ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionModelStep.expected‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
| file://:0:0:0:0 | Encode | tst2.go:10:35:10:38 | data | tst2.go:10:9:10:26 | call to NewEncoder |
21
| file://:0:0:0:0 | NewEncoder | tst2.go:10:9:10:26 | call to NewEncoder | tst2.go:9:6:9:6 | definition of w |
32
| file://:0:0:0:0 | ReadFrom | tst.go:10:23:10:28 | reader | tst.go:9:2:9:12 | definition of bytesBuffer |
43
| file://:0:0:0:0 | Reset | reset.go:12:15:12:20 | source | reset.go:11:6:11:11 | definition of reader |

0 commit comments

Comments
 (0)