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

Skip to content

Commit 246ef69

Browse files
MathiasVPMathiasVP
committed
Merge branch 'master' into gvn-use-impl
2 parents 4cad554 + 9e3ed21 commit 246ef69

54 files changed

Lines changed: 586 additions & 600 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -303,10 +303,12 @@ ParameterNode parameterNode(Parameter p) { result.getParameter() = p }
303303
VariableNode variableNode(Variable v) { result.getVariable() = v }
304304

305305
/**
306+
* DEPRECATED: See UninitializedNode.
307+
*
306308
* Gets the `Node` corresponding to the value of an uninitialized local
307309
* variable `v`.
308310
*/
309-
UninitializedNode uninitializedNode(LocalVariable v) { result.getLocalVariable() = v }
311+
Node uninitializedNode(LocalVariable v) { none() }
310312

311313
/**
312314
* Holds if data flows from `nodeFrom` to `nodeTo` in exactly one local

‎cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll‎

Lines changed: 14 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -102,6 +102,19 @@ private module Cached {
102102
result = getMemoryOperandDefinition(instr, _, _)
103103
}
104104

105+
/**
106+
* Gets a non-phi instruction that defines an operand of `instr` but only if
107+
* both `instr` and the result have neighbor on the other side of the edge
108+
* between them. This is a necessary condition for being in a cycle, and it
109+
* removes about two thirds of the tuples that would otherwise be in this
110+
* predicate.
111+
*/
112+
private Instruction getNonPhiOperandDefOfIntermediate(Instruction instr) {
113+
result = getNonPhiOperandDef(instr) and
114+
exists(getNonPhiOperandDef(result)) and
115+
instr = getNonPhiOperandDef(_)
116+
}
117+
105118
/**
106119
* Holds if `instr` is part of a cycle in the operand graph that doesn't go
107120
* through a phi instruction and therefore should be impossible.
@@ -115,7 +128,7 @@ private module Cached {
115128
cached
116129
predicate isInCycle(Instruction instr) {
117130
instr instanceof Instruction and
118-
getNonPhiOperandDef+(instr) = instr
131+
getNonPhiOperandDefOfIntermediate+(instr) = instr
119132
}
120133

121134
cached

‎cpp/ql/src/semmle/code/cpp/security/TaintTracking.qll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,4 +2,4 @@
22
* Support for tracking tainted data through the program.
33
*/
44

5-
import TaintTrackingImpl
5+
import semmle.code.cpp.ir.dataflow.DefaultTaintTracking

‎cpp/ql/src/semmle/code/cpp/valuenumbering/GlobalValueNumbering.qll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
import GlobalValueNumberingImpl
1+
import semmle.code.cpp.ir.internal.ASTValueNumbering

‎cpp/ql/test/library-tests/dataflow/security-taint/tainted.expected‎

