mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
20 lines
648 B
Plaintext
20 lines
648 B
Plaintext
import javascript
|
|
|
|
class FooCall extends API::CallNode {
|
|
FooCall() { this = API::moduleImport("mylibrary").getMember("foo").getACall() }
|
|
|
|
DataFlow::Node getFirst() { result = getParameter(0).getMember("value").getARhs() }
|
|
|
|
DataFlow::Node getSecond() { result = getParameter(1).getMember("value").getARhs() }
|
|
}
|
|
|
|
query predicate values(FooCall call, int first, int second) {
|
|
first = call.getFirst().getIntValue() and
|
|
second = call.getSecond().getIntValue()
|
|
}
|
|
|
|
query predicate mismatch(FooCall call, string msg) {
|
|
call.getFirst().getIntValue() != call.getSecond().getIntValue() and
|
|
msg = "mismatching parameter indices found for call"
|
|
}
|