hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-20 02:44:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

Python: Slight refactor

Browse Source
This commit is contained in:
Rasmus Lerchedahl Petersen
2021-01-18 09:12:05 +01:00
parent 5f189a7e43
commit 175e43d6f2
1 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
python/ql/src/semmle/python/dataflow/new/internal/DataFlowPrivate.qll
View File

@@ -1170,17 +1170,17 @@ module UnpackingAssignment {
UnpackingAssignmentTarget() {
this instanceof UnpackingAssignmentDirectTarget
or
this = any(UnpackingAssignmentTarget parent).getAnElement()
this = any(UnpackingAssignmentSequenceTarget parent).getAnElement()
}
ControlFlowNode getElement(int i) { result = this.(SequenceNode).getElement(i) }
ControlFlowNode getAnElement() { result = this.getElement(_) }
}
/** A (possibly recursive) target of an unpacking assignment which is also a sequence. */
class UnpackingAssignmentSequenceTarget extends UnpackingAssignmentTarget {
UnpackingAssignmentSequenceTarget() { this instanceof SequenceNode }
ControlFlowNode getElement(int i) { result = this.(SequenceNode).getElement(i) }
ControlFlowNode getAnElement() { result = this.getElement(_) }
}
/** Step 2 */
@@ -1231,8 +1231,8 @@ module UnpackingAssignment {
/** Step 5 */
predicate unpackingAssignmentElementReadStep(Node nodeFrom, Content c, Node nodeTo) {
exists(UnpackingAssignmentTarget target, int index, ControlFlowNode element, boolean precise |
target instanceof SequenceNode
exists(
UnpackingAssignmentSequenceTarget target, int index, ControlFlowNode element, boolean precise
|
nodeFrom.asCfgNode() = target and
element = target.getElement(index) and