Lines changed: 5 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -15,39 +15,27 @@
1515
| test.cpp:38:23:38:28 | call to getenv | test.cpp:38:23:38:28 | call to getenv | |
1616
| test.cpp:38:23:38:28 | call to getenv | test.cpp:38:23:38:40 | (const char *)... | |
1717
| test.cpp:38:23:38:28 | call to getenv | test.cpp:40:14:40:19 | envStr | |
18-
| test.cpp:49:23:49:28 | call to getenv | test.cpp:8:24:8:25 | s1 | envStrGlobal |
18+
| test.cpp:49:23:49:28 | call to getenv | test.cpp:8:24:8:25 | s1 | |
1919
| test.cpp:49:23:49:28 | call to getenv | test.cpp:45:13:45:24 | envStrGlobal | |
20-
| test.cpp:49:23:49:28 | call to getenv | test.cpp:45:13:45:24 | envStrGlobal | envStrGlobal |
2120
| test.cpp:49:23:49:28 | call to getenv | test.cpp:49:14:49:19 | envStr | |
2221
| test.cpp:49:23:49:28 | call to getenv | test.cpp:49:23:49:28 | call to getenv | |
2322
| test.cpp:49:23:49:28 | call to getenv | test.cpp:49:23:49:40 | (const char *)... | |
24-
| test.cpp:49:23:49:28 | call to getenv | test.cpp:50:15:50:24 | envStr_ptr | |
25-
| test.cpp:49:23:49:28 | call to getenv | test.cpp:50:15:50:24 | envStr_ptr | envStrGlobal |
26-
| test.cpp:49:23:49:28 | call to getenv | test.cpp:50:28:50:40 | & ... | envStrGlobal |
27-
| test.cpp:49:23:49:28 | call to getenv | test.cpp:50:29:50:40 | envStrGlobal | envStrGlobal |
28-
| test.cpp:49:23:49:28 | call to getenv | test.cpp:52:2:52:12 | * ... | |
29-
| test.cpp:49:23:49:28 | call to getenv | test.cpp:52:3:52:12 | envStr_ptr | |
3023
| test.cpp:49:23:49:28 | call to getenv | test.cpp:52:16:52:21 | envStr | |
31-
| test.cpp:49:23:49:28 | call to getenv | test.cpp:54:6:54:35 | ! ... | envStrGlobal |
32-
| test.cpp:49:23:49:28 | call to getenv | test.cpp:54:7:54:12 | call to strcmp | envStrGlobal |
33-
| test.cpp:49:23:49:28 | call to getenv | test.cpp:54:7:54:35 | (bool)... | envStrGlobal |
34-
| test.cpp:49:23:49:28 | call to getenv | test.cpp:54:14:54:25 | envStrGlobal | envStrGlobal |
24+
| test.cpp:49:23:49:28 | call to getenv | test.cpp:54:6:54:35 | ! ... | |
25+
| test.cpp:49:23:49:28 | call to getenv | test.cpp:54:7:54:12 | call to strcmp | |
26+
| test.cpp:49:23:49:28 | call to getenv | test.cpp:54:7:54:35 | (bool)... | |
27+
| test.cpp:49:23:49:28 | call to getenv | test.cpp:54:14:54:25 | envStrGlobal | |
3528
| test.cpp:60:29:60:34 | call to getenv | test.cpp:10:27:10:27 | s | |
3629
| test.cpp:60:29:60:34 | call to getenv | test.cpp:60:18:60:25 | userName | |
3730
| test.cpp:60:29:60:34 | call to getenv | test.cpp:60:29:60:34 | call to getenv | |
3831
| test.cpp:60:29:60:34 | call to getenv | test.cpp:60:29:60:47 | (const char *)... | |
3932
| test.cpp:60:29:60:34 | call to getenv | test.cpp:64:25:64:32 | userName | |
40-
| test.cpp:68:28:68:33 | call to getenv | test.cpp:11:20:11:21 | s1 | |
4133
| test.cpp:68:28:68:33 | call to getenv | test.cpp:11:36:11:37 | s2 | |
42-
| test.cpp:68:28:68:33 | call to getenv | test.cpp:67:7:67:13 | copying | |
4334
| test.cpp:68:28:68:33 | call to getenv | test.cpp:68:17:68:24 | userName | |
4435
| test.cpp:68:28:68:33 | call to getenv | test.cpp:68:28:68:33 | call to getenv | |
4536
| test.cpp:68:28:68:33 | call to getenv | test.cpp:68:28:68:46 | (const char *)... | |
46-
| test.cpp:68:28:68:33 | call to getenv | test.cpp:69:10:69:13 | copy | |
4737
| test.cpp:68:28:68:33 | call to getenv | test.cpp:70:5:70:10 | call to strcpy | |
48-
| test.cpp:68:28:68:33 | call to getenv | test.cpp:70:12:70:15 | copy | |
4938
| test.cpp:68:28:68:33 | call to getenv | test.cpp:70:18:70:25 | userName | |
50-
| test.cpp:68:28:68:33 | call to getenv | test.cpp:71:12:71:15 | copy | |
5139
| test.cpp:75:20:75:25 | call to getenv | test.cpp:15:22:15:25 | nptr | |
5240
| test.cpp:75:20:75:25 | call to getenv | test.cpp:75:15:75:18 | call to atoi | |
5341
| test.cpp:75:20:75:25 | call to getenv | test.cpp:75:20:75:25 | call to getenv | |

‎cpp/ql/test/library-tests/dataflow/security-taint/tainted_diff.ql‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
import semmle.code.cpp.security.TaintTracking as AST
1+
import semmle.code.cpp.security.TaintTrackingImpl as AST
22
import semmle.code.cpp.ir.dataflow.DefaultTaintTracking as IR
33
import cpp
44

‎cpp/ql/test/library-tests/valuenumbering/GlobalValueNumbering/GlobalValueNumbering.expected‎

