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

rename pw to aw

Browse Source 
Co-authored-by: yoff <lerchedahl@gmail.com>
This commit is contained in:
Erik Krogh Kristensen
2022-02-28 14:24:42 +01:00
parent 5e23da813f
commit 843ed8fca5
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
python/ql/lib/semmle/python/ApiGraphs.qll
View File

@@ -520,9 +520,9 @@ module API {
rhs(base, def) and pred = trackDefNode(def)
|
// from `x` to a definition of `x.prop`
exists(DataFlow::AttrWrite pw | pw = pred.getAnAttributeWrite() |
lbl = Label::memberFromRef(pw) and
rhs = pw.getValue()
exists(DataFlow::AttrWrite aw | aw = pred.getAnAttributeWrite() |
lbl = Label::memberFromRef(aw) and
rhs = aw.getValue()
)
or
// TODO: I had expected `DataFlow::AttrWrite` to contain the attribute writes from a dict, that's how JS works.
@@ -545,10 +545,10 @@ module API {
or
argumentPassing(base, lbl, rhs)
or
exists(DataFlow::LocalSourceNode src, DataFlow::AttrWrite pw |
use(base, src) and pw = trackUseNode(src).getAnAttributeWrite() and rhs = pw.getValue()
exists(DataFlow::LocalSourceNode src, DataFlow::AttrWrite aw |
use(base, src) and aw = trackUseNode(src).getAnAttributeWrite() and rhs = aw.getValue()
|
lbl = Label::memberFromRef(pw)
lbl = Label::memberFromRef(aw)
)
}