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

Update python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll

Browse Source 
Co-authored-by: Taus <tausbn@github.com>
This commit is contained in:
yoff
2020-08-19 08:02:29 +02:00
committed by GitHub
parent 1c3b945e55
commit 8fbb447f4c
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll
View File

@@ -230,7 +230,7 @@ predicate storeStep(Node nodeFrom, Content c, Node nodeTo) {
// `[..., 42, ...]`
// nodeFrom is `42`, cfg node
// nodeTo is the sequence, say `[..., 42, ...]`, cfg node
// c denotes list or c denotes tuple and index of 42
// c denotes list or c denotes tuple and index of nodeFrom
//
// List
nodeTo.(CfgNode).getNode().(ListNode).getAnElement() = nodeFrom.(CfgNode).getNode() and