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

Python: move SynthCapturePostUpdateNode

Browse Source 
next to `SynthCaptureNode`
This commit is contained in:
Rasmus Lerchedahl Petersen
2023-12-18 21:37:52 +01:00
parent d6544cc550
commit c88d686ce4
2 changed files with 11 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
python/ql/lib/semmle/python/dataflow/new/internal/DataFlowDispatch.qll
View File

@@ -1626,17 +1626,6 @@ private class SummaryPostUpdateNode extends FlowSummaryNode, PostUpdateNodeImpl
override Node getPreUpdateNode() { result = pre }
}
private class SynthCapturePostUpdateNode extends PostUpdateNodeImpl, SynthCaptureNode {
private SynthCaptureNode pre;
SynthCapturePostUpdateNode() {
VariableCapture::Flow::capturePostUpdateNode(this.getSynthesizedCaptureNode(),
pre.getSynthesizedCaptureNode())
}
override Node getPreUpdateNode() { result = pre }
}
/**
* The value of a closure itself being passed to the funciton, viewed as a node in a data
* flow graph.

11
python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll
View File

@@ -498,6 +498,17 @@ class SynthCaptureNode extends Node, TSynthCaptureNode {
override string toString() { result = cn.toString() }
}
private class SynthCapturePostUpdateNode extends PostUpdateNodeImpl, SynthCaptureNode {
private SynthCaptureNode pre;
SynthCapturePostUpdateNode() {
VariableCapture::Flow::capturePostUpdateNode(this.getSynthesizedCaptureNode(),
pre.getSynthesizedCaptureNode())
}
override Node getPreUpdateNode() { result = pre }
}
/**
* Gets a node that controls whether other nodes are evaluated.
*