mirror of
https://github.com/github/codeql.git
synced 2025-12-20 10:46:30 +01:00
19 lines
606 B
Plaintext
19 lines
606 B
Plaintext
import python
|
|
import semmle.python.dataflow.new.DataFlow
|
|
private import semmle.python.dataflow.new.internal.PrintNode
|
|
|
|
query predicate conjunctive_lookup(
|
|
DataFlow::MethodCallNode methCall, string call, string object, string methodName
|
|
) {
|
|
call = prettyNode(methCall) and
|
|
object = prettyNode(methCall.getObject()) and
|
|
methodName = methCall.getMethodName()
|
|
}
|
|
|
|
query predicate calls_lookup(
|
|
DataFlow::MethodCallNode methCall, string call, string object, string methodName
|
|
) {
|
|
call = prettyNode(methCall) and
|
|
exists(DataFlow::Node o | methCall.calls(o, methodName) and object = prettyNode(o))
|
|
}
|