Skip to content

Commit ae2a68b

Browse files
taus-semmletaus-semmle
authored
Merge pull request #1791 from markshannon/python-revert-tests
Python: Revert and update tests removed in #1767
2 parents 1b63395 + e77ae09 commit ae2a68b

File tree

10 files changed

+1321
-0
lines changed

10 files changed

+1321
-0
lines changed

‎python/ql/test/library-tests/ControlFlow/splitting/SuccessorCount.expected‎

Lines changed: 182 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,182 @@
1+
| 3 | split1 | test.py:3:8:3:11 | ControlFlowNode for cond | 2 |
2+
| 5 | split1 | test.py:5:8:5:11 | ControlFlowNode for cond | 1 |
3+
| 5 | split1 | test.py:5:8:5:11 | ControlFlowNode for cond | 1 |
4+
| 9 | dont_split1 | test.py:9:8:9:11 | ControlFlowNode for cond | 2 |
5+
| 12 | dont_split1 | test.py:12:8:12:11 | ControlFlowNode for cond | 2 |
6+
| 16 | dont_split2 | test.py:16:8:16:11 | ControlFlowNode for cond | 2 |
7+
| 19 | dont_split2 | test.py:19:8:19:11 | ControlFlowNode for cond | 2 |
8+
| 29 | split2 | test.py:29:8:29:8 | ControlFlowNode for x | 1 |
9+
| 29 | split2 | test.py:29:8:29:8 | ControlFlowNode for x | 1 |
10+
| 38 | unclear_split3 | test.py:38:8:38:11 | ControlFlowNode for cond | 2 |
11+
| 40 | unclear_split3 | test.py:40:8:40:8 | ControlFlowNode for x | 1 |
12+
| 40 | unclear_split3 | test.py:40:8:40:8 | ControlFlowNode for x | 2 |
13+
| 44 | split4 | test.py:44:8:44:16 | ControlFlowNode for Compare | 2 |
14+
| 46 | split4 | test.py:46:10:46:10 | ControlFlowNode for b | 2 |
15+
| 50 | split_carefully_5 | test.py:50:8:50:16 | ControlFlowNode for Compare | 2 |
16+
| 52 | split_carefully_5 | test.py:52:8:52:8 | ControlFlowNode for x | 2 |
17+
| 58 | dont_split_globals | test.py:58:8:58:11 | ControlFlowNode for cond | 2 |
18+
| 61 | dont_split_globals | test.py:61:8:61:11 | ControlFlowNode for cond | 2 |
19+
| 61 | dont_split_globals | test.py:61:8:61:11 | ControlFlowNode for cond | 2 |
20+
| 65 | limit_splitting1 | test.py:65:8:65:16 | ControlFlowNode for Compare | 2 |
21+
| 66 | limit_splitting1 | test.py:66:8:66:16 | ControlFlowNode for Compare | 2 |
22+
| 67 | limit_splitting1 | test.py:67:8:67:16 | ControlFlowNode for Compare | 2 |
23+
| 68 | limit_splitting1 | test.py:68:8:68:16 | ControlFlowNode for Compare | 2 |
24+
| 78 | limit_splitting2 | test.py:78:8:78:8 | ControlFlowNode for a | 2 |
25+
| 80 | limit_splitting2 | test.py:80:8:80:8 | ControlFlowNode for b | 2 |
26+
| 80 | limit_splitting2 | test.py:80:8:80:8 | ControlFlowNode for b | 2 |
27+
| 82 | limit_splitting2 | test.py:82:8:82:8 | ControlFlowNode for c | 2 |
28+
| 82 | limit_splitting2 | test.py:82:8:82:8 | ControlFlowNode for c | 2 |
29+
| 82 | limit_splitting2 | test.py:82:8:82:8 | ControlFlowNode for c | 2 |
30+
| 82 | limit_splitting2 | test.py:82:8:82:8 | ControlFlowNode for c | 2 |
31+
| 84 | limit_splitting2 | test.py:84:8:84:8 | ControlFlowNode for d | 2 |
32+
| 84 | limit_splitting2 | test.py:84:8:84:8 | ControlFlowNode for d | 2 |
33+
| 84 | limit_splitting2 | test.py:84:8:84:8 | ControlFlowNode for d | 2 |
34+
| 84 | limit_splitting2 | test.py:84:8:84:8 | ControlFlowNode for d | 2 |
35+
| 87 | limit_splitting2 | test.py:87:8:87:8 | ControlFlowNode for a | 1 |
36+
| 87 | limit_splitting2 | test.py:87:8:87:8 | ControlFlowNode for a | 1 |
37+
| 87 | limit_splitting2 | test.py:87:8:87:8 | ControlFlowNode for a | 1 |
38+
| 87 | limit_splitting2 | test.py:87:8:87:8 | ControlFlowNode for a | 1 |
39+
| 89 | limit_splitting2 | test.py:89:8:89:8 | ControlFlowNode for b | 1 |
40+
| 89 | limit_splitting2 | test.py:89:8:89:8 | ControlFlowNode for b | 1 |
41+
| 89 | limit_splitting2 | test.py:89:8:89:8 | ControlFlowNode for b | 1 |
42+
| 89 | limit_splitting2 | test.py:89:8:89:8 | ControlFlowNode for b | 1 |
43+
| 92 | limit_splitting2 | test.py:92:8:92:8 | ControlFlowNode for c | 2 |
44+
| 92 | limit_splitting2 | test.py:92:8:92:8 | ControlFlowNode for c | 2 |
45+
| 92 | limit_splitting2 | test.py:92:8:92:8 | ControlFlowNode for c | 2 |
46+
| 92 | limit_splitting2 | test.py:92:8:92:8 | ControlFlowNode for c | 2 |
47+
| 94 | limit_splitting2 | test.py:94:8:94:8 | ControlFlowNode for d | 2 |
48+
| 94 | limit_splitting2 | test.py:94:8:94:8 | ControlFlowNode for d | 2 |
49+
| 94 | limit_splitting2 | test.py:94:8:94:8 | ControlFlowNode for d | 2 |
50+
| 94 | limit_splitting2 | test.py:94:8:94:8 | ControlFlowNode for d | 2 |
51+
| 103 | split_on_numbers | test.py:103:8:103:8 | ControlFlowNode for x | 1 |
52+
| 103 | split_on_numbers | test.py:103:8:103:8 | ControlFlowNode for x | 1 |
53+
| 113 | split_try_except_else | test.py:113:8:113:8 | ControlFlowNode for x | 1 |
54+
| 113 | split_try_except_else | test.py:113:8:113:8 | ControlFlowNode for x | 1 |
55+
| 126 | logging | test.py:126:8:126:14 | ControlFlowNode for module1 | 1 |
56+
| 126 | logging | test.py:126:8:126:14 | ControlFlowNode for module1 | 1 |
57+
| 136 | split5 | test.py:136:8:136:12 | ControlFlowNode for UnaryExpr | 1 |
58+
| 136 | split5 | test.py:136:8:136:12 | ControlFlowNode for UnaryExpr | 1 |
59+
| 145 | split6 | test.py:145:8:145:16 | ControlFlowNode for UnaryExpr | 1 |
60+
| 145 | split6 | test.py:145:8:145:16 | ControlFlowNode for UnaryExpr | 1 |
61+
| 154 | split7 | test.py:154:8:154:8 | ControlFlowNode for x | 1 |
62+
| 154 | split7 | test.py:154:8:154:8 | ControlFlowNode for x | 1 |
63+
| 158 | split8 | test.py:158:8:158:11 | ControlFlowNode for cond | 2 |
64+
| 162 | split8 | test.py:162:8:162:15 | ControlFlowNode for UnaryExpr | 1 |
65+
| 162 | split8 | test.py:162:8:162:15 | ControlFlowNode for UnaryExpr | 1 |
66+
| 163 | split8 | test.py:163:12:163:12 | ControlFlowNode for t | 1 |
67+
| 168 | split9 | test.py:168:8:168:18 | ControlFlowNode for Compare | 2 |
68+
| 172 | split9 | test.py:172:8:172:22 | ControlFlowNode for Compare | 1 |
69+
| 172 | split9 | test.py:172:8:172:22 | ControlFlowNode for Compare | 1 |
70+
| 178 | split10 | test.py:178:8:178:10 | ControlFlowNode for var | 2 |
71+
| 182 | split10 | test.py:182:8:182:22 | ControlFlowNode for Compare | 1 |
72+
| 182 | split10 | test.py:182:8:182:22 | ControlFlowNode for Compare | 2 |
73+
| 188 | split11 | test.py:188:8:188:18 | ControlFlowNode for Compare | 2 |
74+
| 192 | split11 | test.py:192:8:192:10 | ControlFlowNode for var | 1 |
75+
| 192 | split11 | test.py:192:8:192:10 | ControlFlowNode for var | 2 |
76+
| 198 | dont_split_on_unrelated_variables | test.py:198:8:198:19 | ControlFlowNode for Compare | 2 |
77+
| 202 | dont_split_on_unrelated_variables | test.py:202:8:202:23 | ControlFlowNode for Compare | 2 |
78+
| 213 | split12 | test.py:213:8:213:8 | ControlFlowNode for x | 1 |
79+
| 213 | split12 | test.py:213:8:213:8 | ControlFlowNode for x | 1 |
80+
| 218 | split13 | test.py:218:8:218:10 | ControlFlowNode for var | 2 |
81+
| 225 | split13 | test.py:225:12:225:14 | ControlFlowNode for var | 1 |
82+
| 225 | split13 | test.py:225:12:225:14 | ControlFlowNode for var | 1 |
83+
| 225 | split13 | test.py:225:12:225:14 | ControlFlowNode for var | 1 |
84+
| 225 | split13 | test.py:225:12:225:14 | ControlFlowNode for var | 1 |
85+
| 236 | split14 | test.py:236:8:236:15 | ControlFlowNode for UnaryExpr | 1 |
86+
| 236 | split14 | test.py:236:8:236:15 | ControlFlowNode for UnaryExpr | 1 |
87+
| 241 | split15 | test.py:241:8:241:10 | ControlFlowNode for var | 2 |
88+
| 243 | split15 | test.py:243:8:243:14 | ControlFlowNode for UnaryExpr | 1 |
89+
| 243 | split15 | test.py:243:8:243:14 | ControlFlowNode for UnaryExpr | 1 |
90+
| 243 | split15 | test.py:243:19:243:28 | ControlFlowNode for Attribute | 2 |
91+
| 248 | split16 | test.py:248:8:248:11 | ControlFlowNode for cond | 2 |
92+
| 250 | split16 | test.py:250:8:250:8 | ControlFlowNode for x | 1 |
93+
| 250 | split16 | test.py:250:8:250:8 | ControlFlowNode for x | 1 |
94+
| 254 | dont_split_on_different_ssa | test.py:254:8:254:10 | ControlFlowNode for var | 2 |
95+
| 259 | dont_split_on_different_ssa | test.py:259:8:259:22 | ControlFlowNode for Compare | 2 |
96+
| 266 | split17 | test.py:266:8:266:10 | ControlFlowNode for var | 2 |
97+
| 270 | split17 | test.py:270:8:270:14 | ControlFlowNode for UnaryExpr | 1 |
98+
| 270 | split17 | test.py:270:8:270:14 | ControlFlowNode for UnaryExpr | 1 |
99+
| 274 | split17 | test.py:274:8:274:10 | ControlFlowNode for var | 1 |
100+
| 274 | split17 | test.py:274:8:274:10 | ControlFlowNode for var | 1 |
101+
| 278 | split17 | test.py:278:8:278:10 | ControlFlowNode for var | 1 |
102+
| 278 | split17 | test.py:278:8:278:10 | ControlFlowNode for var | 1 |
103+
| 282 | split17 | test.py:282:8:282:10 | ControlFlowNode for var | 1 |
104+
| 282 | split17 | test.py:282:8:282:10 | ControlFlowNode for var | 1 |
105+
| 289 | split18 | test.py:289:8:289:10 | ControlFlowNode for var | 2 |
106+
| 293 | split18 | test.py:293:8:293:22 | ControlFlowNode for Compare | 1 |
107+
| 293 | split18 | test.py:293:8:293:22 | ControlFlowNode for Compare | 2 |
108+
| 297 | split18 | test.py:297:8:297:18 | ControlFlowNode for Compare | 1 |
109+
| 297 | split18 | test.py:297:8:297:18 | ControlFlowNode for Compare | 1 |
110+
| 297 | split18 | test.py:297:8:297:18 | ControlFlowNode for Compare | 1 |
111+
| 301 | split18 | test.py:301:8:301:10 | ControlFlowNode for var | 1 |
112+
| 301 | split18 | test.py:301:8:301:10 | ControlFlowNode for var | 1 |
113+
| 301 | split18 | test.py:301:8:301:10 | ControlFlowNode for var | 1 |
114+
| 305 | split18 | test.py:305:8:305:10 | ControlFlowNode for var | 1 |
115+
| 305 | split18 | test.py:305:8:305:10 | ControlFlowNode for var | 1 |
116+
| 305 | split18 | test.py:305:8:305:10 | ControlFlowNode for var | 1 |
117+
| 311 | split_on_boolean_only | test.py:311:8:311:8 | ControlFlowNode for x | 2 |
118+
| 315 | split_on_boolean_only | test.py:315:8:315:20 | ControlFlowNode for Compare | 1 |
119+
| 315 | split_on_boolean_only | test.py:315:8:315:20 | ControlFlowNode for Compare | 2 |
120+
| 319 | split_on_boolean_only | test.py:319:8:319:8 | ControlFlowNode for x | 1 |
121+
| 319 | split_on_boolean_only | test.py:319:8:319:8 | ControlFlowNode for x | 1 |
122+
| 319 | split_on_boolean_only | test.py:319:8:319:8 | ControlFlowNode for x | 1 |
123+
| 325 | split_on_none_aswell | test.py:325:8:325:8 | ControlFlowNode for x | 2 |
124+
| 329 | split_on_none_aswell | test.py:329:8:329:20 | ControlFlowNode for Compare | 1 |
125+
| 329 | split_on_none_aswell | test.py:329:8:329:20 | ControlFlowNode for Compare | 2 |
126+
| 333 | split_on_none_aswell | test.py:333:8:333:16 | ControlFlowNode for Compare | 1 |
127+
| 333 | split_on_none_aswell | test.py:333:8:333:16 | ControlFlowNode for Compare | 1 |
128+
| 333 | split_on_none_aswell | test.py:333:8:333:16 | ControlFlowNode for Compare | 1 |
129+
| 339 | split_on_or_defn | test.py:339:8:339:10 | ControlFlowNode for var | 2 |
130+
| 341 | split_on_or_defn | test.py:341:8:341:14 | ControlFlowNode for UnaryExpr | 1 |
131+
| 341 | split_on_or_defn | test.py:341:8:341:14 | ControlFlowNode for UnaryExpr | 1 |
132+
| 341 | split_on_or_defn | test.py:341:19:341:26 | ControlFlowNode for Attribute | 2 |
133+
| 350 | split_on_exception | test.py:350:8:350:15 | ControlFlowNode for UnaryExpr | 1 |
134+
| 350 | split_on_exception | test.py:350:8:350:15 | ControlFlowNode for UnaryExpr | 1 |
135+
| 354 | partially_useful_split | test.py:354:8:354:11 | ControlFlowNode for cond | 2 |
136+
| 359 | partially_useful_split | test.py:359:8:359:8 | ControlFlowNode for x | 1 |
137+
| 359 | partially_useful_split | test.py:359:8:359:8 | ControlFlowNode for x | 2 |
138+
| 365 | dont_split_not_useful | test.py:365:8:365:11 | ControlFlowNode for cond | 2 |
139+
| 370 | dont_split_not_useful | test.py:370:8:370:8 | ControlFlowNode for y | 2 |
140+
| 377 | f | test.py:377:8:377:8 | ControlFlowNode for x | 2 |
141+
| 377 | f | test.py:377:14:377:14 | ControlFlowNode for y | 2 |
142+
| 379 | f | test.py:379:8:379:19 | ControlFlowNode for UnaryExpr | 1 |
143+
| 379 | f | test.py:379:8:379:19 | ControlFlowNode for UnaryExpr | 1 |
144+
| 379 | f | test.py:379:8:379:19 | ControlFlowNode for UnaryExpr | 1 |
145+
| 379 | f | test.py:379:13:379:13 | ControlFlowNode for x | 1 |
146+
| 379 | f | test.py:379:13:379:13 | ControlFlowNode for x | 1 |
147+
| 379 | f | test.py:379:18:379:18 | ControlFlowNode for y | 2 |
148+
| 384 | g | test.py:384:8:384:8 | ControlFlowNode for x | 2 |
149+
| 384 | g | test.py:384:14:384:14 | ControlFlowNode for y | 2 |
150+
| 386 | g | test.py:386:8:386:8 | ControlFlowNode for x | 1 |
151+
| 386 | g | test.py:386:8:386:8 | ControlFlowNode for x | 1 |
152+
| 386 | g | test.py:386:13:386:13 | ControlFlowNode for y | 2 |
153+
| 393 | h | test.py:393:10:393:10 | ControlFlowNode for x | 2 |
154+
| 394 | h | test.py:394:10:394:14 | ControlFlowNode for UnaryExpr | 2 |
155+
| 395 | h | test.py:395:10:395:10 | ControlFlowNode for x | 1 |
156+
| 395 | h | test.py:395:10:395:10 | ControlFlowNode for x | 1 |
157+
| 396 | h | test.py:396:10:396:17 | ControlFlowNode for Attribute() | 2 |
158+
| 401 | j | test.py:401:8:401:8 | ControlFlowNode for a | 2 |
159+
| 401 | j | test.py:401:13:401:13 | ControlFlowNode for b | 2 |
160+
| 402 | j | test.py:402:12:402:12 | ControlFlowNode for a | 1 |
161+
| 402 | j | test.py:402:12:402:12 | ControlFlowNode for a | 1 |
162+
| 414 | split_on_strings | test.py:414:8:414:16 | ControlFlowNode for Compare | 2 |
163+
| 414 | split_on_strings | test.py:414:8:414:16 | ControlFlowNode for Compare | 2 |
164+
| 420 | scipy_stylee | test.py:420:12:420:31 | ControlFlowNode for Compare | 2 |
165+
| 421 | scipy_stylee | test.py:421:8:421:15 | ControlFlowNode for Compare | 2 |
166+
| 423 | scipy_stylee | test.py:423:10:423:17 | ControlFlowNode for Compare | 2 |
167+
| 425 | scipy_stylee | test.py:425:10:425:17 | ControlFlowNode for Compare | 2 |
168+
| 433 | odasa_6674 | test.py:433:8:433:29 | ControlFlowNode for dont_understand_this() | 2 |
169+
| 439 | odasa_6674 | test.py:439:12:439:20 | ControlFlowNode for UnaryExpr | 1 |
170+
| 439 | odasa_6674 | test.py:439:12:439:20 | ControlFlowNode for UnaryExpr | 1 |
171+
| 447 | odasa_6625 | test.py:447:8:447:25 | ControlFlowNode for Attribute() | 2 |
172+
| 447 | odasa_6625 | test.py:447:30:447:47 | ControlFlowNode for Attribute() | 2 |
173+
| 449 | odasa_6625 | test.py:449:8:449:18 | ControlFlowNode for Compare | 2 |
174+
| 454 | avoid_redundant_split | test.py:454:8:454:8 | ControlFlowNode for a | 2 |
175+
| 458 | avoid_redundant_split | test.py:458:8:458:8 | ControlFlowNode for x | 1 |
176+
| 458 | avoid_redundant_split | test.py:458:8:458:8 | ControlFlowNode for x | 2 |
177+
| 460 | avoid_redundant_split | test.py:460:8:460:8 | ControlFlowNode for x | 1 |
178+
| 460 | avoid_redundant_split | test.py:460:8:460:8 | ControlFlowNode for x | 2 |
179+
| 468 | avoid_redundant_split | test.py:468:8:468:10 | ControlFlowNode for var | 1 |
180+
| 468 | avoid_redundant_split | test.py:468:8:468:10 | ControlFlowNode for var | 1 |
181+
| 468 | avoid_redundant_split | test.py:468:8:468:10 | ControlFlowNode for var | 1 |
182+
| 468 | avoid_redundant_split | test.py:468:8:468:10 | ControlFlowNode for var | 1 |

