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

Skip to content

Commit 20bd300

Browse files
MathiasVPMathiasVP
committed
C++: Fix 'StackPointerFlowsToUse' import.
1 parent b4c8a52 commit 20bd300

2 files changed

Lines changed: 30 additions & 3 deletions

File tree

‎cpp/ql/test/library-tests/dataflow/stackaddress/StackPointerFlowsToUse.expected‎

Lines changed: 29 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,29 @@
1-
ERROR: Could not resolve module semmle.code.cpp.dataflow.old.StackAddress (StackPointerFlowsToUse.ql:2,8-49)
2-
ERROR: Could not resolve predicate stackPointerFlowsToUse/4 (StackPointerFlowsToUse.ql:7,3-25)
1+
| test.cpp:6:10:6:11 | & ... | file://:0:0:0:0 | int | test.cpp:6:11:6:11 | x | true |
2+
| test.cpp:7:10:7:11 | & ... | file://:0:0:0:0 | int | test.cpp:7:11:7:11 | x | true |
3+
| test.cpp:13:10:13:10 | p | file://:0:0:0:0 | int | test.cpp:12:13:12:13 | x | true |
4+
| test.cpp:14:10:14:10 | p | file://:0:0:0:0 | int | test.cpp:12:13:12:13 | x | true |
5+
| test.cpp:19:10:19:10 | q | file://:0:0:0:0 | int | test.cpp:18:12:18:12 | p | false |
6+
| test.cpp:20:10:20:10 | q | file://:0:0:0:0 | int | test.cpp:18:12:18:12 | p | false |
7+
| test.cpp:26:18:26:18 | p | file://:0:0:0:0 | int | test.cpp:25:13:25:13 | x | true |
8+
| test.cpp:31:10:31:10 | x | file://:0:0:0:0 | int | test.cpp:31:10:31:10 | x | true |
9+
| test.cpp:32:10:32:12 | ... + ... | file://:0:0:0:0 | int | test.cpp:32:10:32:10 | x | true |
10+
| test.cpp:33:10:33:10 | x | file://:0:0:0:0 | int | test.cpp:33:10:33:10 | x | true |
11+
| test.cpp:39:10:39:10 | p | file://:0:0:0:0 | int | test.cpp:38:12:38:12 | x | true |
12+
| test.cpp:40:10:40:12 | ... - ... | file://:0:0:0:0 | int | test.cpp:38:12:38:12 | x | true |
13+
| test.cpp:41:10:41:10 | p | file://:0:0:0:0 | int | test.cpp:38:12:38:12 | x | true |
14+
| test.cpp:47:10:47:10 | p | file://:0:0:0:0 | int | test.cpp:46:13:46:13 | x | true |
15+
| test.cpp:48:10:48:10 | p | file://:0:0:0:0 | int | test.cpp:46:13:46:13 | x | true |
16+
| test.cpp:54:10:54:10 | p | file://:0:0:0:0 | int | test.cpp:53:13:53:13 | x | true |
17+
| test.cpp:59:10:59:10 | q | file://:0:0:0:0 | int | test.cpp:58:12:58:12 | p | false |
18+
| test.cpp:60:10:60:12 | ... + ... | file://:0:0:0:0 | int | test.cpp:58:12:58:12 | p | false |
19+
| test.cpp:61:10:61:10 | q | file://:0:0:0:0 | int | test.cpp:58:12:58:12 | p | false |
20+
| test.cpp:66:18:66:18 | x | file://:0:0:0:0 | int | test.cpp:66:18:66:18 | x | true |
21+
| test.cpp:67:18:67:20 | ... - ... | file://:0:0:0:0 | int | test.cpp:67:18:67:18 | x | true |
22+
| test.cpp:78:10:78:20 | & ... | file://:0:0:0:0 | int | test.cpp:78:11:78:11 | x | true |
23+
| test.cpp:79:10:79:20 | & ... | file://:0:0:0:0 | int | test.cpp:79:11:79:11 | x | true |
24+
| test.cpp:82:10:82:25 | & ... | file://:0:0:0:0 | int | test.cpp:81:24:81:24 | x | true |
25+
| test.cpp:83:10:83:25 | & ... | file://:0:0:0:0 | int | test.cpp:81:24:81:24 | x | true |
26+
| test.cpp:87:10:87:17 | & ... | file://:0:0:0:0 | int | test.cpp:87:11:87:11 | x | false |
27+
| test.cpp:88:10:88:17 | & ... | file://:0:0:0:0 | int | test.cpp:88:11:88:11 | x | false |
28+
| test.cpp:93:18:93:21 | access to array | file://:0:0:0:0 | int[5] | test.cpp:93:18:93:18 | x | true |
29+
| test.cpp:98:10:98:10 | x | file://:0:0:0:0 | int[4][5] | test.cpp:98:10:98:10 | x | true |

‎cpp/ql/test/library-tests/dataflow/stackaddress/StackPointerFlowsToUse.ql‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
import cpp
2-
import semmle.code.cpp.dataflow.old.StackAddress
2+
import semmle.code.cpp.dataflow.StackAddress
33

44
from FunctionCall call, Expr use, Type useType, Expr source, boolean isLocal
55
where

0 commit comments

Comments
 (0)