Lines changed: 42 additions & 40 deletions
Original file line numberDiff line numberDiff line change
@@ -1,40 +1,42 @@
1-
| test.cpp:5:3:5:3 | x | 5:c3-c3 6:c3-c3 |
2-
| test.cpp:5:7:5:8 | p0 | 5:c7-c8 6:c7-c8 |
3-
| test.cpp:5:7:5:13 | ... + ... | 5:c7-c13 6:c7-c13 7:c7-c7 |
4-
| test.cpp:5:12:5:13 | p1 | 5:c12-c13 6:c12-c13 |
5-
| test.cpp:16:3:16:3 | x | 16:c3-c3 17:c3-c3 |
6-
| test.cpp:16:7:16:8 | p0 | 16:c7-c8 17:c7-c8 |
7-
| test.cpp:16:7:16:13 | ... + ... | 16:c7-c13 17:c7-c13 |
8-
| test.cpp:16:7:16:24 | ... + ... | 16:c7-c24 17:c7-c24 18:c7-c7 |
9-
| test.cpp:16:12:16:13 | p1 | 16:c12-c13 17:c12-c13 |
10-
| test.cpp:16:17:16:24 | global01 | 16:c17-c24 17:c17-c24 |
11-
| test.cpp:29:7:29:8 | p0 | 29:c7-c8 31:c7-c8 |
12-
| test.cpp:29:7:29:13 | ... + ... | 29:c7-c13 31:c7-c13 |
13-
| test.cpp:29:12:29:13 | p1 | 29:c12-c13 31:c12-c13 |
14-
| test.cpp:31:7:31:24 | ... + ... | 31:c7-c24 32:c7-c7 |
15-
| test.cpp:43:7:43:8 | p0 | 43:c7-c8 45:c7-c8 |
16-
| test.cpp:43:7:43:13 | ... + ... | 43:c7-c13 45:c7-c13 |
17-
| test.cpp:43:12:43:13 | p1 | 43:c12-c13 45:c12-c13 |
18-
| test.cpp:44:9:44:9 | 0 | 44:c9-c9 51:c25-c25 53:c18-c21 56:c39-c42 59:c17-c20 88:c12-c12 |
19-
| test.cpp:45:7:45:24 | ... + ... | 45:c7-c24 46:c7-c7 |
20-
| test.cpp:53:10:53:13 | (int)... | 53:c10-c13 56:c21-c24 |
21-
| test.cpp:53:10:53:13 | * ... | 53:c10-c13 56:c21-c24 |
22-
| test.cpp:53:11:53:13 | str | 53:c11-c13 56:c22-c24 |
23-
| test.cpp:53:18:53:21 | 0 | 53:c18-c21 56:c39-c42 59:c17-c20 |
24-
| test.cpp:56:13:56:16 | (int)... | 56:c13-c16 56:c31-c34 59:c9-c12 |
25-
| test.cpp:56:13:56:16 | * ... | 56:c13-c16 56:c31-c34 59:c9-c12 |
26-
| test.cpp:56:14:56:16 | ptr | 56:c14-c16 56:c32-c34 56:c47-c49 59:c10-c12 |
27-
| test.cpp:62:5:62:10 | result | 62:c5-c10 65:c10-c15 |
28-
| test.cpp:77:20:77:30 | (signed short)... | 77:c20-c30 79:c7-c7 |
29-
| test.cpp:79:11:79:14 | vals | 79:c11-c14 79:c24-c27 |
30-
| test.cpp:105:11:105:12 | (Base *)... | 105:c11-c12 106:c14-c35 107:c11-c12 |
31-
| test.cpp:105:11:105:12 | pd | 105:c11-c12 106:c33-c34 |
32-
| test.cpp:105:15:105:15 | b | 105:c15-c15 107:c15-c15 109:c10-c10 |
33-
| test.cpp:125:11:125:12 | pa | 125:c11-c12 126:c11-c12 128:c3-c4 129:c11-c12 |
34-
| test.cpp:125:15:125:15 | x | 125:c15-c15 126:c15-c15 128:c7-c7 |
35-
| test.cpp:136:11:136:18 | global_a | 136:c11-c18 137:c11-c18 139:c3-c10 |
36-
| test.cpp:136:21:136:21 | x | 136:c21-c21 137:c21-c21 139:c13-c13 |
37-
| test.cpp:144:11:144:12 | pa | 144:c11-c12 145:c11-c12 147:c3-c4 149:c11-c12 |
38-
| test.cpp:145:15:145:15 | y | 145:c15-c15 147:c7-c7 |
39-
| test.cpp:153:11:153:18 | global_a | 153:c11-c18 154:c11-c18 156:c3-c10 |
40-
| test.cpp:153:21:153:21 | x | 153:c21-c21 154:c21-c21 |
1+
| test.cpp:5:3:5:3 | GVN | 5:c3-c3 6:c3-c3 |
2+
| test.cpp:5:7:5:8 | GVN | 5:c7-c8 6:c7-c8 |
3+
| test.cpp:5:7:5:13 | GVN | 5:c7-c13 6:c7-c13 7:c7-c7 |
4+
| test.cpp:5:12:5:13 | GVN | 5:c12-c13 6:c12-c13 |
5+
| test.cpp:16:3:16:3 | GVN | 16:c3-c3 17:c3-c3 |
6+
| test.cpp:16:7:16:8 | GVN | 16:c7-c8 17:c7-c8 |
7+
| test.cpp:16:7:16:13 | GVN | 16:c7-c13 17:c7-c13 |
8+
| test.cpp:16:7:16:24 | GVN | 16:c7-c24 17:c7-c24 18:c7-c7 |
9+
| test.cpp:16:12:16:13 | GVN | 16:c12-c13 17:c12-c13 |
10+
| test.cpp:16:17:16:24 | GVN | 16:c17-c24 17:c17-c24 |
11+
| test.cpp:29:3:29:3 | GVN | 29:c3-c3 31:c3-c3 |
12+
| test.cpp:29:7:29:8 | GVN | 29:c7-c8 31:c7-c8 |
13+
| test.cpp:29:7:29:13 | GVN | 29:c7-c13 31:c7-c13 |
14+
| test.cpp:29:12:29:13 | GVN | 29:c12-c13 31:c12-c13 |
15+
| test.cpp:31:7:31:24 | GVN | 31:c7-c24 32:c7-c7 |
16+
| test.cpp:43:3:43:3 | GVN | 43:c3-c3 45:c3-c3 |
17+
| test.cpp:43:7:43:8 | GVN | 43:c7-c8 45:c7-c8 |
18+
| test.cpp:43:7:43:13 | GVN | 43:c7-c13 45:c7-c13 |
19+
| test.cpp:43:7:43:24 | GVN | 43:c7-c24 45:c7-c24 46:c7-c7 |
20+
| test.cpp:43:12:43:13 | GVN | 43:c12-c13 45:c12-c13 |
21+
| test.cpp:43:17:43:24 | GVN | 43:c17-c24 45:c17-c24 |
22+
| test.cpp:44:3:44:5 | GVN | 44:c3-c5 44:c4-c5 |
23+
| test.cpp:53:10:53:13 | GVN | 53:c10-c13 56:c21-c24 |
24+
| test.cpp:53:10:53:13 | GVN | 53:c10-c13 56:c21-c24 |
25+
| test.cpp:53:11:53:13 | GVN | 53:c11-c13 56:c22-c24 |
26+
| test.cpp:53:18:53:21 | GVN | 53:c18-c21 56:c39-c42 59:c17-c20 |
27+
| test.cpp:56:14:56:16 | GVN | 56:c14-c16 56:c32-c34 56:c47-c49 59:c10-c12 |
28+
| test.cpp:62:5:62:10 | GVN | 62:c5-c10 65:c10-c15 |
29+
| test.cpp:77:20:77:28 | GVN | 77:c20-c28 79:c7-c7 |
30+
| test.cpp:79:11:79:14 | GVN | 79:c11-c14 79:c24-c27 |
31+
| test.cpp:92:11:92:16 | GVN | 92:c11-c16 92:c15-c16 93:c10-c10 |
32+
| test.cpp:105:11:105:12 | GVN | 105:c11-c12 106:c33-c34 |
33+
| test.cpp:105:11:105:12 | GVN | 105:c11-c12 106:c33-c34 107:c11-c12 |
34+
| test.cpp:105:15:105:15 | GVN | 105:c15-c15 107:c15-c15 109:c10-c10 |
35+
| test.cpp:113:3:113:5 | GVN | 113:c3-c5 115:c3-c5 |
36+
| test.cpp:125:11:125:12 | GVN | 125:c11-c12 126:c11-c12 128:c3-c4 129:c11-c12 |
37+
| test.cpp:125:15:125:15 | GVN | 125:c15-c15 126:c15-c15 |
38+
| test.cpp:128:11:128:11 | GVN | 128:c11-c11 129:c15-c15 |
39+
| test.cpp:136:11:136:18 | GVN | 136:c11-c18 137:c11-c18 139:c3-c10 |
40+
| test.cpp:144:11:144:12 | GVN | 144:c11-c12 145:c11-c12 147:c3-c4 149:c11-c12 |
41+
| test.cpp:144:15:144:15 | GVN | 144:c15-c15 149:c15-c15 |
42+
| test.cpp:153:11:153:18 | GVN | 153:c11-c18 154:c11-c18 156:c3-c10 |

