hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-07 16:14:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

python: rewrite argumentPositionMatch

Browse Source 
to not use the call graph.
This commit is contained in:
Rasmus Lerchedahl Petersen
2023-06-09 15:29:13 +02:00
parent b294f48dbe
commit 7e87a7c1f7
1 changed files with 4 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
python/ql/lib/semmle/python/dataflow/new/internal/TypeTrackerSpecific.qll
View File

@@ -170,13 +170,12 @@ private import semmle.python.dataflow.new.internal.DataFlowDispatch as DataFlowD
pragma[noinline]
private predicate argumentPositionMatch(
DataFlowPublic::CallCfgNode call, DataFlowPublic::ArgumentNode arg,
DataFlowPublic::CallCfgNode call, DataFlowPublic::Node arg,
DataFlowDispatch::ParameterPosition ppos
) {
exists(DataFlowDispatch::ArgumentPosition apos, DataFlowPrivate::DataFlowCall c |
c.getNode() = call.asCfgNode() and
arg.argumentOf(c, apos) and
DataFlowDispatch::parameterMatch(ppos, apos)
exists(DataFlowDispatch::ArgumentPosition apos |
DataFlowDispatch::parameterMatch(ppos, apos) and
DataFlowDispatch::normalCallArg(call.getNode(), arg, apos)
)
}