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

Golang: fix flow from a map value via a range statement

Browse Source
This commit is contained in:
Chris Smowton
2024-02-14 14:56:24 +00:00
parent c87b7b5f88
commit 9016997b51
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
go/ql/lib/semmle/go/dataflow/internal/ContainerFlow.qll
View File

@@ -57,11 +57,11 @@ predicate containerStoreStep(Node node1, Node node2, Content c) {
predicate containerReadStep(Node node1, Node node2, Content c) {
c instanceof ArrayContent and
(
node2.(Read).readsElement(node1, _) and
(
node1.getType() instanceof ArrayType or
node1.getType() instanceof SliceType
)
node1.getType() instanceof ArrayType or
node1.getType() instanceof SliceType
) and
(
node2.(Read).readsElement(node1, _)
or
node2.(RangeElementNode).getBase() = node1
or
@@ -85,5 +85,5 @@ predicate containerReadStep(Node node1, Node node2, Content c) {
or
c instanceof MapValueContent and
node1.getType() instanceof MapType and
node2.(Read).readsElement(node1, _)
(node2.(Read).readsElement(node1, _) or node2.(RangeElementNode).getBase() = node1)
}