‎python/ql/test/library-tests/ControlFlow/splitting/SuccessorCount.ql‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
import python
2+
3+
from ControlFlowNode p, Scope s
4+
where
5+
p.getScope() = s and
6+
(exists (p.getATrueSuccessor()) or exists(p.getAFalseSuccessor())) and
7+
s instanceof Function
8+
select
9+
p.getLocation().getStartLine(), s.getName(), p, strictcount(p.getASuccessor())

‎python/ql/test/library-tests/ControlFlow/truefalse/ExceptionalSuccessors.expected‎

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
| compare.py | 3 | compare.py:3:5:3:23 | ControlFlowNode for Assert | Entry node for Function contains1 |
2+
| compare.py | 7 | compare.py:7:5:7:27 | ControlFlowNode for Assert | Entry node for Function contains2 |
3+
| true_false_test.py | 14 | true_false_test.py:14:12:14:16 | ControlFlowNode for cond4 | ControlFlowNode for Pass |
4+
| true_false_test.py | 15 | true_false_test.py:15:13:15:17 | ControlFlowNode for true4 | ControlFlowNode for Pass |
5+
| true_false_test.py | 15 | true_false_test.py:15:13:15:19 | ControlFlowNode for true4() | ControlFlowNode for Pass |
6+
| true_false_test.py | 17 | true_false_test.py:17:13:17:18 | ControlFlowNode for false4 | ControlFlowNode for Pass |
7+
| true_false_test.py | 17 | true_false_test.py:17:13:17:20 | ControlFlowNode for false4() | ControlFlowNode for Pass |
8+
| true_false_test.py | 19 | true_false_test.py:19:9:19:12 | ControlFlowNode for Pass | Entry node for Function func |
9+
| true_false_test.py | 22 | true_false_test.py:22:13:22:17 | ControlFlowNode for true5 | ControlFlowNode for ExceptStmt |
10+
| true_false_test.py | 22 | true_false_test.py:22:13:22:19 | ControlFlowNode for true5() | ControlFlowNode for ExceptStmt |
11+
| true_false_test.py | 35 | true_false_test.py:35:18:35:26 | ControlFlowNode for range() | Entry node for Function func |
12+
| true_false_test.py | 48 | true_false_test.py:48:17:48:24 | ControlFlowNode for true12() | ControlFlowNode for ExceptStmt |
13+
| true_false_test.py | 48 | true_false_test.py:48:17:48:24 | ControlFlowNode for true12() | Entry node for Function func |
14+
| true_succ.py | 3 | true_succ.py:3:1:3:22 | ControlFlowNode for Function example | Entry node for Function example |
15+
| true_succ.py | 8 | true_succ.py:8:21:8:39 | ControlFlowNode for open() | ControlFlowNode for ExceptStmt |
16+
| true_succ.py | 8 | true_succ.py:8:21:8:39 | ControlFlowNode for open() | ControlFlowNode for f |
17+
| true_succ.py | 9 | true_succ.py:9:17:9:23 | ControlFlowNode for Attribute | ControlFlowNode for ExceptStmt |
18+
| true_succ.py | 9 | true_succ.py:9:17:9:23 | ControlFlowNode for Attribute | ControlFlowNode for f |
19+
| true_succ.py | 9 | true_succ.py:9:17:9:32 | ControlFlowNode for Attribute() | ControlFlowNode for ExceptStmt |
20+
| true_succ.py | 9 | true_succ.py:9:17:9:32 | ControlFlowNode for Attribute() | ControlFlowNode for f |
21+
| true_succ.py | 11 | true_succ.py:11:17:11:19 | ControlFlowNode for sys | ControlFlowNode for f |
22+
| true_succ.py | 11 | true_succ.py:11:17:11:24 | ControlFlowNode for Attribute | ControlFlowNode for f |
23+
| true_succ.py | 11 | true_succ.py:11:17:11:27 | ControlFlowNode for Attribute() | ControlFlowNode for f |
24+
| true_succ.py | 13 | true_succ.py:13:31:13:39 | ControlFlowNode for Attribute() | Entry node for Function example |
25+
| true_succ.py | 13 | true_succ.py:13:31:13:39 | ControlFlowNode for Attribute() | Entry node for Function example |

‎python/ql/test/library-tests/ControlFlow/truefalse/ExceptionalSuccessors.ql‎

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
/**
2+
* @name TrueFalseSuccessors Test
3+
* @description Tests true/false successors
4+
* @kind table
5+
* @problem.severity warning
6+
*/
7+
8+
import python
9+
10+
from ControlFlowNode p, ControlFlowNode s
11+
where
12+
s = p.getAnExceptionalSuccessor()
13+
or
14+
// Add fake edges for node that raise out of scope
15+
p.isExceptionalExit(_) and s = p.getScope().getEntryNode()
16+
select p.getLocation().getFile().getShortName(), p.getLocation().getStartLine(), p, s.toString()

0 commit comments

Comments
 (0)