mirror of
https://github.com/github/codeql.git
synced 2026-02-09 03:31:06 +01:00
61523bd330
- "Normal" instead of "NonSpecial" - "NonLibrary" instead of "2" I could not find a good replacement for "NonLibrary", nor for "Source", but I added QLDocs in a few places to help the reading.
30 lines
1.3 KiB
Plaintext
30 lines
1.3 KiB
Plaintext
import python
|
|
private import semmle.python.dataflow.new.internal.PrintNode
|
|
private import semmle.python.dataflow.new.internal.DataFlowPrivate as DataFlowPrivate
|
|
private import semmle.python.ApiGraphs
|
|
import TestUtilities.InlineExpectationsTest
|
|
|
|
class UnresolvedCallExpectations extends InlineExpectationsTest {
|
|
UnresolvedCallExpectations() { this = "UnresolvedCallExpectations" }
|
|
|
|
override string getARelevantTag() { result = "unresolved_call" }
|
|
|
|
override predicate hasActualResult(Location location, string element, string tag, string value) {
|
|
exists(location.getFile().getRelativePath()) and
|
|
exists(CallNode call |
|
|
not exists(DataFlowPrivate::DataFlowCall dfc | dfc.getNode() = call |
|
|
// For every `CallNode`, there is a `DataFlowCall` in the form of a `NormalCall`.
|
|
// It does not really count, as it has some abstract overrides. For instance, it does not
|
|
// define `getCallable`, so checking for the existence of this guarantees that we are in a
|
|
// properly resolved call.
|
|
exists(dfc.getCallable())
|
|
) and
|
|
not call = API::builtin(_).getACall().asCfgNode() and
|
|
location = call.getLocation() and
|
|
tag = "unresolved_call" and
|
|
value = prettyExpr(call.getNode()) and
|
|
element = call.toString()
|
|
)
|
|
}
|
|
}
|