mirror of
https://github.com/github/codeql.git
synced 2025-12-17 09:13:20 +01:00
7476aeaabf
To do this we: * Let SSA writes target the name inside identifier patterns instead of the pattern itself * Include relevant names in the data flow graph * Add a store step from a identifier patterns with `ref` into the contained name. So we have an edge `ref a` -> `a` that stores in the reference content type.
65 lines
2.2 KiB
Plaintext
65 lines
2.2 KiB
Plaintext
import rust
|
|
import utils.test.InlineExpectationsTest
|
|
import codeql.rust.elements.internal.VariableImpl::Impl as VariableImpl
|
|
|
|
query predicate variable(Variable v) { any() }
|
|
|
|
query predicate variableAccess(VariableAccess va, Variable v) { v = va.getVariable() }
|
|
|
|
query predicate variableWriteAccess(VariableWriteAccess va, Variable v) { v = va.getVariable() }
|
|
|
|
query predicate variableReadAccess(VariableReadAccess va, Variable v) { v = va.getVariable() }
|
|
|
|
query predicate variableInitializer(Variable v, Expr e) { e = v.getInitializer() }
|
|
|
|
query predicate capturedVariable(Variable v) { v.isCaptured() }
|
|
|
|
query predicate capturedAccess(VariableAccess va) { va.isCapture() }
|
|
|
|
query predicate nestedFunctionAccess(VariableImpl::NestedFunctionAccess nfa, Function f) {
|
|
f = nfa.getFunction()
|
|
}
|
|
|
|
module VariableAccessTest implements TestSig {
|
|
string getARelevantTag() { result = ["", "write_", "read_"] + "access" }
|
|
|
|
private predicate declAt(Variable v, string filepath, int line, boolean inMacro) {
|
|
v.getLocation().hasLocationInfo(filepath, _, _, line, _) and
|
|
if v.getPat().isInMacroExpansion() then inMacro = true else inMacro = false
|
|
}
|
|
|
|
private predicate commmentAt(string text, string filepath, int line) {
|
|
exists(Comment c |
|
|
c.getLocation().hasLocationInfo(filepath, line, _, _, _) and
|
|
c.getCommentText() = text
|
|
)
|
|
}
|
|
|
|
private predicate decl(Variable v, string value) {
|
|
exists(string filepath, int line, boolean inMacro | declAt(v, filepath, line, inMacro) |
|
|
commmentAt(value, filepath, line) and inMacro = false
|
|
or
|
|
not (commmentAt(_, filepath, line) and inMacro = false) and
|
|
value = v.getText()
|
|
)
|
|
}
|
|
|
|
predicate hasActualResult(Location location, string element, string tag, string value) {
|
|
exists(VariableAccess va |
|
|
location = va.getLocation() and
|
|
element = va.toString() 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"
|
|
)
|
|
}
|
|
}
|
|
|
|
import MakeTest<VariableAccessTest>
|