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

Direct map stores via a post-update node

Browse Source
This commit is contained in:
Chris Smowton
2024-02-23 16:37:26 +00:00
parent 7ed73bc4ed
commit d57160db5c
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -41,11 +41,11 @@ predicate containerStoreStep(Node node1, Node node2, Content c) {
or
c instanceof MapKeyContent and
node2.getType() instanceof MapType and
exists(Write w | w.writesElement(node2, node1, _))
exists(Write w | w.writesElement(node2.(PostUpdateNode).getPreUpdateNode(), node1, _))
or
c instanceof MapValueContent and
node2.getType() instanceof MapType and
exists(Write w | w.writesElement(node2, _, node1))
exists(Write w | w.writesElement(node2.(PostUpdateNode).getPreUpdateNode(), _, node1))
}
/**