fix API-graphs such that the first parameter is the first non-self parameter

This commit is contained in:
Erik Krogh Kristensen
2022-05-02 12:52:02 +02:00
parent 547047ef19
commit c1d3738fb8

View File

@@ -595,8 +595,12 @@ module API {
exists(DataFlow::Node def, PY::CallableExpr fn |
rhs(base, def) and fn = trackDefNode(def).asExpr()
|
exists(int i |
lbl = Label::parameter(i) and
exists(int i, int offset |
if exists(PY::Parameter p | p = fn.getInnerScope().getAnArg() and p.isSelf())
then offset = 1
else offset = 0
|
lbl = Label::parameter(i - offset) and
ref.asExpr() = fn.getInnerScope().getArg(i)
)
or