hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-03 17:50:19 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #17655 from hvitved/rust/variable-mut

Browse Source 
Rust: `&(mut) x` is neither a read nor a write
This commit is contained in:
Tom Hvitved
2024-10-04 15:29:36 +02:00
committed by GitHub
parent 306b087b6e 50c2d108ca
commit 04a4fb2143
7 changed files with 1154 additions and 965 deletions
Download Patch File Download Diff File Expand all files Collapse all files

51
rust/ql/lib/codeql/rust/elements/AssignmentOperation.qll Normal file
View File

@@ -0,0 +1,51 @@
/** Provides classes for assignment operations. */
private import rust
private import codeql.rust.elements.internal.BinaryExprImpl
/** An assignment operation. */
abstract private class AssignmentOperationImpl extends Impl::BinaryExpr { }
final class AssignmentOperation = AssignmentOperationImpl;
/**
* An assignment expression, for example
*
* ```rust
* x = y;
* ```
*/
final class AssignmentExpr extends AssignmentOperationImpl {
AssignmentExpr() { this.getOperatorName() = "=" }
override string getAPrimaryQlClass() { result = "AssignmentExpr" }
}
/**
* A compound assignment expression, for example
*
* ```rust
* x += y;
* ```
*
* Note that compound assignment expressions are syntatic sugar for
* trait invocations, i.e., the above actually means
*
* ```rust
* (&mut x).add_assign(y);
* ```
*/
final class CompoundAssignmentExpr extends AssignmentOperationImpl {
private string operator;
CompoundAssignmentExpr() {
this.getOperatorName().regexpCapture("(\\+|-|\\*|/|%|&|\\||\\^|<<|>>)=", 1) = operator
}
/**
* Gets the operator of this compound assignment expression.
*/
string getOperator() { result = operator }
override string getAPrimaryQlClass() { result = "CompoundAssignmentExpr" }
}

25
rust/ql/lib/codeql/rust/elements/internal/VariableImpl.qll
View File

