mirror of
https://github.com/github/codeql.git
synced 2026-03-30 20:28:15 +02:00
0561a63003
Adds a test showing that `@typing.overload` stubs are spuriously resolved as call targets alongside the actual `__init__` implementation.
27 lines
870 B
Plaintext
27 lines
870 B
Plaintext
/**
|
|
* Test that `@typing.overload` stubs are not resolved as call targets.
|
|
*/
|
|
|
|
import python
|
|
import semmle.python.dataflow.new.internal.DataFlowDispatch as DataFlowDispatch
|
|
import utils.test.InlineExpectationsTest
|
|
|
|
module OverloadCallTest implements TestSig {
|
|
string getARelevantTag() { result = "init" }
|
|
|
|
predicate hasActualResult(Location location, string element, string tag, string value) {
|
|
exists(location.getFile().getRelativePath()) and
|
|
exists(DataFlowDispatch::DataFlowCall call, Function target |
|
|
location = call.getLocation() and
|
|
element = call.toString() and
|
|
DataFlowDispatch::resolveCall(call.getNode(), target, _) and
|
|
target.getName() = "__init__"
|
|
|
|
|
value = target.getQualifiedName() + ":" + target.getLocation().getStartLine().toString() and
|
|
tag = "init"
|
|
)
|
|
}
|
|
}
|
|
|
|
import MakeTest<OverloadCallTest>
|