‎cpp/ql/test/library-tests/valuenumbering/GlobalValueNumbering/Uniqueness.expected‎

Lines changed: 58 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,58 @@
1+
| test.cpp:5:3:5:13 | ... = ... | |
2+
| test.cpp:6:3:6:13 | ... = ... | |
3+
| test.cpp:7:3:7:7 | ... = ... | |
4+
| test.cpp:10:16:10:16 | 1 | |
5+
| test.cpp:16:3:16:24 | ... = ... | |
6+
| test.cpp:17:3:17:24 | ... = ... | |
7+
| test.cpp:18:3:18:7 | ... = ... | |
8+
| test.cpp:21:16:21:16 | 2 | |
9+
| test.cpp:29:3:29:24 | ... = ... | |
10+
| test.cpp:30:3:30:17 | call to change_global02 | |
11+
| test.cpp:31:3:31:24 | ... = ... | |
12+
| test.cpp:32:3:32:7 | ... = ... | |
13+
| test.cpp:35:16:35:16 | 3 | |
14+
| test.cpp:43:3:43:24 | ... = ... | |
15+
| test.cpp:44:3:44:9 | ... = ... | |
16+
| test.cpp:45:3:45:24 | ... = ... | |
17+
| test.cpp:46:3:46:7 | ... = ... | |
18+
| test.cpp:51:25:51:25 | (unsigned int)... | |
19+
| test.cpp:53:10:53:13 | (int)... | |
20+
| test.cpp:53:10:53:13 | * ... | LoadTotalOverlap, Unary |
21+
| test.cpp:53:18:53:21 | (int)... | |
22+
| test.cpp:55:5:55:15 | ... = ... | |
23+
| test.cpp:56:12:56:25 | (...) | |
24+
| test.cpp:56:12:56:43 | ... && ... | |
25+
| test.cpp:56:13:56:16 | (int)... | |
26+
| test.cpp:56:13:56:16 | * ... | Unary, Unique |
27+
| test.cpp:56:21:56:24 | (int)... | |
28+
| test.cpp:56:21:56:24 | * ... | LoadTotalOverlap, Unary |
29+
| test.cpp:56:30:56:43 | (...) | |
30+
| test.cpp:56:31:56:34 | (int)... | |
31+
| test.cpp:56:31:56:34 | * ... | Unary, Unique |
32+
| test.cpp:56:39:56:42 | (int)... | |
33+
| test.cpp:56:47:56:51 | ... ++ | |
34+
| test.cpp:59:9:59:12 | (int)... | |
35+
| test.cpp:59:9:59:12 | * ... | Unary, Unique |
36+
| test.cpp:59:17:59:20 | (int)... | |
37+
| test.cpp:62:5:62:12 | ... ++ | |
38+
| test.cpp:77:20:77:28 | call to getAValue | Unary, Unique |
39+
| test.cpp:77:20:77:30 | (signed short)... | |
40+
| test.cpp:79:7:79:7 | (int)... | |
41+
| test.cpp:79:7:79:7 | v | Unary, Unary |
42+
| test.cpp:79:11:79:20 | (int)... | |
43+
| test.cpp:79:17:79:20 | val1 | LoadTotalOverlap, Unary |
44+
| test.cpp:79:24:79:33 | (int)... | |
45+
| test.cpp:79:30:79:33 | val2 | LoadTotalOverlap, Unary |
46+
| test.cpp:80:5:80:19 | ... = ... | |
47+
| test.cpp:80:9:80:17 | call to getAValue | Unary, Unique |
48+
| test.cpp:80:9:80:19 | (signed short)... | |
49+
| test.cpp:88:3:88:20 | ... = ... | |
50+
| test.cpp:88:12:88:12 | (void *)... | |
51+
| test.cpp:105:11:105:12 | (Base *)... | |
52+
| test.cpp:105:11:105:12 | pd | InheritanceConversion, InitializeParameter |
53+
| test.cpp:106:14:106:35 | static_cast<Base *>... | |
54+
| test.cpp:106:33:106:34 | pd | InheritanceConversion, InitializeParameter |
55+
| test.cpp:128:3:128:11 | ... = ... | |
56+
| test.cpp:139:3:139:24 | ... = ... | |
57+
| test.cpp:147:3:147:18 | ... = ... | |
58+
| test.cpp:156:3:156:17 | ... = ... | |

0 commit comments

Comments
 (0)