@@ -395,34 +395,27 @@ module Impl {
}
/** Holds if `e` occurs in the LHS of an assignment or compound assignment. */
private predicate assignLhs(Expr e, boolean compound) {
exists(BinaryExpr be, string op |
op = be.getOperatorName().regexpCapture("(.*)=", 1) and
e = be.getLhs()
|
op = "" and compound = false
or
op != "" and compound = true
)
private predicate assignmentExprDescendant(Expr e) {
e = any(AssignmentExpr ae).getLhs()
or
exists(Expr mid |
assignLhs(mid, compound) and
getImmediateParent(e) = mid
assignmentExprDescendant(mid) and
getImmediateParent(e) = mid and
not mid.(PrefixExpr).getOperatorName() = "*"
)
}
/** A variable write. */
class VariableWriteAccess extends VariableAccess {
VariableWriteAccess() { assignLhs(this, _) }
VariableWriteAccess() { assignmentExprDescendant(this) }
}
/** A variable read. */
class VariableReadAccess extends VariableAccess {
VariableReadAccess() {
not this instanceof VariableWriteAccess
or
// consider LHS in compound assignments both reads and writes
assignLhs(this, true)
not this instanceof VariableWriteAccess and
not this = any(RefExpr re).getExpr() and
not this = any(CompoundAssignmentExpr cae).getLhs()
}
}

1
rust/ql/lib/rust.qll
View File

@@ -3,5 +3,6 @@
import codeql.rust.elements
import codeql.Locations
import codeql.files.FileSystem
import codeql.rust.elements.AssignmentOperation
import codeql.rust.elements.LogicalOperation
import codeql.rust.elements.Variable

1291
rust/ql/test/library-tests/variables/Cfg.expected
View File

File diff suppressed because it is too large Load Diff

535
rust/ql/test/library-tests/variables/variables.expected
View File

@@ -1,261 +1,290 @@
testFailures
failures
variable
| variables.rs:1:14:1:14 | s |
| variables.rs:5:14:5:14 | i |
| variables.rs:10:9:10:10 | x1 |
| variables.rs:15:13:15:14 | x2 |
| variables.rs:22:9:22:10 | x3 |
| variables.rs:3:14:3:14 | s |
| variables.rs:7:14:7:14 | i |
| variables.rs:12:9:12:10 | x1 |
| variables.rs:17:13:17:14 | x2 |
| variables.rs:24:9:24:10 | x3 |
| variables.rs:30:9:30:10 | x4 |
| variables.rs:33:13:33:14 | x4 |
| variables.rs:47:13:47:14 | a1 |
| variables.rs:48:13:48:14 | b1 |
| variables.rs:51:13:51:13 | x |
| variables.rs:52:13:52:13 | y |
| variables.rs:62:9:62:10 | p1 |
| variables.rs:64:12:64:13 | a2 |
| variables.rs:65:12:65:13 | b2 |
| variables.rs:72:9:72:10 | s1 |
| variables.rs:74:21:74:22 | s2 |
| variables.rs:81:14:81:15 | x5 |
| variables.rs:89:9:89:10 | s1 |
| variables.rs:91:24:91:25 | s2 |
| variables.rs:98:9:98:10 | x6 |
| variables.rs:99:9:99:10 | y1 |
| variables.rs:103:14:103:15 | y1 |
| variables.rs:108:9:108:12 | None |
| variables.rs:115:9:115:15 | numbers |
| variables.rs:119:13:119:17 | first |
| variables.rs:120:13:120:17 | third |
| variables.rs:121:13:121:17 | fifth |
| variables.rs:131:13:131:17 | first |
| variables.rs:133:13:133:16 | last |
| variables.rs:142:9:142:10 | p2 |
| variables.rs:146:16:146:17 | x7 |
| variables.rs:156:9:156:11 | msg |
| variables.rs:160:17:160:27 | id_variable |
| variables.rs:165:26:165:27 | id |
| variables.rs:176:9:176:14 | either |
| variables.rs:178:9:178:44 | a3 |
| variables.rs:190:9:190:10 | tv |
| variables.rs:192:9:192:81 | a4 |
| variables.rs:196:9:196:83 | a5 |
| variables.rs:200:9:200:83 | a6 |
| variables.rs:206:9:206:14 | either |
| variables.rs:208:9:208:44 | a7 |
| variables.rs:216:9:216:14 | either |
| variables.rs:219:13:219:13 | e |
| variables.rs:220:14:220:51 | a11 |
| variables.rs:223:33:223:35 | a12 |
| variables.rs:240:9:240:10 | fv |
| variables.rs:242:9:242:109 | a13 |
| variables.rs:248:5:248:6 | a8 |
| variables.rs:250:9:250:10 | b3 |
| variables.rs:251:9:251:10 | c1 |
| variables.rs:259:6:259:41 | a9 |
| variables.rs:266:13:266:15 | a10 |
| variables.rs:267:13:267:14 | b4 |
| variables.rs:268:13:268:14 | c2 |
| variables.rs:289:13:289:15 | a10 |
| variables.rs:290:13:290:14 | b4 |
| variables.rs:302:9:302:23 | example_closure |
| variables.rs:303:10:303:10 | x |
| variables.rs:305:9:305:10 | n1 |
| variables.rs:310:9:310:26 | immutable_variable |
| variables.rs:311:10:311:10 | x |
| variables.rs:313:9:313:10 | n2 |
| variables.rs:319:9:319:9 | v |
| variables.rs:321:9:321:12 | text |
| variables.rs:26:9:26:10 | x3 |
| variables.rs:32:9:32:10 | x4 |
| variables.rs:35:13:35:14 | x4 |
| variables.rs:49:13:49:14 | a1 |
| variables.rs:50:13:50:14 | b1 |
| variables.rs:53:13:53:13 | x |
| variables.rs:54:13:54:13 | y |
| variables.rs:64:9:64:10 | p1 |
| variables.rs:66:12:66:13 | a2 |
| variables.rs:67:12:67:13 | b2 |
| variables.rs:74:9:74:10 | s1 |
| variables.rs:76:21:76:22 | s2 |
| variables.rs:83:14:83:15 | x5 |
| variables.rs:91:9:91:10 | s1 |
| variables.rs:93:24:93:25 | s2 |
| variables.rs:100:9:100:10 | x6 |
| variables.rs:101:9:101:10 | y1 |
| variables.rs:105:14:105:15 | y1 |
| variables.rs:110:9:110:12 | None |
| variables.rs:117:9:117:15 | numbers |
| variables.rs:121:13:121:17 | first |
| variables.rs:122:13:122:17 | third |
| variables.rs:123:13:123:17 | fifth |
| variables.rs:133:13:133:17 | first |
| variables.rs:135:13:135:16 | last |
| variables.rs:144:9:144:10 | p2 |
| variables.rs:148:16:148:17 | x7 |
| variables.rs:158:9:158:11 | msg |
| variables.rs:162:17:162:27 | id_variable |
| variables.rs:167:26:167:27 | id |
| variables.rs:178:9:178:14 | either |
| variables.rs:180:9:180:44 | a3 |
| variables.rs:192:9:192:10 | tv |
| variables.rs:194:9:194:81 | a4 |
| variables.rs:198:9:198:83 | a5 |
| variables.rs:202:9:202:83 | a6 |
| variables.rs:208:9:208:14 | either |
| variables.rs:210:9:210:44 | a7 |
| variables.rs:218:9:218:14 | either |
| variables.rs:221:13:221:13 | e |
| variables.rs:222:14:222:51 | a11 |
| variables.rs:225:33:225:35 | a12 |
| variables.rs:242:9:242:10 | fv |
| variables.rs:244:9:244:109 | a13 |
| variables.rs:250:5:250:6 | a8 |
| variables.rs:252:9:252:10 | b3 |
| variables.rs:253:9:253:10 | c1 |
| variables.rs:261:6:261:41 | a9 |
| variables.rs:268:13:268:15 | a10 |
| variables.rs:269:13:269:14 | b4 |
| variables.rs:270:13:270:14 | c2 |
| variables.rs:291:13:291:15 | a10 |
| variables.rs:292:13:292:14 | b4 |
| variables.rs:304:9:304:23 | example_closure |
| variables.rs:305:10:305:10 | x |
| variables.rs:307:9:307:10 | n1 |
| variables.rs:312:9:312:26 | immutable_variable |
| variables.rs:313:10:313:10 | x |
| variables.rs:315:9:315:10 | n2 |
| variables.rs:321:9:321:9 | v |
| variables.rs:323:9:323:12 | text |
| variables.rs:330:13:330:13 | a |
| variables.rs:338:13:338:13 | i |
| variables.rs:339:9:339:13 | ref_i |
| variables.rs:345:17:345:17 | x |
| variables.rs:352:13:352:13 | x |
variableAccess
| variables.rs:11:15:11:16 | x1 | variables.rs:10:9:10:10 | x1 |
| variables.rs:16:15:16:16 | x2 | variables.rs:15:13:15:14 | x2 |
| variables.rs:17:5:17:6 | x2 | variables.rs:15:13:15:14 | x2 |
| variables.rs:18:15:18:16 | x2 | variables.rs:15:13:15:14 | x2 |
| variables.rs:23:15:23:16 | x3 | variables.rs:22:9:22:10 | x3 |
| variables.rs:25:9:25:10 | x3 | variables.rs:22:9:22:10 | x3 |
| variables.rs:26:15:26:16 | x3 | variables.rs:24:9:24:10 | x3 |
| variables.rs:31:15:31:16 | x4 | variables.rs:30:9:30:10 | x4 |
| variables.rs:34:19:34:20 | x4 | variables.rs:33:13:33:14 | x4 |
| variables.rs:36:15:36:16 | x4 | variables.rs:30:9:30:10 | x4 |
| variables.rs:55:15:55:16 | a1 | variables.rs:47:13:47:14 | a1 |
| variables.rs:56:15:56:16 | b1 | variables.rs:48:13:48:14 | b1 |
| variables.rs:57:15:57:15 | x | variables.rs:51:13:51:13 | x |
| variables.rs:58:15:58:15 | y | variables.rs:52:13:52:13 | y |
| variables.rs:66:9:66:10 | p1 | variables.rs:62:9:62:10 | p1 |
| variables.rs:67:15:67:16 | a2 | variables.rs:64:12:64:13 | a2 |
| variables.rs:68:15:68:16 | b2 | variables.rs:65:12:65:13 | b2 |
| variables.rs:75:11:75:12 | s1 | variables.rs:72:9:72:10 | s1 |
| variables.rs:76:19:76:20 | s2 | variables.rs:74:21:74:22 | s2 |
| variables.rs:85:15:85:16 | x5 | variables.rs:81:14:81:15 | x5 |
| variables.rs:92:11:92:12 | s1 | variables.rs:89:9:89:10 | s1 |
| variables.rs:93:19:93:20 | s2 | variables.rs:91:24:91:25 | s2 |
| variables.rs:101:11:101:12 | x6 | variables.rs:98:9:98:10 | x6 |
| variables.rs:106:23:106:24 | y1 | variables.rs:103:14:103:15 | y1 |
| variables.rs:111:15:111:16 | y1 | variables.rs:99:9:99:10 | y1 |
| variables.rs:117:11:117:17 | numbers | variables.rs:115:9:115:15 | numbers |
| variables.rs:123:23:123:27 | first | variables.rs:119:13:119:17 | first |
| variables.rs:124:23:124:27 | third | variables.rs:120:13:120:17 | third |
| variables.rs:125:23:125:27 | fifth | variables.rs:121:13:121:17 | fifth |
| variables.rs:129:11:129:17 | numbers | variables.rs:115:9:115:15 | numbers |
| variables.rs:135:23:135:27 | first | variables.rs:131:13:131:17 | first |
| variables.rs:136:23:136:26 | last | variables.rs:133:13:133:16 | last |
| variables.rs:144:11:144:12 | p2 | variables.rs:142:9:142:10 | p2 |
| variables.rs:147:24:147:25 | x7 | variables.rs:146:16:146:17 | x7 |
| variables.rs:158:11:158:13 | msg | variables.rs:156:9:156:11 | msg |
| variables.rs:161:24:161:34 | id_variable | variables.rs:160:17:160:27 | id_variable |
| variables.rs:166:23:166:24 | id | variables.rs:165:26:165:27 | id |
| variables.rs:177:11:177:16 | either | variables.rs:176:9:176:14 | either |
| variables.rs:179:26:179:27 | a3 | variables.rs:178:9:178:44 | a3 |
| variables.rs:191:11:191:12 | tv | variables.rs:190:9:190:10 | tv |
| variables.rs:193:26:193:27 | a4 | variables.rs:192:9:192:81 | a4 |
| variables.rs:195:11:195:12 | tv | variables.rs:190:9:190:10 | tv |
| variables.rs:197:26:197:27 | a5 | variables.rs:196:9:196:83 | a5 |
| variables.rs:199:11:199:12 | tv | variables.rs:190:9:190:10 | tv |
| variables.rs:201:26:201:27 | a6 | variables.rs:200:9:200:83 | a6 |
| variables.rs:207:11:207:16 | either | variables.rs:206:9:206:14 | either |
| variables.rs:209:16:209:17 | a7 | variables.rs:208:9:208:44 | a7 |
| variables.rs:210:26:210:27 | a7 | variables.rs:208:9:208:44 | a7 |
| variables.rs:218:11:218:16 | either | variables.rs:216:9:216:14 | either |
| variables.rs:222:23:222:25 | a11 | variables.rs:220:14:220:51 | a11 |
| variables.rs:224:15:224:15 | e | variables.rs:219:13:219:13 | e |
| variables.rs:225:28:225:30 | a12 | variables.rs:223:33:223:35 | a12 |
| variables.rs:241:11:241:12 | fv | variables.rs:240:9:240:10 | fv |
| variables.rs:243:26:243:28 | a13 | variables.rs:242:9:242:109 | a13 |
| variables.rs:253:15:253:16 | a8 | variables.rs:248:5:248:6 | a8 |
| variables.rs:254:15:254:16 | b3 | variables.rs:250:9:250:10 | b3 |
| variables.rs:255:15:255:16 | c1 | variables.rs:251:9:251:10 | c1 |
| variables.rs:261:15:261:16 | a9 | variables.rs:259:6:259:41 | a9 |
| variables.rs:270:15:270:17 | a10 | variables.rs:266:13:266:15 | a10 |
| variables.rs:271:15:271:16 | b4 | variables.rs:267:13:267:14 | b4 |
| variables.rs:272:15:272:16 | c2 | variables.rs:268:13:268:14 | c2 |
| variables.rs:275:9:275:10 | c2 | variables.rs:268:13:268:14 | c2 |
| variables.rs:276:9:276:10 | b4 | variables.rs:267:13:267:14 | b4 |
| variables.rs:277:9:277:11 | a10 | variables.rs:266:13:266:15 | a10 |
| variables.rs:279:9:279:11 | a10 | variables.rs:266:13:266:15 | a10 |
| variables.rs:280:9:280:10 | b4 | variables.rs:267:13:267:14 | b4 |
| variables.rs:281:9:281:10 | c2 | variables.rs:268:13:268:14 | c2 |
| variables.rs:283:15:283:17 | a10 | variables.rs:266:13:266:15 | a10 |
| variables.rs:284:15:284:16 | b4 | variables.rs:267:13:267:14 | b4 |
| variables.rs:285:15:285:16 | c2 | variables.rs:268:13:268:14 | c2 |
| variables.rs:292:23:292:25 | a10 | variables.rs:289:13:289:15 | a10 |
| variables.rs:293:23:293:24 | b4 | variables.rs:290:13:290:14 | b4 |
| variables.rs:297:15:297:17 | a10 | variables.rs:266:13:266:15 | a10 |
| variables.rs:298:15:298:16 | b4 | variables.rs:267:13:267:14 | b4 |
| variables.rs:304:9:304:9 | x | variables.rs:303:10:303:10 | x |
| variables.rs:306:9:306:23 | example_closure | variables.rs:302:9:302:23 | example_closure |
| variables.rs:307:15:307:16 | n1 | variables.rs:305:9:305:10 | n1 |
| variables.rs:312:9:312:9 | x | variables.rs:311:10:311:10 | x |
| variables.rs:314:9:314:26 | immutable_variable | variables.rs:310:9:310:26 | immutable_variable |
| variables.rs:315:15:315:16 | n2 | variables.rs:313:9:313:10 | n2 |
| variables.rs:322:12:322:12 | v | variables.rs:319:9:319:9 | v |
| variables.rs:323:19:323:22 | text | variables.rs:321:9:321:12 | text |
| variables.rs:13:15:13:16 | x1 | variables.rs:12:9:12:10 | x1 |
| variables.rs:18:15:18:16 | x2 | variables.rs:17:13:17:14 | x2 |
| variables.rs:19:5:19:6 | x2 | variables.rs:17:13:17:14 | x2 |
| variables.rs:20:15:20:16 | x2 | variables.rs:17:13:17:14 | x2 |
| variables.rs:25:15:25:16 | x3 | variables.rs:24:9:24:10 | x3 |
| variables.rs:27:9:27:10 | x3 | variables.rs:24:9:24:10 | x3 |
| variables.rs:28:15:28:16 | x3 | variables.rs:26:9:26:10 | x3 |
| variables.rs:33:15:33:16 | x4 | variables.rs:32:9:32:10 | x4 |
| variables.rs:36:19:36:20 | x4 | variables.rs:35:13:35:14 | x4 |
| variables.rs:38:15:38:16 | x4 | variables.rs:32:9:32:10 | x4 |
| variables.rs:57:15:57:16 | a1 | variables.rs:49:13:49:14 | a1 |
| variables.rs:58:15:58:16 | b1 | variables.rs:50:13:50:14 | b1 |
| variables.rs:59:15:59:15 | x | variables.rs:53:13:53:13 | x |
| variables.rs:60:15:60:15 | y | variables.rs:54:13:54:13 | y |
| variables.rs:68:9:68:10 | p1 | variables.rs:64:9:64:10 | p1 |
| variables.rs:69:15:69:16 | a2 | variables.rs:66:12:66:13 | a2 |
| variables.rs:70:15:70:16 | b2 | variables.rs:67:12:67:13 | b2 |
| variables.rs:77:11:77:12 | s1 | variables.rs:74:9:74:10 | s1 |
| variables.rs:78:19:78:20 | s2 | variables.rs:76:21:76:22 | s2 |
| variables.rs:87:15:87:16 | x5 | variables.rs:83:14:83:15 | x5 |
| variables.rs:94:11:94:12 | s1 | variables.rs:91:9:91:10 | s1 |
| variables.rs:95:19:95:20 | s2 | variables.rs:93:24:93:25 | s2 |
| variables.rs:103:11:103:12 | x6 | variables.rs:100:9:100:10 | x6 |
| variables.rs:108:23:108:24 | y1 | variables.rs:105:14:105:15 | y1 |
| variables.rs:113:15:113:16 | y1 | variables.rs:101:9:101:10 | y1 |
| variables.rs:119:11:119:17 | numbers | variables.rs:117:9:117:15 | numbers |
| variables.rs:125:23:125:27 | first | variables.rs:121:13:121:17 | first |
| variables.rs:126:23:126:27 | third | variables.rs:122:13:122:17 | third |
| variables.rs:127:23:127:27 | fifth | variables.rs:123:13:123:17 | fifth |
| variables.rs:131:11:131:17 | numbers | variables.rs:117:9:117:15 | numbers |
| variables.rs:137:23:137:27 | first | variables.rs:133:13:133:17 | first |
| variables.rs:138:23:138:26 | last | variables.rs:135:13:135:16 | last |
| variables.rs:146:11:146:12 | p2 | variables.rs:144:9:144:10 | p2 |
| variables.rs:149:24:149:25 | x7 | variables.rs:148:16:148:17 | x7 |
| variables.rs:160:11:160:13 | msg | variables.rs:158:9:158:11 | msg |
| variables.rs:163:24:163:34 | id_variable | variables.rs:162:17:162:27 | id_variable |
| variables.rs:168:23:168:24 | id | variables.rs:167:26:167:27 | id |
| variables.rs:179:11:179:16 | either | variables.rs:178:9:178:14 | either |
| variables.rs:181:26:181:27 | a3 | variables.rs:180:9:180:44 | a3 |
| variables.rs:193:11:193:12 | tv | variables.rs:192:9:192:10 | tv |
| variables.rs:195:26:195:27 | a4 | variables.rs:194:9:194:81 | a4 |
| variables.rs:197:11:197:12 | tv | variables.rs:192:9:192:10 | tv |
| variables.rs:199:26:199:27 | a5 | variables.rs:198:9:198:83 | a5 |
| variables.rs:201:11:201:12 | tv | variables.rs:192:9:192:10 | tv |
| variables.rs:203:26:203:27 | a6 | variables.rs:202:9:202:83 | a6 |
| variables.rs:209:11:209:16 | either | variables.rs:208:9:208:14 | either |
| variables.rs:211:16:211:17 | a7 | variables.rs:210:9:210:44 | a7 |
| variables.rs:212:26:212:27 | a7 | variables.rs:210:9:210:44 | a7 |
| variables.rs:220:11:220:16 | either | variables.rs:218:9:218:14 | either |
| variables.rs:224:23:224:25 | a11 | variables.rs:222:14:222:51 | a11 |
| variables.rs:226:15:226:15 | e | variables.rs:221:13:221:13 | e |
| variables.rs:227:28:227:30 | a12 | variables.rs:225:33:225:35 | a12 |
| variables.rs:243:11:243:12 | fv | variables.rs:242:9:242:10 | fv |
| variables.rs:245:26:245:28 | a13 | variables.rs:244:9:244:109 | a13 |
| variables.rs:255:15:255:16 | a8 | variables.rs:250:5:250:6 | a8 |
| variables.rs:256:15:256:16 | b3 | variables.rs:252:9:252:10 | b3 |
| variables.rs:257:15:257:16 | c1 | variables.rs:253:9:253:10 | c1 |
| variables.rs:263:15:263:16 | a9 | variables.rs:261:6:261:41 | a9 |
| variables.rs:272:15:272:17 | a10 | variables.rs:268:13:268:15 | a10 |
| variables.rs:273:15:273:16 | b4 | variables.rs:269:13:269:14 | b4 |
| variables.rs:274:15:274:16 | c2 | variables.rs:270:13:270:14 | c2 |
| variables.rs:277:9:277:10 | c2 | variables.rs:270:13:270:14 | c2 |
| variables.rs:278:9:278:10 | b4 | variables.rs:269:13:269:14 | b4 |
| variables.rs:279:9:279:11 | a10 | variables.rs:268:13:268:15 | a10 |
| variables.rs:281:9:281:11 | a10 | variables.rs:268:13:268:15 | a10 |
| variables.rs:282:9:282:10 | b4 | variables.rs:269:13:269:14 | b4 |
| variables.rs:283:9:283:10 | c2 | variables.rs:270:13:270:14 | c2 |
| variables.rs:285:15:285:17 | a10 | variables.rs:268:13:268:15 | a10 |
| variables.rs:286:15:286:16 | b4 | variables.rs:269:13:269:14 | b4 |
| variables.rs:287:15:287:16 | c2 | variables.rs:270:13:270:14 | c2 |
| variables.rs:294:23:294:25 | a10 | variables.rs:291:13:291:15 | a10 |
| variables.rs:295:23:295:24 | b4 | variables.rs:292:13:292:14 | b4 |
| variables.rs:299:15:299:17 | a10 | variables.rs:268:13:268:15 | a10 |
| variables.rs:300:15:300:16 | b4 | variables.rs:269:13:269:14 | b4 |
| variables.rs:306:9:306:9 | x | variables.rs:305:10:305:10 | x |
| variables.rs:308:9:308:23 | example_closure | variables.rs:304:9:304:23 | example_closure |
| variables.rs:309:15:309:16 | n1 | variables.rs:307:9:307:10 | n1 |
| variables.rs:314:9:314:9 | x | variables.rs:313:10:313:10 | x |
| variables.rs:316:9:316:26 | immutable_variable | variables.rs:312:9:312:26 | immutable_variable |
| variables.rs:317:15:317:16 | n2 | variables.rs:315:9:315:10 | n2 |
| variables.rs:324:12:324:12 | v | variables.rs:321:9:321:9 | v |
| variables.rs:325:19:325:22 | text | variables.rs:323:9:323:12 | text |
| variables.rs:331:5:331:5 | a | variables.rs:330:13:330:13 | a |
| variables.rs:332:15:332:15 | a | variables.rs:330:13:330:13 | a |
| variables.rs:333:11:333:11 | a | variables.rs:330:13:330:13 | a |
| variables.rs:334:15:334:15 | a | variables.rs:330:13:330:13 | a |
| variables.rs:340:14:340:14 | i | variables.rs:338:13:338:13 | i |
| variables.rs:341:6:341:10 | ref_i | variables.rs:339:9:339:13 | ref_i |
| variables.rs:342:15:342:15 | i | variables.rs:338:13:338:13 | i |
| variables.rs:346:6:346:6 | x | variables.rs:345:17:345:17 | x |
| variables.rs:347:10:347:10 | x | variables.rs:345:17:345:17 | x |
| variables.rs:348:10:348:10 | x | variables.rs:345:17:345:17 | x |
| variables.rs:353:23:353:23 | x | variables.rs:352:13:352:13 | x |
| variables.rs:354:15:354:15 | x | variables.rs:352:13:352:13 | x |
variableWriteAccess
| variables.rs:17:5:17:6 | x2 | variables.rs:15:13:15:14 | x2 |
| variables.rs:275:9:275:10 | c2 | variables.rs:268:13:268:14 | c2 |
| variables.rs:276:9:276:10 | b4 | variables.rs:267:13:267:14 | b4 |
| variables.rs:277:9:277:11 | a10 | variables.rs:266:13:266:15 | a10 |
| variables.rs:19:5:19:6 | x2 | variables.rs:17:13:17:14 | x2 |
| variables.rs:277:9:277:10 | c2 | variables.rs:270:13:270:14 | c2 |
| variables.rs:278:9:278:10 | b4 | variables.rs:269:13:269:14 | b4 |
| variables.rs:279:9:279:11 | a10 | variables.rs:268:13:268:15 | a10 |
variableReadAccess
| variables.rs:11:15:11:16 | x1 | variables.rs:10:9:10:10 | x1 |
| variables.rs:16:15:16:16 | x2 | variables.rs:15:13:15:14 | x2 |
| variables.rs:18:15:18:16 | x2 | variables.rs:15:13:15:14 | x2 |
| variables.rs:23:15:23:16 | x3 | variables.rs:22:9:22:10 | x3 |
| variables.rs:25:9:25:10 | x3 | variables.rs:22:9:22:10 | x3 |
| variables.rs:26:15:26:16 | x3 | variables.rs:24:9:24:10 | x3 |
| variables.rs:31:15:31:16 | x4 | variables.rs:30:9:30:10 | x4 |
| variables.rs:34:19:34:20 | x4 | variables.rs:33:13:33:14 | x4 |
| variables.rs:36:15:36:16 | x4 | variables.rs:30:9:30:10 | x4 |
| variables.rs:55:15:55:16 | a1 | variables.rs:47:13:47:14 | a1 |
| variables.rs:56:15:56:16 | b1 | variables.rs:48:13:48:14 | b1 |
| variables.rs:57:15:57:15 | x | variables.rs:51:13:51:13 | x |
| variables.rs:58:15:58:15 | y | variables.rs:52:13:52:13 | y |
| variables.rs:66:9:66:10 | p1 | variables.rs:62:9:62:10 | p1 |
| variables.rs:67:15:67:16 | a2 | variables.rs:64:12:64:13 | a2 |
| variables.rs:68:15:68:16 | b2 | variables.rs:65:12:65:13 | b2 |
| variables.rs:75:11:75:12 | s1 | variables.rs:72:9:72:10 | s1 |
| variables.rs:76:19:76:20 | s2 | variables.rs:74:21:74:22 | s2 |
| variables.rs:85:15:85:16 | x5 | variables.rs:81:14:81:15 | x5 |
| variables.rs:92:11:92:12 | s1 | variables.rs:89:9:89:10 | s1 |
| variables.rs:93:19:93:20 | s2 | variables.rs:91:24:91:25 | s2 |
| variables.rs:101:11:101:12 | x6 | variables.rs:98:9:98:10 | x6 |
| variables.rs:106:23:106:24 | y1 | variables.rs:103:14:103:15 | y1 |
| variables.rs:111:15:111:16 | y1 | variables.rs:99:9:99:10 | y1 |
| variables.rs:117:11:117:17 | numbers | variables.rs:115:9:115:15 | numbers |
| variables.rs:123:23:123:27 | first | variables.rs:119:13:119:17 | first |
| variables.rs:124:23:124:27 | third | variables.rs:120:13:120:17 | third |
| variables.rs:125:23:125:27 | fifth | variables.rs:121:13:121:17 | fifth |
| variables.rs:129:11:129:17 | numbers | variables.rs:115:9:115:15 | numbers |
| variables.rs:135:23:135:27 | first | variables.rs:131:13:131:17 | first |
| variables.rs:136:23:136:26 | last | variables.rs:133:13:133:16 | last |
| variables.rs:144:11:144:12 | p2 | variables.rs:142:9:142:10 | p2 |
| variables.rs:147:24:147:25 | x7 | variables.rs:146:16:146:17 | x7 |
| variables.rs:158:11:158:13 | msg | variables.rs:156:9:156:11 | msg |
| variables.rs:161:24:161:34 | id_variable | variables.rs:160:17:160:27 | id_variable |
| variables.rs:166:23:166:24 | id | variables.rs:165:26:165:27 | id |
| variables.rs:177:11:177:16 | either | variables.rs:176:9:176:14 | either |
| variables.rs:179:26:179:27 | a3 | variables.rs:178:9:178:44 | a3 |
| variables.rs:191:11:191:12 | tv | variables.rs:190:9:190:10 | tv |
| variables.rs:193:26:193:27 | a4 | variables.rs:192:9:192:81 | a4 |
| variables.rs:195:11:195:12 | tv | variables.rs:190:9:190:10 | tv |
| variables.rs:197:26:197:27 | a5 | variables.rs:196:9:196:83 | a5 |
| variables.rs:199:11:199:12 | tv | variables.rs:190:9:190:10 | tv |
| variables.rs:201:26:201:27 | a6 | variables.rs:200:9:200:83 | a6 |
| variables.rs:207:11:207:16 | either | variables.rs:206:9:206:14 | either |
| variables.rs:209:16:209:17 | a7 | variables.rs:208:9:208:44 | a7 |
| variables.rs:210:26:210:27 | a7 | variables.rs:208:9:208:44 | a7 |
| variables.rs:218:11:218:16 | either | variables.rs:216:9:216:14 | either |
| variables.rs:222:23:222:25 | a11 | variables.rs:220:14:220:51 | a11 |
| variables.rs:224:15:224:15 | e | variables.rs:219:13:219:13 | e |
| variables.rs:225:28:225:30 | a12 | variables.rs:223:33:223:35 | a12 |
| variables.rs:241:11:241:12 | fv | variables.rs:240:9:240:10 | fv |
| variables.rs:243:26:243:28 | a13 | variables.rs:242:9:242:109 | a13 |
| variables.rs:253:15:253:16 | a8 | variables.rs:248:5:248:6 | a8 |
| variables.rs:254:15:254:16 | b3 | variables.rs:250:9:250:10 | b3 |
| variables.rs:255:15:255:16 | c1 | variables.rs:251:9:251:10 | c1 |
| variables.rs:261:15:261:16 | a9 | variables.rs:259:6:259:41 | a9 |
| variables.rs:270:15:270:17 | a10 | variables.rs:266:13:266:15 | a10 |
| variables.rs:271:15:271:16 | b4 | variables.rs:267:13:267:14 | b4 |
| variables.rs:272:15:272:16 | c2 | variables.rs:268:13:268:14 | c2 |
| variables.rs:279:9:279:11 | a10 | variables.rs:266:13:266:15 | a10 |
| variables.rs:280:9:280:10 | b4 | variables.rs:267:13:267:14 | b4 |
| variables.rs:281:9:281:10 | c2 | variables.rs:268:13:268:14 | c2 |
| variables.rs:283:15:283:17 | a10 | variables.rs:266:13:266:15 | a10 |
| variables.rs:284:15:284:16 | b4 | variables.rs:267:13:267:14 | b4 |
| variables.rs:285:15:285:16 | c2 | variables.rs:268:13:268:14 | c2 |
| variables.rs:292:23:292:25 | a10 | variables.rs:289:13:289:15 | a10 |
| variables.rs:293:23:293:24 | b4 | variables.rs:290:13:290:14 | b4 |
| variables.rs:297:15:297:17 | a10 | variables.rs:266:13:266:15 | a10 |
| variables.rs:298:15:298:16 | b4 | variables.rs:267:13:267:14 | b4 |
| variables.rs:304:9:304:9 | x | variables.rs:303:10:303:10 | x |
| variables.rs:306:9:306:23 | example_closure | variables.rs:302:9:302:23 | example_closure |
| variables.rs:307:15:307:16 | n1 | variables.rs:305:9:305:10 | n1 |
| variables.rs:312:9:312:9 | x | variables.rs:311:10:311:10 | x |
| variables.rs:314:9:314:26 | immutable_variable | variables.rs:310:9:310:26 | immutable_variable |
| variables.rs:315:15:315:16 | n2 | variables.rs:313:9:313:10 | n2 |
| variables.rs:322:12:322:12 | v | variables.rs:319:9:319:9 | v |
| variables.rs:323:19:323:22 | text | variables.rs:321:9:321:12 | text |
| variables.rs:13:15:13:16 | x1 | variables.rs:12:9:12:10 | x1 |
| variables.rs:18:15:18:16 | x2 | variables.rs:17:13:17:14 | x2 |
| variables.rs:20:15:20:16 | x2 | variables.rs:17:13:17:14 | x2 |
| variables.rs:25:15:25:16 | x3 | variables.rs:24:9:24:10 | x3 |
| variables.rs:27:9:27:10 | x3 | variables.rs:24:9:24:10 | x3 |
| variables.rs:28:15:28:16 | x3 | variables.rs:26:9:26:10 | x3 |
| variables.rs:33:15:33:16 | x4 | variables.rs:32:9:32:10 | x4 |
| variables.rs:36:19:36:20 | x4 | variables.rs:35:13:35:14 | x4 |
| variables.rs:38:15:38:16 | x4 | variables.rs:32:9:32:10 | x4 |
| variables.rs:57:15:57:16 | a1 | variables.rs:49:13:49:14 | a1 |
| variables.rs:58:15:58:16 | b1 | variables.rs:50:13:50:14 | b1 |
| variables.rs:59:15:59:15 | x | variables.rs:53:13:53:13 | x |
| variables.rs:60:15:60:15 | y | variables.rs:54:13:54:13 | y |
| variables.rs:68:9:68:10 | p1 | variables.rs:64:9:64:10 | p1 |
| variables.rs:69:15:69:16 | a2 | variables.rs:66:12:66:13 | a2 |
| variables.rs:70:15:70:16 | b2 | variables.rs:67:12:67:13 | b2 |
| variables.rs:77:11:77:12 | s1 | variables.rs:74:9:74:10 | s1 |
| variables.rs:78:19:78:20 | s2 | variables.rs:76:21:76:22 | s2 |
| variables.rs:87:15:87:16 | x5 | variables.rs:83:14:83:15 | x5 |
| variables.rs:94:11:94:12 | s1 | variables.rs:91:9:91:10 | s1 |
| variables.rs:95:19:95:20 | s2 | variables.rs:93:24:93:25 | s2 |
| variables.rs:103:11:103:12 | x6 | variables.rs:100:9:100:10 | x6 |
| variables.rs:108:23:108:24 | y1 | variables.rs:105:14:105:15 | y1 |
| variables.rs:113:15:113:16 | y1 | variables.rs:101:9:101:10 | y1 |
| variables.rs:119:11:119:17 | numbers | variables.rs:117:9:117:15 | numbers |
| variables.rs:125:23:125:27 | first | variables.rs:121:13:121:17 | first |
| variables.rs:126:23:126:27 | third | variables.rs:122:13:122:17 | third |
| variables.rs:127:23:127:27 | fifth | variables.rs:123:13:123:17 | fifth |
| variables.rs:131:11:131:17 | numbers | variables.rs:117:9:117:15 | numbers |
| variables.rs:137:23:137:27 | first | variables.rs:133:13:133:17 | first |
| variables.rs:138:23:138:26 | last | variables.rs:135:13:135:16 | last |
| variables.rs:146:11:146:12 | p2 | variables.rs:144:9:144:10 | p2 |
| variables.rs:149:24:149:25 | x7 | variables.rs:148:16:148:17 | x7 |
| variables.rs:160:11:160:13 | msg | variables.rs:158:9:158:11 | msg |
| variables.rs:163:24:163:34 | id_variable | variables.rs:162:17:162:27 | id_variable |
| variables.rs:168:23:168:24 | id | variables.rs:167:26:167:27 | id |
| variables.rs:179:11:179:16 | either | variables.rs:178:9:178:14 | either |
| variables.rs:181:26:181:27 | a3 | variables.rs:180:9:180:44 | a3 |
| variables.rs:193:11:193:12 | tv | variables.rs:192:9:192:10 | tv |
| variables.rs:195:26:195:27 | a4 | variables.rs:194:9:194:81 | a4 |
| variables.rs:197:11:197:12 | tv | variables.rs:192:9:192:10 | tv |
| variables.rs:199:26:199:27 | a5 | variables.rs:198:9:198:83 | a5 |
| variables.rs:201:11:201:12 | tv | variables.rs:192:9:192:10 | tv |
| variables.rs:203:26:203:27 | a6 | variables.rs:202:9:202:83 | a6 |
| variables.rs:209:11:209:16 | either | variables.rs:208:9:208:14 | either |
| variables.rs:211:16:211:17 | a7 | variables.rs:210:9:210:44 | a7 |
| variables.rs:212:26:212:27 | a7 | variables.rs:210:9:210:44 | a7 |
| variables.rs:220:11:220:16 | either | variables.rs:218:9:218:14 | either |
| variables.rs:224:23:224:25 | a11 | variables.rs:222:14:222:51 | a11 |
| variables.rs:226:15:226:15 | e | variables.rs:221:13:221:13 | e |
| variables.rs:227:28:227:30 | a12 | variables.rs:225:33:225:35 | a12 |
| variables.rs:243:11:243:12 | fv | variables.rs:242:9:242:10 | fv |
| variables.rs:245:26:245:28 | a13 | variables.rs:244:9:244:109 | a13 |
| variables.rs:255:15:255:16 | a8 | variables.rs:250:5:250:6 | a8 |
| variables.rs:256:15:256:16 | b3 | variables.rs:252:9:252:10 | b3 |
| variables.rs:257:15:257:16 | c1 | variables.rs:253:9:253:10 | c1 |
| variables.rs:263:15:263:16 | a9 | variables.rs:261:6:261:41 | a9 |
| variables.rs:272:15:272:17 | a10 | variables.rs:268:13:268:15 | a10 |
| variables.rs:273:15:273:16 | b4 | variables.rs:269:13:269:14 | b4 |
| variables.rs:274:15:274:16 | c2 | variables.rs:270:13:270:14 | c2 |
| variables.rs:281:9:281:11 | a10 | variables.rs:268:13:268:15 | a10 |
| variables.rs:282:9:282:10 | b4 | variables.rs:269:13:269:14 | b4 |
| variables.rs:283:9:283:10 | c2 | variables.rs:270:13:270:14 | c2 |
| variables.rs:285:15:285:17 | a10 | variables.rs:268:13:268:15 | a10 |
| variables.rs:286:15:286:16 | b4 | variables.rs:269:13:269:14 | b4 |
| variables.rs:287:15:287:16 | c2 | variables.rs:270:13:270:14 | c2 |
| variables.rs:294:23:294:25 | a10 | variables.rs:291:13:291:15 | a10 |
| variables.rs:295:23:295:24 | b4 | variables.rs:292:13:292:14 | b4 |
| variables.rs:299:15:299:17 | a10 | variables.rs:268:13:268:15 | a10 |
| variables.rs:300:15:300:16 | b4 | variables.rs:269:13:269:14 | b4 |
| variables.rs:306:9:306:9 | x | variables.rs:305:10:305:10 | x |
| variables.rs:308:9:308:23 | example_closure | variables.rs:304:9:304:23 | example_closure |
| variables.rs:309:15:309:16 | n1 | variables.rs:307:9:307:10 | n1 |
| variables.rs:314:9:314:9 | x | variables.rs:313:10:313:10 | x |
| variables.rs:316:9:316:26 | immutable_variable | variables.rs:312:9:312:26 | immutable_variable |
| variables.rs:317:15:317:16 | n2 | variables.rs:315:9:315:10 | n2 |
| variables.rs:324:12:324:12 | v | variables.rs:321:9:321:9 | v |
| variables.rs:325:19:325:22 | text | variables.rs:323:9:323:12 | text |
| variables.rs:332:15:332:15 | a | variables.rs:330:13:330:13 | a |
| variables.rs:334:15:334:15 | a | variables.rs:330:13:330:13 | a |
| variables.rs:341:6:341:10 | ref_i | variables.rs:339:9:339:13 | ref_i |
| variables.rs:342:15:342:15 | i | variables.rs:338:13:338:13 | i |
| variables.rs:346:6:346:6 | x | variables.rs:345:17:345:17 | x |
| variables.rs:347:10:347:10 | x | variables.rs:345:17:345:17 | x |
| variables.rs:348:10:348:10 | x | variables.rs:345:17:345:17 | x |
| variables.rs:354:15:354:15 | x | variables.rs:352:13:352:13 | x |
variableInitializer
| variables.rs:10:9:10:10 | x1 | variables.rs:10:14:10:16 | "a" |
| variables.rs:15:13:15:14 | x2 | variables.rs:15:18:15:18 | 4 |
| variables.rs:22:9:22:10 | x3 | variables.rs:22:14:22:14 | 1 |
| variables.rs:24:9:24:10 | x3 | variables.rs:25:9:25:14 | ... + ... |
| variables.rs:30:9:30:10 | x4 | variables.rs:30:14:30:16 | "a" |
| variables.rs:33:13:33:14 | x4 | variables.rs:33:18:33:20 | "b" |
| variables.rs:62:9:62:10 | p1 | variables.rs:62:14:62:37 | RecordExpr |
| variables.rs:72:9:72:10 | s1 | variables.rs:72:14:72:41 | CallExpr |
| variables.rs:89:9:89:10 | s1 | variables.rs:89:14:89:41 | CallExpr |
| variables.rs:98:9:98:10 | x6 | variables.rs:98:14:98:20 | CallExpr |
| variables.rs:99:9:99:10 | y1 | variables.rs:99:14:99:15 | 10 |
| variables.rs:115:9:115:15 | numbers | variables.rs:115:19:115:35 | TupleExpr |
| variables.rs:142:9:142:10 | p2 | variables.rs:142:14:142:37 | RecordExpr |
| variables.rs:156:9:156:11 | msg | variables.rs:156:15:156:38 | RecordExpr |
| variables.rs:176:9:176:14 | either | variables.rs:176:18:176:33 | CallExpr |
| variables.rs:190:9:190:10 | tv | variables.rs:190:14:190:36 | CallExpr |
| variables.rs:206:9:206:14 | either | variables.rs:206:18:206:33 | CallExpr |
| variables.rs:216:9:216:14 | either | variables.rs:216:18:216:33 | CallExpr |
| variables.rs:240:9:240:10 | fv | variables.rs:240:14:240:35 | CallExpr |
| variables.rs:302:9:302:23 | example_closure | variables.rs:303:9:304:9 | ClosureExpr |
| variables.rs:305:9:305:10 | n1 | variables.rs:306:9:306:26 | CallExpr |
| variables.rs:310:9:310:26 | immutable_variable | variables.rs:311:9:312:9 | ClosureExpr |
| variables.rs:313:9:313:10 | n2 | variables.rs:314:9:314:29 | CallExpr |
| variables.rs:319:9:319:9 | v | variables.rs:319:13:319:41 | RefExpr |
| variables.rs:12:9:12:10 | x1 | variables.rs:12:14:12:16 | "a" |
| variables.rs:17:13:17:14 | x2 | variables.rs:17:18:17:18 | 4 |
| variables.rs:24:9:24:10 | x3 | variables.rs:24:14:24:14 | 1 |
| variables.rs:26:9:26:10 | x3 | variables.rs:27:9:27:14 | ... + ... |
| variables.rs:32:9:32:10 | x4 | variables.rs:32:14:32:16 | "a" |
| variables.rs:35:13:35:14 | x4 | variables.rs:35:18:35:20 | "b" |
| variables.rs:64:9:64:10 | p1 | variables.rs:64:14:64:37 | RecordExpr |
| variables.rs:74:9:74:10 | s1 | variables.rs:74:14:74:41 | CallExpr |
| variables.rs:91:9:91:10 | s1 | variables.rs:91:14:91:41 | CallExpr |
| variables.rs:100:9:100:10 | x6 | variables.rs:100:14:100:20 | CallExpr |
| variables.rs:101:9:101:10 | y1 | variables.rs:101:14:101:15 | 10 |
| variables.rs:117:9:117:15 | numbers | variables.rs:117:19:117:35 | TupleExpr |
| variables.rs:144:9:144:10 | p2 | variables.rs:144:14:144:37 | RecordExpr |
| variables.rs:158:9:158:11 | msg | variables.rs:158:15:158:38 | RecordExpr |
| variables.rs:178:9:178:14 | either | variables.rs:178:18:178:33 | CallExpr |
| variables.rs:192:9:192:10 | tv | variables.rs:192:14:192:36 | CallExpr |
| variables.rs:208:9:208:14 | either | variables.rs:208:18:208:33 | CallExpr |
| variables.rs:218:9:218:14 | either | variables.rs:218:18:218:33 | CallExpr |
| variables.rs:242:9:242:10 | fv | variables.rs:242:14:242:35 | CallExpr |
| variables.rs:304:9:304:23 | example_closure | variables.rs:305:9:306:9 | ClosureExpr |
| variables.rs:307:9:307:10 | n1 | variables.rs:308:9:308:26 | CallExpr |
| variables.rs:312:9:312:26 | immutable_variable | variables.rs:313:9:314:9 | ClosureExpr |
| variables.rs:315:9:315:10 | n2 | variables.rs:316:9:316:29 | CallExpr |
| variables.rs:321:9:321:9 | v | variables.rs:321:13:321:41 | RefExpr |
| variables.rs:330:13:330:13 | a | variables.rs:330:17:330:17 | 0 |
| variables.rs:338:13:338:13 | i | variables.rs:338:17:338:17 | 1 |
| variables.rs:339:9:339:13 | ref_i | variables.rs:340:9:340:14 | RefExpr |
| variables.rs:352:13:352:13 | x | variables.rs:352:17:352:17 | 2 |

11
rust/ql/test/library-tests/variables/variables.ql
View File

@@ -12,7 +12,7 @@ query predicate variableReadAccess(VariableReadAccess va, Variable v) { v = va.g
query predicate variableInitializer(Variable v, Expr e) { e = v.getInitializer() }
module VariableAccessTest implements TestSig {
string getARelevantTag() { result = "access" }
string getARelevantTag() { result = ["", "write_", "read_"] + "access" }
private predicate declAt(Variable v, string filepath, int line) {
v.getLocation().hasLocationInfo(filepath, _, _, line, _)
@@ -38,8 +38,15 @@ module VariableAccessTest implements TestSig {
exists(VariableAccess va |
location = va.getLocation() and
element = va.toString() and
tag = "access" and
decl(va.getVariable(), value)
|
va instanceof VariableWriteAccess and tag = "write_access"
or
va instanceof VariableReadAccess and tag = "read_access"
or
not va instanceof VariableWriteAccess and
not va instanceof VariableReadAccess and
tag = "access"
)
}
}

205
rust/ql/test/library-tests/variables/variables.rs
View File

@@ -1,3 +1,5 @@
use std::ops::AddAssign;
fn print_str(s: &str) {
println!("{}", s);
}
@@ -8,32 +10,32 @@ fn print_i64(i: i64) {
fn immutable_variable() {
let x1 = "a"; // x1
print_str(x1); // $ access=x1
print_str(x1); // $ read_access=x1
}
fn mutable_variable() {
let mut x2 = 4; // x2
print_i64(x2); // $ access=x2
x2 = 5; // $ access=x2
print_i64(x2); // $ access=x2
print_i64(x2); // $ read_access=x2
x2 = 5; // $ write_access=x2
print_i64(x2); // $ read_access=x2
}
fn variable_shadow1() {
let x3 = 1; // x3_1
print_i64(x3); // $ access=x3_1
print_i64(x3); // $ read_access=x3_1
let x3 = // x3_2
x3 + 1; // $ access=x3_1
print_i64(x3); // $ access=x3_2
x3 + 1; // $ read_access=x3_1
print_i64(x3); // $ read_access=x3_2
}
fn variable_shadow2() {
let x4 = "a"; // x4_1
print_str(x4); // $ access=x4_1
print_str(x4); // $ read_access=x4_1
{
let x4 = "b"; // x4_2
print_str(x4); // $ access=x4_2
print_str(x4); // $ read_access=x4_2
}
print_str(x4); // $ access=x4_1
print_str(x4); // $ read_access=x4_1
}
struct Point<'a> {
@@ -52,10 +54,10 @@ fn let_pattern1() {
y, // y
},
) = (("a", "b"), Point { x: "x", y: "y" });
print_str(a1); // $ access=a1
print_str(b1); // $ access=b1
print_str(x); // $ access=x
print_str(y); // $ access=y
print_str(a1); // $ read_access=a1
print_str(b1); // $ read_access=b1
print_str(x); // $ read_access=x
print_str(y); // $ read_access=y
}
fn let_pattern2() {
@@ -63,34 +65,34 @@ fn let_pattern2() {
let Point {
x: a2, // a2
y: b2, // b2
} = p1; // $ access=p1
print_str(a2); // $ access=a2
print_str(b2); // $ access=b2
} = p1; // $ read_access=p1
print_str(a2); // $ read_access=a2
print_str(b2); // $ read_access=b2
}
fn let_pattern3() {
let s1 = Some(String::from("Hello!")); // s1
if let Some(ref s2) // s2
= s1 { // $ access=s1
print_str(s2); // $ access=s2
= s1 { // $ read_access=s1
print_str(s2); // $ read_access=s2
}
}
fn let_pattern4() {
let Some(x5): Option<&str> = Some("x5") else {
// x5
todo!()
};
print_str(x5); // $ access=x5
let Some(x5): Option<&str> = Some("x5") // x5
else {
todo!()
};
print_str(x5); // $ read_access=x5
}
fn let_pattern5() {
let s1 = Some(String::from("Hello!")); // s1
while let Some(ref s2) // s2
= s1 { // $ access=s1
print_str(s2); // $ access=s2
= s1 { // $ read_access=s1
print_str(s2); // $ read_access=s2
}
}
@@ -98,42 +100,42 @@ fn match_pattern1() {
let x6 = Some(5); // x6
let y1 = 10; // y1_1
match x6 { // $ access=x6
match x6 { // $ read_access=x6
Some(50) => print_str("Got 50"),
Some(y1) // y1_2
=>
{
print_i64(y1)// $ access=y1_2
print_i64(y1)// $ read_access=y1_2
}
None => print_str("NONE"),
}
print_i64(y1); // $ access=y1_1
print_i64(y1); // $ read_access=y1_1
}
fn match_pattern2() {
let numbers = (2, 4, 8, 16, 32); // numbers
match numbers { // $ access=numbers
match numbers { // $ read_access=numbers
(
first, _, // first
third, _, // third
fifth // fifth
) => {
print_i64(first); // $ access=first
print_i64(third); // $ access=third
print_i64(fifth); // $ access=fifth
print_i64(first); // $ read_access=first
print_i64(third); // $ read_access=third
print_i64(fifth); // $ read_access=fifth
}
}
match numbers { // $ access=numbers
match numbers { // $ read_access=numbers
(
first, // first
..,
last // last
) => {
print_i64(first); // $ access=first
print_i64(last); // $ access=last
print_i64(first); // $ read_access=first
print_i64(last); // $ read_access=last
}
}
}
@@ -141,10 +143,10 @@ fn match_pattern2() {
fn match_pattern3() {
let p2 = Point { x: "x", y: "y" }; // p2
match p2 { // $ access=p2
match p2 { // $ read_access=p2
Point {
x: x7, .. // x7
} => print_str(x7), // $ access=x7
} => print_str(x7), // $ read_access=x7
}
}
@@ -155,15 +157,15 @@ enum Message {
fn match_pattern4() {
let msg = Message::Hello { id: 0 }; // msg
match msg { // $ access=msg
match msg { // $ read_access=msg
Message::Hello {
id: id_variable @ 3..=7, // id_variable
} => print_i64(id_variable), // $ access=id_variable
} => print_i64(id_variable), // $ read_access=id_variable
Message::Hello { id: 10..=12 } => {
println!("Found an id in another range")
}
Message::Hello { id } => // id
print_i64(id), // $ access=id
print_i64(id), // $ read_access=id
}
}
@@ -174,9 +176,9 @@ enum Either {
fn match_pattern5() {
let either = Either::Left(32); // either
match either { // $ access=either
match either { // $ read_access=either
Either::Left(a3) | Either::Right(a3) // a3
=> print_i64(a3), // $ access=a3
=> print_i64(a3), // $ read_access=a3
}
}
@@ -188,26 +190,26 @@ enum ThreeValued {
fn match_pattern6() {
let tv = ThreeValued::Second(62); // tv
match tv { // $ access=tv
match tv { // $ read_access=tv
ThreeValued::First(a4) | ThreeValued::Second(a4) | ThreeValued::Third(a4) // a4
=> print_i64(a4), // $ access=a4
=> print_i64(a4), // $ read_access=a4
}
match tv { // $ access=tv
match tv { // $ read_access=tv
(ThreeValued::First(a5) | ThreeValued::Second(a5)) | ThreeValued::Third(a5) // a5
=> print_i64(a5), // $ access=a5
=> print_i64(a5), // $ read_access=a5
}
match tv { // $ access=tv
match tv { // $ read_access=tv
ThreeValued::First(a6) | (ThreeValued::Second(a6) | ThreeValued::Third(a6)) // a6
=> print_i64(a6), // $ access=a6
=> print_i64(a6), // $ read_access=a6
}
}
fn match_pattern7() {
let either = Either::Left(32); // either
match either { // $ access=either
match either { // $ read_access=either
Either::Left(a7) | Either::Right(a7) // a7
if a7 > 0 // $ access=a7
=> print_i64(a7), // $ access=a7
if a7 > 0 // $ read_access=a7
=> print_i64(a7), // $ read_access=a7
_ => (),
}
}
@@ -215,14 +217,14 @@ fn match_pattern7() {
fn match_pattern8() {
let either = Either::Left(32); // either
match either { // $ access=either
match either { // $ read_access=either
ref e @ // e
(Either::Left(a11) | Either::Right(a11)) // a11
=> {
print_i64(a11); // $ access=a11
print_i64(a11); // $ read_access=a11
if let Either::Left(a12) // a12
= e { // $ access=e
print_i64(*a12); // $ access=a12
= e { // $ read_access=e
print_i64(*a12); // $ read_access=a12
}
}
_ => (),
@@ -238,9 +240,9 @@ enum FourValued {
fn match_pattern9() {
let fv = FourValued::Second(62); // tv
match fv { // $ access=tv
match fv { // $ read_access=tv
FourValued::First(a13) | (FourValued::Second(a13) | FourValued::Third(a13)) | FourValued::Fourth(a13) // a13
=> print_i64(a13), // $ access=a13
=> print_i64(a13), // $ read_access=a13
}
}
@@ -250,15 +252,15 @@ fn param_pattern1(
b3, // b3
c1, // c1
): (&str, &str)) -> () {
print_str(a8); // $ access=a8
print_str(b3); // $ access=b3
print_str(c1); // $ access=c1
print_str(a8); // $ read_access=a8
print_str(b3); // $ read_access=b3
print_str(c1); // $ read_access=c1
}
fn param_pattern2(
(Either::Left(a9) | Either::Right(a9)): Either // a9
) -> () {
print_i64(a9); // $ access=a9
print_i64(a9); // $ read_access=a9
}
fn destruct_assignment() {
@@ -267,63 +269,91 @@ fn destruct_assignment() {
mut b4, // b4
mut c2 // c2
) = (1, 2, 3);
print_i64(a10); // $ access=a10
print_i64(b4); // $ access=b4
print_i64(c2); // $ access=c2
print_i64(a10); // $ read_access=a10
print_i64(b4); // $ read_access=b4
print_i64(c2); // $ read_access=c2
(
c2, // $ access=c2
b4, // $ access=b4
a10 // $ access=a10
c2, // $ write_access=c2
b4, // $ write_access=b4
a10 // $ write_access=a10
) = (
a10, // $ access=a10
b4, // $ access=b4
c2 // $ access=c2
a10, // $ read_access=a10
b4, // $ read_access=b4
c2 // $ read_access=c2
);
print_i64(a10); // $ access=a10
print_i64(b4); // $ access=b4
print_i64(c2); // $ access=c2
print_i64(a10); // $ read_access=a10
print_i64(b4); // $ read_access=b4
print_i64(c2); // $ read_access=c2
match (4, 5) {
(
a10, // a10_2
b4 // b4
) => {
print_i64(a10); // $ access=a10_2
print_i64(b4); // $ access=b4
print_i64(a10); // $ read_access=a10_2
print_i64(b4); // $ read_access=b4
}
}
print_i64(a10); // $ access=a10
print_i64(b4); // $ access=b4
print_i64(a10); // $ read_access=a10
print_i64(b4); // $ read_access=b4
}
fn closure_variable() {
let example_closure = // example_closure
|x: i64| // x_1
x; // $ access=x_1
x; // $ read_access=x_1
let n1 = // n1
example_closure(5); // $ access=example_closure
print_i64(n1); // $ access=n1
example_closure(5); // $ read_access=example_closure
print_i64(n1); // $ read_access=n1
immutable_variable();
let immutable_variable =
|x: i64| // x_2
x; // $ access=x_2
x; // $ read_access=x_2
let n2 = // n2
immutable_variable(6); // $ access=immutable_variable
print_i64(n2); // $ access=n2
immutable_variable(6); // $ read_access=immutable_variable
print_i64(n2); // $ read_access=n2
}
fn for_variable() {
let v = &["apples", "cake", "coffee"]; // v
for text // text
in v { // $ access=v
print_str(text); // $ access=text
in v { // $ read_access=v
print_str(text); // $ read_access=text
}
}
fn add_assign() {
let mut a = 0; // a
a += 1; // $ access=a
print_i64(a); // $ read_access=a
(&mut a).add_assign(10); // $ access=a
print_i64(a); // $ read_access=a
}
fn mutate() {
let mut i = 1; // i
let ref_i = // ref_i
&mut i; // $ access=i
*ref_i = 2; // $ read_access=ref_i
print_i64(i); // $ read_access=i
}
fn mutate_param(x : &mut i64) { // x
*x = // $ read_access=x
*x + // $ read_access=x
*x; // $ read_access=x
}
fn mutate_arg() {
let mut x = 2; // x
mutate_param(&mut x); // $ access=x
print_i64(x); // $ read_access=x
}
fn main() {
immutable_variable();
mutable_variable();
@@ -347,4 +377,7 @@ fn main() {
destruct_assignment();
closure_variable();
for_variable();
add_assign();
mutate();
mutate_arg();
}